About the Execution of LoLA for SimpleLoadBal-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1060.490 | 3570496.00 | 7160286.00 | 10004.30 | [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.2M
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.4K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.0M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SimpleLoadBal-PT-20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743000174
=====================================================================
--------------------
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 SimpleLoadBal-PT-20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527227904460
info: Time: 3600 - MCC
===========================================================================================
prep: translating SimpleLoadBal-PT-20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating SimpleLoadBal-PT-20 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ SimpleLoadBal-PT-20 @ 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: 2399/65536 symbol table entries, 194 collisions
lola: preprocessing...
lola: Size of bit vector: 194
lola: finding significant places
lola: 194 places, 2205 transitions, 145 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3571 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-PT-20-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 190 generators (22 in search tree, 168 by composition)
lola: representing 2.4329E+18 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 30801 variables and 213852 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 7675 fired transitions, 0 secs || 13030 markings, 16027 edges, 2606 markings/sec, 0 secs
lola: STP completed || 1 tries, 15687 fired transitions, 5 secs || 28945 markings, 36158 edges, 3183 markings/sec, 5 secs
lola: STP completed || 1 tries, 23697 fired transitions, 10 secs || 45808 markings, 57900 edges, 3373 markings/sec, 10 secs
lola: STP completed || 1 tries, 31665 fired transitions, 15 secs || 61967 markings, 78633 edges, 3232 markings/sec, 15 secs
lola: STP completed || 1 tries, 39679 fired transitions, 20 secs || 78620 markings, 100265 edges, 3331 markings/sec, 20 secs
lola: STP completed || 1 tries, 47469 fired transitions, 25 secs || 94947 markings, 121351 edges, 3265 markings/sec, 25 secs
lola: STP completed || 1 tries, 55356 fired transitions, 30 secs || 111671 markings, 143192 edges, 3345 markings/sec, 30 secs
lola: STP completed || 1 tries, 63337 fired transitions, 35 secs || 128773 markings, 165492 edges, 3420 markings/sec, 35 secs
lola: STP completed || 1 tries, 71190 fired transitions, 40 secs || 145710 markings, 187714 edges, 3387 markings/sec, 40 secs
lola: STP completed || 1 tries, 78839 fired transitions, 45 secs || 162559 markings, 209682 edges, 3370 markings/sec, 45 secs
lola: STP completed || 1 tries, 86448 fired transitions, 50 secs || 179550 markings, 232126 edges, 3398 markings/sec, 50 secs
lola: STP completed || 1 tries, 94073 fired transitions, 55 secs || 196328 markings, 254223 edges, 3356 markings/sec, 55 secs
lola: STP completed || 1 tries, 101847 fired transitions, 60 secs || 214007 markings, 277368 edges, 3536 markings/sec, 60 secs
lola: STP completed || 1 tries, 109852 fired transitions, 65 secs || 231449 markings, 300066 edges, 3488 markings/sec, 65 secs
lola: STP completed || 1 tries, 117831 fired transitions, 70 secs || 249422 markings, 323878 edges, 3595 markings/sec, 70 secs
lola: STP completed || 1 tries, 125848 fired transitions, 75 secs || 266705 markings, 346458 edges, 3457 markings/sec, 75 secs
lola: STP completed || 1 tries, 133841 fired transitions, 80 secs || 284314 markings, 369267 edges, 3522 markings/sec, 80 secs
lola: STP completed || 1 tries, 141850 fired transitions, 85 secs || 302257 markings, 392806 edges, 3589 markings/sec, 85 secs
lola: STP completed || 1 tries, 149854 fired transitions, 90 secs || 319982 markings, 415986 edges, 3545 markings/sec, 90 secs
lola: STP completed || 1 tries, 157865 fired transitions, 95 secs || 337133 markings, 437985 edges, 3430 markings/sec, 95 secs
lola: STP completed || 1 tries, 165872 fired transitions, 100 secs || 354929 markings, 461297 edges, 3559 markings/sec, 100 secs
lola: STP completed || 1 tries, 173896 fired transitions, 105 secs || 372498 markings, 484589 edges, 3514 markings/sec, 105 secs
lola: STP completed || 1 tries, 181880 fired transitions, 110 secs || 390991 markings, 509010 edges, 3699 markings/sec, 110 secs
lola: STP completed || 1 tries, 189895 fired transitions, 115 secs || 408616 markings, 532386 edges, 3525 markings/sec, 115 secs
lola: STP completed || 1 tries, 197894 fired transitions, 120 secs || 426370 markings, 555904 edges, 3551 markings/sec, 120 secs
lola: STP completed || 1 tries, 205885 fired transitions, 125 secs || 444181 markings, 579212 edges, 3562 markings/sec, 125 secs
lola: STP completed || 1 tries, 213842 fired transitions, 130 secs || 462647 markings, 603546 edges, 3693 markings/sec, 130 secs
lola: STP completed || 1 tries, 221883 fired transitions, 135 secs || 480560 markings, 626776 edges, 3583 markings/sec, 135 secs
lola: STP completed || 1 tries, 229810 fired transitions, 140 secs || 498448 markings, 650402 edges, 3578 markings/sec, 140 secs
lola: STP completed || 1 tries, 237824 fired transitions, 145 secs || 516004 markings, 673414 edges, 3511 markings/sec, 145 secs
lola: STP completed || 1 tries, 245883 fired transitions, 150 secs || 534118 markings, 697260 edges, 3623 markings/sec, 150 secs
lola: STP completed || 1 tries, 253899 fired transitions, 155 secs || 552213 markings, 721062 edges, 3619 markings/sec, 155 secs
lola: STP completed || 1 tries, 261979 fired transitions, 160 secs || 569076 markings, 742786 edges, 3373 markings/sec, 160 secs
lola: STP completed || 1 tries, 270042 fired transitions, 165 secs || 587689 markings, 767531 edges, 3723 markings/sec, 165 secs
lola: STP completed || 1 tries, 278085 fired transitions, 170 secs || 606338 markings, 792401 edges, 3730 markings/sec, 170 secs
lola: STP completed || 1 tries, 286145 fired transitions, 175 secs || 624296 markings, 816116 edges, 3592 markings/sec, 175 secs
lola: STP completed || 1 tries, 294186 fired transitions, 180 secs || 642848 markings, 840663 edges, 3710 markings/sec, 180 secs
lola: STP completed || 1 tries, 302253 fired transitions, 185 secs || 660464 markings, 863904 edges, 3523 markings/sec, 185 secs
lola: STP completed || 1 tries, 310314 fired transitions, 190 secs || 676138 markings, 884109 edges, 3135 markings/sec, 190 secs
lola: STP completed || 1 tries, 318405 fired transitions, 195 secs || 693769 markings, 907209 edges, 3526 markings/sec, 195 secs
lola: STP completed || 1 tries, 326445 fired transitions, 200 secs || 709904 markings, 928069 edges, 3227 markings/sec, 200 secs
lola: STP completed || 1 tries, 334495 fired transitions, 205 secs || 727216 markings, 950855 edges, 3462 markings/sec, 205 secs
lola: STP completed || 1 tries, 342527 fired transitions, 210 secs || 744799 markings, 973917 edges, 3517 markings/sec, 210 secs
lola: STP completed || 1 tries, 350572 fired transitions, 215 secs || 763710 markings, 999202 edges, 3782 markings/sec, 215 secs
lola: STP completed || 1 tries, 358627 fired transitions, 220 secs || 782154 markings, 1023835 edges, 3689 markings/sec, 220 secs
lola: STP completed || 1 tries, 366652 fired transitions, 225 secs || 801323 markings, 1049377 edges, 3834 markings/sec, 225 secs
lola: STP completed || 1 tries, 374727 fired transitions, 230 secs || 819980 markings, 1074019 edges, 3731 markings/sec, 230 secs
lola: STP completed || 1 tries, 382719 fired transitions, 235 secs || 838976 markings, 1099362 edges, 3799 markings/sec, 235 secs
lola: STP completed || 1 tries, 390784 fired transitions, 240 secs || 857851 markings, 1124389 edges, 3775 markings/sec, 240 secs
lola: STP completed || 1 tries, 398836 fired transitions, 245 secs || 875500 markings, 1147799 edges, 3530 markings/sec, 245 secs
lola: STP completed || 1 tries, 406882 fired transitions, 250 secs || 893298 markings, 1171460 edges, 3560 markings/sec, 250 secs
lola: STP completed || 1 tries, 414901 fired transitions, 255 secs || 911510 markings, 1195737 edges, 3642 markings/sec, 255 secs
lola: STP completed || 1 tries, 422950 fired transitions, 260 secs || 930150 markings, 1220589 edges, 3728 markings/sec, 260 secs
lola: STP completed || 1 tries, 430990 fired transitions, 265 secs || 949510 markings, 1246375 edges, 3872 markings/sec, 265 secs
lola: STP completed || 1 tries, 438825 fired transitions, 270 secs || 968060 markings, 1271203 edges, 3710 markings/sec, 270 secs
lola: STP completed || 1 tries, 446507 fired transitions, 275 secs || 985335 markings, 1293982 edges, 3455 markings/sec, 275 secs
lola: STP completed || 1 tries, 454411 fired transitions, 280 secs || 1003599 markings, 1318248 edges, 3653 markings/sec, 280 secs
lola: STP completed || 1 tries, 462435 fired transitions, 285 secs || 1022459 markings, 1343433 edges, 3772 markings/sec, 285 secs
lola: STP completed || 1 tries, 470474 fired transitions, 290 secs || 1040233 markings, 1366852 edges, 3555 markings/sec, 290 secs
lola: STP completed || 1 tries, 478531 fired transitions, 295 secs || 1060334 markings, 1393887 edges, 4020 markings/sec, 295 secs
lola: STP completed || 1 tries, 486592 fired transitions, 300 secs || 1079318 markings, 1419255 edges, 3797 markings/sec, 300 secs
lola: STP completed || 1 tries, 494632 fired transitions, 305 secs || 1097454 markings, 1443228 edges, 3627 markings/sec, 305 secs
lola: STP completed || 1 tries, 502679 fired transitions, 310 secs || 1115915 markings, 1467907 edges, 3692 markings/sec, 310 secs
lola: STP completed || 1 tries, 510735 fired transitions, 315 secs || 1134691 markings, 1492955 edges, 3755 markings/sec, 315 secs
lola: STP completed || 1 tries, 518823 fired transitions, 320 secs || 1153670 markings, 1518176 edges, 3796 markings/sec, 320 secs
lola: STP completed || 1 tries, 526852 fired transitions, 325 secs || 1173462 markings, 1544652 edges, 3958 markings/sec, 325 secs
lola: STP completed || 1 tries, 534916 fired transitions, 330 secs || 1192526 markings, 1569884 edges, 3813 markings/sec, 330 secs
lola: STP completed || 1 tries, 542966 fired transitions, 335 secs || 1211129 markings, 1594493 edges, 3721 markings/sec, 335 secs
lola: STP completed || 1 tries, 551024 fired transitions, 340 secs || 1229546 markings, 1619076 edges, 3683 markings/sec, 340 secs
lola: STP completed || 1 tries, 559060 fired transitions, 345 secs || 1247819 markings, 1643367 edges, 3655 markings/sec, 345 secs
lola: STP completed || 1 tries, 567099 fired transitions, 350 secs || 1266367 markings, 1668069 edges, 3710 markings/sec, 350 secs
lola: STP completed || 1 tries, 574858 fired transitions, 355 secs || 1285018 markings, 1693077 edges, 3730 markings/sec, 355 secs
lola: STP completed || 1 tries, 582596 fired transitions, 360 secs || 1302769 markings, 1716582 edges, 3550 markings/sec, 360 secs
lola: STP completed || 1 tries, 590636 fired transitions, 365 secs || 1322344 markings, 1742660 edges, 3915 markings/sec, 365 secs
lola: STP completed || 1 tries, 598675 fired transitions, 370 secs || 1342281 markings, 1769153 edges, 3987 markings/sec, 370 secs
lola: STP completed || 1 tries, 606702 fired transitions, 375 secs || 1361488 markings, 1794908 edges, 3841 markings/sec, 375 secs
lola: STP completed || 1 tries, 614790 fired transitions, 380 secs || 1380646 markings, 1820376 edges, 3832 markings/sec, 380 secs
lola: STP completed || 1 tries, 622550 fired transitions, 385 secs || 1398891 markings, 1844760 edges, 3649 markings/sec, 385 secs
lola: STP completed || 1 tries, 630443 fired transitions, 390 secs || 1416841 markings, 1868749 edges, 3590 markings/sec, 390 secs
lola: STP completed || 1 tries, 638503 fired transitions, 395 secs || 1435253 markings, 1893328 edges, 3682 markings/sec, 395 secs
lola: STP completed || 1 tries, 646544 fired transitions, 400 secs || 1455543 markings, 1920500 edges, 4058 markings/sec, 400 secs
lola: STP completed || 1 tries, 654625 fired transitions, 405 secs || 1476188 markings, 1948295 edges, 4129 markings/sec, 405 secs
lola: STP completed || 1 tries, 662638 fired transitions, 410 secs || 1495658 markings, 1974591 edges, 3894 markings/sec, 410 secs
lola: STP completed || 1 tries, 670697 fired transitions, 415 secs || 1514343 markings, 1999527 edges, 3737 markings/sec, 415 secs
lola: STP completed || 1 tries, 678752 fired transitions, 420 secs || 1533478 markings, 2025029 edges, 3827 markings/sec, 420 secs
lola: STP completed || 1 tries, 686795 fired transitions, 425 secs || 1553256 markings, 2051567 edges, 3956 markings/sec, 425 secs
lola: STP completed || 1 tries, 694836 fired transitions, 430 secs || 1572462 markings, 2077322 edges, 3841 markings/sec, 430 secs
lola: STP completed || 1 tries, 702898 fired transitions, 435 secs || 1591739 markings, 2102848 edges, 3855 markings/sec, 435 secs
lola: STP completed || 1 tries, 710973 fired transitions, 440 secs || 1611612 markings, 2129525 edges, 3975 markings/sec, 440 secs
lola: STP completed || 1 tries, 719020 fired transitions, 445 secs || 1631972 markings, 2156895 edges, 4072 markings/sec, 445 secs
lola: STP completed || 1 tries, 727057 fired transitions, 450 secs || 1651550 markings, 2183242 edges, 3916 markings/sec, 450 secs
lola: STP completed || 1 tries, 735114 fired transitions, 455 secs || 1670512 markings, 2208592 edges, 3792 markings/sec, 455 secs
lola: STP completed || 1 tries, 743186 fired transitions, 460 secs || 1689107 markings, 2233485 edges, 3719 markings/sec, 460 secs
lola: STP completed || 1 tries, 751240 fired transitions, 465 secs || 1708599 markings, 2259620 edges, 3898 markings/sec, 465 secs
lola: STP completed || 1 tries, 759319 fired transitions, 470 secs || 1727786 markings, 2285216 edges, 3837 markings/sec, 470 secs
lola: STP completed || 1 tries, 767391 fired transitions, 475 secs || 1747404 markings, 2311436 edges, 3924 markings/sec, 475 secs
lola: STP completed || 1 tries, 775453 fired transitions, 480 secs || 1767206 markings, 2338118 edges, 3960 markings/sec, 480 secs
lola: STP completed || 1 tries, 783521 fired transitions, 485 secs || 1786706 markings, 2364214 edges, 3900 markings/sec, 485 secs
lola: STP completed || 1 tries, 791574 fired transitions, 490 secs || 1806664 markings, 2390955 edges, 3992 markings/sec, 490 secs
lola: STP completed || 1 tries, 799647 fired transitions, 495 secs || 1825966 markings, 2416711 edges, 3860 markings/sec, 495 secs
lola: STP completed || 1 tries, 807688 fired transitions, 500 secs || 1845340 markings, 2442731 edges, 3875 markings/sec, 500 secs
lola: STP completed || 1 tries, 815777 fired transitions, 505 secs || 1865333 markings, 2469646 edges, 3999 markings/sec, 505 secs
lola: STP completed || 1 tries, 823834 fired transitions, 510 secs || 1884686 markings, 2495276 edges, 3871 markings/sec, 510 secs
lola: STP completed || 1 tries, 831874 fired transitions, 515 secs || 1904572 markings, 2522009 edges, 3977 markings/sec, 515 secs
lola: STP completed || 1 tries, 839898 fired transitions, 520 secs || 1924651 markings, 2548826 edges, 4016 markings/sec, 520 secs
lola: STP completed || 1 tries, 847971 fired transitions, 525 secs || 1944564 markings, 2575718 edges, 3983 markings/sec, 525 secs
lola: STP completed || 1 tries, 856012 fired transitions, 530 secs || 1961516 markings, 2598262 edges, 3390 markings/sec, 530 secs
lola: STP completed || 1 tries, 864069 fired transitions, 535 secs || 1980953 markings, 2624235 edges, 3887 markings/sec, 535 secs
lola: STP completed || 1 tries, 872137 fired transitions, 540 secs || 2000527 markings, 2650547 edges, 3915 markings/sec, 540 secs
lola: STP completed || 1 tries, 880177 fired transitions, 545 secs || 2021011 markings, 2678093 edges, 4097 markings/sec, 545 secs
lola: STP completed || 1 tries, 888221 fired transitions, 550 secs || 2041601 markings, 2705555 edges, 4118 markings/sec, 550 secs
lola: STP completed || 1 tries, 896291 fired transitions, 555 secs || 2062382 markings, 2733434 edges, 4156 markings/sec, 555 secs
lola: STP completed || 1 tries, 904354 fired transitions, 560 secs || 2083187 markings, 2761350 edges, 4161 markings/sec, 560 secs
lola: STP completed || 1 tries, 912433 fired transitions, 565 secs || 2102951 markings, 2787700 edges, 3953 markings/sec, 565 secs
lola: STP completed || 1 tries, 920469 fired transitions, 570 secs || 2123605 markings, 2815531 edges, 4131 markings/sec, 570 secs
lola: STP completed || 1 tries, 928534 fired transitions, 575 secs || 2142670 markings, 2841023 edges, 3813 markings/sec, 575 secs
lola: STP completed || 1 tries, 936600 fired transitions, 580 secs || 2161395 markings, 2866137 edges, 3745 markings/sec, 580 secs
lola: STP completed || 1 tries, 944645 fired transitions, 585 secs || 2181798 markings, 2893570 edges, 4081 markings/sec, 585 secs
lola: STP completed || 1 tries, 952725 fired transitions, 590 secs || 2201228 markings, 2919911 edges, 3886 markings/sec, 590 secs
lola: STP completed || 1 tries, 960781 fired transitions, 595 secs || 2221663 markings, 2947399 edges, 4087 markings/sec, 595 secs
lola: STP completed || 1 tries, 968831 fired transitions, 600 secs || 2242778 markings, 2975863 edges, 4223 markings/sec, 600 secs
lola: STP completed || 1 tries, 976886 fired transitions, 605 secs || 2261737 markings, 3001199 edges, 3792 markings/sec, 605 secs
lola: STP completed || 1 tries, 984932 fired transitions, 610 secs || 2282475 markings, 3029175 edges, 4148 markings/sec, 610 secs
lola: STP completed || 1 tries, 993022 fired transitions, 615 secs || 2302969 markings, 3056892 edges, 4099 markings/sec, 615 secs
lola: STP completed || 2 tries, 1001055 fired transitions, 620 secs || 2322708 markings, 3083283 edges, 3948 markings/sec, 620 secs
lola: STP completed || 2 tries, 1009104 fired transitions, 625 secs || 2342318 markings, 3109527 edges, 3922 markings/sec, 625 secs
lola: STP completed || 2 tries, 1017142 fired transitions, 630 secs || 2363949 markings, 3138966 edges, 4326 markings/sec, 630 secs
lola: STP completed || 2 tries, 1025166 fired transitions, 635 secs || 2383899 markings, 3165885 edges, 3990 markings/sec, 635 secs
lola: STP completed || 2 tries, 1033208 fired transitions, 640 secs || 2404564 markings, 3193491 edges, 4133 markings/sec, 640 secs
lola: STP completed || 2 tries, 1041262 fired transitions, 645 secs || 2423778 markings, 3219250 edges, 3843 markings/sec, 645 secs
lola: STP completed || 2 tries, 1049360 fired transitions, 650 secs || 2443592 markings, 3245722 edges, 3963 markings/sec, 650 secs
lola: STP completed || 2 tries, 1057398 fired transitions, 655 secs || 2464035 markings, 3273115 edges, 4089 markings/sec, 655 secs
lola: STP completed || 2 tries, 1065469 fired transitions, 660 secs || 2483946 markings, 3300050 edges, 3982 markings/sec, 660 secs
lola: STP completed || 2 tries, 1073535 fired transitions, 665 secs || 2504094 markings, 3327090 edges, 4030 markings/sec, 665 secs
lola: STP completed || 2 tries, 1081571 fired transitions, 670 secs || 2524705 markings, 3354746 edges, 4122 markings/sec, 670 secs
lola: STP completed || 2 tries, 1089609 fired transitions, 675 secs || 2546314 markings, 3383970 edges, 4322 markings/sec, 675 secs
lola: STP completed || 2 tries, 1097663 fired transitions, 680 secs || 2567202 markings, 3411945 edges, 4178 markings/sec, 680 secs
lola: STP completed || 2 tries, 1105721 fired transitions, 685 secs || 2586788 markings, 3438261 edges, 3917 markings/sec, 685 secs
lola: STP completed || 2 tries, 1113775 fired transitions, 690 secs || 2608018 markings, 3466827 edges, 4246 markings/sec, 690 secs
lola: STP completed || 2 tries, 1121829 fired transitions, 695 secs || 2628673 markings, 3494524 edges, 4131 markings/sec, 695 secs
lola: STP completed || 2 tries, 1129901 fired transitions, 700 secs || 2648341 markings, 3521061 edges, 3934 markings/sec, 700 secs
lola: STP completed || 2 tries, 1137951 fired transitions, 705 secs || 2669668 markings, 3549853 edges, 4265 markings/sec, 705 secs
lola: STP completed || 2 tries, 1145985 fired transitions, 710 secs || 2689156 markings, 3576065 edges, 3898 markings/sec, 710 secs
lola: STP completed || 2 tries, 1154062 fired transitions, 715 secs || 2709333 markings, 3602952 edges, 4035 markings/sec, 715 secs
lola: STP completed || 2 tries, 1162097 fired transitions, 720 secs || 2729599 markings, 3630312 edges, 4053 markings/sec, 720 secs
lola: STP completed || 2 tries, 1170133 fired transitions, 725 secs || 2750324 markings, 3658475 edges, 4145 markings/sec, 725 secs
lola: STP completed || 2 tries, 1178187 fired transitions, 730 secs || 2771284 markings, 3686727 edges, 4192 markings/sec, 730 secs
lola: STP completed || 2 tries, 1186230 fired transitions, 735 secs || 2792252 markings, 3715213 edges, 4194 markings/sec, 735 secs
lola: STP completed || 2 tries, 1194296 fired transitions, 740 secs || 2811993 markings, 3741685 edges, 3948 markings/sec, 740 secs
lola: STP completed || 2 tries, 1202375 fired transitions, 745 secs || 2831632 markings, 3768008 edges, 3928 markings/sec, 745 secs
lola: STP completed || 2 tries, 1210461 fired transitions, 750 secs || 2852245 markings, 3795969 edges, 4123 markings/sec, 750 secs
lola: STP completed || 2 tries, 1218515 fired transitions, 755 secs || 2871942 markings, 3822274 edges, 3939 markings/sec, 755 secs
lola: STP completed || 2 tries, 1226583 fired transitions, 760 secs || 2892745 markings, 3850428 edges, 4161 markings/sec, 760 secs
lola: STP completed || 2 tries, 1234639 fired transitions, 765 secs || 2913975 markings, 3879140 edges, 4246 markings/sec, 765 secs
lola: STP completed || 2 tries, 1242674 fired transitions, 770 secs || 2934779 markings, 3907238 edges, 4161 markings/sec, 770 secs
lola: STP completed || 2 tries, 1250732 fired transitions, 775 secs || 2955538 markings, 3935251 edges, 4152 markings/sec, 775 secs
lola: STP completed || 2 tries, 1258808 fired transitions, 780 secs || 2976176 markings, 3962928 edges, 4128 markings/sec, 780 secs
lola: STP completed || 2 tries, 1266863 fired transitions, 785 secs || 2997195 markings, 3991359 edges, 4204 markings/sec, 785 secs
lola: STP completed || 2 tries, 1274920 fired transitions, 790 secs || 3017000 markings, 4017798 edges, 3961 markings/sec, 790 secs
lola: STP completed || 2 tries, 1282985 fired transitions, 795 secs || 3037307 markings, 4045295 edges, 4061 markings/sec, 795 secs
lola: STP completed || 2 tries, 1291038 fired transitions, 800 secs || 3056988 markings, 4071832 edges, 3936 markings/sec, 800 secs
lola: STP completed || 2 tries, 1299082 fired transitions, 805 secs || 3076664 markings, 4098268 edges, 3935 markings/sec, 805 secs
lola: STP completed || 2 tries, 1307099 fired transitions, 810 secs || 3097561 markings, 4126515 edges, 4179 markings/sec, 810 secs
lola: STP completed || 2 tries, 1315164 fired transitions, 815 secs || 3116885 markings, 4152484 edges, 3865 markings/sec, 815 secs
lola: STP completed || 2 tries, 1323224 fired transitions, 820 secs || 3137554 markings, 4180327 edges, 4134 markings/sec, 820 secs
lola: STP completed || 2 tries, 1331284 fired transitions, 825 secs || 3158669 markings, 4208915 edges, 4223 markings/sec, 825 secs
lola: STP completed || 2 tries, 1339330 fired transitions, 830 secs || 3178862 markings, 4236131 edges, 4039 markings/sec, 830 secs
lola: STP completed || 2 tries, 1347345 fired transitions, 835 secs || 3200127 markings, 4264973 edges, 4253 markings/sec, 835 secs
lola: STP completed || 2 tries, 1355408 fired transitions, 840 secs || 3221240 markings, 4293450 edges, 4223 markings/sec, 840 secs
lola: STP completed || 2 tries, 1363463 fired transitions, 845 secs || 3241156 markings, 4320438 edges, 3983 markings/sec, 845 secs
lola: STP completed || 2 tries, 1371488 fired transitions, 850 secs || 3262885 markings, 4349998 edges, 4346 markings/sec, 850 secs
lola: STP completed || 2 tries, 1379587 fired transitions, 855 secs || 3280637 markings, 4373802 edges, 3550 markings/sec, 855 secs
lola: STP completed || 2 tries, 1387625 fired transitions, 860 secs || 3301648 markings, 4402371 edges, 4202 markings/sec, 860 secs
lola: STP completed || 2 tries, 1395706 fired transitions, 865 secs || 3319690 markings, 4426504 edges, 3608 markings/sec, 865 secs
lola: STP completed || 2 tries, 1403754 fired transitions, 870 secs || 3339948 markings, 4453588 edges, 4052 markings/sec, 870 secs
lola: STP completed || 2 tries, 1411836 fired transitions, 875 secs || 3360280 markings, 4480844 edges, 4066 markings/sec, 875 secs
lola: STP completed || 2 tries, 1419894 fired transitions, 880 secs || 3381601 markings, 4509591 edges, 4264 markings/sec, 880 secs
lola: STP completed || 2 tries, 1427960 fired transitions, 885 secs || 3401557 markings, 4536515 edges, 3991 markings/sec, 885 secs
lola: STP completed || 2 tries, 1436010 fired transitions, 890 secs || 3422864 markings, 4565462 edges, 4261 markings/sec, 890 secs
lola: STP completed || 2 tries, 1444056 fired transitions, 895 secs || 3443424 markings, 4593300 edges, 4112 markings/sec, 895 secs
lola: STP completed || 2 tries, 1452091 fired transitions, 900 secs || 3464485 markings, 4621816 edges, 4212 markings/sec, 900 secs
lola: STP completed || 2 tries, 1460133 fired transitions, 905 secs || 3486495 markings, 4651628 edges, 4402 markings/sec, 905 secs
lola: STP completed || 2 tries, 1468228 fired transitions, 910 secs || 3505955 markings, 4677529 edges, 3892 markings/sec, 910 secs
lola: STP completed || 2 tries, 1476281 fired transitions, 915 secs || 3526218 markings, 4704866 edges, 4053 markings/sec, 915 secs
lola: STP completed || 2 tries, 1484343 fired transitions, 920 secs || 3547896 markings, 4733882 edges, 4336 markings/sec, 920 secs
lola: STP completed || 2 tries, 1492383 fired transitions, 925 secs || 3567585 markings, 4760477 edges, 3938 markings/sec, 925 secs
lola: STP completed || 2 tries, 1500454 fired transitions, 930 secs || 3586736 markings, 4786042 edges, 3830 markings/sec, 930 secs
lola: STP completed || 2 tries, 1508507 fired transitions, 935 secs || 3608098 markings, 4814736 edges, 4272 markings/sec, 935 secs
lola: STP completed || 2 tries, 1516551 fired transitions, 940 secs || 3629262 markings, 4843264 edges, 4233 markings/sec, 940 secs
lola: STP completed || 2 tries, 1524586 fired transitions, 945 secs || 3649816 markings, 4870938 edges, 4111 markings/sec, 945 secs
lola: STP completed || 2 tries, 1532664 fired transitions, 950 secs || 3669053 markings, 4896600 edges, 3847 markings/sec, 950 secs
lola: STP completed || 2 tries, 1540705 fired transitions, 955 secs || 3690222 markings, 4925047 edges, 4234 markings/sec, 955 secs
lola: STP completed || 2 tries, 1548759 fired transitions, 960 secs || 3712051 markings, 4954599 edges, 4366 markings/sec, 960 secs
lola: STP completed || 2 tries, 1556794 fired transitions, 965 secs || 3733034 markings, 4983272 edges, 4197 markings/sec, 965 secs
lola: STP completed || 2 tries, 1564833 fired transitions, 970 secs || 3751059 markings, 5007446 edges, 3605 markings/sec, 970 secs
lola: STP completed || 2 tries, 1572894 fired transitions, 975 secs || 3770838 markings, 5034060 edges, 3956 markings/sec, 975 secs
lola: STP completed || 2 tries, 1580941 fired transitions, 980 secs || 3791855 markings, 5062545 edges, 4203 markings/sec, 980 secs
lola: STP completed || 2 tries, 1589007 fired transitions, 985 secs || 3812668 markings, 5090361 edges, 4163 markings/sec, 985 secs
lola: STP completed || 2 tries, 1597060 fired transitions, 990 secs || 3833123 markings, 5117921 edges, 4091 markings/sec, 990 secs
lola: STP completed || 2 tries, 1605121 fired transitions, 995 secs || 3852324 markings, 5143578 edges, 3840 markings/sec, 995 secs
lola: STP completed || 2 tries, 1613198 fired transitions, 1000 secs || 3871949 markings, 5169836 edges, 3925 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1621263 fired transitions, 1005 secs || 3892216 markings, 5196857 edges, 4053 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1629302 fired transitions, 1010 secs || 3913620 markings, 5225706 edges, 4281 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1637368 fired transitions, 1015 secs || 3933704 markings, 5252813 edges, 4017 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1645422 fired transitions, 1020 secs || 3952814 markings, 5278768 edges, 3822 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1653429 fired transitions, 1025 secs || 3974773 markings, 5308351 edges, 4392 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1661442 fired transitions, 1030 secs || 3995786 markings, 5336841 edges, 4203 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1669518 fired transitions, 1035 secs || 4015834 markings, 5363789 edges, 4010 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1677581 fired transitions, 1040 secs || 4034664 markings, 5388947 edges, 3766 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1685637 fired transitions, 1045 secs || 4055387 markings, 5417015 edges, 4145 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1693711 fired transitions, 1050 secs || 4076211 markings, 5445157 edges, 4165 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1701807 fired transitions, 1055 secs || 4094603 markings, 5469827 edges, 3678 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1709895 fired transitions, 1060 secs || 4111544 markings, 5492245 edges, 3388 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1717939 fired transitions, 1065 secs || 4132309 markings, 5520219 edges, 4153 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1726004 fired transitions, 1070 secs || 4153006 markings, 5547908 edges, 4139 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1734094 fired transitions, 1075 secs || 4173994 markings, 5576105 edges, 4198 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1742142 fired transitions, 1080 secs || 4194447 markings, 5603854 edges, 4091 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1750186 fired transitions, 1085 secs || 4216399 markings, 5633837 edges, 4390 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1758279 fired transitions, 1090 secs || 4237630 markings, 5662407 edges, 4246 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1766291 fired transitions, 1095 secs || 4258633 markings, 5690928 edges, 4201 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1774296 fired transitions, 1100 secs || 4280099 markings, 5719953 edges, 4293 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1782306 fired transitions, 1105 secs || 4299634 markings, 5746159 edges, 3907 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1790273 fired transitions, 1110 secs || 4321824 markings, 5776324 edges, 4438 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1798253 fired transitions, 1115 secs || 4342656 markings, 5804609 edges, 4166 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1806251 fired transitions, 1120 secs || 4363669 markings, 5832920 edges, 4203 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1814259 fired transitions, 1125 secs || 4383939 markings, 5860216 edges, 4054 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1822245 fired transitions, 1130 secs || 4404730 markings, 5888397 edges, 4158 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1830225 fired transitions, 1135 secs || 4426349 markings, 5917804 edges, 4324 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1838213 fired transitions, 1140 secs || 4445950 markings, 5944251 edges, 3920 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1846164 fired transitions, 1145 secs || 4466148 markings, 5971510 edges, 4040 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1854119 fired transitions, 1150 secs || 4487336 markings, 6000016 edges, 4238 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1862103 fired transitions, 1155 secs || 4509594 markings, 6030370 edges, 4452 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1870061 fired transitions, 1160 secs || 4528120 markings, 6055428 edges, 3705 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1878034 fired transitions, 1165 secs || 4549172 markings, 6083862 edges, 4210 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1886039 fired transitions, 1170 secs || 4570492 markings, 6112630 edges, 4264 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1894014 fired transitions, 1175 secs || 4592155 markings, 6142156 edges, 4333 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1901997 fired transitions, 1180 secs || 4613214 markings, 6170821 edges, 4212 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1909964 fired transitions, 1185 secs || 4633454 markings, 6198021 edges, 4048 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1917928 fired transitions, 1190 secs || 4655676 markings, 6228241 edges, 4444 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1925934 fired transitions, 1195 secs || 4675815 markings, 6255341 edges, 4028 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1933935 fired transitions, 1200 secs || 4695774 markings, 6282100 edges, 3992 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1941932 fired transitions, 1205 secs || 4717072 markings, 6310857 edges, 4260 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1949932 fired transitions, 1210 secs || 4738174 markings, 6339324 edges, 4220 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1957908 fired transitions, 1215 secs || 4758994 markings, 6367278 edges, 4164 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1965912 fired transitions, 1220 secs || 4779454 markings, 6394622 edges, 4092 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1973928 fired transitions, 1225 secs || 4800763 markings, 6423340 edges, 4262 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1981920 fired transitions, 1230 secs || 4821326 markings, 6451042 edges, 4113 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1989890 fired transitions, 1235 secs || 4843020 markings, 6480317 edges, 4339 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1997877 fired transitions, 1240 secs || 4864499 markings, 6509579 edges, 4296 markings/sec, 1240 secs
lola: STP completed || 3 tries, 2005858 fired transitions, 1245 secs || 4886028 markings, 6538628 edges, 4306 markings/sec, 1245 secs
lola: STP completed || 3 tries, 2013861 fired transitions, 1250 secs || 4906985 markings, 6567011 edges, 4191 markings/sec, 1250 secs
lola: STP completed || 3 tries, 2021821 fired transitions, 1255 secs || 4928902 markings, 6596668 edges, 4383 markings/sec, 1255 secs
lola: STP completed || 3 tries, 2029822 fired transitions, 1260 secs || 4949092 markings, 6623962 edges, 4038 markings/sec, 1260 secs
lola: STP completed || 3 tries, 2037777 fired transitions, 1265 secs || 4970506 markings, 6652698 edges, 4283 markings/sec, 1265 secs
lola: STP completed || 3 tries, 2045734 fired transitions, 1270 secs || 4991523 markings, 6681256 edges, 4203 markings/sec, 1270 secs
lola: STP completed || 3 tries, 2053730 fired transitions, 1275 secs || 5009817 markings, 6705749 edges, 3659 markings/sec, 1275 secs
lola: STP completed || 3 tries, 2061713 fired transitions, 1280 secs || 5028728 markings, 6731241 edges, 3782 markings/sec, 1280 secs
lola: STP completed || 3 tries, 2069680 fired transitions, 1285 secs || 5050680 markings, 6761165 edges, 4390 markings/sec, 1285 secs
lola: STP completed || 3 tries, 2077661 fired transitions, 1290 secs || 5071410 markings, 6789292 edges, 4146 markings/sec, 1290 secs
lola: STP completed || 3 tries, 2085597 fired transitions, 1295 secs || 5092978 markings, 6818514 edges, 4314 markings/sec, 1295 secs
lola: STP completed || 3 tries, 2093487 fired transitions, 1300 secs || 5113030 markings, 6845603 edges, 4010 markings/sec, 1300 secs
lola: STP completed || 3 tries, 2101360 fired transitions, 1305 secs || 5134491 markings, 6874676 edges, 4292 markings/sec, 1305 secs
lola: STP completed || 3 tries, 2109248 fired transitions, 1310 secs || 5156342 markings, 6904429 edges, 4370 markings/sec, 1310 secs
lola: STP completed || 3 tries, 2117137 fired transitions, 1315 secs || 5178801 markings, 6935086 edges, 4492 markings/sec, 1315 secs
lola: STP completed || 3 tries, 2125042 fired transitions, 1320 secs || 5199211 markings, 6962605 edges, 4082 markings/sec, 1320 secs
lola: STP completed || 3 tries, 2132947 fired transitions, 1325 secs || 5219589 markings, 6990158 edges, 4076 markings/sec, 1325 secs
lola: STP completed || 3 tries, 2140853 fired transitions, 1330 secs || 5240751 markings, 7018753 edges, 4232 markings/sec, 1330 secs
lola: STP completed || 3 tries, 2148735 fired transitions, 1335 secs || 5259798 markings, 7044518 edges, 3809 markings/sec, 1335 secs
lola: STP completed || 3 tries, 2156626 fired transitions, 1340 secs || 5280045 markings, 7071856 edges, 4049 markings/sec, 1340 secs
lola: STP completed || 3 tries, 2164528 fired transitions, 1345 secs || 5302174 markings, 7102125 edges, 4426 markings/sec, 1345 secs
lola: STP completed || 3 tries, 2172445 fired transitions, 1350 secs || 5322720 markings, 7130003 edges, 4109 markings/sec, 1350 secs
lola: STP completed || 3 tries, 2180362 fired transitions, 1355 secs || 5343221 markings, 7157884 edges, 4100 markings/sec, 1355 secs
lola: STP completed || 3 tries, 2188309 fired transitions, 1360 secs || 5363888 markings, 7185576 edges, 4133 markings/sec, 1360 secs
lola: STP completed || 3 tries, 2196303 fired transitions, 1365 secs || 5384840 markings, 7214113 edges, 4190 markings/sec, 1365 secs
lola: STP completed || 3 tries, 2204297 fired transitions, 1370 secs || 5405959 markings, 7242692 edges, 4224 markings/sec, 1370 secs
lola: STP completed || 3 tries, 2212300 fired transitions, 1375 secs || 5426556 markings, 7270331 edges, 4119 markings/sec, 1375 secs
lola: STP completed || 3 tries, 2220250 fired transitions, 1380 secs || 5447773 markings, 7299132 edges, 4243 markings/sec, 1380 secs
lola: STP completed || 3 tries, 2228232 fired transitions, 1385 secs || 5470169 markings, 7329863 edges, 4479 markings/sec, 1385 secs
lola: STP completed || 3 tries, 2236200 fired transitions, 1390 secs || 5490406 markings, 7357081 edges, 4047 markings/sec, 1390 secs
lola: STP completed || 3 tries, 2244201 fired transitions, 1395 secs || 5511604 markings, 7385934 edges, 4240 markings/sec, 1395 secs
lola: STP completed || 3 tries, 2252139 fired transitions, 1400 secs || 5532428 markings, 7414315 edges, 4165 markings/sec, 1400 secs
lola: STP completed || 3 tries, 2260077 fired transitions, 1405 secs || 5553254 markings, 7442424 edges, 4165 markings/sec, 1405 secs
lola: STP completed || 3 tries, 2267917 fired transitions, 1410 secs || 5572730 markings, 7468862 edges, 3895 markings/sec, 1410 secs
lola: STP completed || 3 tries, 2275711 fired transitions, 1415 secs || 5593787 markings, 7497390 edges, 4211 markings/sec, 1415 secs
lola: STP completed || 3 tries, 2283324 fired transitions, 1420 secs || 5614902 markings, 7526062 edges, 4223 markings/sec, 1420 secs
lola: STP completed || 3 tries, 2290953 fired transitions, 1425 secs || 5635487 markings, 7554196 edges, 4117 markings/sec, 1425 secs
lola: STP completed || 3 tries, 2298571 fired transitions, 1430 secs || 5655550 markings, 7581361 edges, 4013 markings/sec, 1430 secs
lola: STP completed || 3 tries, 2306180 fired transitions, 1435 secs || 5675263 markings, 7607995 edges, 3943 markings/sec, 1435 secs
lola: STP completed || 3 tries, 2313782 fired transitions, 1440 secs || 5696458 markings, 7637102 edges, 4239 markings/sec, 1440 secs
lola: STP completed || 3 tries, 2321416 fired transitions, 1445 secs || 5713545 markings, 7659843 edges, 3417 markings/sec, 1445 secs
lola: STP completed || 3 tries, 2329059 fired transitions, 1450 secs || 5730046 markings, 7682113 edges, 3300 markings/sec, 1450 secs
lola: STP completed || 3 tries, 2336711 fired transitions, 1455 secs || 5747125 markings, 7705079 edges, 3416 markings/sec, 1455 secs
lola: STP completed || 3 tries, 2344376 fired transitions, 1460 secs || 5764013 markings, 7727582 edges, 3378 markings/sec, 1460 secs
lola: STP completed || 3 tries, 2352017 fired transitions, 1465 secs || 5781297 markings, 7750604 edges, 3457 markings/sec, 1465 secs
lola: STP completed || 3 tries, 2359647 fired transitions, 1470 secs || 5798935 markings, 7774223 edges, 3528 markings/sec, 1470 secs
lola: STP completed || 3 tries, 2367291 fired transitions, 1475 secs || 5818906 markings, 7801184 edges, 3994 markings/sec, 1475 secs
lola: STP completed || 3 tries, 2374943 fired transitions, 1480 secs || 5838790 markings, 7828061 edges, 3977 markings/sec, 1480 secs
lola: STP completed || 3 tries, 2382550 fired transitions, 1485 secs || 5859507 markings, 7856334 edges, 4143 markings/sec, 1485 secs
lola: STP completed || 3 tries, 2390184 fired transitions, 1490 secs || 5878162 markings, 7881667 edges, 3731 markings/sec, 1490 secs
lola: STP completed || 3 tries, 2397815 fired transitions, 1495 secs || 5898546 markings, 7909276 edges, 4077 markings/sec, 1495 secs
lola: STP completed || 3 tries, 2405440 fired transitions, 1500 secs || 5919052 markings, 7937036 edges, 4101 markings/sec, 1500 secs
lola: STP completed || 3 tries, 2413068 fired transitions, 1505 secs || 5940988 markings, 7966576 edges, 4387 markings/sec, 1505 secs
lola: STP completed || 3 tries, 2420691 fired transitions, 1510 secs || 5961951 markings, 7994937 edges, 4193 markings/sec, 1510 secs
lola: STP completed || 3 tries, 2428346 fired transitions, 1515 secs || 5982381 markings, 8022337 edges, 4086 markings/sec, 1515 secs
lola: STP completed || 3 tries, 2435993 fired transitions, 1520 secs || 6001501 markings, 8048232 edges, 3824 markings/sec, 1520 secs
lola: STP completed || 3 tries, 2443632 fired transitions, 1525 secs || 6019957 markings, 8073409 edges, 3691 markings/sec, 1525 secs
lola: STP completed || 3 tries, 2451261 fired transitions, 1530 secs || 6040220 markings, 8100692 edges, 4053 markings/sec, 1530 secs
lola: STP completed || 3 tries, 2458909 fired transitions, 1535 secs || 6060689 markings, 8128360 edges, 4094 markings/sec, 1535 secs
lola: STP completed || 3 tries, 2466548 fired transitions, 1540 secs || 6080104 markings, 8154489 edges, 3883 markings/sec, 1540 secs
lola: STP completed || 3 tries, 2474155 fired transitions, 1545 secs || 6100214 markings, 8181668 edges, 4022 markings/sec, 1545 secs
lola: STP completed || 3 tries, 2481766 fired transitions, 1550 secs || 6121720 markings, 8210637 edges, 4301 markings/sec, 1550 secs
lola: STP completed || 3 tries, 2489374 fired transitions, 1555 secs || 6142073 markings, 8238133 edges, 4071 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2496999 fired transitions, 1560 secs || 6161825 markings, 8264968 edges, 3950 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2504609 fired transitions, 1565 secs || 6182589 markings, 8293108 edges, 4153 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2512237 fired transitions, 1570 secs || 6202457 markings, 8320089 edges, 3974 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2519872 fired transitions, 1575 secs || 6221347 markings, 8345868 edges, 3778 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2527490 fired transitions, 1580 secs || 6240494 markings, 8371918 edges, 3829 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2535134 fired transitions, 1585 secs || 6261177 markings, 8400081 edges, 4137 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2542781 fired transitions, 1590 secs || 6280601 markings, 8426281 edges, 3885 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2550402 fired transitions, 1595 secs || 6302068 markings, 8455553 edges, 4293 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2558005 fired transitions, 1600 secs || 6324222 markings, 8485673 edges, 4431 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2565665 fired transitions, 1605 secs || 6345046 markings, 8513944 edges, 4165 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2573292 fired transitions, 1610 secs || 6365547 markings, 8541640 edges, 4100 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2580926 fired transitions, 1615 secs || 6384503 markings, 8567428 edges, 3791 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2588564 fired transitions, 1620 secs || 6405267 markings, 8595178 edges, 4153 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2596180 fired transitions, 1625 secs || 6425150 markings, 8622268 edges, 3977 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2603798 fired transitions, 1630 secs || 6443148 markings, 8646458 edges, 3600 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2611425 fired transitions, 1635 secs || 6463860 markings, 8674486 edges, 4142 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2619057 fired transitions, 1640 secs || 6481387 markings, 8698293 edges, 3505 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2626683 fired transitions, 1645 secs || 6500435 markings, 8723992 edges, 3810 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2634345 fired transitions, 1650 secs || 6518654 markings, 8748543 edges, 3644 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2641970 fired transitions, 1655 secs || 6538226 markings, 8775234 edges, 3914 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2649619 fired transitions, 1660 secs || 6555401 markings, 8798201 edges, 3435 markings/sec, 1660 secs
lola: STP completed || 3 tries, 2657244 fired transitions, 1665 secs || 6574628 markings, 8824204 edges, 3845 markings/sec, 1665 secs
lola: STP completed || 3 tries, 2664873 fired transitions, 1670 secs || 6594435 markings, 8851095 edges, 3961 markings/sec, 1670 secs
lola: STP completed || 3 tries, 2672499 fired transitions, 1675 secs || 6614724 markings, 8878477 edges, 4058 markings/sec, 1675 secs
lola: STP completed || 3 tries, 2680123 fired transitions, 1680 secs || 6635622 markings, 8906943 edges, 4180 markings/sec, 1680 secs
lola: STP completed || 3 tries, 2687727 fired transitions, 1685 secs || 6655380 markings, 8933611 edges, 3952 markings/sec, 1685 secs
lola: STP completed || 3 tries, 2695372 fired transitions, 1690 secs || 6674807 markings, 8959856 edges, 3885 markings/sec, 1690 secs
lola: STP completed || 3 tries, 2703015 fired transitions, 1695 secs || 6694026 markings, 8985995 edges, 3844 markings/sec, 1695 secs
lola: STP completed || 3 tries, 2710639 fired transitions, 1700 secs || 6714557 markings, 9013987 edges, 4106 markings/sec, 1700 secs
lola: STP completed || 3 tries, 2718291 fired transitions, 1705 secs || 6734716 markings, 9041298 edges, 4032 markings/sec, 1705 secs
lola: STP completed || 3 tries, 2725909 fired transitions, 1710 secs || 6753909 markings, 9067423 edges, 3839 markings/sec, 1710 secs
lola: STP completed || 3 tries, 2733532 fired transitions, 1715 secs || 6774760 markings, 9095752 edges, 4170 markings/sec, 1715 secs
lola: STP completed || 3 tries, 2741208 fired transitions, 1720 secs || 6794692 markings, 9122751 edges, 3986 markings/sec, 1720 secs
lola: STP completed || 3 tries, 2748894 fired transitions, 1725 secs || 6814364 markings, 9149180 edges, 3934 markings/sec, 1725 secs
lola: STP completed || 3 tries, 2756593 fired transitions, 1730 secs || 6835055 markings, 9177333 edges, 4138 markings/sec, 1730 secs
lola: STP completed || 3 tries, 2764277 fired transitions, 1735 secs || 6855282 markings, 9204588 edges, 4045 markings/sec, 1735 secs
lola: STP completed || 3 tries, 2771971 fired transitions, 1740 secs || 6875824 markings, 9232296 edges, 4108 markings/sec, 1740 secs
lola: STP completed || 3 tries, 2779648 fired transitions, 1745 secs || 6896767 markings, 9260724 edges, 4189 markings/sec, 1745 secs
lola: STP completed || 3 tries, 2787303 fired transitions, 1750 secs || 6915948 markings, 9286585 edges, 3836 markings/sec, 1750 secs
lola: STP completed || 3 tries, 2794906 fired transitions, 1755 secs || 6933607 markings, 9310561 edges, 3532 markings/sec, 1755 secs
lola: STP completed || 3 tries, 2802515 fired transitions, 1760 secs || 6954173 markings, 9338588 edges, 4113 markings/sec, 1760 secs
lola: STP completed || 3 tries, 2810133 fired transitions, 1765 secs || 6974714 markings, 9366399 edges, 4108 markings/sec, 1765 secs
lola: STP completed || 3 tries, 2817770 fired transitions, 1770 secs || 6992722 markings, 9390623 edges, 3602 markings/sec, 1770 secs
lola: STP completed || 3 tries, 2825359 fired transitions, 1775 secs || 7012195 markings, 9417029 edges, 3895 markings/sec, 1775 secs
lola: STP completed || 3 tries, 2832977 fired transitions, 1780 secs || 7032458 markings, 9444613 edges, 4053 markings/sec, 1780 secs
lola: STP completed || 3 tries, 2840597 fired transitions, 1785 secs || 7052242 markings, 9471425 edges, 3957 markings/sec, 1785 secs
lola: STP completed || 3 tries, 2848209 fired transitions, 1790 secs || 7073319 markings, 9500136 edges, 4215 markings/sec, 1790 secs
lola: STP completed || 3 tries, 2855835 fired transitions, 1795 secs || 7093797 markings, 9528079 edges, 4096 markings/sec, 1795 secs
lola: STP completed || 3 tries, 2863470 fired transitions, 1800 secs || 7113965 markings, 9555452 edges, 4034 markings/sec, 1800 secs
lola: STP completed || 3 tries, 2871091 fired transitions, 1805 secs || 7134199 markings, 9582909 edges, 4047 markings/sec, 1805 secs
lola: STP completed || 3 tries, 2878734 fired transitions, 1810 secs || 7154005 markings, 9609988 edges, 3961 markings/sec, 1810 secs
lola: STP completed || 3 tries, 2886363 fired transitions, 1815 secs || 7173457 markings, 9636330 edges, 3890 markings/sec, 1815 secs
lola: STP completed || 3 tries, 2894012 fired transitions, 1820 secs || 7193598 markings, 9663542 edges, 4028 markings/sec, 1820 secs
lola: STP completed || 3 tries, 2901630 fired transitions, 1825 secs || 7213868 markings, 9691164 edges, 4054 markings/sec, 1825 secs
lola: STP completed || 3 tries, 2909272 fired transitions, 1830 secs || 7233263 markings, 9717401 edges, 3879 markings/sec, 1830 secs
lola: STP completed || 3 tries, 2916877 fired transitions, 1835 secs || 7253771 markings, 9745423 edges, 4102 markings/sec, 1835 secs
lola: STP completed || 3 tries, 2924511 fired transitions, 1840 secs || 7273407 markings, 9772307 edges, 3927 markings/sec, 1840 secs
lola: STP completed || 3 tries, 2932131 fired transitions, 1845 secs || 7293043 markings, 9798967 edges, 3927 markings/sec, 1845 secs
lola: STP completed || 3 tries, 2939770 fired transitions, 1850 secs || 7313656 markings, 9827210 edges, 4123 markings/sec, 1850 secs
lola: STP completed || 3 tries, 2947389 fired transitions, 1855 secs || 7334877 markings, 9855974 edges, 4244 markings/sec, 1855 secs
lola: STP completed || 3 tries, 2954997 fired transitions, 1860 secs || 7356834 markings, 9885793 edges, 4391 markings/sec, 1860 secs
lola: STP completed || 3 tries, 2962631 fired transitions, 1865 secs || 7375626 markings, 9911313 edges, 3758 markings/sec, 1865 secs
lola: STP completed || 3 tries, 2970249 fired transitions, 1870 secs || 7395719 markings, 9938594 edges, 4019 markings/sec, 1870 secs
lola: STP completed || 3 tries, 2977854 fired transitions, 1875 secs || 7416113 markings, 9966335 edges, 4079 markings/sec, 1875 secs
lola: STP completed || 3 tries, 2985502 fired transitions, 1880 secs || 7436943 markings, 9994734 edges, 4166 markings/sec, 1880 secs
lola: STP completed || 3 tries, 2993101 fired transitions, 1885 secs || 7456575 markings, 10021452 edges, 3926 markings/sec, 1885 secs
lola: STP completed || 4 tries, 3000737 fired transitions, 1890 secs || 7475491 markings, 10046851 edges, 3783 markings/sec, 1890 secs
lola: STP completed || 4 tries, 3008356 fired transitions, 1895 secs || 7496530 markings, 10075211 edges, 4208 markings/sec, 1895 secs
lola: STP completed || 4 tries, 3015996 fired transitions, 1900 secs || 7517191 markings, 10103228 edges, 4132 markings/sec, 1900 secs
lola: STP completed || 4 tries, 3023628 fired transitions, 1905 secs || 7536106 markings, 10128808 edges, 3783 markings/sec, 1905 secs
lola: STP completed || 4 tries, 3031245 fired transitions, 1910 secs || 7555745 markings, 10155354 edges, 3928 markings/sec, 1910 secs
lola: STP completed || 4 tries, 3038903 fired transitions, 1915 secs || 7575550 markings, 10181937 edges, 3961 markings/sec, 1915 secs
lola: STP completed || 4 tries, 3046510 fired transitions, 1920 secs || 7596673 markings, 10210733 edges, 4225 markings/sec, 1920 secs
lola: STP completed || 4 tries, 3054215 fired transitions, 1925 secs || 7616522 markings, 10237514 edges, 3970 markings/sec, 1925 secs
lola: STP completed || 4 tries, 3061913 fired transitions, 1930 secs || 7635615 markings, 10263181 edges, 3819 markings/sec, 1930 secs
lola: STP completed || 4 tries, 3069574 fired transitions, 1935 secs || 7656109 markings, 10290972 edges, 4099 markings/sec, 1935 secs
lola: STP completed || 4 tries, 3077264 fired transitions, 1940 secs || 7677073 markings, 10319427 edges, 4193 markings/sec, 1940 secs
lola: STP completed || 4 tries, 3084944 fired transitions, 1945 secs || 7697318 markings, 10347084 edges, 4049 markings/sec, 1945 secs
lola: STP completed || 4 tries, 3092593 fired transitions, 1950 secs || 7717408 markings, 10374183 edges, 4018 markings/sec, 1950 secs
lola: STP completed || 4 tries, 3100216 fired transitions, 1955 secs || 7738548 markings, 10402995 edges, 4228 markings/sec, 1955 secs
lola: STP completed || 4 tries, 3107862 fired transitions, 1960 secs || 7758678 markings, 10430390 edges, 4026 markings/sec, 1960 secs
lola: STP completed || 4 tries, 3115505 fired transitions, 1965 secs || 7778298 markings, 10456867 edges, 3924 markings/sec, 1965 secs
lola: STP completed || 4 tries, 3123138 fired transitions, 1970 secs || 7797216 markings, 10482439 edges, 3784 markings/sec, 1970 secs
lola: STP completed || 4 tries, 3130774 fired transitions, 1975 secs || 7817176 markings, 10509439 edges, 3992 markings/sec, 1975 secs
lola: STP completed || 4 tries, 3138427 fired transitions, 1980 secs || 7835079 markings, 10533631 edges, 3581 markings/sec, 1980 secs
lola: STP completed || 4 tries, 3146056 fired transitions, 1985 secs || 7853390 markings, 10558276 edges, 3662 markings/sec, 1985 secs
lola: STP completed || 4 tries, 3153709 fired transitions, 1990 secs || 7871599 markings, 10582712 edges, 3642 markings/sec, 1990 secs
lola: STP completed || 4 tries, 3161332 fired transitions, 1995 secs || 7891882 markings, 10610048 edges, 4057 markings/sec, 1995 secs
lola: STP completed || 4 tries, 3168979 fired transitions, 2000 secs || 7911130 markings, 10636086 edges, 3850 markings/sec, 2000 secs
lola: STP completed || 4 tries, 3176604 fired transitions, 2005 secs || 7930957 markings, 10662947 edges, 3965 markings/sec, 2005 secs
lola: STP completed || 4 tries, 3184227 fired transitions, 2010 secs || 7951610 markings, 10690810 edges, 4131 markings/sec, 2010 secs
lola: STP completed || 4 tries, 3191830 fired transitions, 2015 secs || 7972890 markings, 10719609 edges, 4256 markings/sec, 2015 secs
lola: STP completed || 4 tries, 3199418 fired transitions, 2020 secs || 7993474 markings, 10747737 edges, 4117 markings/sec, 2020 secs
lola: STP completed || 4 tries, 3207008 fired transitions, 2025 secs || 8014759 markings, 10776570 edges, 4257 markings/sec, 2025 secs
lola: STP completed || 4 tries, 3214664 fired transitions, 2030 secs || 8032184 markings, 10800116 edges, 3485 markings/sec, 2030 secs
lola: STP completed || 4 tries, 3222257 fired transitions, 2035 secs || 8051382 markings, 10826092 edges, 3840 markings/sec, 2035 secs
lola: STP completed || 4 tries, 3229891 fired transitions, 2040 secs || 8072257 markings, 10854610 edges, 4175 markings/sec, 2040 secs
lola: STP completed || 4 tries, 3237516 fired transitions, 2045 secs || 8093293 markings, 10883339 edges, 4207 markings/sec, 2045 secs
lola: STP completed || 4 tries, 3245152 fired transitions, 2050 secs || 8111537 markings, 10907903 edges, 3649 markings/sec, 2050 secs
lola: STP completed || 4 tries, 3252780 fired transitions, 2055 secs || 8130512 markings, 10933629 edges, 3795 markings/sec, 2055 secs
lola: STP completed || 4 tries, 3260412 fired transitions, 2060 secs || 8149033 markings, 10958645 edges, 3704 markings/sec, 2060 secs
lola: STP completed || 4 tries, 3268055 fired transitions, 2065 secs || 8168893 markings, 10985377 edges, 3972 markings/sec, 2065 secs
lola: STP completed || 4 tries, 3275693 fired transitions, 2070 secs || 8188720 markings, 11012441 edges, 3965 markings/sec, 2070 secs
lola: STP completed || 4 tries, 3283308 fired transitions, 2075 secs || 8208257 markings, 11038913 edges, 3907 markings/sec, 2075 secs
lola: STP completed || 4 tries, 3290905 fired transitions, 2080 secs || 8229546 markings, 11067961 edges, 4258 markings/sec, 2080 secs
lola: STP completed || 4 tries, 3298549 fired transitions, 2085 secs || 8248894 markings, 11093984 edges, 3870 markings/sec, 2085 secs
lola: STP completed || 4 tries, 3306174 fired transitions, 2090 secs || 8269375 markings, 11121959 edges, 4096 markings/sec, 2090 secs
lola: STP completed || 4 tries, 3313766 fired transitions, 2095 secs || 8289666 markings, 11149612 edges, 4058 markings/sec, 2095 secs
lola: STP completed || 4 tries, 3321390 fired transitions, 2100 secs || 8310624 markings, 11178141 edges, 4192 markings/sec, 2100 secs
lola: STP completed || 4 tries, 3329003 fired transitions, 2105 secs || 8329451 markings, 11203647 edges, 3765 markings/sec, 2105 secs
lola: STP completed || 4 tries, 3336618 fired transitions, 2110 secs || 8349398 markings, 11230701 edges, 3989 markings/sec, 2110 secs
lola: STP completed || 4 tries, 3344246 fired transitions, 2115 secs || 8369729 markings, 11258473 edges, 4066 markings/sec, 2115 secs
lola: STP completed || 4 tries, 3351863 fired transitions, 2120 secs || 8386439 markings, 11281083 edges, 3342 markings/sec, 2120 secs
lola: STP completed || 4 tries, 3359489 fired transitions, 2125 secs || 8406635 markings, 11308316 edges, 4039 markings/sec, 2125 secs
lola: STP completed || 4 tries, 3367110 fired transitions, 2130 secs || 8426505 markings, 11335397 edges, 3974 markings/sec, 2130 secs
lola: STP completed || 4 tries, 3374731 fired transitions, 2135 secs || 8444190 markings, 11359445 edges, 3537 markings/sec, 2135 secs
lola: STP completed || 4 tries, 3382368 fired transitions, 2140 secs || 8463141 markings, 11385017 edges, 3790 markings/sec, 2140 secs
lola: STP completed || 4 tries, 3389959 fired transitions, 2145 secs || 8484367 markings, 11413891 edges, 4245 markings/sec, 2145 secs
lola: STP completed || 4 tries, 3397589 fired transitions, 2150 secs || 8504330 markings, 11440971 edges, 3993 markings/sec, 2150 secs
lola: STP completed || 4 tries, 3405217 fired transitions, 2155 secs || 8525943 markings, 11470417 edges, 4323 markings/sec, 2155 secs
lola: STP completed || 4 tries, 3412819 fired transitions, 2160 secs || 8545529 markings, 11497093 edges, 3917 markings/sec, 2160 secs
lola: STP completed || 4 tries, 3420431 fired transitions, 2165 secs || 8566409 markings, 11525409 edges, 4176 markings/sec, 2165 secs
lola: STP completed || 4 tries, 3428064 fired transitions, 2170 secs || 8584767 markings, 11550076 edges, 3672 markings/sec, 2170 secs
lola: STP completed || 4 tries, 3435686 fired transitions, 2175 secs || 8604569 markings, 11577179 edges, 3960 markings/sec, 2175 secs
lola: STP completed || 4 tries, 3443338 fired transitions, 2180 secs || 8625215 markings, 11605501 edges, 4129 markings/sec, 2180 secs
lola: STP completed || 4 tries, 3451010 fired transitions, 2185 secs || 8645717 markings, 11633548 edges, 4100 markings/sec, 2185 secs
lola: STP completed || 4 tries, 3458681 fired transitions, 2190 secs || 8666310 markings, 11661502 edges, 4119 markings/sec, 2190 secs
lola: STP completed || 4 tries, 3466367 fired transitions, 2195 secs || 8685779 markings, 11687971 edges, 3894 markings/sec, 2195 secs
lola: STP completed || 4 tries, 3474025 fired transitions, 2200 secs || 8706538 markings, 11716252 edges, 4152 markings/sec, 2200 secs
lola: STP completed || 4 tries, 3481687 fired transitions, 2205 secs || 8726426 markings, 11743464 edges, 3978 markings/sec, 2205 secs
lola: STP completed || 4 tries, 3489379 fired transitions, 2210 secs || 8743784 markings, 11766880 edges, 3472 markings/sec, 2210 secs
lola: STP completed || 4 tries, 3497088 fired transitions, 2215 secs || 8762096 markings, 11791583 edges, 3662 markings/sec, 2215 secs
lola: STP completed || 4 tries, 3504772 fired transitions, 2220 secs || 8780459 markings, 11816580 edges, 3673 markings/sec, 2220 secs
lola: STP completed || 4 tries, 3512429 fired transitions, 2225 secs || 8801222 markings, 11844867 edges, 4153 markings/sec, 2225 secs
lola: STP completed || 4 tries, 3520090 fired transitions, 2230 secs || 8822162 markings, 11873300 edges, 4188 markings/sec, 2230 secs
lola: STP completed || 4 tries, 3527777 fired transitions, 2235 secs || 8842610 markings, 11901079 edges, 4090 markings/sec, 2235 secs
lola: STP completed || 4 tries, 3535457 fired transitions, 2240 secs || 8862666 markings, 11928245 edges, 4011 markings/sec, 2240 secs
lola: STP completed || 4 tries, 3543106 fired transitions, 2245 secs || 8882370 markings, 11954963 edges, 3941 markings/sec, 2245 secs
lola: STP completed || 4 tries, 3550777 fired transitions, 2250 secs || 8902752 markings, 11982796 edges, 4076 markings/sec, 2250 secs
lola: STP completed || 4 tries, 3558457 fired transitions, 2255 secs || 8922696 markings, 12009697 edges, 3989 markings/sec, 2255 secs
lola: STP completed || 4 tries, 3566151 fired transitions, 2260 secs || 8941942 markings, 12035760 edges, 3849 markings/sec, 2260 secs
lola: STP completed || 4 tries, 3573767 fired transitions, 2265 secs || 8961634 markings, 12062661 edges, 3938 markings/sec, 2265 secs
lola: STP completed || 4 tries, 3581761 fired transitions, 2270 secs || 8983224 markings, 12092086 edges, 4318 markings/sec, 2270 secs
lola: STP completed || 4 tries, 3589782 fired transitions, 2275 secs || 9004946 markings, 12121431 edges, 4344 markings/sec, 2275 secs
lola: STP completed || 4 tries, 3597809 fired transitions, 2280 secs || 9026908 markings, 12151588 edges, 4392 markings/sec, 2280 secs
lola: STP completed || 4 tries, 3605481 fired transitions, 2285 secs || 9047731 markings, 12180111 edges, 4165 markings/sec, 2285 secs
lola: STP completed || 4 tries, 3613481 fired transitions, 2290 secs || 9069326 markings, 12209169 edges, 4319 markings/sec, 2290 secs
lola: STP completed || 4 tries, 3621415 fired transitions, 2295 secs || 9090620 markings, 12238376 edges, 4259 markings/sec, 2295 secs
lola: STP completed || 4 tries, 3629115 fired transitions, 2300 secs || 9111233 markings, 12266202 edges, 4123 markings/sec, 2300 secs
lola: STP completed || 4 tries, 3636795 fired transitions, 2305 secs || 9130552 markings, 12292330 edges, 3864 markings/sec, 2305 secs
lola: STP completed || 4 tries, 3644498 fired transitions, 2310 secs || 9150140 markings, 12318785 edges, 3918 markings/sec, 2310 secs
lola: STP completed || 4 tries, 3652174 fired transitions, 2315 secs || 9169046 markings, 12344306 edges, 3781 markings/sec, 2315 secs
lola: STP completed || 4 tries, 3659833 fired transitions, 2320 secs || 9189644 markings, 12372453 edges, 4120 markings/sec, 2320 secs
lola: STP completed || 4 tries, 3667514 fired transitions, 2325 secs || 9210955 markings, 12401267 edges, 4262 markings/sec, 2325 secs
lola: STP completed || 4 tries, 3675231 fired transitions, 2330 secs || 9230409 markings, 12427633 edges, 3891 markings/sec, 2330 secs
lola: STP completed || 4 tries, 3682927 fired transitions, 2335 secs || 9248589 markings, 12452254 edges, 3636 markings/sec, 2335 secs
lola: STP completed || 4 tries, 3690607 fired transitions, 2340 secs || 9267305 markings, 12477774 edges, 3743 markings/sec, 2340 secs
lola: STP completed || 4 tries, 3698233 fired transitions, 2345 secs || 9286291 markings, 12503468 edges, 3797 markings/sec, 2345 secs
lola: STP completed || 4 tries, 3705865 fired transitions, 2350 secs || 9305310 markings, 12529196 edges, 3804 markings/sec, 2350 secs
lola: STP completed || 4 tries, 3713472 fired transitions, 2355 secs || 9325516 markings, 12556626 edges, 4041 markings/sec, 2355 secs
lola: STP completed || 4 tries, 3721097 fired transitions, 2360 secs || 9346866 markings, 12585927 edges, 4270 markings/sec, 2360 secs
lola: STP completed || 4 tries, 3728693 fired transitions, 2365 secs || 9368388 markings, 12615251 edges, 4304 markings/sec, 2365 secs
lola: STP completed || 4 tries, 3736293 fired transitions, 2370 secs || 9388656 markings, 12642759 edges, 4054 markings/sec, 2370 secs
lola: STP completed || 4 tries, 3743912 fired transitions, 2375 secs || 9408600 markings, 12669934 edges, 3989 markings/sec, 2375 secs
lola: STP completed || 4 tries, 3751554 fired transitions, 2380 secs || 9427159 markings, 12694913 edges, 3712 markings/sec, 2380 secs
lola: STP completed || 4 tries, 3759184 fired transitions, 2385 secs || 9447084 markings, 12721851 edges, 3985 markings/sec, 2385 secs
lola: STP completed || 4 tries, 3766806 fired transitions, 2390 secs || 9468397 markings, 12750953 edges, 4263 markings/sec, 2390 secs
lola: STP completed || 4 tries, 3774452 fired transitions, 2395 secs || 9488553 markings, 12778134 edges, 4031 markings/sec, 2395 secs
lola: STP completed || 4 tries, 3782050 fired transitions, 2400 secs || 9508307 markings, 12804886 edges, 3951 markings/sec, 2400 secs
lola: STP completed || 4 tries, 3789672 fired transitions, 2405 secs || 9529434 markings, 12833773 edges, 4225 markings/sec, 2405 secs
lola: STP completed || 4 tries, 3797260 fired transitions, 2410 secs || 9549763 markings, 12861671 edges, 4066 markings/sec, 2410 secs
lola: STP completed || 4 tries, 3804872 fired transitions, 2415 secs || 9569950 markings, 12889037 edges, 4037 markings/sec, 2415 secs
lola: STP completed || 4 tries, 3812504 fired transitions, 2420 secs || 9590058 markings, 12916483 edges, 4022 markings/sec, 2420 secs
lola: STP completed || 4 tries, 3820138 fired transitions, 2425 secs || 9610770 markings, 12944560 edges, 4142 markings/sec, 2425 secs
lola: STP completed || 4 tries, 3827930 fired transitions, 2430 secs || 9632274 markings, 12973930 edges, 4301 markings/sec, 2430 secs
lola: STP completed || 4 tries, 3835639 fired transitions, 2435 secs || 9651719 markings, 13000283 edges, 3889 markings/sec, 2435 secs
lola: STP completed || 4 tries, 3843320 fired transitions, 2440 secs || 9672620 markings, 13028799 edges, 4180 markings/sec, 2440 secs
lola: STP completed || 4 tries, 3851014 fired transitions, 2445 secs || 9691501 markings, 13054461 edges, 3776 markings/sec, 2445 secs
lola: STP completed || 4 tries, 3858708 fired transitions, 2450 secs || 9711360 markings, 13081439 edges, 3972 markings/sec, 2450 secs
lola: STP completed || 4 tries, 3866414 fired transitions, 2455 secs || 9728690 markings, 13104810 edges, 3466 markings/sec, 2455 secs
lola: STP completed || 4 tries, 3874098 fired transitions, 2460 secs || 9745202 markings, 13126893 edges, 3302 markings/sec, 2460 secs
lola: STP completed || 4 tries, 3881808 fired transitions, 2465 secs || 9762354 markings, 13150044 edges, 3430 markings/sec, 2465 secs
lola: STP completed || 4 tries, 3889489 fired transitions, 2470 secs || 9783501 markings, 13178880 edges, 4229 markings/sec, 2470 secs
lola: STP completed || 4 tries, 3897180 fired transitions, 2475 secs || 9802683 markings, 13205245 edges, 3836 markings/sec, 2475 secs
lola: STP completed || 4 tries, 3904865 fired transitions, 2480 secs || 9822814 markings, 13232457 edges, 4026 markings/sec, 2480 secs
lola: STP completed || 4 tries, 3912545 fired transitions, 2485 secs || 9843600 markings, 13260604 edges, 4157 markings/sec, 2485 secs
lola: STP completed || 4 tries, 3920235 fired transitions, 2490 secs || 9865646 markings, 13290673 edges, 4409 markings/sec, 2490 secs
lola: STP completed || 4 tries, 3927931 fired transitions, 2495 secs || 9885450 markings, 13317737 edges, 3961 markings/sec, 2495 secs
lola: STP completed || 4 tries, 3935630 fired transitions, 2500 secs || 9904485 markings, 13343539 edges, 3807 markings/sec, 2500 secs
lola: STP completed || 4 tries, 3943320 fired transitions, 2505 secs || 9923603 markings, 13369116 edges, 3824 markings/sec, 2505 secs
lola: STP completed || 4 tries, 3951007 fired transitions, 2510 secs || 9945187 markings, 13398387 edges, 4317 markings/sec, 2510 secs
lola: STP completed || 4 tries, 3958694 fired transitions, 2515 secs || 9965269 markings, 13425622 edges, 4016 markings/sec, 2515 secs
lola: STP completed || 4 tries, 3966398 fired transitions, 2520 secs || 9984621 markings, 13451906 edges, 3870 markings/sec, 2520 secs
lola: STP completed || 4 tries, 3974062 fired transitions, 2525 secs || 10004528 markings, 13478994 edges, 3981 markings/sec, 2525 secs
lola: STP completed || 4 tries, 3981737 fired transitions, 2530 secs || 10025959 markings, 13508138 edges, 4286 markings/sec, 2530 secs
lola: STP completed || 4 tries, 3989425 fired transitions, 2535 secs || 10046323 markings, 13536057 edges, 4073 markings/sec, 2535 secs
lola: STP completed || 4 tries, 3997106 fired transitions, 2540 secs || 10067011 markings, 13564180 edges, 4138 markings/sec, 2540 secs
lola: STP completed || 5 tries, 4004814 fired transitions, 2545 secs || 10086874 markings, 13591231 edges, 3973 markings/sec, 2545 secs
lola: STP completed || 5 tries, 4012504 fired transitions, 2550 secs || 10106700 markings, 13618026 edges, 3965 markings/sec, 2550 secs
lola: STP completed || 5 tries, 4020178 fired transitions, 2555 secs || 10126990 markings, 13645371 edges, 4058 markings/sec, 2555 secs
lola: STP completed || 5 tries, 4027910 fired transitions, 2560 secs || 10145257 markings, 13670293 edges, 3653 markings/sec, 2560 secs
lola: STP completed || 5 tries, 4035592 fired transitions, 2565 secs || 10164644 markings, 13696773 edges, 3877 markings/sec, 2565 secs
lola: STP completed || 5 tries, 4043301 fired transitions, 2570 secs || 10182571 markings, 13721177 edges, 3585 markings/sec, 2570 secs
lola: STP completed || 5 tries, 4050979 fired transitions, 2575 secs || 10201852 markings, 13747455 edges, 3856 markings/sec, 2575 secs
lola: STP completed || 5 tries, 4058677 fired transitions, 2580 secs || 10222564 markings, 13775699 edges, 4142 markings/sec, 2580 secs
lola: STP completed || 5 tries, 4066392 fired transitions, 2585 secs || 10243138 markings, 13803333 edges, 4115 markings/sec, 2585 secs
lola: STP completed || 5 tries, 4074049 fired transitions, 2590 secs || 10261997 markings, 13829052 edges, 3772 markings/sec, 2590 secs
lola: STP completed || 5 tries, 4081754 fired transitions, 2595 secs || 10281579 markings, 13855567 edges, 3916 markings/sec, 2595 secs
lola: STP completed || 5 tries, 4089426 fired transitions, 2600 secs || 10302642 markings, 13884140 edges, 4213 markings/sec, 2600 secs
lola: STP completed || 5 tries, 4097123 fired transitions, 2605 secs || 10323388 markings, 13912431 edges, 4149 markings/sec, 2605 secs
lola: STP completed || 5 tries, 4104813 fired transitions, 2610 secs || 10343542 markings, 13940184 edges, 4031 markings/sec, 2610 secs
lola: STP completed || 5 tries, 4112497 fired transitions, 2615 secs || 10363436 markings, 13967149 edges, 3979 markings/sec, 2615 secs
lola: STP completed || 5 tries, 4120180 fired transitions, 2620 secs || 10384098 markings, 13995360 edges, 4132 markings/sec, 2620 secs
lola: STP completed || 5 tries, 4127863 fired transitions, 2625 secs || 10404247 markings, 14022831 edges, 4030 markings/sec, 2625 secs
lola: STP completed || 5 tries, 4135566 fired transitions, 2630 secs || 10421144 markings, 14045631 edges, 3379 markings/sec, 2630 secs
lola: STP completed || 5 tries, 4143269 fired transitions, 2635 secs || 10439047 markings, 14069766 edges, 3581 markings/sec, 2635 secs
lola: STP completed || 5 tries, 4150964 fired transitions, 2640 secs || 10456964 markings, 14093856 edges, 3583 markings/sec, 2640 secs
lola: STP completed || 5 tries, 4158662 fired transitions, 2645 secs || 10475287 markings, 14118890 edges, 3665 markings/sec, 2645 secs
lola: STP completed || 5 tries, 4166375 fired transitions, 2650 secs || 10494281 markings, 14144871 edges, 3799 markings/sec, 2650 secs
lola: STP completed || 5 tries, 4174025 fired transitions, 2655 secs || 10514361 markings, 14172557 edges, 4016 markings/sec, 2655 secs
lola: STP completed || 5 tries, 4181694 fired transitions, 2660 secs || 10534406 markings, 14199906 edges, 4009 markings/sec, 2660 secs
lola: STP completed || 5 tries, 4189315 fired transitions, 2665 secs || 10554893 markings, 14227748 edges, 4097 markings/sec, 2665 secs
lola: STP completed || 5 tries, 4196980 fired transitions, 2670 secs || 10575132 markings, 14255168 edges, 4048 markings/sec, 2670 secs
lola: STP completed || 5 tries, 4204589 fired transitions, 2675 secs || 10593374 markings, 14279793 edges, 3648 markings/sec, 2675 secs
lola: STP completed || 5 tries, 4212178 fired transitions, 2680 secs || 10614403 markings, 14308385 edges, 4206 markings/sec, 2680 secs
lola: STP completed || 5 tries, 4219803 fired transitions, 2685 secs || 10634063 markings, 14334922 edges, 3932 markings/sec, 2685 secs
lola: STP completed || 5 tries, 4227758 fired transitions, 2690 secs || 10654778 markings, 14362944 edges, 4143 markings/sec, 2690 secs
lola: STP completed || 5 tries, 4235749 fired transitions, 2695 secs || 10676516 markings, 14392618 edges, 4348 markings/sec, 2695 secs
lola: STP completed || 5 tries, 4243366 fired transitions, 2700 secs || 10696486 markings, 14419768 edges, 3994 markings/sec, 2700 secs
lola: STP completed || 5 tries, 4250982 fired transitions, 2705 secs || 10717486 markings, 14448301 edges, 4200 markings/sec, 2705 secs
lola: STP completed || 5 tries, 4258968 fired transitions, 2710 secs || 10738652 markings, 14476946 edges, 4233 markings/sec, 2710 secs
lola: STP completed || 5 tries, 4266936 fired transitions, 2715 secs || 10761080 markings, 14507614 edges, 4486 markings/sec, 2715 secs
lola: STP completed || 5 tries, 4274648 fired transitions, 2720 secs || 10782006 markings, 14536100 edges, 4185 markings/sec, 2720 secs
lola: STP completed || 5 tries, 4282288 fired transitions, 2725 secs || 10802520 markings, 14563993 edges, 4103 markings/sec, 2725 secs
lola: STP completed || 5 tries, 4289922 fired transitions, 2730 secs || 10821409 markings, 14589362 edges, 3778 markings/sec, 2730 secs
lola: STP completed || 5 tries, 4297543 fired transitions, 2735 secs || 10838780 markings, 14612973 edges, 3474 markings/sec, 2735 secs
lola: STP completed || 5 tries, 4305172 fired transitions, 2740 secs || 10858818 markings, 14640406 edges, 4008 markings/sec, 2740 secs
lola: STP completed || 5 tries, 4312810 fired transitions, 2745 secs || 10877615 markings, 14666121 edges, 3759 markings/sec, 2745 secs
lola: STP completed || 5 tries, 4320432 fired transitions, 2750 secs || 10897134 markings, 14692760 edges, 3904 markings/sec, 2750 secs
lola: STP completed || 5 tries, 4328028 fired transitions, 2755 secs || 10916220 markings, 14719139 edges, 3817 markings/sec, 2755 secs
lola: STP completed || 5 tries, 4335639 fired transitions, 2760 secs || 10935756 markings, 14745619 edges, 3907 markings/sec, 2760 secs
lola: STP completed || 5 tries, 4343262 fired transitions, 2765 secs || 10956060 markings, 14772956 edges, 4061 markings/sec, 2765 secs
lola: STP completed || 5 tries, 4350866 fired transitions, 2770 secs || 10976379 markings, 14800522 edges, 4064 markings/sec, 2770 secs
lola: STP completed || 5 tries, 4358476 fired transitions, 2775 secs || 10997514 markings, 14829526 edges, 4227 markings/sec, 2775 secs
lola: STP completed || 5 tries, 4366091 fired transitions, 2780 secs || 11016498 markings, 14855331 edges, 3797 markings/sec, 2780 secs
lola: STP completed || 5 tries, 4373696 fired transitions, 2785 secs || 11037015 markings, 14883481 edges, 4103 markings/sec, 2785 secs
lola: STP completed || 5 tries, 4381310 fired transitions, 2790 secs || 11057798 markings, 14911921 edges, 4157 markings/sec, 2790 secs
lola: STP completed || 5 tries, 4388947 fired transitions, 2795 secs || 11078080 markings, 14939700 edges, 4056 markings/sec, 2795 secs
lola: STP completed || 5 tries, 4396573 fired transitions, 2800 secs || 11098825 markings, 14968005 edges, 4149 markings/sec, 2800 secs
lola: STP completed || 5 tries, 4404185 fired transitions, 2805 secs || 11119162 markings, 14995958 edges, 4067 markings/sec, 2805 secs
lola: STP completed || 5 tries, 4411848 fired transitions, 2810 secs || 11139273 markings, 15023185 edges, 4022 markings/sec, 2810 secs
lola: STP completed || 5 tries, 4419498 fired transitions, 2815 secs || 11159343 markings, 15050689 edges, 4014 markings/sec, 2815 secs
lola: STP completed || 5 tries, 4427172 fired transitions, 2820 secs || 11179663 markings, 15078325 edges, 4064 markings/sec, 2820 secs
lola: STP completed || 5 tries, 4434865 fired transitions, 2825 secs || 11200312 markings, 15106428 edges, 4130 markings/sec, 2825 secs
lola: STP completed || 5 tries, 4442503 fired transitions, 2830 secs || 11220229 markings, 15133404 edges, 3983 markings/sec, 2830 secs
lola: STP completed || 5 tries, 4450114 fired transitions, 2835 secs || 11239985 markings, 15160041 edges, 3951 markings/sec, 2835 secs
lola: STP completed || 5 tries, 4457736 fired transitions, 2840 secs || 11258662 markings, 15185563 edges, 3735 markings/sec, 2840 secs
lola: STP completed || 5 tries, 4465369 fired transitions, 2845 secs || 11279008 markings, 15213280 edges, 4069 markings/sec, 2845 secs
lola: STP completed || 5 tries, 4472987 fired transitions, 2850 secs || 11298076 markings, 15239394 edges, 3814 markings/sec, 2850 secs
lola: STP completed || 5 tries, 4480617 fired transitions, 2855 secs || 11316904 markings, 15265235 edges, 3766 markings/sec, 2855 secs
lola: STP completed || 5 tries, 4488231 fired transitions, 2860 secs || 11336109 markings, 15291343 edges, 3841 markings/sec, 2860 secs
lola: STP completed || 5 tries, 4495867 fired transitions, 2865 secs || 11355117 markings, 15317044 edges, 3802 markings/sec, 2865 secs
lola: STP completed || 5 tries, 4503456 fired transitions, 2870 secs || 11375459 markings, 15344988 edges, 4068 markings/sec, 2870 secs
lola: STP completed || 5 tries, 4511251 fired transitions, 2875 secs || 11396767 markings, 15374055 edges, 4262 markings/sec, 2875 secs
lola: STP completed || 5 tries, 4519228 fired transitions, 2880 secs || 11417498 markings, 15402423 edges, 4146 markings/sec, 2880 secs
lola: STP completed || 5 tries, 4527199 fired transitions, 2885 secs || 11437129 markings, 15428924 edges, 3926 markings/sec, 2885 secs
lola: STP completed || 5 tries, 4535198 fired transitions, 2890 secs || 11456073 markings, 15454705 edges, 3789 markings/sec, 2890 secs
lola: STP completed || 5 tries, 4543172 fired transitions, 2895 secs || 11475975 markings, 15481947 edges, 3980 markings/sec, 2895 secs
lola: STP completed || 5 tries, 4551135 fired transitions, 2900 secs || 11496969 markings, 15510576 edges, 4199 markings/sec, 2900 secs
lola: STP completed || 5 tries, 4559129 fired transitions, 2905 secs || 11519554 markings, 15541628 edges, 4517 markings/sec, 2905 secs
lola: STP completed || 5 tries, 4567073 fired transitions, 2910 secs || 11541160 markings, 15571365 edges, 4321 markings/sec, 2910 secs
lola: STP completed || 5 tries, 4575068 fired transitions, 2915 secs || 11562180 markings, 15600005 edges, 4204 markings/sec, 2915 secs
lola: STP completed || 5 tries, 4583072 fired transitions, 2920 secs || 11584068 markings, 15629910 edges, 4378 markings/sec, 2920 secs
lola: STP completed || 5 tries, 4591002 fired transitions, 2925 secs || 11605155 markings, 15658615 edges, 4217 markings/sec, 2925 secs
lola: STP completed || 5 tries, 4598940 fired transitions, 2930 secs || 11627056 markings, 15688378 edges, 4380 markings/sec, 2930 secs
lola: STP completed || 5 tries, 4606958 fired transitions, 2935 secs || 11649153 markings, 15718506 edges, 4419 markings/sec, 2935 secs
lola: STP completed || 5 tries, 4614903 fired transitions, 2940 secs || 11670028 markings, 15747069 edges, 4175 markings/sec, 2940 secs
lola: STP completed || 5 tries, 4622606 fired transitions, 2945 secs || 11687293 markings, 15770459 edges, 3453 markings/sec, 2945 secs
lola: STP completed || 5 tries, 4630281 fired transitions, 2950 secs || 11706403 markings, 15796251 edges, 3822 markings/sec, 2950 secs
lola: STP completed || 5 tries, 4638165 fired transitions, 2955 secs || 11726461 markings, 15823542 edges, 4012 markings/sec, 2955 secs
lola: STP completed || 5 tries, 4646150 fired transitions, 2960 secs || 11746893 markings, 15851622 edges, 4086 markings/sec, 2960 secs
lola: STP completed || 5 tries, 4654099 fired transitions, 2965 secs || 11767667 markings, 15879827 edges, 4155 markings/sec, 2965 secs
lola: STP completed || 5 tries, 4661916 fired transitions, 2970 secs || 11787411 markings, 15906522 edges, 3949 markings/sec, 2970 secs
lola: STP completed || 5 tries, 4669539 fired transitions, 2975 secs || 11807984 markings, 15934376 edges, 4115 markings/sec, 2975 secs
lola: STP completed || 5 tries, 4677164 fired transitions, 2980 secs || 11826946 markings, 15960180 edges, 3792 markings/sec, 2980 secs
lola: STP completed || 5 tries, 4684769 fired transitions, 2985 secs || 11847317 markings, 15987967 edges, 4074 markings/sec, 2985 secs
lola: STP completed || 5 tries, 4692378 fired transitions, 2990 secs || 11867042 markings, 16014768 edges, 3945 markings/sec, 2990 secs
lola: STP completed || 5 tries, 4699985 fired transitions, 2995 secs || 11888445 markings, 16043956 edges, 4281 markings/sec, 2995 secs
lola: STP completed || 5 tries, 4707592 fired transitions, 3000 secs || 11907583 markings, 16070061 edges, 3828 markings/sec, 3000 secs
lola: STP completed || 5 tries, 4715206 fired transitions, 3005 secs || 11927684 markings, 16097327 edges, 4020 markings/sec, 3005 secs
lola: STP completed || 5 tries, 4722808 fired transitions, 3010 secs || 11947214 markings, 16124061 edges, 3906 markings/sec, 3010 secs
lola: STP completed || 5 tries, 4730445 fired transitions, 3015 secs || 11966612 markings, 16150317 edges, 3880 markings/sec, 3015 secs
lola: STP completed || 5 tries, 4738043 fired transitions, 3020 secs || 11986717 markings, 16177727 edges, 4021 markings/sec, 3020 secs
lola: STP completed || 5 tries, 4745651 fired transitions, 3025 secs || 12006889 markings, 16205325 edges, 4034 markings/sec, 3025 secs
lola: STP completed || 5 tries, 4753263 fired transitions, 3030 secs || 12027757 markings, 16233568 edges, 4174 markings/sec, 3030 secs
lola: STP completed || 5 tries, 4760870 fired transitions, 3035 secs || 12047028 markings, 16260064 edges, 3854 markings/sec, 3035 secs
lola: STP completed || 5 tries, 4768494 fired transitions, 3040 secs || 12067478 markings, 16288111 edges, 4090 markings/sec, 3040 secs
lola: STP completed || 5 tries, 4776117 fired transitions, 3045 secs || 12087502 markings, 16315660 edges, 4005 markings/sec, 3045 secs
lola: STP completed || 5 tries, 4783752 fired transitions, 3050 secs || 12108333 markings, 16344150 edges, 4166 markings/sec, 3050 secs
lola: STP completed || 5 tries, 4791430 fired transitions, 3055 secs || 12128576 markings, 16371773 edges, 4049 markings/sec, 3055 secs
lola: STP completed || 5 tries, 4799121 fired transitions, 3060 secs || 12148457 markings, 16398872 edges, 3976 markings/sec, 3060 secs
lola: STP completed || 5 tries, 4806732 fired transitions, 3065 secs || 12169276 markings, 16427230 edges, 4164 markings/sec, 3065 secs
lola: STP completed || 5 tries, 4814371 fired transitions, 3070 secs || 12188064 markings, 16452721 edges, 3758 markings/sec, 3070 secs
lola: STP completed || 5 tries, 4822083 fired transitions, 3075 secs || 12204943 markings, 16475525 edges, 3376 markings/sec, 3075 secs
lola: STP completed || 5 tries, 4829763 fired transitions, 3080 secs || 12224664 markings, 16502346 edges, 3944 markings/sec, 3080 secs
lola: STP completed || 5 tries, 4837452 fired transitions, 3085 secs || 12245482 markings, 16530686 edges, 4164 markings/sec, 3085 secs
lola: STP completed || 5 tries, 4845077 fired transitions, 3090 secs || 12266843 markings, 16559886 edges, 4272 markings/sec, 3090 secs
lola: STP completed || 5 tries, 4852744 fired transitions, 3095 secs || 12286918 markings, 16587337 edges, 4015 markings/sec, 3095 secs
lola: STP completed || 5 tries, 4860404 fired transitions, 3100 secs || 12306951 markings, 16614967 edges, 4007 markings/sec, 3100 secs
lola: STP completed || 5 tries, 4868022 fired transitions, 3105 secs || 12326067 markings, 16640906 edges, 3823 markings/sec, 3105 secs
lola: STP completed || 5 tries, 4875726 fired transitions, 3110 secs || 12345952 markings, 16667987 edges, 3977 markings/sec, 3110 secs
lola: STP completed || 5 tries, 4883367 fired transitions, 3115 secs || 12367268 markings, 16697140 edges, 4263 markings/sec, 3115 secs
lola: STP completed || 5 tries, 4891068 fired transitions, 3120 secs || 12387655 markings, 16724596 edges, 4077 markings/sec, 3120 secs
lola: STP completed || 5 tries, 4898739 fired transitions, 3125 secs || 12407974 markings, 16752309 edges, 4064 markings/sec, 3125 secs
lola: STP completed || 5 tries, 4906436 fired transitions, 3130 secs || 12427721 markings, 16779487 edges, 3949 markings/sec, 3130 secs
lola: STP completed || 5 tries, 4914108 fired transitions, 3135 secs || 12449101 markings, 16808718 edges, 4276 markings/sec, 3135 secs
lola: STP completed || 5 tries, 4921795 fired transitions, 3140 secs || 12469726 markings, 16837043 edges, 4125 markings/sec, 3140 secs
lola: STP completed || 5 tries, 4929485 fired transitions, 3145 secs || 12489959 markings, 16864537 edges, 4047 markings/sec, 3145 secs
lola: STP completed || 5 tries, 4937156 fired transitions, 3150 secs || 12511995 markings, 16894289 edges, 4407 markings/sec, 3150 secs
lola: STP completed || 5 tries, 4944835 fired transitions, 3155 secs || 12532939 markings, 16923138 edges, 4189 markings/sec, 3155 secs
lola: STP completed || 5 tries, 4952483 fired transitions, 3160 secs || 12552736 markings, 16950236 edges, 3959 markings/sec, 3160 secs
lola: STP completed || 5 tries, 4960105 fired transitions, 3165 secs || 12573306 markings, 16978397 edges, 4114 markings/sec, 3165 secs
lola: STP completed || 5 tries, 4967702 fired transitions, 3170 secs || 12593939 markings, 17006339 edges, 4127 markings/sec, 3170 secs
lola: STP completed || 5 tries, 4975332 fired transitions, 3175 secs || 12613905 markings, 17033601 edges, 3993 markings/sec, 3175 secs
lola: STP completed || 5 tries, 4982993 fired transitions, 3180 secs || 12634537 markings, 17061620 edges, 4126 markings/sec, 3180 secs
lola: STP completed || 5 tries, 4990589 fired transitions, 3185 secs || 12654499 markings, 17088899 edges, 3992 markings/sec, 3185 secs
lola: STP completed || 5 tries, 4998217 fired transitions, 3190 secs || 12674440 markings, 17116300 edges, 3988 markings/sec, 3190 secs
lola: STP completed || 6 tries, 5005825 fired transitions, 3195 secs || 12693964 markings, 17142967 edges, 3905 markings/sec, 3195 secs
lola: STP completed || 6 tries, 5013824 fired transitions, 3200 secs || 12713256 markings, 17169181 edges, 3858 markings/sec, 3200 secs
lola: STP completed || 6 tries, 5021780 fired transitions, 3205 secs || 12733565 markings, 17197121 edges, 4062 markings/sec, 3205 secs
lola: STP completed || 6 tries, 5029410 fired transitions, 3210 secs || 12754189 markings, 17225200 edges, 4125 markings/sec, 3210 secs
lola: STP completed || 6 tries, 5037051 fired transitions, 3215 secs || 12774503 markings, 17252857 edges, 4063 markings/sec, 3215 secs
lola: STP completed || 6 tries, 5044689 fired transitions, 3220 secs || 12795857 markings, 17281902 edges, 4271 markings/sec, 3220 secs
lola: STP completed || 6 tries, 5052689 fired transitions, 3225 secs || 12817728 markings, 17311833 edges, 4374 markings/sec, 3225 secs
lola: STP completed || 6 tries, 5060310 fired transitions, 3230 secs || 12838651 markings, 17340464 edges, 4185 markings/sec, 3230 secs
lola: STP completed || 6 tries, 5067956 fired transitions, 3235 secs || 12860692 markings, 17370352 edges, 4408 markings/sec, 3235 secs
lola: STP completed || 6 tries, 5075943 fired transitions, 3240 secs || 12881371 markings, 17398549 edges, 4136 markings/sec, 3240 secs
lola: STP completed || 6 tries, 5083967 fired transitions, 3245 secs || 12902938 markings, 17428068 edges, 4313 markings/sec, 3245 secs
lola: STP completed || 6 tries, 5091943 fired transitions, 3250 secs || 12921358 markings, 17452582 edges, 3684 markings/sec, 3250 secs
lola: STP completed || 6 tries, 5099910 fired transitions, 3255 secs || 12941491 markings, 17480015 edges, 4027 markings/sec, 3255 secs
lola: STP completed || 6 tries, 5107885 fired transitions, 3260 secs || 12962458 markings, 17508622 edges, 4193 markings/sec, 3260 secs
lola: STP completed || 6 tries, 5115870 fired transitions, 3265 secs || 12984375 markings, 17538779 edges, 4383 markings/sec, 3265 secs
lola: STP completed || 6 tries, 5123851 fired transitions, 3270 secs || 13003420 markings, 17564771 edges, 3809 markings/sec, 3270 secs
lola: STP completed || 6 tries, 5131811 fired transitions, 3275 secs || 13023914 markings, 17592841 edges, 4099 markings/sec, 3275 secs
lola: STP completed || 6 tries, 5139826 fired transitions, 3280 secs || 13042694 markings, 17618216 edges, 3756 markings/sec, 3280 secs
lola: STP completed || 6 tries, 5147784 fired transitions, 3285 secs || 13063769 markings, 17646731 edges, 4215 markings/sec, 3285 secs
lola: STP completed || 6 tries, 5155743 fired transitions, 3290 secs || 13084610 markings, 17675251 edges, 4168 markings/sec, 3290 secs
lola: STP completed || 6 tries, 5163361 fired transitions, 3295 secs || 13104595 markings, 17702585 edges, 3997 markings/sec, 3295 secs
lola: STP completed || 6 tries, 5171003 fired transitions, 3300 secs || 13122874 markings, 17727545 edges, 3656 markings/sec, 3300 secs
lola: STP completed || 6 tries, 5178591 fired transitions, 3305 secs || 13142731 markings, 17754369 edges, 3971 markings/sec, 3305 secs
lola: STP completed || 6 tries, 5186209 fired transitions, 3310 secs || 13163833 markings, 17783285 edges, 4220 markings/sec, 3310 secs
lola: STP completed || 6 tries, 5193849 fired transitions, 3315 secs || 13183323 markings, 17809904 edges, 3898 markings/sec, 3315 secs
lola: STP completed || 6 tries, 5201506 fired transitions, 3320 secs || 13203190 markings, 17837065 edges, 3973 markings/sec, 3320 secs
lola: STP completed || 6 tries, 5209161 fired transitions, 3325 secs || 13222509 markings, 17863367 edges, 3864 markings/sec, 3325 secs
lola: STP completed || 6 tries, 5216843 fired transitions, 3330 secs || 13244224 markings, 17892909 edges, 4343 markings/sec, 3330 secs
lola: STP completed || 6 tries, 5224481 fired transitions, 3335 secs || 13264813 markings, 17921008 edges, 4118 markings/sec, 3335 secs
lola: STP completed || 6 tries, 5232155 fired transitions, 3340 secs || 13285409 markings, 17949322 edges, 4119 markings/sec, 3340 secs
lola: STP completed || 6 tries, 5239824 fired transitions, 3345 secs || 13305516 markings, 17976995 edges, 4021 markings/sec, 3345 secs
lola: STP completed || 6 tries, 5247529 fired transitions, 3350 secs || 13325697 markings, 18004497 edges, 4036 markings/sec, 3350 secs
lola: STP completed || 6 tries, 5255214 fired transitions, 3355 secs || 13343970 markings, 18029275 edges, 3655 markings/sec, 3355 secs
lola: STP completed || 6 tries, 5262881 fired transitions, 3360 secs || 13364034 markings, 18056929 edges, 4013 markings/sec, 3360 secs
lola: STP completed || 6 tries, 5270563 fired transitions, 3365 secs || 13383182 markings, 18083209 edges, 3830 markings/sec, 3365 secs
lola: STP completed || 6 tries, 5278222 fired transitions, 3370 secs || 13404245 markings, 18111984 edges, 4213 markings/sec, 3370 secs
lola: STP completed || 6 tries, 5285902 fired transitions, 3375 secs || 13424206 markings, 18139373 edges, 3992 markings/sec, 3375 secs
lola: STP completed || 6 tries, 5293580 fired transitions, 3380 secs || 13444874 markings, 18167644 edges, 4134 markings/sec, 3380 secs
lola: STP completed || 6 tries, 5301289 fired transitions, 3385 secs || 13464703 markings, 18194558 edges, 3966 markings/sec, 3385 secs
lola: STP completed || 6 tries, 5308982 fired transitions, 3390 secs || 13483041 markings, 18219354 edges, 3668 markings/sec, 3390 secs
lola: STP completed || 6 tries, 5316667 fired transitions, 3395 secs || 13503120 markings, 18246966 edges, 4016 markings/sec, 3395 secs
lola: STP completed || 6 tries, 5324357 fired transitions, 3400 secs || 13522941 markings, 18274052 edges, 3964 markings/sec, 3400 secs
lola: STP completed || 6 tries, 5332057 fired transitions, 3405 secs || 13542277 markings, 18300297 edges, 3867 markings/sec, 3405 secs
lola: STP completed || 6 tries, 5339758 fired transitions, 3410 secs || 13561788 markings, 18327185 edges, 3902 markings/sec, 3410 secs
lola: STP completed || 6 tries, 5347460 fired transitions, 3415 secs || 13582087 markings, 18354878 edges, 4060 markings/sec, 3415 secs
lola: STP completed || 6 tries, 5355148 fired transitions, 3420 secs || 13602414 markings, 18382526 edges, 4065 markings/sec, 3420 secs
lola: STP completed || 6 tries, 5362874 fired transitions, 3425 secs || 13623096 markings, 18410735 edges, 4136 markings/sec, 3425 secs
lola: STP completed || 6 tries, 5370564 fired transitions, 3430 secs || 13641829 markings, 18435930 edges, 3747 markings/sec, 3430 secs
lola: STP completed || 6 tries, 5378269 fired transitions, 3435 secs || 13659457 markings, 18459913 edges, 3526 markings/sec, 3435 secs
lola: STP completed || 6 tries, 5385947 fired transitions, 3440 secs || 13680528 markings, 18488366 edges, 4214 markings/sec, 3440 secs
lola: STP completed || 6 tries, 5393647 fired transitions, 3445 secs || 13700802 markings, 18516230 edges, 4055 markings/sec, 3445 secs
lola: STP completed || 6 tries, 5401375 fired transitions, 3450 secs || 13719876 markings, 18542162 edges, 3815 markings/sec, 3450 secs
lola: STP completed || 6 tries, 5409432 fired transitions, 3455 secs || 13740437 markings, 18569765 edges, 4112 markings/sec, 3455 secs
lola: STP completed || 6 tries, 5417483 fired transitions, 3460 secs || 13761354 markings, 18598443 edges, 4183 markings/sec, 3460 secs
lola: STP completed || 6 tries, 5425557 fired transitions, 3465 secs || 13780338 markings, 18624145 edges, 3797 markings/sec, 3465 secs
lola: STP completed || 6 tries, 5433263 fired transitions, 3470 secs || 13799662 markings, 18650836 edges, 3865 markings/sec, 3470 secs
lola: STP completed || 6 tries, 5440957 fired transitions, 3475 secs || 13818588 markings, 18676847 edges, 3785 markings/sec, 3475 secs
lola: STP completed || 6 tries, 5448652 fired transitions, 3480 secs || 13838548 markings, 18704149 edges, 3992 markings/sec, 3480 secs
lola: STP completed || 6 tries, 5456313 fired transitions, 3485 secs || 13858862 markings, 18731748 edges, 4063 markings/sec, 3485 secs
lola: STP completed || 6 tries, 5464004 fired transitions, 3490 secs || 13880048 markings, 18760476 edges, 4237 markings/sec, 3490 secs
lola: STP completed || 6 tries, 5471697 fired transitions, 3495 secs || 13900549 markings, 18788346 edges, 4100 markings/sec, 3495 secs
lola: STP completed || 6 tries, 5479366 fired transitions, 3500 secs || 13919997 markings, 18815134 edges, 3890 markings/sec, 3500 secs
lola: STP completed || 6 tries, 5487062 fired transitions, 3505 secs || 13939738 markings, 18842088 edges, 3948 markings/sec, 3505 secs
lola: STP completed || 6 tries, 5494758 fired transitions, 3510 secs || 13957952 markings, 18867077 edges, 3643 markings/sec, 3510 secs
lola: STP completed || 6 tries, 5502465 fired transitions, 3515 secs || 13977905 markings, 18894359 edges, 3991 markings/sec, 3515 secs
lola: STP completed || 6 tries, 5510146 fired transitions, 3520 secs || 13996570 markings, 18919824 edges, 3733 markings/sec, 3520 secs
lola: STP completed || 6 tries, 5517835 fired transitions, 3525 secs || 14015593 markings, 18945824 edges, 3805 markings/sec, 3525 secs
lola: STP completed || 6 tries, 5525565 fired transitions, 3530 secs || 14035856 markings, 18973306 edges, 4053 markings/sec, 3530 secs
lola: STP completed || 6 tries, 5533270 fired transitions, 3535 secs || 14057262 markings, 19002706 edges, 4281 markings/sec, 3535 secs
lola: STP completed || 6 tries, 5540941 fired transitions, 3540 secs || 14077192 markings, 19029930 edges, 3986 markings/sec, 3540 secs
lola: STP completed || 6 tries, 5548657 fired transitions, 3545 secs || 14096489 markings, 19056179 edges, 3859 markings/sec, 3545 secs
lola: STP completed || 6 tries, 5556332 fired transitions, 3550 secs || 14117675 markings, 19085156 edges, 4237 markings/sec, 3550 secs
lola: STP completed || 6 tries, 5564035 fired transitions, 3555 secs || 14138752 markings, 19113804 edges, 4215 markings/sec, 3555 secs
lola: STP completed || 6 tries, 5571709 fired transitions, 3560 secs || 14159932 markings, 19142884 edges, 4236 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 872592 KB
lola: time consumption: 3570 seconds
BK_STOP 1527231474956
--------------------
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="SimpleLoadBal-PT-20"
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/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 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 SimpleLoadBal-PT-20, 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 r172-smll-152708743000174"
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 ;