About the Execution of LoLA for BART-PT-010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2621.830 | 3570017.00 | 7222632.00 | 494.80 | [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 5.3M
-rw-r--r-- 1 mcc users 106K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 272K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 122K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 314K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 190K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 472K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 135K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 329K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 129K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 322K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 135K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 358K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 31K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 60K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 2.4M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BART-PT-010, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306000076
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-010-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526515232602
info: Time: 3600 - MCC
===========================================================================================
prep: translating BART-PT-010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating BART-PT-010 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ BART-PT-010 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3550/65536 symbol table entries, 47 collisions
lola: preprocessing...
lola: Size of bit vector: 1530
lola: finding significant places
lola: 1530 places, 2020 transitions, 1310 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1367 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-010-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 48 generators (20 in search tree, 28 by composition)
lola: representing 2.90304E+07 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 43092 variables and 243364 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 18170 fired transitions, 0 secs || 17927 markings, 22053 edges, 3585 markings/sec, 0 secs
lola: STP completed || 1 tries, 37433 fired transitions, 5 secs || 36718 markings, 44775 edges, 3758 markings/sec, 5 secs
lola: STP completed || 1 tries, 56253 fired transitions, 10 secs || 55222 markings, 67319 edges, 3701 markings/sec, 10 secs
lola: STP completed || 1 tries, 76134 fired transitions, 15 secs || 74581 markings, 90350 edges, 3872 markings/sec, 15 secs
lola: STP completed || 1 tries, 96165 fired transitions, 20 secs || 93783 markings, 113777 edges, 3840 markings/sec, 20 secs
lola: STP completed || 1 tries, 115550 fired transitions, 25 secs || 112833 markings, 136949 edges, 3810 markings/sec, 25 secs
lola: STP completed || 1 tries, 135254 fired transitions, 30 secs || 131885 markings, 160085 edges, 3810 markings/sec, 30 secs
lola: STP completed || 1 tries, 155255 fired transitions, 35 secs || 151193 markings, 183635 edges, 3862 markings/sec, 35 secs
lola: STP completed || 1 tries, 175365 fired transitions, 40 secs || 170469 markings, 207071 edges, 3855 markings/sec, 40 secs
lola: STP completed || 1 tries, 195357 fired transitions, 45 secs || 189729 markings, 230442 edges, 3852 markings/sec, 45 secs
lola: STP completed || 1 tries, 215101 fired transitions, 50 secs || 208672 markings, 253220 edges, 3789 markings/sec, 50 secs
lola: STP completed || 1 tries, 234055 fired transitions, 55 secs || 227139 markings, 275786 edges, 3693 markings/sec, 55 secs
lola: STP completed || 1 tries, 253006 fired transitions, 60 secs || 245342 markings, 297777 edges, 3641 markings/sec, 60 secs
lola: STP completed || 1 tries, 272158 fired transitions, 65 secs || 263905 markings, 320621 edges, 3713 markings/sec, 65 secs
lola: STP completed || 1 tries, 291471 fired transitions, 70 secs || 282217 markings, 343398 edges, 3662 markings/sec, 70 secs
lola: STP completed || 1 tries, 310798 fired transitions, 75 secs || 300528 markings, 365921 edges, 3662 markings/sec, 75 secs
lola: STP completed || 1 tries, 330128 fired transitions, 80 secs || 319071 markings, 389222 edges, 3709 markings/sec, 80 secs
lola: STP completed || 1 tries, 349531 fired transitions, 85 secs || 337466 markings, 411579 edges, 3679 markings/sec, 85 secs
lola: STP completed || 1 tries, 368894 fired transitions, 90 secs || 356028 markings, 434541 edges, 3712 markings/sec, 90 secs
lola: STP completed || 1 tries, 388473 fired transitions, 95 secs || 374602 markings, 457633 edges, 3715 markings/sec, 95 secs
lola: STP completed || 1 tries, 408577 fired transitions, 100 secs || 393631 markings, 481113 edges, 3806 markings/sec, 100 secs
lola: STP completed || 1 tries, 428902 fired transitions, 105 secs || 412469 markings, 504443 edges, 3768 markings/sec, 105 secs
lola: STP completed || 1 tries, 448535 fired transitions, 110 secs || 431047 markings, 527993 edges, 3716 markings/sec, 110 secs
lola: STP completed || 1 tries, 467939 fired transitions, 115 secs || 449430 markings, 550657 edges, 3677 markings/sec, 115 secs
lola: STP completed || 1 tries, 488230 fired transitions, 120 secs || 468418 markings, 573892 edges, 3798 markings/sec, 120 secs
lola: STP completed || 1 tries, 507617 fired transitions, 125 secs || 486764 markings, 596466 edges, 3669 markings/sec, 125 secs
lola: STP completed || 1 tries, 526588 fired transitions, 130 secs || 504627 markings, 618422 edges, 3573 markings/sec, 130 secs
lola: STP completed || 1 tries, 545546 fired transitions, 135 secs || 522408 markings, 640286 edges, 3556 markings/sec, 135 secs
lola: STP completed || 1 tries, 564785 fired transitions, 140 secs || 540156 markings, 662180 edges, 3550 markings/sec, 140 secs
lola: STP completed || 1 tries, 584164 fired transitions, 145 secs || 558394 markings, 684399 edges, 3648 markings/sec, 145 secs
lola: STP completed || 1 tries, 603581 fired transitions, 150 secs || 576481 markings, 706542 edges, 3617 markings/sec, 150 secs
lola: STP completed || 1 tries, 623037 fired transitions, 155 secs || 594792 markings, 728702 edges, 3662 markings/sec, 155 secs
lola: STP completed || 1 tries, 642406 fired transitions, 160 secs || 612990 markings, 750876 edges, 3640 markings/sec, 160 secs
lola: STP completed || 1 tries, 661744 fired transitions, 165 secs || 631141 markings, 773059 edges, 3630 markings/sec, 165 secs
lola: STP completed || 1 tries, 681147 fired transitions, 170 secs || 649325 markings, 795079 edges, 3637 markings/sec, 170 secs
lola: STP completed || 1 tries, 700499 fired transitions, 175 secs || 667221 markings, 818024 edges, 3579 markings/sec, 175 secs
lola: STP completed || 1 tries, 719843 fired transitions, 180 secs || 684772 markings, 839954 edges, 3510 markings/sec, 180 secs
lola: STP completed || 1 tries, 739171 fired transitions, 185 secs || 702736 markings, 862121 edges, 3593 markings/sec, 185 secs
lola: STP completed || 1 tries, 758885 fired transitions, 190 secs || 720979 markings, 884349 edges, 3649 markings/sec, 190 secs
lola: STP completed || 1 tries, 779173 fired transitions, 195 secs || 739639 markings, 907055 edges, 3732 markings/sec, 195 secs
lola: STP completed || 1 tries, 798723 fired transitions, 200 secs || 757812 markings, 929207 edges, 3635 markings/sec, 200 secs
lola: STP completed || 1 tries, 817542 fired transitions, 205 secs || 775244 markings, 950548 edges, 3486 markings/sec, 205 secs
lola: STP completed || 1 tries, 837039 fired transitions, 210 secs || 793539 markings, 973222 edges, 3659 markings/sec, 210 secs
lola: STP completed || 1 tries, 856493 fired transitions, 215 secs || 811609 markings, 995134 edges, 3614 markings/sec, 215 secs
lola: STP completed || 1 tries, 875748 fired transitions, 220 secs || 829108 markings, 1016691 edges, 3500 markings/sec, 220 secs
lola: STP completed || 1 tries, 895441 fired transitions, 225 secs || 847380 markings, 1039576 edges, 3654 markings/sec, 225 secs
lola: STP completed || 1 tries, 914557 fired transitions, 230 secs || 865274 markings, 1061587 edges, 3579 markings/sec, 230 secs
lola: STP completed || 1 tries, 933450 fired transitions, 235 secs || 883401 markings, 1083885 edges, 3625 markings/sec, 235 secs
lola: STP completed || 1 tries, 953048 fired transitions, 240 secs || 901873 markings, 1106918 edges, 3694 markings/sec, 240 secs
lola: STP completed || 1 tries, 972675 fired transitions, 245 secs || 920296 markings, 1129375 edges, 3685 markings/sec, 245 secs
lola: STP completed || 1 tries, 992295 fired transitions, 250 secs || 938508 markings, 1151681 edges, 3642 markings/sec, 250 secs
lola: STP completed || 2 tries, 1012239 fired transitions, 255 secs || 956811 markings, 1173858 edges, 3661 markings/sec, 255 secs
lola: STP completed || 2 tries, 1032444 fired transitions, 260 secs || 975550 markings, 1197794 edges, 3748 markings/sec, 260 secs
lola: STP completed || 2 tries, 1052017 fired transitions, 265 secs || 993892 markings, 1220059 edges, 3668 markings/sec, 265 secs
lola: STP completed || 2 tries, 1071601 fired transitions, 270 secs || 1012261 markings, 1242228 edges, 3674 markings/sec, 270 secs
lola: STP completed || 2 tries, 1091091 fired transitions, 275 secs || 1030597 markings, 1264497 edges, 3667 markings/sec, 275 secs
lola: STP completed || 2 tries, 1110672 fired transitions, 280 secs || 1048881 markings, 1286860 edges, 3657 markings/sec, 280 secs
lola: STP completed || 2 tries, 1130289 fired transitions, 285 secs || 1067559 markings, 1309952 edges, 3736 markings/sec, 285 secs
lola: STP completed || 2 tries, 1149862 fired transitions, 290 secs || 1086180 markings, 1332868 edges, 3724 markings/sec, 290 secs
lola: STP completed || 2 tries, 1169440 fired transitions, 295 secs || 1104956 markings, 1355838 edges, 3755 markings/sec, 295 secs
lola: STP completed || 2 tries, 1189023 fired transitions, 300 secs || 1123796 markings, 1378928 edges, 3768 markings/sec, 300 secs
lola: STP completed || 2 tries, 1208610 fired transitions, 305 secs || 1142418 markings, 1402568 edges, 3724 markings/sec, 305 secs
lola: STP completed || 2 tries, 1228182 fired transitions, 310 secs || 1160960 markings, 1425268 edges, 3708 markings/sec, 310 secs
lola: STP completed || 2 tries, 1247843 fired transitions, 315 secs || 1179322 markings, 1447893 edges, 3672 markings/sec, 315 secs
lola: STP completed || 2 tries, 1267449 fired transitions, 320 secs || 1197874 markings, 1470369 edges, 3710 markings/sec, 320 secs
lola: STP completed || 2 tries, 1286995 fired transitions, 325 secs || 1216412 markings, 1492956 edges, 3708 markings/sec, 325 secs
lola: STP completed || 2 tries, 1306637 fired transitions, 330 secs || 1235086 markings, 1515844 edges, 3735 markings/sec, 330 secs
lola: STP completed || 2 tries, 1326203 fired transitions, 335 secs || 1253617 markings, 1538619 edges, 3706 markings/sec, 335 secs
lola: STP completed || 2 tries, 1345768 fired transitions, 340 secs || 1272148 markings, 1561156 edges, 3706 markings/sec, 340 secs
lola: STP completed || 2 tries, 1365351 fired transitions, 345 secs || 1290565 markings, 1583764 edges, 3683 markings/sec, 345 secs
lola: STP completed || 2 tries, 1385514 fired transitions, 350 secs || 1309675 markings, 1607388 edges, 3822 markings/sec, 350 secs
lola: STP completed || 2 tries, 1405829 fired transitions, 355 secs || 1328569 markings, 1630682 edges, 3779 markings/sec, 355 secs
lola: STP completed || 2 tries, 1426007 fired transitions, 360 secs || 1347526 markings, 1654255 edges, 3791 markings/sec, 360 secs
lola: STP completed || 2 tries, 1446272 fired transitions, 365 secs || 1366201 markings, 1677191 edges, 3735 markings/sec, 365 secs
lola: STP completed || 2 tries, 1466446 fired transitions, 370 secs || 1385168 markings, 1700994 edges, 3793 markings/sec, 370 secs
lola: STP completed || 2 tries, 1486655 fired transitions, 375 secs || 1403941 markings, 1723967 edges, 3755 markings/sec, 375 secs
lola: STP completed || 2 tries, 1506819 fired transitions, 380 secs || 1422859 markings, 1747286 edges, 3784 markings/sec, 380 secs
lola: STP completed || 2 tries, 1526381 fired transitions, 385 secs || 1441560 markings, 1770135 edges, 3740 markings/sec, 385 secs
lola: STP completed || 2 tries, 1546568 fired transitions, 390 secs || 1460459 markings, 1793762 edges, 3780 markings/sec, 390 secs
lola: STP completed || 2 tries, 1566780 fired transitions, 395 secs || 1479185 markings, 1816803 edges, 3745 markings/sec, 395 secs
lola: STP completed || 2 tries, 1586996 fired transitions, 400 secs || 1498023 markings, 1839982 edges, 3768 markings/sec, 400 secs
lola: STP completed || 2 tries, 1607277 fired transitions, 405 secs || 1516829 markings, 1863019 edges, 3761 markings/sec, 405 secs
lola: STP completed || 2 tries, 1627454 fired transitions, 410 secs || 1535631 markings, 1886212 edges, 3760 markings/sec, 410 secs
lola: STP completed || 2 tries, 1647710 fired transitions, 415 secs || 1554455 markings, 1909307 edges, 3765 markings/sec, 415 secs
lola: STP completed || 2 tries, 1667794 fired transitions, 420 secs || 1573318 markings, 1932649 edges, 3773 markings/sec, 420 secs
lola: STP completed || 2 tries, 1687935 fired transitions, 425 secs || 1592361 markings, 1955918 edges, 3809 markings/sec, 425 secs
lola: STP completed || 2 tries, 1708174 fired transitions, 430 secs || 1611286 markings, 1979198 edges, 3785 markings/sec, 430 secs
lola: STP completed || 2 tries, 1728424 fired transitions, 435 secs || 1630044 markings, 2001967 edges, 3752 markings/sec, 435 secs
lola: STP completed || 2 tries, 1748688 fired transitions, 440 secs || 1648917 markings, 2025066 edges, 3775 markings/sec, 440 secs
lola: STP completed || 2 tries, 1768973 fired transitions, 445 secs || 1667678 markings, 2048042 edges, 3752 markings/sec, 445 secs
lola: STP completed || 2 tries, 1789164 fired transitions, 450 secs || 1686261 markings, 2070992 edges, 3717 markings/sec, 450 secs
lola: STP completed || 2 tries, 1809455 fired transitions, 455 secs || 1705088 markings, 2094044 edges, 3765 markings/sec, 455 secs
lola: STP completed || 2 tries, 1829622 fired transitions, 460 secs || 1723777 markings, 2116812 edges, 3738 markings/sec, 460 secs
lola: STP completed || 2 tries, 1849803 fired transitions, 465 secs || 1742587 markings, 2139588 edges, 3762 markings/sec, 465 secs
lola: STP completed || 2 tries, 1870051 fired transitions, 470 secs || 1761306 markings, 2162413 edges, 3744 markings/sec, 470 secs
lola: STP completed || 2 tries, 1890236 fired transitions, 475 secs || 1779899 markings, 2185278 edges, 3719 markings/sec, 475 secs
lola: STP completed || 2 tries, 1910499 fired transitions, 480 secs || 1798904 markings, 2208674 edges, 3801 markings/sec, 480 secs
lola: STP completed || 2 tries, 1930703 fired transitions, 485 secs || 1817837 markings, 2231820 edges, 3787 markings/sec, 485 secs
lola: STP completed || 2 tries, 1950960 fired transitions, 490 secs || 1836657 markings, 2254701 edges, 3764 markings/sec, 490 secs
lola: STP completed || 2 tries, 1971282 fired transitions, 495 secs || 1855558 markings, 2277744 edges, 3780 markings/sec, 495 secs
lola: STP completed || 2 tries, 1991454 fired transitions, 500 secs || 1874439 markings, 2300820 edges, 3776 markings/sec, 500 secs
lola: STP completed || 3 tries, 2011675 fired transitions, 505 secs || 1893432 markings, 2323807 edges, 3799 markings/sec, 505 secs
lola: STP completed || 3 tries, 2031872 fired transitions, 510 secs || 1912328 markings, 2346597 edges, 3779 markings/sec, 510 secs
lola: STP completed || 3 tries, 2052098 fired transitions, 515 secs || 1931170 markings, 2369647 edges, 3768 markings/sec, 515 secs
lola: STP completed || 3 tries, 2071749 fired transitions, 520 secs || 1949817 markings, 2392469 edges, 3729 markings/sec, 520 secs
lola: STP completed || 3 tries, 2090862 fired transitions, 525 secs || 1968132 markings, 2414895 edges, 3663 markings/sec, 525 secs
lola: STP completed || 3 tries, 2109912 fired transitions, 530 secs || 1986421 markings, 2437412 edges, 3658 markings/sec, 530 secs
lola: STP completed || 3 tries, 2128992 fired transitions, 535 secs || 2004741 markings, 2459820 edges, 3664 markings/sec, 535 secs
lola: STP completed || 3 tries, 2147920 fired transitions, 540 secs || 2022994 markings, 2482854 edges, 3651 markings/sec, 540 secs
lola: STP completed || 3 tries, 2166879 fired transitions, 545 secs || 2041027 markings, 2504805 edges, 3607 markings/sec, 545 secs
lola: STP completed || 3 tries, 2185819 fired transitions, 550 secs || 2059229 markings, 2527324 edges, 3640 markings/sec, 550 secs
lola: STP completed || 3 tries, 2204901 fired transitions, 555 secs || 2077285 markings, 2549546 edges, 3611 markings/sec, 555 secs
lola: STP completed || 3 tries, 2223837 fired transitions, 560 secs || 2095234 markings, 2571329 edges, 3590 markings/sec, 560 secs
lola: STP completed || 3 tries, 2242830 fired transitions, 565 secs || 2113424 markings, 2593292 edges, 3638 markings/sec, 565 secs
lola: STP completed || 3 tries, 2261877 fired transitions, 570 secs || 2131733 markings, 2615437 edges, 3662 markings/sec, 570 secs
lola: STP completed || 3 tries, 2281284 fired transitions, 575 secs || 2150052 markings, 2637901 edges, 3664 markings/sec, 575 secs
lola: STP completed || 3 tries, 2300267 fired transitions, 580 secs || 2167997 markings, 2659863 edges, 3589 markings/sec, 580 secs
lola: STP completed || 3 tries, 2319290 fired transitions, 585 secs || 2185944 markings, 2682050 edges, 3589 markings/sec, 585 secs
lola: STP completed || 3 tries, 2338316 fired transitions, 590 secs || 2203924 markings, 2704091 edges, 3596 markings/sec, 590 secs
lola: STP completed || 3 tries, 2357228 fired transitions, 595 secs || 2221770 markings, 2725769 edges, 3569 markings/sec, 595 secs
lola: STP completed || 3 tries, 2376212 fired transitions, 600 secs || 2239823 markings, 2747777 edges, 3611 markings/sec, 600 secs
lola: STP completed || 3 tries, 2395195 fired transitions, 605 secs || 2257911 markings, 2769999 edges, 3618 markings/sec, 605 secs
lola: STP completed || 3 tries, 2414096 fired transitions, 610 secs || 2275871 markings, 2791898 edges, 3592 markings/sec, 610 secs
lola: STP completed || 3 tries, 2433500 fired transitions, 615 secs || 2294329 markings, 2814303 edges, 3692 markings/sec, 615 secs
lola: STP completed || 3 tries, 2453679 fired transitions, 620 secs || 2313091 markings, 2837404 edges, 3752 markings/sec, 620 secs
lola: STP completed || 3 tries, 2473891 fired transitions, 625 secs || 2332154 markings, 2861040 edges, 3813 markings/sec, 625 secs
lola: STP completed || 3 tries, 2494018 fired transitions, 630 secs || 2351247 markings, 2884365 edges, 3819 markings/sec, 630 secs
lola: STP completed || 3 tries, 2514235 fired transitions, 635 secs || 2370118 markings, 2907275 edges, 3774 markings/sec, 635 secs
lola: STP completed || 3 tries, 2534416 fired transitions, 640 secs || 2389092 markings, 2930868 edges, 3795 markings/sec, 640 secs
lola: STP completed || 3 tries, 2554554 fired transitions, 645 secs || 2408124 markings, 2954020 edges, 3806 markings/sec, 645 secs
lola: STP completed || 3 tries, 2574740 fired transitions, 650 secs || 2427180 markings, 2977522 edges, 3811 markings/sec, 650 secs
lola: STP completed || 3 tries, 2594936 fired transitions, 655 secs || 2446136 markings, 3000506 edges, 3791 markings/sec, 655 secs
lola: STP completed || 3 tries, 2615126 fired transitions, 660 secs || 2465098 markings, 3023748 edges, 3792 markings/sec, 660 secs
lola: STP completed || 3 tries, 2635260 fired transitions, 665 secs || 2484184 markings, 3047154 edges, 3817 markings/sec, 665 secs
lola: STP completed || 3 tries, 2655411 fired transitions, 670 secs || 2503197 markings, 3070203 edges, 3803 markings/sec, 670 secs
lola: STP completed || 3 tries, 2675601 fired transitions, 675 secs || 2522215 markings, 3093435 edges, 3804 markings/sec, 675 secs
lola: STP completed || 3 tries, 2694840 fired transitions, 680 secs || 2540652 markings, 3115825 edges, 3687 markings/sec, 680 secs
lola: STP completed || 3 tries, 2714007 fired transitions, 685 secs || 2559153 markings, 3138461 edges, 3700 markings/sec, 685 secs
lola: STP completed || 3 tries, 2733490 fired transitions, 690 secs || 2577866 markings, 3161355 edges, 3743 markings/sec, 690 secs
lola: STP completed || 3 tries, 2753484 fired transitions, 695 secs || 2597140 markings, 3185097 edges, 3855 markings/sec, 695 secs
lola: STP completed || 3 tries, 2773419 fired transitions, 700 secs || 2616036 markings, 3208129 edges, 3779 markings/sec, 700 secs
lola: STP completed || 3 tries, 2793326 fired transitions, 705 secs || 2634924 markings, 3231427 edges, 3778 markings/sec, 705 secs
lola: STP completed || 3 tries, 2813256 fired transitions, 710 secs || 2653867 markings, 3254774 edges, 3789 markings/sec, 710 secs
lola: STP completed || 3 tries, 2833178 fired transitions, 715 secs || 2672797 markings, 3278732 edges, 3786 markings/sec, 715 secs
lola: STP completed || 3 tries, 2853167 fired transitions, 720 secs || 2691669 markings, 3302459 edges, 3774 markings/sec, 720 secs
lola: STP completed || 3 tries, 2873088 fired transitions, 725 secs || 2710691 markings, 3325747 edges, 3804 markings/sec, 725 secs
lola: STP completed || 3 tries, 2892989 fired transitions, 730 secs || 2729812 markings, 3349527 edges, 3824 markings/sec, 730 secs
lola: STP completed || 3 tries, 2912862 fired transitions, 735 secs || 2748970 markings, 3373113 edges, 3832 markings/sec, 735 secs
lola: STP completed || 3 tries, 2932787 fired transitions, 740 secs || 2767980 markings, 3396637 edges, 3802 markings/sec, 740 secs
lola: STP completed || 3 tries, 2952789 fired transitions, 745 secs || 2786928 markings, 3420130 edges, 3790 markings/sec, 745 secs
lola: STP completed || 3 tries, 2972727 fired transitions, 750 secs || 2806071 markings, 3443800 edges, 3829 markings/sec, 750 secs
lola: STP completed || 3 tries, 2992685 fired transitions, 755 secs || 2825082 markings, 3467283 edges, 3802 markings/sec, 755 secs
lola: STP completed || 4 tries, 3012742 fired transitions, 760 secs || 2843968 markings, 3490514 edges, 3777 markings/sec, 760 secs
lola: STP completed || 4 tries, 3032728 fired transitions, 765 secs || 2862971 markings, 3513684 edges, 3801 markings/sec, 765 secs
lola: STP completed || 4 tries, 3052792 fired transitions, 770 secs || 2881851 markings, 3536801 edges, 3776 markings/sec, 770 secs
lola: STP completed || 4 tries, 3072846 fired transitions, 775 secs || 2900543 markings, 3559440 edges, 3738 markings/sec, 775 secs
lola: STP completed || 4 tries, 3092877 fired transitions, 780 secs || 2919496 markings, 3582538 edges, 3791 markings/sec, 780 secs
lola: STP completed || 4 tries, 3112925 fired transitions, 785 secs || 2938412 markings, 3605515 edges, 3783 markings/sec, 785 secs
lola: STP completed || 4 tries, 3132554 fired transitions, 790 secs || 2956185 markings, 3627421 edges, 3555 markings/sec, 790 secs
lola: STP completed || 4 tries, 3152088 fired transitions, 795 secs || 2974223 markings, 3649579 edges, 3608 markings/sec, 795 secs
lola: STP completed || 4 tries, 3171672 fired transitions, 800 secs || 2992370 markings, 3671878 edges, 3629 markings/sec, 800 secs
lola: STP completed || 4 tries, 3191149 fired transitions, 805 secs || 3011004 markings, 3694660 edges, 3727 markings/sec, 805 secs
lola: STP completed || 4 tries, 3210321 fired transitions, 810 secs || 3029209 markings, 3716990 edges, 3641 markings/sec, 810 secs
lola: STP completed || 4 tries, 3224897 fired transitions, 815 secs || 3042847 markings, 3733616 edges, 2728 markings/sec, 815 secs
lola: STP completed || 4 tries, 3244264 fired transitions, 820 secs || 3060920 markings, 3755988 edges, 3615 markings/sec, 820 secs
lola: STP completed || 4 tries, 3263727 fired transitions, 825 secs || 3078802 markings, 3777990 edges, 3576 markings/sec, 825 secs
lola: STP completed || 4 tries, 3283136 fired transitions, 830 secs || 3096607 markings, 3799578 edges, 3561 markings/sec, 830 secs
lola: STP completed || 4 tries, 3302568 fired transitions, 835 secs || 3114517 markings, 3821431 edges, 3582 markings/sec, 835 secs
lola: STP completed || 4 tries, 3322144 fired transitions, 840 secs || 3132549 markings, 3843280 edges, 3606 markings/sec, 840 secs
lola: STP completed || 4 tries, 3342148 fired transitions, 845 secs || 3151428 markings, 3866211 edges, 3776 markings/sec, 845 secs
lola: STP completed || 4 tries, 3362123 fired transitions, 850 secs || 3170423 markings, 3889343 edges, 3799 markings/sec, 850 secs
lola: STP completed || 4 tries, 3382085 fired transitions, 855 secs || 3189219 markings, 3912399 edges, 3759 markings/sec, 855 secs
lola: STP completed || 4 tries, 3401982 fired transitions, 860 secs || 3208296 markings, 3935946 edges, 3815 markings/sec, 860 secs
lola: STP completed || 4 tries, 3421955 fired transitions, 865 secs || 3227452 markings, 3959662 edges, 3831 markings/sec, 865 secs
lola: STP completed || 4 tries, 3441951 fired transitions, 870 secs || 3246183 markings, 3983275 edges, 3746 markings/sec, 870 secs
lola: STP completed || 4 tries, 3461948 fired transitions, 875 secs || 3264909 markings, 4006149 edges, 3745 markings/sec, 875 secs
lola: STP completed || 4 tries, 3482171 fired transitions, 880 secs || 3283848 markings, 4029385 edges, 3788 markings/sec, 880 secs
lola: STP completed || 4 tries, 3502454 fired transitions, 885 secs || 3302741 markings, 4052572 edges, 3779 markings/sec, 885 secs
lola: STP completed || 4 tries, 3522788 fired transitions, 890 secs || 3321685 markings, 4075802 edges, 3789 markings/sec, 890 secs
lola: STP completed || 4 tries, 3543055 fired transitions, 895 secs || 3340760 markings, 4098861 edges, 3815 markings/sec, 895 secs
lola: STP completed || 4 tries, 3563004 fired transitions, 900 secs || 3359707 markings, 4121874 edges, 3789 markings/sec, 900 secs
lola: STP completed || 4 tries, 3583013 fired transitions, 905 secs || 3378558 markings, 4144849 edges, 3770 markings/sec, 905 secs
lola: STP completed || 4 tries, 3602928 fired transitions, 910 secs || 3397272 markings, 4167861 edges, 3743 markings/sec, 910 secs
lola: STP completed || 4 tries, 3622887 fired transitions, 915 secs || 3416275 markings, 4191135 edges, 3801 markings/sec, 915 secs
lola: STP completed || 4 tries, 3642830 fired transitions, 920 secs || 3435543 markings, 4214762 edges, 3854 markings/sec, 920 secs
lola: STP completed || 4 tries, 3662843 fired transitions, 925 secs || 3454698 markings, 4238289 edges, 3831 markings/sec, 925 secs
lola: STP completed || 4 tries, 3682611 fired transitions, 930 secs || 3473877 markings, 4261647 edges, 3836 markings/sec, 930 secs
lola: STP completed || 4 tries, 3702616 fired transitions, 935 secs || 3492668 markings, 4284699 edges, 3758 markings/sec, 935 secs
lola: STP completed || 4 tries, 3722565 fired transitions, 940 secs || 3511343 markings, 4307344 edges, 3735 markings/sec, 940 secs
lola: STP completed || 4 tries, 3742788 fired transitions, 945 secs || 3530293 markings, 4330408 edges, 3790 markings/sec, 945 secs
lola: STP completed || 4 tries, 3762227 fired transitions, 950 secs || 3548335 markings, 4352566 edges, 3608 markings/sec, 950 secs
lola: STP completed || 4 tries, 3781332 fired transitions, 955 secs || 3566619 markings, 4375233 edges, 3657 markings/sec, 955 secs
lola: STP completed || 4 tries, 3800806 fired transitions, 960 secs || 3584797 markings, 4397265 edges, 3636 markings/sec, 960 secs
lola: STP completed || 4 tries, 3819119 fired transitions, 965 secs || 3601877 markings, 4418320 edges, 3416 markings/sec, 965 secs
lola: STP completed || 4 tries, 3838340 fired transitions, 970 secs || 3620125 markings, 4440926 edges, 3650 markings/sec, 970 secs
lola: STP completed || 4 tries, 3857671 fired transitions, 975 secs || 3638778 markings, 4464212 edges, 3731 markings/sec, 975 secs
lola: STP completed || 4 tries, 3874476 fired transitions, 980 secs || 3654494 markings, 4483787 edges, 3143 markings/sec, 980 secs
lola: STP completed || 4 tries, 3890499 fired transitions, 985 secs || 3669628 markings, 4502277 edges, 3027 markings/sec, 985 secs
lola: STP completed || 4 tries, 3910672 fired transitions, 990 secs || 3688377 markings, 4525521 edges, 3750 markings/sec, 990 secs
lola: STP completed || 4 tries, 3930184 fired transitions, 995 secs || 3706991 markings, 4548761 edges, 3723 markings/sec, 995 secs
lola: STP completed || 4 tries, 3949337 fired transitions, 1000 secs || 3725386 markings, 4571131 edges, 3679 markings/sec, 1000 secs
lola: STP completed || 4 tries, 3968486 fired transitions, 1005 secs || 3743702 markings, 4593721 edges, 3663 markings/sec, 1005 secs
lola: STP completed || 4 tries, 3987584 fired transitions, 1010 secs || 3762275 markings, 4616654 edges, 3715 markings/sec, 1010 secs
lola: STP completed || 5 tries, 4006833 fired transitions, 1015 secs || 3780786 markings, 4639496 edges, 3702 markings/sec, 1015 secs
lola: STP completed || 5 tries, 4026784 fired transitions, 1020 secs || 3799684 markings, 4662671 edges, 3780 markings/sec, 1020 secs
lola: STP completed || 5 tries, 4043114 fired transitions, 1025 secs || 3815242 markings, 4682192 edges, 3112 markings/sec, 1025 secs
lola: STP completed || 5 tries, 4062229 fired transitions, 1030 secs || 3833491 markings, 4704550 edges, 3650 markings/sec, 1030 secs
lola: STP completed || 5 tries, 4081599 fired transitions, 1035 secs || 3851922 markings, 4727230 edges, 3686 markings/sec, 1035 secs
lola: STP completed || 5 tries, 4100839 fired transitions, 1040 secs || 3870293 markings, 4749568 edges, 3674 markings/sec, 1040 secs
lola: STP completed || 5 tries, 4120227 fired transitions, 1045 secs || 3888587 markings, 4771898 edges, 3659 markings/sec, 1045 secs
lola: STP completed || 5 tries, 4139495 fired transitions, 1050 secs || 3906998 markings, 4794225 edges, 3682 markings/sec, 1050 secs
lola: STP completed || 5 tries, 4158921 fired transitions, 1055 secs || 3925434 markings, 4816806 edges, 3687 markings/sec, 1055 secs
lola: STP completed || 5 tries, 4178205 fired transitions, 1060 secs || 3943858 markings, 4839438 edges, 3685 markings/sec, 1060 secs
lola: STP completed || 5 tries, 4198339 fired transitions, 1065 secs || 3962421 markings, 4862192 edges, 3713 markings/sec, 1065 secs
lola: STP completed || 5 tries, 4217800 fired transitions, 1070 secs || 3980372 markings, 4884119 edges, 3590 markings/sec, 1070 secs
lola: STP completed || 5 tries, 4237856 fired transitions, 1075 secs || 3998315 markings, 4906485 edges, 3589 markings/sec, 1075 secs
lola: STP completed || 5 tries, 4258122 fired transitions, 1080 secs || 4016291 markings, 4928523 edges, 3595 markings/sec, 1080 secs
lola: STP completed || 5 tries, 4278067 fired transitions, 1085 secs || 4034305 markings, 4950534 edges, 3603 markings/sec, 1085 secs
lola: STP completed || 5 tries, 4298302 fired transitions, 1090 secs || 4052939 markings, 4973273 edges, 3727 markings/sec, 1090 secs
lola: STP completed || 5 tries, 4318453 fired transitions, 1095 secs || 4071675 markings, 4996390 edges, 3747 markings/sec, 1095 secs
lola: STP completed || 5 tries, 4338103 fired transitions, 1100 secs || 4089680 markings, 5018311 edges, 3601 markings/sec, 1100 secs
lola: STP completed || 5 tries, 4358133 fired transitions, 1105 secs || 4107750 markings, 5041794 edges, 3614 markings/sec, 1105 secs
lola: STP completed || 5 tries, 4373150 fired transitions, 1110 secs || 4121486 markings, 5058680 edges, 2747 markings/sec, 1110 secs
lola: STP completed || 5 tries, 4392532 fired transitions, 1115 secs || 4139390 markings, 5080452 edges, 3581 markings/sec, 1115 secs
lola: STP completed || 5 tries, 4412755 fired transitions, 1120 secs || 4158104 markings, 5103526 edges, 3743 markings/sec, 1120 secs
lola: STP completed || 5 tries, 4432922 fired transitions, 1125 secs || 4176796 markings, 5126279 edges, 3738 markings/sec, 1125 secs
lola: STP completed || 5 tries, 4453022 fired transitions, 1130 secs || 4195402 markings, 5149037 edges, 3721 markings/sec, 1130 secs
lola: STP completed || 5 tries, 4473243 fired transitions, 1135 secs || 4214067 markings, 5171788 edges, 3733 markings/sec, 1135 secs
lola: STP completed || 5 tries, 4493380 fired transitions, 1140 secs || 4232715 markings, 5194791 edges, 3730 markings/sec, 1140 secs
lola: STP completed || 5 tries, 4512753 fired transitions, 1145 secs || 4251406 markings, 5218138 edges, 3738 markings/sec, 1145 secs
lola: STP completed || 5 tries, 4532443 fired transitions, 1150 secs || 4270241 markings, 5241378 edges, 3767 markings/sec, 1150 secs
lola: STP completed || 5 tries, 4552589 fired transitions, 1155 secs || 4289099 markings, 5264542 edges, 3772 markings/sec, 1155 secs
lola: STP completed || 5 tries, 4572753 fired transitions, 1160 secs || 4307962 markings, 5287714 edges, 3773 markings/sec, 1160 secs
lola: STP completed || 5 tries, 4592908 fired transitions, 1165 secs || 4326676 markings, 5310526 edges, 3743 markings/sec, 1165 secs
lola: STP completed || 5 tries, 4613038 fired transitions, 1170 secs || 4345313 markings, 5333269 edges, 3727 markings/sec, 1170 secs
lola: STP completed || 5 tries, 4632706 fired transitions, 1175 secs || 4363740 markings, 5356216 edges, 3685 markings/sec, 1175 secs
lola: STP completed || 5 tries, 4652091 fired transitions, 1180 secs || 4382095 markings, 5378480 edges, 3671 markings/sec, 1180 secs
lola: STP completed || 5 tries, 4671977 fired transitions, 1185 secs || 4400792 markings, 5401280 edges, 3739 markings/sec, 1185 secs
lola: STP completed || 5 tries, 4692062 fired transitions, 1190 secs || 4419442 markings, 5423952 edges, 3730 markings/sec, 1190 secs
lola: STP completed || 5 tries, 4712138 fired transitions, 1195 secs || 4438240 markings, 5446993 edges, 3760 markings/sec, 1195 secs
lola: STP completed || 5 tries, 4732270 fired transitions, 1200 secs || 4457214 markings, 5470378 edges, 3795 markings/sec, 1200 secs
lola: STP completed || 5 tries, 4751954 fired transitions, 1205 secs || 4476028 markings, 5493433 edges, 3763 markings/sec, 1205 secs
lola: STP completed || 5 tries, 4771761 fired transitions, 1210 secs || 4494613 markings, 5515980 edges, 3717 markings/sec, 1210 secs
lola: STP completed || 5 tries, 4791904 fired transitions, 1215 secs || 4513468 markings, 5539564 edges, 3771 markings/sec, 1215 secs
lola: STP completed || 5 tries, 4812074 fired transitions, 1220 secs || 4532136 markings, 5562422 edges, 3734 markings/sec, 1220 secs
lola: STP completed || 5 tries, 4832191 fired transitions, 1225 secs || 4550718 markings, 5585132 edges, 3716 markings/sec, 1225 secs
lola: STP completed || 5 tries, 4852139 fired transitions, 1230 secs || 4569293 markings, 5607925 edges, 3715 markings/sec, 1230 secs
lola: STP completed || 5 tries, 4871998 fired transitions, 1235 secs || 4587948 markings, 5630580 edges, 3731 markings/sec, 1235 secs
lola: STP completed || 5 tries, 4891295 fired transitions, 1240 secs || 4606224 markings, 5652545 edges, 3655 markings/sec, 1240 secs
lola: STP completed || 5 tries, 4911372 fired transitions, 1245 secs || 4624871 markings, 5675162 edges, 3729 markings/sec, 1245 secs
lola: STP completed || 5 tries, 4931476 fired transitions, 1250 secs || 4643360 markings, 5698117 edges, 3698 markings/sec, 1250 secs
lola: STP completed || 5 tries, 4951604 fired transitions, 1255 secs || 4662144 markings, 5721093 edges, 3757 markings/sec, 1255 secs
lola: STP completed || 5 tries, 4971703 fired transitions, 1260 secs || 4681051 markings, 5744056 edges, 3781 markings/sec, 1260 secs
lola: STP completed || 5 tries, 4991876 fired transitions, 1265 secs || 4699982 markings, 5766987 edges, 3786 markings/sec, 1265 secs
lola: STP completed || 6 tries, 5011997 fired transitions, 1270 secs || 4718804 markings, 5789932 edges, 3764 markings/sec, 1270 secs
lola: STP completed || 6 tries, 5032084 fired transitions, 1275 secs || 4737741 markings, 5813125 edges, 3787 markings/sec, 1275 secs
lola: STP completed || 6 tries, 5052228 fired transitions, 1280 secs || 4756554 markings, 5836190 edges, 3763 markings/sec, 1280 secs
lola: STP completed || 6 tries, 5072299 fired transitions, 1285 secs || 4775212 markings, 5859338 edges, 3732 markings/sec, 1285 secs
lola: STP completed || 6 tries, 5092392 fired transitions, 1290 secs || 4794279 markings, 5883245 edges, 3813 markings/sec, 1290 secs
lola: STP completed || 6 tries, 5112161 fired transitions, 1295 secs || 4813304 markings, 5906459 edges, 3805 markings/sec, 1295 secs
lola: STP completed || 6 tries, 5131283 fired transitions, 1300 secs || 4831861 markings, 5928832 edges, 3711 markings/sec, 1300 secs
lola: STP completed || 6 tries, 5150497 fired transitions, 1305 secs || 4850395 markings, 5951713 edges, 3707 markings/sec, 1305 secs
lola: STP completed || 6 tries, 5169667 fired transitions, 1310 secs || 4868766 markings, 5974240 edges, 3674 markings/sec, 1310 secs
lola: STP completed || 6 tries, 5186598 fired transitions, 1315 secs || 4884533 markings, 5993518 edges, 3153 markings/sec, 1315 secs
lola: STP completed || 6 tries, 5200333 fired transitions, 1320 secs || 4897322 markings, 6009805 edges, 2558 markings/sec, 1320 secs
lola: STP completed || 6 tries, 5219883 fired transitions, 1325 secs || 4915535 markings, 6032109 edges, 3643 markings/sec, 1325 secs
lola: STP completed || 6 tries, 5239546 fired transitions, 1330 secs || 4934026 markings, 6054841 edges, 3698 markings/sec, 1330 secs
lola: STP completed || 6 tries, 5259607 fired transitions, 1335 secs || 4952967 markings, 6078594 edges, 3788 markings/sec, 1335 secs
lola: STP completed || 6 tries, 5279636 fired transitions, 1340 secs || 4971730 markings, 6101379 edges, 3753 markings/sec, 1340 secs
lola: STP completed || 6 tries, 5299681 fired transitions, 1345 secs || 4990527 markings, 6124809 edges, 3759 markings/sec, 1345 secs
lola: STP completed || 6 tries, 5319710 fired transitions, 1350 secs || 5009442 markings, 6148031 edges, 3783 markings/sec, 1350 secs
lola: STP completed || 6 tries, 5339645 fired transitions, 1355 secs || 5028093 markings, 6172531 edges, 3730 markings/sec, 1355 secs
lola: STP completed || 6 tries, 5359256 fired transitions, 1360 secs || 5046232 markings, 6195117 edges, 3628 markings/sec, 1360 secs
lola: STP completed || 6 tries, 5378923 fired transitions, 1365 secs || 5064445 markings, 6217798 edges, 3643 markings/sec, 1365 secs
lola: STP completed || 6 tries, 5398580 fired transitions, 1370 secs || 5082831 markings, 6240113 edges, 3677 markings/sec, 1370 secs
lola: STP completed || 6 tries, 5418082 fired transitions, 1375 secs || 5100955 markings, 6262395 edges, 3625 markings/sec, 1375 secs
lola: STP completed || 6 tries, 5437108 fired transitions, 1380 secs || 5119175 markings, 6284966 edges, 3644 markings/sec, 1380 secs
lola: STP completed || 6 tries, 5456442 fired transitions, 1385 secs || 5136823 markings, 6306346 edges, 3530 markings/sec, 1385 secs
lola: STP completed || 6 tries, 5476122 fired transitions, 1390 secs || 5155145 markings, 6328421 edges, 3664 markings/sec, 1390 secs
lola: STP completed || 6 tries, 5495806 fired transitions, 1395 secs || 5173313 markings, 6350446 edges, 3634 markings/sec, 1395 secs
lola: STP completed || 6 tries, 5515188 fired transitions, 1400 secs || 5191359 markings, 6372534 edges, 3609 markings/sec, 1400 secs
lola: STP completed || 6 tries, 5534652 fired transitions, 1405 secs || 5209416 markings, 6394427 edges, 3611 markings/sec, 1405 secs
lola: STP completed || 6 tries, 5554757 fired transitions, 1410 secs || 5228083 markings, 6417168 edges, 3733 markings/sec, 1410 secs
lola: STP completed || 6 tries, 5574789 fired transitions, 1415 secs || 5247315 markings, 6440793 edges, 3846 markings/sec, 1415 secs
lola: STP completed || 6 tries, 5595017 fired transitions, 1420 secs || 5266563 markings, 6464125 edges, 3850 markings/sec, 1420 secs
lola: STP completed || 6 tries, 5615198 fired transitions, 1425 secs || 5285711 markings, 6488310 edges, 3830 markings/sec, 1425 secs
lola: STP completed || 6 tries, 5635398 fired transitions, 1430 secs || 5304755 markings, 6511039 edges, 3809 markings/sec, 1430 secs
lola: STP completed || 6 tries, 5655562 fired transitions, 1435 secs || 5323977 markings, 6534565 edges, 3844 markings/sec, 1435 secs
lola: STP completed || 6 tries, 5675697 fired transitions, 1440 secs || 5343117 markings, 6557875 edges, 3828 markings/sec, 1440 secs
lola: STP completed || 6 tries, 5695872 fired transitions, 1445 secs || 5362360 markings, 6581445 edges, 3849 markings/sec, 1445 secs
lola: STP completed || 6 tries, 5716132 fired transitions, 1450 secs || 5381698 markings, 6605204 edges, 3868 markings/sec, 1450 secs
lola: STP completed || 6 tries, 5736323 fired transitions, 1455 secs || 5400784 markings, 6629004 edges, 3817 markings/sec, 1455 secs
lola: STP completed || 6 tries, 5756489 fired transitions, 1460 secs || 5420017 markings, 6652388 edges, 3847 markings/sec, 1460 secs
lola: STP completed || 6 tries, 5776709 fired transitions, 1465 secs || 5439076 markings, 6675355 edges, 3812 markings/sec, 1465 secs
lola: STP completed || 6 tries, 5796851 fired transitions, 1470 secs || 5458198 markings, 6698861 edges, 3824 markings/sec, 1470 secs
lola: STP completed || 6 tries, 5816936 fired transitions, 1475 secs || 5477261 markings, 6721872 edges, 3813 markings/sec, 1475 secs
lola: STP completed || 6 tries, 5836983 fired transitions, 1480 secs || 5496154 markings, 6744956 edges, 3779 markings/sec, 1480 secs
lola: STP completed || 6 tries, 5857143 fired transitions, 1485 secs || 5515106 markings, 6768388 edges, 3790 markings/sec, 1485 secs
lola: STP completed || 6 tries, 5877331 fired transitions, 1490 secs || 5534178 markings, 6791820 edges, 3814 markings/sec, 1490 secs
lola: STP completed || 6 tries, 5897529 fired transitions, 1495 secs || 5553177 markings, 6814857 edges, 3800 markings/sec, 1495 secs
lola: STP completed || 6 tries, 5917693 fired transitions, 1500 secs || 5572061 markings, 6837880 edges, 3777 markings/sec, 1500 secs
lola: STP completed || 6 tries, 5937842 fired transitions, 1505 secs || 5591331 markings, 6861170 edges, 3854 markings/sec, 1505 secs
lola: STP completed || 6 tries, 5957035 fired transitions, 1510 secs || 5610451 markings, 6884431 edges, 3824 markings/sec, 1510 secs
lola: STP completed || 6 tries, 5975477 fired transitions, 1515 secs || 5628238 markings, 6906012 edges, 3557 markings/sec, 1515 secs
lola: STP completed || 6 tries, 5995614 fired transitions, 1520 secs || 5647375 markings, 6928899 edges, 3827 markings/sec, 1520 secs
lola: STP completed || 7 tries, 6015751 fired transitions, 1525 secs || 5666455 markings, 6952017 edges, 3816 markings/sec, 1525 secs
lola: STP completed || 7 tries, 6035858 fired transitions, 1530 secs || 5685390 markings, 6974994 edges, 3787 markings/sec, 1530 secs
lola: STP completed || 7 tries, 6055973 fired transitions, 1535 secs || 5704621 markings, 6998469 edges, 3846 markings/sec, 1535 secs
lola: STP completed || 7 tries, 6076038 fired transitions, 1540 secs || 5723715 markings, 7021638 edges, 3819 markings/sec, 1540 secs
lola: STP completed || 7 tries, 6096104 fired transitions, 1545 secs || 5742764 markings, 7044865 edges, 3810 markings/sec, 1545 secs
lola: STP completed || 7 tries, 6116195 fired transitions, 1550 secs || 5761789 markings, 7067999 edges, 3805 markings/sec, 1550 secs
lola: STP completed || 7 tries, 6136309 fired transitions, 1555 secs || 5780906 markings, 7091916 edges, 3823 markings/sec, 1555 secs
lola: STP completed || 7 tries, 6156518 fired transitions, 1560 secs || 5799809 markings, 7114779 edges, 3781 markings/sec, 1560 secs
lola: STP completed || 7 tries, 6176676 fired transitions, 1565 secs || 5819035 markings, 7137852 edges, 3845 markings/sec, 1565 secs
lola: STP completed || 7 tries, 6195884 fired transitions, 1570 secs || 5837566 markings, 7161674 edges, 3706 markings/sec, 1570 secs
lola: STP completed || 7 tries, 6214979 fired transitions, 1575 secs || 5856405 markings, 7184348 edges, 3768 markings/sec, 1575 secs
lola: STP completed || 7 tries, 6233687 fired transitions, 1580 secs || 5874649 markings, 7206231 edges, 3649 markings/sec, 1580 secs
lola: STP completed || 7 tries, 6252724 fired transitions, 1585 secs || 5892670 markings, 7228153 edges, 3604 markings/sec, 1585 secs
lola: STP completed || 7 tries, 6271832 fired transitions, 1590 secs || 5910511 markings, 7250126 edges, 3568 markings/sec, 1590 secs
lola: STP completed || 7 tries, 6290991 fired transitions, 1595 secs || 5928488 markings, 7271864 edges, 3595 markings/sec, 1595 secs
lola: STP completed || 7 tries, 6310117 fired transitions, 1600 secs || 5946298 markings, 7293455 edges, 3562 markings/sec, 1600 secs
lola: STP completed || 7 tries, 6329239 fired transitions, 1605 secs || 5964260 markings, 7315418 edges, 3592 markings/sec, 1605 secs
lola: STP completed || 7 tries, 6348347 fired transitions, 1610 secs || 5982223 markings, 7337381 edges, 3593 markings/sec, 1610 secs
lola: STP completed || 7 tries, 6367370 fired transitions, 1615 secs || 6000093 markings, 7359048 edges, 3574 markings/sec, 1615 secs
lola: STP completed || 7 tries, 6386364 fired transitions, 1620 secs || 6017876 markings, 7380587 edges, 3557 markings/sec, 1620 secs
lola: STP completed || 7 tries, 6405415 fired transitions, 1625 secs || 6035713 markings, 7402488 edges, 3567 markings/sec, 1625 secs
lola: STP completed || 7 tries, 6424536 fired transitions, 1630 secs || 6053907 markings, 7424672 edges, 3639 markings/sec, 1630 secs
lola: STP completed || 7 tries, 6443685 fired transitions, 1635 secs || 6071438 markings, 7445554 edges, 3506 markings/sec, 1635 secs
lola: STP completed || 7 tries, 6462876 fired transitions, 1640 secs || 6089120 markings, 7466980 edges, 3536 markings/sec, 1640 secs
lola: STP completed || 7 tries, 6481971 fired transitions, 1645 secs || 6107013 markings, 7488538 edges, 3579 markings/sec, 1645 secs
lola: STP completed || 7 tries, 6501564 fired transitions, 1650 secs || 6125419 markings, 7510771 edges, 3681 markings/sec, 1650 secs
lola: STP completed || 7 tries, 6520366 fired transitions, 1655 secs || 6143318 markings, 7532713 edges, 3580 markings/sec, 1655 secs
lola: STP completed || 7 tries, 6539298 fired transitions, 1660 secs || 6161561 markings, 7554876 edges, 3649 markings/sec, 1660 secs
lola: STP completed || 7 tries, 6558340 fired transitions, 1665 secs || 6179601 markings, 7576794 edges, 3608 markings/sec, 1665 secs
lola: STP completed || 7 tries, 6577376 fired transitions, 1670 secs || 6197547 markings, 7598671 edges, 3589 markings/sec, 1670 secs
lola: STP completed || 7 tries, 6596397 fired transitions, 1675 secs || 6215411 markings, 7620428 edges, 3573 markings/sec, 1675 secs
lola: STP completed || 7 tries, 6615489 fired transitions, 1680 secs || 6233209 markings, 7642601 edges, 3560 markings/sec, 1680 secs
lola: STP completed || 7 tries, 6634637 fired transitions, 1685 secs || 6251386 markings, 7664928 edges, 3635 markings/sec, 1685 secs
lola: STP completed || 7 tries, 6653794 fired transitions, 1690 secs || 6269729 markings, 7687200 edges, 3669 markings/sec, 1690 secs
lola: STP completed || 7 tries, 6672773 fired transitions, 1695 secs || 6287886 markings, 7709412 edges, 3631 markings/sec, 1695 secs
lola: STP completed || 7 tries, 6692749 fired transitions, 1700 secs || 6307073 markings, 7733136 edges, 3837 markings/sec, 1700 secs
lola: STP completed || 7 tries, 6712795 fired transitions, 1705 secs || 6326143 markings, 7756283 edges, 3814 markings/sec, 1705 secs
lola: STP completed || 7 tries, 6732223 fired transitions, 1710 secs || 6344896 markings, 7779128 edges, 3751 markings/sec, 1710 secs
lola: STP completed || 7 tries, 6752279 fired transitions, 1715 secs || 6363896 markings, 7802702 edges, 3800 markings/sec, 1715 secs
lola: STP completed || 7 tries, 6771619 fired transitions, 1720 secs || 6382055 markings, 7824675 edges, 3632 markings/sec, 1720 secs
lola: STP completed || 7 tries, 6790647 fired transitions, 1725 secs || 6400082 markings, 7846730 edges, 3605 markings/sec, 1725 secs
lola: STP completed || 7 tries, 6809651 fired transitions, 1730 secs || 6418035 markings, 7868621 edges, 3591 markings/sec, 1730 secs
lola: STP completed || 7 tries, 6828664 fired transitions, 1735 secs || 6436059 markings, 7890630 edges, 3605 markings/sec, 1735 secs
lola: STP completed || 7 tries, 6847625 fired transitions, 1740 secs || 6454081 markings, 7912637 edges, 3604 markings/sec, 1740 secs
lola: STP completed || 7 tries, 6866952 fired transitions, 1745 secs || 6472159 markings, 7934612 edges, 3616 markings/sec, 1745 secs
lola: STP completed || 7 tries, 6885833 fired transitions, 1750 secs || 6490188 markings, 7956846 edges, 3606 markings/sec, 1750 secs
lola: STP completed || 7 tries, 6905605 fired transitions, 1755 secs || 6508976 markings, 7979795 edges, 3758 markings/sec, 1755 secs
lola: STP completed || 7 tries, 6925174 fired transitions, 1760 secs || 6527807 markings, 8003014 edges, 3766 markings/sec, 1760 secs
lola: STP completed || 7 tries, 6944654 fired transitions, 1765 secs || 6546422 markings, 8025457 edges, 3723 markings/sec, 1765 secs
lola: STP completed || 7 tries, 6964360 fired transitions, 1770 secs || 6564772 markings, 8047815 edges, 3670 markings/sec, 1770 secs
lola: STP completed || 7 tries, 6984345 fired transitions, 1775 secs || 6583623 markings, 8071607 edges, 3770 markings/sec, 1775 secs
lola: STP completed || 8 tries, 7004322 fired transitions, 1780 secs || 6602360 markings, 8094547 edges, 3747 markings/sec, 1780 secs
lola: STP completed || 8 tries, 7024332 fired transitions, 1785 secs || 6621321 markings, 8117895 edges, 3792 markings/sec, 1785 secs
lola: STP completed || 8 tries, 7044310 fired transitions, 1790 secs || 6640478 markings, 8141373 edges, 3831 markings/sec, 1790 secs
lola: STP completed || 8 tries, 7064333 fired transitions, 1795 secs || 6659654 markings, 8164347 edges, 3835 markings/sec, 1795 secs
lola: STP completed || 8 tries, 7083788 fired transitions, 1800 secs || 6678289 markings, 8187032 edges, 3727 markings/sec, 1800 secs
lola: STP completed || 8 tries, 7103101 fired transitions, 1805 secs || 6696333 markings, 8209084 edges, 3609 markings/sec, 1805 secs
lola: STP completed || 8 tries, 7122279 fired transitions, 1810 secs || 6714207 markings, 8230807 edges, 3575 markings/sec, 1810 secs
lola: STP completed || 8 tries, 7141212 fired transitions, 1815 secs || 6731791 markings, 8252271 edges, 3517 markings/sec, 1815 secs
lola: STP completed || 8 tries, 7160263 fired transitions, 1820 secs || 6749522 markings, 8273733 edges, 3546 markings/sec, 1820 secs
lola: STP completed || 8 tries, 7179327 fired transitions, 1825 secs || 6767756 markings, 8295509 edges, 3647 markings/sec, 1825 secs
lola: STP completed || 8 tries, 7199501 fired transitions, 1830 secs || 6786562 markings, 8318235 edges, 3761 markings/sec, 1830 secs
lola: STP completed || 8 tries, 7219400 fired transitions, 1835 secs || 6805039 markings, 8340563 edges, 3695 markings/sec, 1835 secs
lola: STP completed || 8 tries, 7238607 fired transitions, 1840 secs || 6823313 markings, 8363116 edges, 3655 markings/sec, 1840 secs
lola: STP completed || 8 tries, 7257718 fired transitions, 1845 secs || 6841365 markings, 8384964 edges, 3610 markings/sec, 1845 secs
lola: STP completed || 8 tries, 7276895 fired transitions, 1850 secs || 6859436 markings, 8407133 edges, 3614 markings/sec, 1850 secs
lola: STP completed || 8 tries, 7296384 fired transitions, 1855 secs || 6877810 markings, 8429344 edges, 3675 markings/sec, 1855 secs
lola: STP completed || 8 tries, 7316633 fired transitions, 1860 secs || 6896889 markings, 8452590 edges, 3816 markings/sec, 1860 secs
lola: STP completed || 8 tries, 7336806 fired transitions, 1865 secs || 6915891 markings, 8475966 edges, 3800 markings/sec, 1865 secs
lola: STP completed || 8 tries, 7356532 fired transitions, 1870 secs || 6934129 markings, 8498138 edges, 3648 markings/sec, 1870 secs
lola: STP completed || 8 tries, 7375696 fired transitions, 1875 secs || 6952438 markings, 8520353 edges, 3662 markings/sec, 1875 secs
lola: STP completed || 8 tries, 7395425 fired transitions, 1880 secs || 6970957 markings, 8542964 edges, 3704 markings/sec, 1880 secs
lola: STP completed || 8 tries, 7415531 fired transitions, 1885 secs || 6990252 markings, 8566528 edges, 3859 markings/sec, 1885 secs
lola: STP completed || 8 tries, 7435698 fired transitions, 1890 secs || 7009119 markings, 8589697 edges, 3773 markings/sec, 1890 secs
lola: STP completed || 8 tries, 7455847 fired transitions, 1895 secs || 7027991 markings, 8612427 edges, 3774 markings/sec, 1895 secs
lola: STP completed || 8 tries, 7475604 fired transitions, 1900 secs || 7046560 markings, 8635011 edges, 3714 markings/sec, 1900 secs
lola: STP completed || 8 tries, 7494944 fired transitions, 1905 secs || 7064800 markings, 8657274 edges, 3648 markings/sec, 1905 secs
lola: STP completed || 8 tries, 7514677 fired transitions, 1910 secs || 7082937 markings, 8679333 edges, 3627 markings/sec, 1910 secs
lola: STP completed || 8 tries, 7534270 fired transitions, 1915 secs || 7101257 markings, 8701622 edges, 3664 markings/sec, 1915 secs
lola: STP completed || 8 tries, 7553670 fired transitions, 1920 secs || 7119351 markings, 8723703 edges, 3619 markings/sec, 1920 secs
lola: STP completed || 8 tries, 7573161 fired transitions, 1925 secs || 7137435 markings, 8747025 edges, 3617 markings/sec, 1925 secs
lola: STP completed || 8 tries, 7592140 fired transitions, 1930 secs || 7155064 markings, 8768500 edges, 3526 markings/sec, 1930 secs
lola: STP completed || 8 tries, 7612151 fired transitions, 1935 secs || 7173686 markings, 8791063 edges, 3724 markings/sec, 1935 secs
lola: STP completed || 8 tries, 7631996 fired transitions, 1940 secs || 7192408 markings, 8814053 edges, 3744 markings/sec, 1940 secs
lola: STP completed || 8 tries, 7652145 fired transitions, 1945 secs || 7211327 markings, 8837887 edges, 3784 markings/sec, 1945 secs
lola: STP completed || 8 tries, 7672266 fired transitions, 1950 secs || 7230519 markings, 8861359 edges, 3838 markings/sec, 1950 secs
lola: STP completed || 8 tries, 7692371 fired transitions, 1955 secs || 7249519 markings, 8884545 edges, 3800 markings/sec, 1955 secs
lola: STP completed || 8 tries, 7712240 fired transitions, 1960 secs || 7268357 markings, 8907785 edges, 3768 markings/sec, 1960 secs
lola: STP completed || 8 tries, 7731387 fired transitions, 1965 secs || 7286936 markings, 8930147 edges, 3716 markings/sec, 1965 secs
lola: STP completed || 8 tries, 7750460 fired transitions, 1970 secs || 7305149 markings, 8952240 edges, 3643 markings/sec, 1970 secs
lola: STP completed || 8 tries, 7770162 fired transitions, 1975 secs || 7323905 markings, 8975148 edges, 3751 markings/sec, 1975 secs
lola: STP completed || 8 tries, 7789853 fired transitions, 1980 secs || 7342424 markings, 8997605 edges, 3704 markings/sec, 1980 secs
lola: STP completed || 8 tries, 7808978 fired transitions, 1985 secs || 7360507 markings, 9019823 edges, 3617 markings/sec, 1985 secs
lola: STP completed || 8 tries, 7827991 fired transitions, 1990 secs || 7378542 markings, 9041892 edges, 3607 markings/sec, 1990 secs
lola: STP completed || 8 tries, 7847483 fired transitions, 1995 secs || 7397166 markings, 9064461 edges, 3725 markings/sec, 1995 secs
lola: STP completed || 8 tries, 7866802 fired transitions, 2000 secs || 7415505 markings, 9086880 edges, 3668 markings/sec, 2000 secs
lola: STP completed || 8 tries, 7886146 fired transitions, 2005 secs || 7433651 markings, 9109177 edges, 3629 markings/sec, 2005 secs
lola: STP completed || 8 tries, 7905456 fired transitions, 2010 secs || 7451970 markings, 9131271 edges, 3664 markings/sec, 2010 secs
lola: STP completed || 8 tries, 7924836 fired transitions, 2015 secs || 7470343 markings, 9153668 edges, 3675 markings/sec, 2015 secs
lola: STP completed || 8 tries, 7944119 fired transitions, 2020 secs || 7488980 markings, 9176564 edges, 3727 markings/sec, 2020 secs
lola: STP completed || 8 tries, 7963677 fired transitions, 2025 secs || 7507549 markings, 9199472 edges, 3714 markings/sec, 2025 secs
lola: STP completed || 8 tries, 7983829 fired transitions, 2030 secs || 7526602 markings, 9222540 edges, 3811 markings/sec, 2030 secs
lola: STP completed || 9 tries, 8004025 fired transitions, 2035 secs || 7545631 markings, 9246130 edges, 3806 markings/sec, 2035 secs
lola: STP completed || 9 tries, 8023775 fired transitions, 2040 secs || 7564487 markings, 9269298 edges, 3771 markings/sec, 2040 secs
lola: STP completed || 9 tries, 8043260 fired transitions, 2045 secs || 7583047 markings, 9291801 edges, 3712 markings/sec, 2045 secs
lola: STP completed || 9 tries, 8062779 fired transitions, 2050 secs || 7601019 markings, 9313491 edges, 3594 markings/sec, 2050 secs
lola: STP completed || 9 tries, 8082422 fired transitions, 2055 secs || 7619306 markings, 9335834 edges, 3657 markings/sec, 2055 secs
lola: STP completed || 9 tries, 8101877 fired transitions, 2060 secs || 7637584 markings, 9358150 edges, 3656 markings/sec, 2060 secs
lola: STP completed || 9 tries, 8121390 fired transitions, 2065 secs || 7655732 markings, 9380094 edges, 3630 markings/sec, 2065 secs
lola: STP completed || 9 tries, 8140854 fired transitions, 2070 secs || 7673960 markings, 9402055 edges, 3646 markings/sec, 2070 secs
lola: STP completed || 9 tries, 8160303 fired transitions, 2075 secs || 7692125 markings, 9423978 edges, 3633 markings/sec, 2075 secs
lola: STP completed || 9 tries, 8179683 fired transitions, 2080 secs || 7710391 markings, 9446245 edges, 3653 markings/sec, 2080 secs
lola: STP completed || 9 tries, 8199773 fired transitions, 2085 secs || 7729466 markings, 9469108 edges, 3815 markings/sec, 2085 secs
lola: STP completed || 9 tries, 8219972 fired transitions, 2090 secs || 7748201 markings, 9491935 edges, 3747 markings/sec, 2090 secs
lola: STP completed || 9 tries, 8240247 fired transitions, 2095 secs || 7766920 markings, 9514847 edges, 3744 markings/sec, 2095 secs
lola: STP completed || 9 tries, 8260424 fired transitions, 2100 secs || 7785879 markings, 9537666 edges, 3792 markings/sec, 2100 secs
lola: STP completed || 9 tries, 8280610 fired transitions, 2105 secs || 7804805 markings, 9560755 edges, 3785 markings/sec, 2105 secs
lola: STP completed || 9 tries, 8300755 fired transitions, 2110 secs || 7823532 markings, 9583695 edges, 3745 markings/sec, 2110 secs
lola: STP completed || 9 tries, 8320707 fired transitions, 2115 secs || 7842115 markings, 9606211 edges, 3717 markings/sec, 2115 secs
lola: STP completed || 9 tries, 8340681 fired transitions, 2120 secs || 7860935 markings, 9628913 edges, 3764 markings/sec, 2120 secs
lola: STP completed || 9 tries, 8359537 fired transitions, 2125 secs || 7879203 markings, 9651195 edges, 3654 markings/sec, 2125 secs
lola: STP completed || 9 tries, 8378922 fired transitions, 2130 secs || 7897609 markings, 9673477 edges, 3681 markings/sec, 2130 secs
lola: STP completed || 9 tries, 8399020 fired transitions, 2135 secs || 7916327 markings, 9696185 edges, 3744 markings/sec, 2135 secs
lola: STP completed || 9 tries, 8419004 fired transitions, 2140 secs || 7934742 markings, 9719208 edges, 3683 markings/sec, 2140 secs
lola: STP completed || 9 tries, 8438438 fired transitions, 2145 secs || 7953194 markings, 9742116 edges, 3690 markings/sec, 2145 secs
lola: STP completed || 9 tries, 8458322 fired transitions, 2150 secs || 7972029 markings, 9765081 edges, 3767 markings/sec, 2150 secs
lola: STP completed || 9 tries, 8478423 fired transitions, 2155 secs || 7991097 markings, 9787900 edges, 3814 markings/sec, 2155 secs
lola: STP completed || 9 tries, 8498150 fired transitions, 2160 secs || 8009432 markings, 9810179 edges, 3667 markings/sec, 2160 secs
lola: STP completed || 9 tries, 8517549 fired transitions, 2165 secs || 8027798 markings, 9832641 edges, 3673 markings/sec, 2165 secs
lola: STP completed || 9 tries, 8537722 fired transitions, 2170 secs || 8046529 markings, 9856042 edges, 3746 markings/sec, 2170 secs
lola: STP completed || 9 tries, 8557236 fired transitions, 2175 secs || 8065228 markings, 9878824 edges, 3740 markings/sec, 2175 secs
lola: STP completed || 9 tries, 8576615 fired transitions, 2180 secs || 8083475 markings, 9901269 edges, 3649 markings/sec, 2180 secs
lola: STP completed || 9 tries, 8596034 fired transitions, 2185 secs || 8101887 markings, 9924784 edges, 3682 markings/sec, 2185 secs
lola: STP completed || 9 tries, 8615423 fired transitions, 2190 secs || 8120532 markings, 9947875 edges, 3729 markings/sec, 2190 secs
lola: STP completed || 9 tries, 8634516 fired transitions, 2195 secs || 8139115 markings, 9970755 edges, 3717 markings/sec, 2195 secs
lola: STP completed || 9 tries, 8653161 fired transitions, 2200 secs || 8157024 markings, 9992879 edges, 3582 markings/sec, 2200 secs
lola: STP completed || 9 tries, 8672246 fired transitions, 2205 secs || 8174958 markings, 10014768 edges, 3587 markings/sec, 2205 secs
lola: STP completed || 9 tries, 8691823 fired transitions, 2210 secs || 8193223 markings, 10036956 edges, 3653 markings/sec, 2210 secs
lola: STP completed || 9 tries, 8711309 fired transitions, 2215 secs || 8211451 markings, 10058935 edges, 3646 markings/sec, 2215 secs
lola: STP completed || 9 tries, 8730882 fired transitions, 2220 secs || 8229752 markings, 10081042 edges, 3660 markings/sec, 2220 secs
lola: STP completed || 9 tries, 8750464 fired transitions, 2225 secs || 8248013 markings, 10103242 edges, 3652 markings/sec, 2225 secs
lola: STP completed || 9 tries, 8769896 fired transitions, 2230 secs || 8265974 markings, 10125203 edges, 3592 markings/sec, 2230 secs
lola: STP completed || 9 tries, 8789199 fired transitions, 2235 secs || 8284250 markings, 10147351 edges, 3655 markings/sec, 2235 secs
lola: STP completed || 9 tries, 8808382 fired transitions, 2240 secs || 8302258 markings, 10169204 edges, 3602 markings/sec, 2240 secs
lola: STP completed || 9 tries, 8827211 fired transitions, 2245 secs || 8319968 markings, 10191729 edges, 3542 markings/sec, 2245 secs
lola: STP completed || 9 tries, 8847433 fired transitions, 2250 secs || 8338521 markings, 10214731 edges, 3711 markings/sec, 2250 secs
lola: STP completed || 9 tries, 8867701 fired transitions, 2255 secs || 8357608 markings, 10237722 edges, 3817 markings/sec, 2255 secs
lola: STP completed || 9 tries, 8887942 fired transitions, 2260 secs || 8376783 markings, 10260774 edges, 3835 markings/sec, 2260 secs
lola: STP completed || 9 tries, 8907784 fired transitions, 2265 secs || 8395075 markings, 10283208 edges, 3658 markings/sec, 2265 secs
lola: STP completed || 9 tries, 8928087 fired transitions, 2270 secs || 8414098 markings, 10306324 edges, 3805 markings/sec, 2270 secs
lola: STP completed || 9 tries, 8948370 fired transitions, 2275 secs || 8432926 markings, 10329197 edges, 3766 markings/sec, 2275 secs
lola: STP completed || 9 tries, 8968645 fired transitions, 2280 secs || 8452069 markings, 10352518 edges, 3829 markings/sec, 2280 secs
lola: STP completed || 9 tries, 8988870 fired transitions, 2285 secs || 8471238 markings, 10376149 edges, 3834 markings/sec, 2285 secs
lola: STP completed || 10 tries, 9009157 fired transitions, 2290 secs || 8490051 markings, 10400809 edges, 3763 markings/sec, 2290 secs
lola: STP completed || 10 tries, 9029423 fired transitions, 2295 secs || 8508965 markings, 10423760 edges, 3783 markings/sec, 2295 secs
lola: STP completed || 10 tries, 9049719 fired transitions, 2300 secs || 8528088 markings, 10447185 edges, 3825 markings/sec, 2300 secs
lola: STP completed || 10 tries, 9069959 fired transitions, 2305 secs || 8547018 markings, 10470060 edges, 3786 markings/sec, 2305 secs
lola: STP completed || 10 tries, 9090231 fired transitions, 2310 secs || 8565837 markings, 10492973 edges, 3764 markings/sec, 2310 secs
lola: STP completed || 10 tries, 9109715 fired transitions, 2315 secs || 8584028 markings, 10514990 edges, 3638 markings/sec, 2315 secs
lola: STP completed || 10 tries, 9129869 fired transitions, 2320 secs || 8603316 markings, 10538310 edges, 3858 markings/sec, 2320 secs
lola: STP completed || 10 tries, 9149796 fired transitions, 2325 secs || 8622459 markings, 10561494 edges, 3829 markings/sec, 2325 secs
lola: STP completed || 10 tries, 9169937 fired transitions, 2330 secs || 8641544 markings, 10584675 edges, 3817 markings/sec, 2330 secs
lola: STP completed || 10 tries, 9190168 fired transitions, 2335 secs || 8660759 markings, 10608245 edges, 3843 markings/sec, 2335 secs
lola: STP completed || 10 tries, 9210396 fired transitions, 2340 secs || 8680158 markings, 10631613 edges, 3880 markings/sec, 2340 secs
lola: STP completed || 10 tries, 9230627 fired transitions, 2345 secs || 8699297 markings, 10654983 edges, 3828 markings/sec, 2345 secs
lola: STP completed || 10 tries, 9250812 fired transitions, 2350 secs || 8718344 markings, 10678034 edges, 3809 markings/sec, 2350 secs
lola: STP completed || 10 tries, 9271003 fired transitions, 2355 secs || 8737277 markings, 10700870 edges, 3787 markings/sec, 2355 secs
lola: STP completed || 10 tries, 9291156 fired transitions, 2360 secs || 8756166 markings, 10724476 edges, 3778 markings/sec, 2360 secs
lola: STP completed || 10 tries, 9311297 fired transitions, 2365 secs || 8775216 markings, 10747898 edges, 3810 markings/sec, 2365 secs
lola: STP completed || 10 tries, 9331473 fired transitions, 2370 secs || 8793955 markings, 10770874 edges, 3748 markings/sec, 2370 secs
lola: STP completed || 10 tries, 9350926 fired transitions, 2375 secs || 8812449 markings, 10793659 edges, 3699 markings/sec, 2375 secs
lola: STP completed || 10 tries, 9370312 fired transitions, 2380 secs || 8830853 markings, 10816565 edges, 3681 markings/sec, 2380 secs
lola: STP completed || 10 tries, 9390078 fired transitions, 2385 secs || 8849623 markings, 10839745 edges, 3754 markings/sec, 2385 secs
lola: STP completed || 10 tries, 9410233 fired transitions, 2390 secs || 8868644 markings, 10862833 edges, 3804 markings/sec, 2390 secs
lola: STP completed || 10 tries, 9430500 fired transitions, 2395 secs || 8887730 markings, 10886619 edges, 3817 markings/sec, 2395 secs
lola: STP completed || 10 tries, 9450800 fired transitions, 2400 secs || 8906314 markings, 10911474 edges, 3717 markings/sec, 2400 secs
lola: STP completed || 10 tries, 9469988 fired transitions, 2405 secs || 8924336 markings, 10935119 edges, 3604 markings/sec, 2405 secs
lola: STP completed || 10 tries, 9489316 fired transitions, 2410 secs || 8942831 markings, 10957786 edges, 3699 markings/sec, 2410 secs
lola: STP completed || 10 tries, 9508910 fired transitions, 2415 secs || 8960931 markings, 10980436 edges, 3620 markings/sec, 2415 secs
lola: STP completed || 10 tries, 9527843 fired transitions, 2420 secs || 8978888 markings, 11002297 edges, 3591 markings/sec, 2420 secs
lola: STP completed || 10 tries, 9547175 fired transitions, 2425 secs || 8996842 markings, 11024617 edges, 3591 markings/sec, 2425 secs
lola: STP completed || 10 tries, 9566733 fired transitions, 2430 secs || 9014865 markings, 11046565 edges, 3605 markings/sec, 2430 secs
lola: STP completed || 10 tries, 9586221 fired transitions, 2435 secs || 9033259 markings, 11069055 edges, 3679 markings/sec, 2435 secs
lola: STP completed || 10 tries, 9605868 fired transitions, 2440 secs || 9051174 markings, 11092810 edges, 3583 markings/sec, 2440 secs
lola: STP completed || 10 tries, 9625757 fired transitions, 2445 secs || 9069679 markings, 11116741 edges, 3701 markings/sec, 2445 secs
lola: STP completed || 10 tries, 9645359 fired transitions, 2450 secs || 9087630 markings, 11139085 edges, 3590 markings/sec, 2450 secs
lola: STP completed || 10 tries, 9665151 fired transitions, 2455 secs || 9104951 markings, 11160411 edges, 3464 markings/sec, 2455 secs
lola: STP completed || 10 tries, 9684517 fired transitions, 2460 secs || 9123021 markings, 11182001 edges, 3614 markings/sec, 2460 secs
lola: STP completed || 10 tries, 9703700 fired transitions, 2465 secs || 9141030 markings, 11205437 edges, 3602 markings/sec, 2465 secs
lola: STP completed || 10 tries, 9723189 fired transitions, 2470 secs || 9159405 markings, 11227582 edges, 3675 markings/sec, 2470 secs
lola: STP completed || 10 tries, 9742990 fired transitions, 2475 secs || 9177724 markings, 11249869 edges, 3664 markings/sec, 2475 secs
lola: STP completed || 10 tries, 9763168 fired transitions, 2480 secs || 9196679 markings, 11272834 edges, 3791 markings/sec, 2480 secs
lola: STP completed || 10 tries, 9783422 fired transitions, 2485 secs || 9215640 markings, 11297304 edges, 3792 markings/sec, 2485 secs
lola: STP completed || 10 tries, 9802720 fired transitions, 2490 secs || 9233723 markings, 11319270 edges, 3617 markings/sec, 2490 secs
lola: STP completed || 10 tries, 9821382 fired transitions, 2495 secs || 9252055 markings, 11341515 edges, 3666 markings/sec, 2495 secs
lola: STP completed || 10 tries, 9840079 fired transitions, 2500 secs || 9270248 markings, 11363527 edges, 3639 markings/sec, 2500 secs
lola: STP completed || 10 tries, 9859659 fired transitions, 2505 secs || 9288663 markings, 11386030 edges, 3683 markings/sec, 2505 secs
lola: STP completed || 10 tries, 9879314 fired transitions, 2510 secs || 9306998 markings, 11408138 edges, 3667 markings/sec, 2510 secs
lola: STP completed || 10 tries, 9898892 fired transitions, 2515 secs || 9323962 markings, 11429396 edges, 3393 markings/sec, 2515 secs
lola: STP completed || 10 tries, 9918460 fired transitions, 2520 secs || 9341471 markings, 11452948 edges, 3502 markings/sec, 2520 secs
lola: STP completed || 10 tries, 9937797 fired transitions, 2525 secs || 9359648 markings, 11477627 edges, 3635 markings/sec, 2525 secs
lola: STP completed || 10 tries, 9957254 fired transitions, 2530 secs || 9377782 markings, 11501846 edges, 3627 markings/sec, 2530 secs
lola: STP completed || 10 tries, 9977145 fired transitions, 2535 secs || 9396813 markings, 11524925 edges, 3806 markings/sec, 2535 secs
lola: STP completed || 10 tries, 9996757 fired transitions, 2540 secs || 9415550 markings, 11548783 edges, 3747 markings/sec, 2540 secs
lola: STP completed || 11 tries, 10016151 fired transitions, 2545 secs || 9433900 markings, 11572908 edges, 3670 markings/sec, 2545 secs
lola: STP completed || 11 tries, 10036071 fired transitions, 2550 secs || 9452203 markings, 11596829 edges, 3661 markings/sec, 2550 secs
lola: STP completed || 11 tries, 10056314 fired transitions, 2555 secs || 9471050 markings, 11621116 edges, 3769 markings/sec, 2555 secs
lola: STP completed || 11 tries, 10076511 fired transitions, 2560 secs || 9490259 markings, 11644323 edges, 3842 markings/sec, 2560 secs
lola: STP completed || 11 tries, 10096316 fired transitions, 2565 secs || 9508503 markings, 11667369 edges, 3649 markings/sec, 2565 secs
lola: STP completed || 11 tries, 10115994 fired transitions, 2570 secs || 9526815 markings, 11689903 edges, 3662 markings/sec, 2570 secs
lola: STP completed || 11 tries, 10135605 fired transitions, 2575 secs || 9545438 markings, 11712667 edges, 3725 markings/sec, 2575 secs
lola: STP completed || 11 tries, 10155272 fired transitions, 2580 secs || 9563620 markings, 11737140 edges, 3636 markings/sec, 2580 secs
lola: STP completed || 11 tries, 10174833 fired transitions, 2585 secs || 9581830 markings, 11760938 edges, 3642 markings/sec, 2585 secs
lola: STP completed || 11 tries, 10193829 fired transitions, 2590 secs || 9600033 markings, 11785099 edges, 3641 markings/sec, 2590 secs
lola: STP completed || 11 tries, 10213422 fired transitions, 2595 secs || 9618205 markings, 11808151 edges, 3634 markings/sec, 2595 secs
lola: STP completed || 11 tries, 10233039 fired transitions, 2600 secs || 9636528 markings, 11831480 edges, 3665 markings/sec, 2600 secs
lola: STP completed || 11 tries, 10252339 fired transitions, 2605 secs || 9654571 markings, 11854976 edges, 3609 markings/sec, 2605 secs
lola: STP completed || 11 tries, 10271789 fired transitions, 2610 secs || 9672527 markings, 11879078 edges, 3591 markings/sec, 2610 secs
lola: STP completed || 11 tries, 10291345 fired transitions, 2615 secs || 9690165 markings, 11901713 edges, 3528 markings/sec, 2615 secs
lola: STP completed || 11 tries, 10310822 fired transitions, 2620 secs || 9707587 markings, 11925132 edges, 3484 markings/sec, 2620 secs
lola: STP completed || 11 tries, 10330667 fired transitions, 2625 secs || 9726173 markings, 11947595 edges, 3717 markings/sec, 2625 secs
lola: STP completed || 11 tries, 10350866 fired transitions, 2630 secs || 9745059 markings, 11971355 edges, 3777 markings/sec, 2630 secs
lola: STP completed || 11 tries, 10371166 fired transitions, 2635 secs || 9763997 markings, 11994214 edges, 3788 markings/sec, 2635 secs
lola: STP completed || 11 tries, 10390608 fired transitions, 2640 secs || 9782395 markings, 12016457 edges, 3680 markings/sec, 2640 secs
lola: STP completed || 11 tries, 10410044 fired transitions, 2645 secs || 9800698 markings, 12038633 edges, 3661 markings/sec, 2645 secs
lola: STP completed || 11 tries, 10429481 fired transitions, 2650 secs || 9818565 markings, 12060425 edges, 3573 markings/sec, 2650 secs
lola: STP completed || 11 tries, 10448294 fired transitions, 2655 secs || 9835484 markings, 12081024 edges, 3384 markings/sec, 2655 secs
lola: STP completed || 11 tries, 10467470 fired transitions, 2660 secs || 9852443 markings, 12101671 edges, 3392 markings/sec, 2660 secs
lola: STP completed || 11 tries, 10487669 fired transitions, 2665 secs || 9870934 markings, 12124570 edges, 3698 markings/sec, 2665 secs
lola: STP completed || 11 tries, 10507887 fired transitions, 2670 secs || 9890139 markings, 12147877 edges, 3841 markings/sec, 2670 secs
lola: STP completed || 11 tries, 10528160 fired transitions, 2675 secs || 9908960 markings, 12170865 edges, 3764 markings/sec, 2675 secs
lola: STP completed || 11 tries, 10547950 fired transitions, 2680 secs || 9927528 markings, 12193893 edges, 3714 markings/sec, 2680 secs
lola: STP completed || 11 tries, 10567179 fired transitions, 2685 secs || 9945921 markings, 12216212 edges, 3679 markings/sec, 2685 secs
lola: STP completed || 11 tries, 10586477 fired transitions, 2690 secs || 9964303 markings, 12240050 edges, 3676 markings/sec, 2690 secs
lola: STP completed || 11 tries, 10605560 fired transitions, 2695 secs || 9982747 markings, 12263626 edges, 3689 markings/sec, 2695 secs
lola: STP completed || 11 tries, 10624835 fired transitions, 2700 secs || 10000985 markings, 12288397 edges, 3648 markings/sec, 2700 secs
lola: STP completed || 11 tries, 10644350 fired transitions, 2705 secs || 10018920 markings, 12312505 edges, 3587 markings/sec, 2705 secs
lola: STP completed || 11 tries, 10664010 fired transitions, 2710 secs || 10035906 markings, 12335093 edges, 3397 markings/sec, 2710 secs
lola: STP completed || 11 tries, 10683459 fired transitions, 2715 secs || 10054039 markings, 12359022 edges, 3627 markings/sec, 2715 secs
lola: STP completed || 11 tries, 10702989 fired transitions, 2720 secs || 10072105 markings, 12383330 edges, 3613 markings/sec, 2720 secs
lola: STP completed || 11 tries, 10722548 fired transitions, 2725 secs || 10090109 markings, 12406806 edges, 3601 markings/sec, 2725 secs
lola: STP completed || 11 tries, 10741997 fired transitions, 2730 secs || 10107969 markings, 12430565 edges, 3572 markings/sec, 2730 secs
lola: STP completed || 11 tries, 10761387 fired transitions, 2735 secs || 10125993 markings, 12453726 edges, 3605 markings/sec, 2735 secs
lola: STP completed || 11 tries, 10781046 fired transitions, 2740 secs || 10144323 markings, 12478185 edges, 3666 markings/sec, 2740 secs
lola: STP completed || 11 tries, 10800076 fired transitions, 2745 secs || 10162361 markings, 12499887 edges, 3608 markings/sec, 2745 secs
lola: STP completed || 11 tries, 10819695 fired transitions, 2750 secs || 10180508 markings, 12523701 edges, 3629 markings/sec, 2750 secs
lola: STP completed || 11 tries, 10840099 fired transitions, 2755 secs || 10199491 markings, 12548121 edges, 3797 markings/sec, 2755 secs
lola: STP completed || 11 tries, 10860400 fired transitions, 2760 secs || 10218430 markings, 12573283 edges, 3788 markings/sec, 2760 secs
lola: STP completed || 11 tries, 10880636 fired transitions, 2765 secs || 10237304 markings, 12598685 edges, 3775 markings/sec, 2765 secs
lola: STP completed || 11 tries, 10900723 fired transitions, 2770 secs || 10255546 markings, 12623526 edges, 3648 markings/sec, 2770 secs
lola: STP completed || 11 tries, 10920207 fired transitions, 2775 secs || 10273692 markings, 12647832 edges, 3629 markings/sec, 2775 secs
lola: STP completed || 11 tries, 10939660 fired transitions, 2780 secs || 10291899 markings, 12671310 edges, 3641 markings/sec, 2780 secs
lola: STP completed || 11 tries, 10959085 fired transitions, 2785 secs || 10310006 markings, 12696609 edges, 3621 markings/sec, 2785 secs
lola: STP completed || 11 tries, 10978602 fired transitions, 2790 secs || 10328631 markings, 12720137 edges, 3725 markings/sec, 2790 secs
lola: STP completed || 11 tries, 10998635 fired transitions, 2795 secs || 10347008 markings, 12742839 edges, 3675 markings/sec, 2795 secs
lola: STP completed || 12 tries, 11018830 fired transitions, 2800 secs || 10365941 markings, 12767210 edges, 3787 markings/sec, 2800 secs
lola: STP completed || 12 tries, 11038706 fired transitions, 2805 secs || 10384868 markings, 12791125 edges, 3785 markings/sec, 2805 secs
lola: STP completed || 12 tries, 11058181 fired transitions, 2810 secs || 10403264 markings, 12813554 edges, 3679 markings/sec, 2810 secs
lola: STP completed || 12 tries, 11077964 fired transitions, 2815 secs || 10421701 markings, 12836193 edges, 3687 markings/sec, 2815 secs
lola: STP completed || 12 tries, 11098120 fired transitions, 2820 secs || 10440468 markings, 12859793 edges, 3753 markings/sec, 2820 secs
lola: STP completed || 12 tries, 11118337 fired transitions, 2825 secs || 10459587 markings, 12883539 edges, 3824 markings/sec, 2825 secs
lola: STP completed || 12 tries, 11137928 fired transitions, 2830 secs || 10477873 markings, 12908561 edges, 3657 markings/sec, 2830 secs
lola: STP completed || 12 tries, 11157478 fired transitions, 2835 secs || 10496462 markings, 12931861 edges, 3718 markings/sec, 2835 secs
lola: STP completed || 12 tries, 11177441 fired transitions, 2840 secs || 10515147 markings, 12958147 edges, 3737 markings/sec, 2840 secs
lola: STP completed || 12 tries, 11197825 fired transitions, 2845 secs || 10533731 markings, 12982482 edges, 3717 markings/sec, 2845 secs
lola: STP completed || 12 tries, 11218376 fired transitions, 2850 secs || 10551492 markings, 13005654 edges, 3552 markings/sec, 2850 secs
lola: STP completed || 12 tries, 11237701 fired transitions, 2855 secs || 10569649 markings, 13028645 edges, 3631 markings/sec, 2855 secs
lola: STP completed || 12 tries, 11256857 fired transitions, 2860 secs || 10587254 markings, 13052447 edges, 3521 markings/sec, 2860 secs
lola: STP completed || 12 tries, 11276336 fired transitions, 2865 secs || 10605566 markings, 13075528 edges, 3662 markings/sec, 2865 secs
lola: STP completed || 12 tries, 11296432 fired transitions, 2870 secs || 10623799 markings, 13099817 edges, 3647 markings/sec, 2870 secs
lola: STP completed || 12 tries, 11315866 fired transitions, 2875 secs || 10641400 markings, 13122976 edges, 3520 markings/sec, 2875 secs
lola: STP completed || 12 tries, 11335242 fired transitions, 2880 secs || 10658908 markings, 13144390 edges, 3502 markings/sec, 2880 secs
lola: STP completed || 12 tries, 11354711 fired transitions, 2885 secs || 10677049 markings, 13166454 edges, 3628 markings/sec, 2885 secs
lola: STP completed || 12 tries, 11374133 fired transitions, 2890 secs || 10695445 markings, 13189033 edges, 3679 markings/sec, 2890 secs
lola: STP completed || 12 tries, 11393560 fired transitions, 2895 secs || 10713685 markings, 13212395 edges, 3648 markings/sec, 2895 secs
lola: STP completed || 12 tries, 11413024 fired transitions, 2900 secs || 10731743 markings, 13236980 edges, 3612 markings/sec, 2900 secs
lola: STP completed || 12 tries, 11432525 fired transitions, 2905 secs || 10749942 markings, 13260816 edges, 3640 markings/sec, 2905 secs
lola: STP completed || 12 tries, 11451991 fired transitions, 2910 secs || 10768425 markings, 13283936 edges, 3697 markings/sec, 2910 secs
lola: STP completed || 12 tries, 11471437 fired transitions, 2915 secs || 10786583 markings, 13307562 edges, 3632 markings/sec, 2915 secs
lola: STP completed || 12 tries, 11490906 fired transitions, 2920 secs || 10804768 markings, 13329906 edges, 3637 markings/sec, 2920 secs
lola: STP completed || 12 tries, 11510387 fired transitions, 2925 secs || 10822950 markings, 13352921 edges, 3636 markings/sec, 2925 secs
lola: STP completed || 12 tries, 11529907 fired transitions, 2930 secs || 10840753 markings, 13376336 edges, 3561 markings/sec, 2930 secs
lola: STP completed || 12 tries, 11549334 fired transitions, 2935 secs || 10858757 markings, 13399041 edges, 3601 markings/sec, 2935 secs
lola: STP completed || 12 tries, 11568837 fired transitions, 2940 secs || 10876511 markings, 13423131 edges, 3551 markings/sec, 2940 secs
lola: STP completed || 12 tries, 11589048 fired transitions, 2945 secs || 10895150 markings, 13448540 edges, 3728 markings/sec, 2945 secs
lola: STP completed || 12 tries, 11609289 fired transitions, 2950 secs || 10914025 markings, 13473803 edges, 3775 markings/sec, 2950 secs
lola: STP completed || 12 tries, 11629519 fired transitions, 2955 secs || 10932658 markings, 13499552 edges, 3727 markings/sec, 2955 secs
lola: STP completed || 12 tries, 11649429 fired transitions, 2960 secs || 10951401 markings, 13524643 edges, 3749 markings/sec, 2960 secs
lola: STP completed || 12 tries, 11668971 fired transitions, 2965 secs || 10969703 markings, 13549588 edges, 3660 markings/sec, 2965 secs
lola: STP completed || 12 tries, 11688577 fired transitions, 2970 secs || 10988108 markings, 13572381 edges, 3681 markings/sec, 2970 secs
lola: STP completed || 12 tries, 11708146 fired transitions, 2975 secs || 11006373 markings, 13595030 edges, 3653 markings/sec, 2975 secs
lola: STP completed || 12 tries, 11727425 fired transitions, 2980 secs || 11024274 markings, 13618490 edges, 3580 markings/sec, 2980 secs
lola: STP completed || 12 tries, 11747087 fired transitions, 2985 secs || 11042408 markings, 13642991 edges, 3627 markings/sec, 2985 secs
lola: STP completed || 12 tries, 11766762 fired transitions, 2990 secs || 11060454 markings, 13667613 edges, 3609 markings/sec, 2990 secs
lola: STP completed || 12 tries, 11786500 fired transitions, 2995 secs || 11078218 markings, 13690803 edges, 3553 markings/sec, 2995 secs
lola: STP completed || 12 tries, 11806128 fired transitions, 3000 secs || 11096244 markings, 13715106 edges, 3605 markings/sec, 3000 secs
lola: STP completed || 12 tries, 11825816 fired transitions, 3005 secs || 11114000 markings, 13738997 edges, 3551 markings/sec, 3005 secs
lola: STP completed || 12 tries, 11845454 fired transitions, 3010 secs || 11132114 markings, 13762838 edges, 3623 markings/sec, 3010 secs
lola: STP completed || 12 tries, 11864997 fired transitions, 3015 secs || 11150396 markings, 13784853 edges, 3656 markings/sec, 3015 secs
lola: STP completed || 12 tries, 11884573 fired transitions, 3020 secs || 11168428 markings, 13807235 edges, 3606 markings/sec, 3020 secs
lola: STP completed || 12 tries, 11903970 fired transitions, 3025 secs || 11186730 markings, 13830761 edges, 3660 markings/sec, 3025 secs
lola: STP completed || 12 tries, 11923349 fired transitions, 3030 secs || 11205049 markings, 13854776 edges, 3664 markings/sec, 3030 secs
lola: STP completed || 12 tries, 11942691 fired transitions, 3035 secs || 11223119 markings, 13878496 edges, 3614 markings/sec, 3035 secs
lola: STP completed || 12 tries, 11962160 fired transitions, 3040 secs || 11241390 markings, 13902959 edges, 3654 markings/sec, 3040 secs
lola: STP completed || 12 tries, 11981590 fired transitions, 3045 secs || 11259616 markings, 13927278 edges, 3645 markings/sec, 3045 secs
lola: STP completed || 13 tries, 12000842 fired transitions, 3050 secs || 11277937 markings, 13951674 edges, 3664 markings/sec, 3050 secs
lola: STP completed || 13 tries, 12020263 fired transitions, 3055 secs || 11296156 markings, 13975294 edges, 3644 markings/sec, 3055 secs
lola: STP completed || 13 tries, 12039804 fired transitions, 3060 secs || 11313966 markings, 13998855 edges, 3562 markings/sec, 3060 secs
lola: STP completed || 13 tries, 12059371 fired transitions, 3065 secs || 11331633 markings, 14020495 edges, 3533 markings/sec, 3065 secs
lola: STP completed || 13 tries, 12078792 fired transitions, 3070 secs || 11349076 markings, 14041917 edges, 3489 markings/sec, 3070 secs
lola: STP completed || 13 tries, 12098295 fired transitions, 3075 secs || 11366896 markings, 14064393 edges, 3564 markings/sec, 3075 secs
lola: STP completed || 13 tries, 12117798 fired transitions, 3080 secs || 11385461 markings, 14086927 edges, 3713 markings/sec, 3080 secs
lola: STP completed || 13 tries, 12137300 fired transitions, 3085 secs || 11403829 markings, 14109955 edges, 3674 markings/sec, 3085 secs
lola: STP completed || 13 tries, 12157007 fired transitions, 3090 secs || 11421900 markings, 14134077 edges, 3614 markings/sec, 3090 secs
lola: STP completed || 13 tries, 12176103 fired transitions, 3095 secs || 11439840 markings, 14157111 edges, 3588 markings/sec, 3095 secs
lola: STP completed || 13 tries, 12195229 fired transitions, 3100 secs || 11457502 markings, 14181313 edges, 3532 markings/sec, 3100 secs
lola: STP completed || 13 tries, 12213938 fired transitions, 3105 secs || 11475473 markings, 14204796 edges, 3594 markings/sec, 3105 secs
lola: STP completed || 13 tries, 12233064 fired transitions, 3110 secs || 11493037 markings, 14228677 edges, 3513 markings/sec, 3110 secs
lola: STP completed || 13 tries, 12252533 fired transitions, 3115 secs || 11511118 markings, 14253278 edges, 3616 markings/sec, 3115 secs
lola: STP completed || 13 tries, 12271894 fired transitions, 3120 secs || 11529467 markings, 14276854 edges, 3670 markings/sec, 3120 secs
lola: STP completed || 13 tries, 12291322 fired transitions, 3125 secs || 11547623 markings, 14300728 edges, 3631 markings/sec, 3125 secs
lola: STP completed || 13 tries, 12310808 fired transitions, 3130 secs || 11565443 markings, 14322649 edges, 3564 markings/sec, 3130 secs
lola: STP completed || 13 tries, 12330434 fired transitions, 3135 secs || 11583497 markings, 14344586 edges, 3611 markings/sec, 3135 secs
lola: STP completed || 13 tries, 12350516 fired transitions, 3140 secs || 11602219 markings, 14367625 edges, 3744 markings/sec, 3140 secs
lola: STP completed || 13 tries, 12370611 fired transitions, 3145 secs || 11620868 markings, 14390512 edges, 3730 markings/sec, 3145 secs
lola: STP completed || 13 tries, 12390748 fired transitions, 3150 secs || 11639649 markings, 14413704 edges, 3756 markings/sec, 3150 secs
lola: STP completed || 13 tries, 12410940 fired transitions, 3155 secs || 11658287 markings, 14436578 edges, 3728 markings/sec, 3155 secs
lola: STP completed || 13 tries, 12431158 fired transitions, 3160 secs || 11676664 markings, 14460972 edges, 3675 markings/sec, 3160 secs
lola: STP completed || 13 tries, 12451345 fired transitions, 3165 secs || 11695315 markings, 14486901 edges, 3730 markings/sec, 3165 secs
lola: STP completed || 13 tries, 12471460 fired transitions, 3170 secs || 11714220 markings, 14510604 edges, 3781 markings/sec, 3170 secs
lola: STP completed || 13 tries, 12491587 fired transitions, 3175 secs || 11733253 markings, 14534038 edges, 3807 markings/sec, 3175 secs
lola: STP completed || 13 tries, 12511757 fired transitions, 3180 secs || 11752388 markings, 14557422 edges, 3827 markings/sec, 3180 secs
lola: STP completed || 13 tries, 12530771 fired transitions, 3185 secs || 11769887 markings, 14580253 edges, 3500 markings/sec, 3185 secs
lola: STP completed || 13 tries, 12549781 fired transitions, 3190 secs || 11787519 markings, 14602763 edges, 3526 markings/sec, 3190 secs
lola: STP completed || 13 tries, 12569024 fired transitions, 3195 secs || 11805435 markings, 14624737 edges, 3583 markings/sec, 3195 secs
lola: STP completed || 13 tries, 12588395 fired transitions, 3200 secs || 11823373 markings, 14647074 edges, 3588 markings/sec, 3200 secs
lola: STP completed || 13 tries, 12607757 fired transitions, 3205 secs || 11842007 markings, 14671798 edges, 3727 markings/sec, 3205 secs
lola: STP completed || 13 tries, 12627023 fired transitions, 3210 secs || 11860782 markings, 14694956 edges, 3755 markings/sec, 3210 secs
lola: STP completed || 13 tries, 12646305 fired transitions, 3215 secs || 11878775 markings, 14719044 edges, 3599 markings/sec, 3215 secs
lola: STP completed || 13 tries, 12665339 fired transitions, 3220 secs || 11897283 markings, 14743580 edges, 3702 markings/sec, 3220 secs
lola: STP completed || 13 tries, 12684583 fired transitions, 3225 secs || 11915233 markings, 14767907 edges, 3590 markings/sec, 3225 secs
lola: STP completed || 13 tries, 12703594 fired transitions, 3230 secs || 11932919 markings, 14791378 edges, 3537 markings/sec, 3230 secs
lola: STP completed || 13 tries, 12722684 fired transitions, 3235 secs || 11950570 markings, 14816639 edges, 3530 markings/sec, 3235 secs
lola: STP completed || 13 tries, 12741671 fired transitions, 3240 secs || 11968650 markings, 14839530 edges, 3616 markings/sec, 3240 secs
lola: STP completed || 13 tries, 12761265 fired transitions, 3245 secs || 11987203 markings, 14862300 edges, 3711 markings/sec, 3245 secs
lola: STP completed || 13 tries, 12780902 fired transitions, 3250 secs || 12005741 markings, 14887801 edges, 3708 markings/sec, 3250 secs
lola: STP completed || 13 tries, 12800532 fired transitions, 3255 secs || 12024404 markings, 14912582 edges, 3733 markings/sec, 3255 secs
lola: STP completed || 13 tries, 12820209 fired transitions, 3260 secs || 12043368 markings, 14935287 edges, 3793 markings/sec, 3260 secs
lola: STP completed || 13 tries, 12839879 fired transitions, 3265 secs || 12061991 markings, 14959168 edges, 3725 markings/sec, 3265 secs
lola: STP completed || 13 tries, 12859467 fired transitions, 3270 secs || 12080391 markings, 14984408 edges, 3680 markings/sec, 3270 secs
lola: STP completed || 13 tries, 12879028 fired transitions, 3275 secs || 12098876 markings, 15009440 edges, 3697 markings/sec, 3275 secs
lola: STP completed || 13 tries, 12898489 fired transitions, 3280 secs || 12117495 markings, 15032068 edges, 3724 markings/sec, 3280 secs
lola: STP completed || 13 tries, 12917942 fired transitions, 3285 secs || 12136152 markings, 15054668 edges, 3731 markings/sec, 3285 secs
lola: STP completed || 13 tries, 12937384 fired transitions, 3290 secs || 12154644 markings, 15077154 edges, 3698 markings/sec, 3290 secs
lola: STP completed || 13 tries, 12956861 fired transitions, 3295 secs || 12172909 markings, 15102656 edges, 3653 markings/sec, 3295 secs
lola: STP completed || 13 tries, 12976290 fired transitions, 3300 secs || 12191148 markings, 15126948 edges, 3648 markings/sec, 3300 secs
lola: STP completed || 13 tries, 12995682 fired transitions, 3305 secs || 12209566 markings, 15151406 edges, 3684 markings/sec, 3305 secs
lola: STP completed || 14 tries, 13014521 fired transitions, 3310 secs || 12227135 markings, 15173396 edges, 3514 markings/sec, 3310 secs
lola: STP completed || 14 tries, 13033540 fired transitions, 3315 secs || 12244801 markings, 15195085 edges, 3533 markings/sec, 3315 secs
lola: STP completed || 14 tries, 13053058 fired transitions, 3320 secs || 12262797 markings, 15218622 edges, 3599 markings/sec, 3320 secs
lola: STP completed || 14 tries, 13072552 fired transitions, 3325 secs || 12281123 markings, 15241542 edges, 3665 markings/sec, 3325 secs
lola: STP completed || 14 tries, 13091513 fired transitions, 3330 secs || 12298695 markings, 15265539 edges, 3514 markings/sec, 3330 secs
lola: STP completed || 14 tries, 13110293 fired transitions, 3335 secs || 12316048 markings, 15289415 edges, 3471 markings/sec, 3335 secs
lola: STP completed || 14 tries, 13129098 fired transitions, 3340 secs || 12333776 markings, 15312025 edges, 3546 markings/sec, 3340 secs
lola: STP completed || 14 tries, 13148372 fired transitions, 3345 secs || 12352046 markings, 15335581 edges, 3654 markings/sec, 3345 secs
lola: STP completed || 14 tries, 13167964 fired transitions, 3350 secs || 12370523 markings, 15359848 edges, 3695 markings/sec, 3350 secs
lola: STP completed || 14 tries, 13187570 fired transitions, 3355 secs || 12388856 markings, 15385396 edges, 3667 markings/sec, 3355 secs
lola: STP completed || 14 tries, 13207212 fired transitions, 3360 secs || 12406863 markings, 15413139 edges, 3601 markings/sec, 3360 secs
lola: STP completed || 14 tries, 13226805 fired transitions, 3365 secs || 12425241 markings, 15438784 edges, 3676 markings/sec, 3365 secs
lola: STP completed || 14 tries, 13246347 fired transitions, 3370 secs || 12443731 markings, 15463740 edges, 3698 markings/sec, 3370 secs
lola: STP completed || 14 tries, 13265875 fired transitions, 3375 secs || 12462398 markings, 15487815 edges, 3733 markings/sec, 3375 secs
lola: STP completed || 14 tries, 13285420 fired transitions, 3380 secs || 12480917 markings, 15513038 edges, 3704 markings/sec, 3380 secs
lola: STP completed || 14 tries, 13305178 fired transitions, 3385 secs || 12499522 markings, 15537772 edges, 3721 markings/sec, 3385 secs
lola: STP completed || 14 tries, 13325149 fired transitions, 3390 secs || 12518215 markings, 15562694 edges, 3739 markings/sec, 3390 secs
lola: STP completed || 14 tries, 13345110 fired transitions, 3395 secs || 12537107 markings, 15586988 edges, 3778 markings/sec, 3395 secs
lola: STP completed || 14 tries, 13365122 fired transitions, 3400 secs || 12555751 markings, 15611931 edges, 3729 markings/sec, 3400 secs
lola: STP completed || 14 tries, 13385073 fired transitions, 3405 secs || 12574403 markings, 15635974 edges, 3730 markings/sec, 3405 secs
lola: STP completed || 14 tries, 13405000 fired transitions, 3410 secs || 12593491 markings, 15659552 edges, 3818 markings/sec, 3410 secs
lola: STP completed || 14 tries, 13424544 fired transitions, 3415 secs || 12611639 markings, 15683331 edges, 3630 markings/sec, 3415 secs
lola: STP completed || 14 tries, 13443311 fired transitions, 3420 secs || 12629294 markings, 15707331 edges, 3531 markings/sec, 3420 secs
lola: STP completed || 14 tries, 13461945 fired transitions, 3425 secs || 12647403 markings, 15729756 edges, 3622 markings/sec, 3425 secs
lola: STP completed || 14 tries, 13480517 fired transitions, 3430 secs || 12665522 markings, 15751518 edges, 3624 markings/sec, 3430 secs
lola: STP completed || 14 tries, 13499059 fired transitions, 3435 secs || 12683293 markings, 15772680 edges, 3554 markings/sec, 3435 secs
lola: STP completed || 14 tries, 13517637 fired transitions, 3440 secs || 12701015 markings, 15794254 edges, 3544 markings/sec, 3440 secs
lola: STP completed || 14 tries, 13536253 fired transitions, 3445 secs || 12718632 markings, 15815682 edges, 3523 markings/sec, 3445 secs
lola: STP completed || 14 tries, 13554905 fired transitions, 3450 secs || 12736301 markings, 15837400 edges, 3534 markings/sec, 3450 secs
lola: STP completed || 14 tries, 13573522 fired transitions, 3455 secs || 12753694 markings, 15858445 edges, 3479 markings/sec, 3455 secs
lola: STP completed || 14 tries, 13592306 fired transitions, 3460 secs || 12771441 markings, 15880174 edges, 3549 markings/sec, 3460 secs
lola: STP completed || 14 tries, 13611406 fired transitions, 3465 secs || 12789409 markings, 15901676 edges, 3594 markings/sec, 3465 secs
lola: STP completed || 14 tries, 13629975 fired transitions, 3470 secs || 12807177 markings, 15923176 edges, 3554 markings/sec, 3470 secs
lola: STP completed || 14 tries, 13648780 fired transitions, 3475 secs || 12823841 markings, 15943348 edges, 3333 markings/sec, 3475 secs
lola: STP completed || 14 tries, 13667620 fired transitions, 3480 secs || 12840911 markings, 15964198 edges, 3414 markings/sec, 3480 secs
lola: STP completed || 14 tries, 13686716 fired transitions, 3485 secs || 12858241 markings, 15985372 edges, 3466 markings/sec, 3485 secs
lola: STP completed || 14 tries, 13706308 fired transitions, 3490 secs || 12876732 markings, 16008211 edges, 3698 markings/sec, 3490 secs
lola: STP completed || 14 tries, 13725947 fired transitions, 3495 secs || 12895294 markings, 16031002 edges, 3712 markings/sec, 3495 secs
lola: STP completed || 14 tries, 13745505 fired transitions, 3500 secs || 12913794 markings, 16053669 edges, 3700 markings/sec, 3500 secs
lola: STP completed || 14 tries, 13765138 fired transitions, 3505 secs || 12932282 markings, 16076526 edges, 3698 markings/sec, 3505 secs
lola: STP completed || 14 tries, 13784734 fired transitions, 3510 secs || 12950598 markings, 16099116 edges, 3663 markings/sec, 3510 secs
lola: STP completed || 14 tries, 13804354 fired transitions, 3515 secs || 12969085 markings, 16122233 edges, 3697 markings/sec, 3515 secs
lola: STP completed || 14 tries, 13823957 fired transitions, 3520 secs || 12987772 markings, 16145184 edges, 3737 markings/sec, 3520 secs
lola: STP completed || 14 tries, 13843831 fired transitions, 3525 secs || 13006516 markings, 16168397 edges, 3749 markings/sec, 3525 secs
lola: STP completed || 14 tries, 13863784 fired transitions, 3530 secs || 13025203 markings, 16191518 edges, 3737 markings/sec, 3530 secs
lola: STP completed || 14 tries, 13883811 fired transitions, 3535 secs || 13043507 markings, 16213920 edges, 3661 markings/sec, 3535 secs
lola: STP completed || 14 tries, 13903490 fired transitions, 3540 secs || 13061566 markings, 16236294 edges, 3612 markings/sec, 3540 secs
lola: STP completed || 14 tries, 13922711 fired transitions, 3545 secs || 13079455 markings, 16258218 edges, 3578 markings/sec, 3545 secs
lola: STP completed || 14 tries, 13942178 fired transitions, 3550 secs || 13097343 markings, 16280135 edges, 3578 markings/sec, 3550 secs
lola: STP completed || 14 tries, 13961841 fired transitions, 3555 secs || 13115438 markings, 16302641 edges, 3619 markings/sec, 3555 secs
lola: STP completed || 14 tries, 13981385 fired transitions, 3560 secs || 13133728 markings, 16324940 edges, 3658 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2467244 KB
lola: time consumption: 3569 seconds
BK_STOP 1526518802619
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-010"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-010.tgz
mv BART-PT-010 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BART-PT-010, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r028-ebro-152646306000076"
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 ;