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 176K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 14K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SharedMemory-COL-000050, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708742800027
=====================================================================

--------------------
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 SharedMemory-COL-000050-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527115532632

info: Time: 3600 - MCC
===========================================================================================
prep: translating SharedMemory-COL-000050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating SharedMemory-COL-000050 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ SharedMemory-COL-000050 @ 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: 7801/65536 symbol table entries, 1617 collisions
lola: preprocessing...
lola: Size of bit vector: 2701
lola: finding significant places
lola: 2701 places, 5100 transitions, 2600 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5300 transition conflict sets
lola: TASK
lola: reading formula from SharedMemory-COL-000050-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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: STP: formula with 96013 variables and 363025 clauses shipped to Minisat
lola: computed 3577 generators (50 in search tree, 3527 by composition)
lola: representing 3.04141E+64 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 10128 fired transitions, 0 secs || 14294 markings, 28447 edges, 2859 markings/sec, 0 secs
lola: STP completed || 1 tries, 20863 fired transitions, 5 secs || 32093 markings, 64078 edges, 3560 markings/sec, 5 secs
lola: STP completed || 1 tries, 31443 fired transitions, 10 secs || 49924 markings, 99826 edges, 3566 markings/sec, 10 secs
lola: STP completed || 1 tries, 41660 fired transitions, 15 secs || 67544 markings, 135087 edges, 3524 markings/sec, 15 secs
lola: STP completed || 1 tries, 52220 fired transitions, 20 secs || 85137 markings, 170341 edges, 3519 markings/sec, 20 secs
lola: STP completed || 1 tries, 63353 fired transitions, 25 secs || 103048 markings, 206260 edges, 3582 markings/sec, 25 secs
lola: STP completed || 1 tries, 74678 fired transitions, 30 secs || 121059 markings, 242338 edges, 3602 markings/sec, 30 secs
lola: STP completed || 1 tries, 85312 fired transitions, 35 secs || 138585 markings, 277463 edges, 3505 markings/sec, 35 secs
lola: STP completed || 1 tries, 96752 fired transitions, 40 secs || 156636 markings, 313664 edges, 3610 markings/sec, 40 secs
lola: STP completed || 1 tries, 108239 fired transitions, 45 secs || 174856 markings, 350163 edges, 3644 markings/sec, 45 secs
lola: STP completed || 1 tries, 119486 fired transitions, 50 secs || 193112 markings, 386748 edges, 3651 markings/sec, 50 secs
lola: STP completed || 1 tries, 130618 fired transitions, 55 secs || 211427 markings, 423481 edges, 3663 markings/sec, 55 secs
lola: STP completed || 1 tries, 141583 fired transitions, 60 secs || 229728 markings, 460182 edges, 3660 markings/sec, 60 secs
lola: STP completed || 1 tries, 153282 fired transitions, 65 secs || 248048 markings, 496948 edges, 3664 markings/sec, 65 secs
lola: STP completed || 1 tries, 164251 fired transitions, 70 secs || 266375 markings, 533741 edges, 3665 markings/sec, 70 secs
lola: STP completed || 1 tries, 175691 fired transitions, 75 secs || 284719 markings, 570574 edges, 3669 markings/sec, 75 secs
lola: STP completed || 1 tries, 187534 fired transitions, 80 secs || 303011 markings, 607265 edges, 3658 markings/sec, 80 secs
lola: STP completed || 1 tries, 198659 fired transitions, 85 secs || 321474 markings, 644335 edges, 3693 markings/sec, 85 secs
lola: STP completed || 1 tries, 210140 fired transitions, 90 secs || 339954 markings, 681446 edges, 3696 markings/sec, 90 secs
lola: STP completed || 1 tries, 222011 fired transitions, 95 secs || 358442 markings, 718485 edges, 3698 markings/sec, 95 secs
lola: STP completed || 1 tries, 233574 fired transitions, 100 secs || 377008 markings, 755704 edges, 3713 markings/sec, 100 secs
lola: STP completed || 1 tries, 245090 fired transitions, 105 secs || 395573 markings, 792937 edges, 3713 markings/sec, 105 secs
lola: STP completed || 1 tries, 256119 fired transitions, 110 secs || 414109 markings, 830107 edges, 3707 markings/sec, 110 secs
lola: STP completed || 1 tries, 267135 fired transitions, 115 secs || 432535 markings, 867104 edges, 3685 markings/sec, 115 secs
lola: STP completed || 1 tries, 278783 fired transitions, 120 secs || 450887 markings, 903945 edges, 3670 markings/sec, 120 secs
lola: STP completed || 1 tries, 290432 fired transitions, 125 secs || 469234 markings, 940771 edges, 3669 markings/sec, 125 secs
lola: STP completed || 1 tries, 302498 fired transitions, 130 secs || 487540 markings, 977496 edges, 3661 markings/sec, 130 secs
lola: STP completed || 1 tries, 314067 fired transitions, 135 secs || 505898 markings, 1014372 edges, 3672 markings/sec, 135 secs
lola: STP completed || 1 tries, 325436 fired transitions, 140 secs || 524236 markings, 1051185 edges, 3668 markings/sec, 140 secs
lola: STP completed || 1 tries, 336939 fired transitions, 145 secs || 542475 markings, 1087719 edges, 3648 markings/sec, 145 secs
lola: STP completed || 1 tries, 348446 fired transitions, 150 secs || 560809 markings, 1124481 edges, 3667 markings/sec, 150 secs
lola: STP completed || 1 tries, 359116 fired transitions, 155 secs || 579079 markings, 1161116 edges, 3654 markings/sec, 155 secs
lola: STP completed || 1 tries, 370091 fired transitions, 160 secs || 597361 markings, 1197788 edges, 3656 markings/sec, 160 secs
lola: STP completed || 1 tries, 381800 fired transitions, 165 secs || 615644 markings, 1234489 edges, 3657 markings/sec, 165 secs
lola: STP completed || 1 tries, 393421 fired transitions, 170 secs || 633942 markings, 1271232 edges, 3660 markings/sec, 170 secs
lola: STP completed || 1 tries, 404672 fired transitions, 175 secs || 652168 markings, 1307799 edges, 3645 markings/sec, 175 secs
lola: STP completed || 1 tries, 415580 fired transitions, 180 secs || 670397 markings, 1344377 edges, 3646 markings/sec, 180 secs
lola: STP completed || 1 tries, 426709 fired transitions, 185 secs || 688689 markings, 1381114 edges, 3658 markings/sec, 185 secs
lola: STP completed || 1 tries, 438514 fired transitions, 190 secs || 706946 markings, 1417776 edges, 3651 markings/sec, 190 secs
lola: STP completed || 1 tries, 450344 fired transitions, 195 secs || 725202 markings, 1454397 edges, 3651 markings/sec, 195 secs
lola: STP completed || 1 tries, 461456 fired transitions, 200 secs || 743484 markings, 1491091 edges, 3656 markings/sec, 200 secs
lola: STP completed || 1 tries, 472592 fired transitions, 205 secs || 761821 markings, 1527917 edges, 3667 markings/sec, 205 secs
lola: STP completed || 1 tries, 483490 fired transitions, 210 secs || 780063 markings, 1564538 edges, 3648 markings/sec, 210 secs
lola: STP completed || 1 tries, 494333 fired transitions, 215 secs || 798349 markings, 1601267 edges, 3657 markings/sec, 215 secs
lola: STP completed || 1 tries, 505813 fired transitions, 220 secs || 816728 markings, 1638214 edges, 3676 markings/sec, 220 secs
lola: STP completed || 1 tries, 517546 fired transitions, 225 secs || 835002 markings, 1674942 edges, 3655 markings/sec, 225 secs
lola: STP completed || 1 tries, 529175 fired transitions, 230 secs || 853276 markings, 1711660 edges, 3655 markings/sec, 230 secs
lola: STP completed || 1 tries, 540564 fired transitions, 235 secs || 871434 markings, 1748128 edges, 3632 markings/sec, 235 secs
lola: STP completed || 1 tries, 551671 fired transitions, 240 secs || 889676 markings, 1784789 edges, 3648 markings/sec, 240 secs
lola: STP completed || 1 tries, 563272 fired transitions, 245 secs || 907895 markings, 1821401 edges, 3644 markings/sec, 245 secs
lola: STP completed || 1 tries, 574996 fired transitions, 250 secs || 926129 markings, 1858049 edges, 3647 markings/sec, 250 secs
lola: STP completed || 1 tries, 586467 fired transitions, 255 secs || 944384 markings, 1894665 edges, 3651 markings/sec, 255 secs
lola: STP completed || 1 tries, 597545 fired transitions, 260 secs || 962644 markings, 1931326 edges, 3652 markings/sec, 260 secs
lola: STP completed || 1 tries, 608876 fired transitions, 265 secs || 980907 markings, 1967995 edges, 3653 markings/sec, 265 secs
lola: STP completed || 1 tries, 620540 fired transitions, 270 secs || 999115 markings, 2004556 edges, 3642 markings/sec, 270 secs
lola: STP completed || 1 tries, 632066 fired transitions, 275 secs || 1017214 markings, 2040910 edges, 3620 markings/sec, 275 secs
lola: STP completed || 1 tries, 643246 fired transitions, 280 secs || 1035394 markings, 2077455 edges, 3636 markings/sec, 280 secs
lola: STP completed || 1 tries, 654691 fired transitions, 285 secs || 1053521 markings, 2113882 edges, 3625 markings/sec, 285 secs
lola: STP completed || 1 tries, 666203 fired transitions, 290 secs || 1071656 markings, 2150323 edges, 3627 markings/sec, 290 secs
lola: STP completed || 1 tries, 677621 fired transitions, 295 secs || 1089688 markings, 2186538 edges, 3606 markings/sec, 295 secs
lola: STP completed || 1 tries, 688511 fired transitions, 300 secs || 1107784 markings, 2222901 edges, 3619 markings/sec, 300 secs
lola: STP completed || 1 tries, 700242 fired transitions, 305 secs || 1125910 markings, 2259335 edges, 3625 markings/sec, 305 secs
lola: STP completed || 1 tries, 711550 fired transitions, 310 secs || 1143922 markings, 2295514 edges, 3602 markings/sec, 310 secs
lola: STP completed || 1 tries, 722745 fired transitions, 315 secs || 1162037 markings, 2331782 edges, 3623 markings/sec, 315 secs
lola: STP completed || 1 tries, 733993 fired transitions, 320 secs || 1180172 markings, 2368156 edges, 3627 markings/sec, 320 secs
lola: STP completed || 1 tries, 745314 fired transitions, 325 secs || 1198270 markings, 2404452 edges, 3620 markings/sec, 325 secs
lola: STP completed || 1 tries, 757218 fired transitions, 330 secs || 1216439 markings, 2440905 edges, 3634 markings/sec, 330 secs
lola: STP completed || 1 tries, 768539 fired transitions, 335 secs || 1234671 markings, 2477526 edges, 3646 markings/sec, 335 secs
lola: STP completed || 1 tries, 779939 fired transitions, 340 secs || 1252847 markings, 2514012 edges, 3635 markings/sec, 340 secs
lola: STP completed || 1 tries, 791346 fired transitions, 345 secs || 1270986 markings, 2550401 edges, 3628 markings/sec, 345 secs
lola: STP completed || 1 tries, 802924 fired transitions, 350 secs || 1289132 markings, 2586825 edges, 3629 markings/sec, 350 secs
lola: STP completed || 1 tries, 814412 fired transitions, 355 secs || 1307316 markings, 2623341 edges, 3637 markings/sec, 355 secs
lola: STP completed || 1 tries, 826131 fired transitions, 360 secs || 1325433 markings, 2659705 edges, 3623 markings/sec, 360 secs
lola: STP completed || 1 tries, 837510 fired transitions, 365 secs || 1343630 markings, 2696215 edges, 3639 markings/sec, 365 secs
lola: STP completed || 1 tries, 849063 fired transitions, 370 secs || 1361853 markings, 2732817 edges, 3645 markings/sec, 370 secs
lola: STP completed || 1 tries, 860836 fired transitions, 375 secs || 1379988 markings, 2769217 edges, 3627 markings/sec, 375 secs
lola: STP completed || 1 tries, 872526 fired transitions, 380 secs || 1398182 markings, 2805758 edges, 3639 markings/sec, 380 secs
lola: STP completed || 1 tries, 883688 fired transitions, 385 secs || 1416366 markings, 2842285 edges, 3637 markings/sec, 385 secs
lola: STP completed || 1 tries, 894956 fired transitions, 390 secs || 1434703 markings, 2879156 edges, 3667 markings/sec, 390 secs
lola: STP completed || 1 tries, 906203 fired transitions, 395 secs || 1452868 markings, 2915655 edges, 3633 markings/sec, 395 secs
lola: STP completed || 1 tries, 917841 fired transitions, 400 secs || 1471027 markings, 2952129 edges, 3632 markings/sec, 400 secs
lola: STP completed || 1 tries, 929212 fired transitions, 405 secs || 1489169 markings, 2988568 edges, 3628 markings/sec, 405 secs
lola: STP completed || 1 tries, 940523 fired transitions, 410 secs || 1507404 markings, 3025229 edges, 3647 markings/sec, 410 secs
lola: STP completed || 1 tries, 951679 fired transitions, 415 secs || 1525569 markings, 3061736 edges, 3633 markings/sec, 415 secs
lola: STP completed || 1 tries, 962941 fired transitions, 420 secs || 1543854 markings, 3098446 edges, 3657 markings/sec, 420 secs
lola: STP completed || 1 tries, 973504 fired transitions, 425 secs || 1562238 markings, 3135331 edges, 3677 markings/sec, 425 secs
lola: STP completed || 1 tries, 984370 fired transitions, 430 secs || 1580680 markings, 3172368 edges, 3688 markings/sec, 430 secs
lola: STP completed || 1 tries, 995679 fired transitions, 435 secs || 1599103 markings, 3209370 edges, 3685 markings/sec, 435 secs
lola: STP completed || 2 tries, 1005396 fired transitions, 440 secs || 1617482 markings, 3246270 edges, 3676 markings/sec, 440 secs
lola: STP completed || 2 tries, 1016709 fired transitions, 445 secs || 1635861 markings, 3283202 edges, 3676 markings/sec, 445 secs
lola: STP completed || 2 tries, 1027985 fired transitions, 450 secs || 1654103 markings, 3319865 edges, 3648 markings/sec, 450 secs
lola: STP completed || 2 tries, 1038806 fired transitions, 455 secs || 1672330 markings, 3356510 edges, 3645 markings/sec, 455 secs
lola: STP completed || 2 tries, 1050644 fired transitions, 460 secs || 1690489 markings, 3392978 edges, 3632 markings/sec, 460 secs
lola: STP completed || 2 tries, 1061784 fired transitions, 465 secs || 1708605 markings, 3429362 edges, 3623 markings/sec, 465 secs
lola: STP completed || 2 tries, 1072985 fired transitions, 470 secs || 1726839 markings, 3466020 edges, 3647 markings/sec, 470 secs
lola: STP completed || 2 tries, 1084098 fired transitions, 475 secs || 1745081 markings, 3502687 edges, 3648 markings/sec, 475 secs
lola: STP completed || 2 tries, 1095447 fired transitions, 480 secs || 1763239 markings, 3539072 edges, 3632 markings/sec, 480 secs
lola: STP completed || 2 tries, 1107127 fired transitions, 485 secs || 1781490 markings, 3575662 edges, 3650 markings/sec, 485 secs
lola: STP completed || 2 tries, 1118565 fired transitions, 490 secs || 1799709 markings, 3612202 edges, 3644 markings/sec, 490 secs
lola: STP completed || 2 tries, 1130099 fired transitions, 495 secs || 1817869 markings, 3648618 edges, 3632 markings/sec, 495 secs
lola: STP completed || 2 tries, 1141507 fired transitions, 500 secs || 1836224 markings, 3685475 edges, 3671 markings/sec, 500 secs
lola: STP completed || 2 tries, 1152873 fired transitions, 505 secs || 1854569 markings, 3722301 edges, 3669 markings/sec, 505 secs
lola: STP completed || 2 tries, 1164744 fired transitions, 510 secs || 1872950 markings, 3759200 edges, 3676 markings/sec, 510 secs
lola: STP completed || 2 tries, 1176465 fired transitions, 515 secs || 1891281 markings, 3795978 edges, 3666 markings/sec, 515 secs
lola: STP completed || 2 tries, 1187702 fired transitions, 520 secs || 1909682 markings, 3832931 edges, 3680 markings/sec, 520 secs
lola: STP completed || 2 tries, 1198663 fired transitions, 525 secs || 1928091 markings, 3869903 edges, 3682 markings/sec, 525 secs
lola: STP completed || 2 tries, 1209933 fired transitions, 530 secs || 1946456 markings, 3906739 edges, 3673 markings/sec, 530 secs
lola: STP completed || 2 tries, 1221369 fired transitions, 535 secs || 1964855 markings, 3943671 edges, 3680 markings/sec, 535 secs
lola: STP completed || 2 tries, 1232635 fired transitions, 540 secs || 1983184 markings, 3980483 edges, 3666 markings/sec, 540 secs
lola: STP completed || 2 tries, 1243810 fired transitions, 545 secs || 2001344 markings, 4016942 edges, 3632 markings/sec, 545 secs
lola: STP completed || 2 tries, 1254817 fired transitions, 550 secs || 2019510 markings, 4053433 edges, 3633 markings/sec, 550 secs
lola: STP completed || 2 tries, 1266457 fired transitions, 555 secs || 2037732 markings, 4090057 edges, 3644 markings/sec, 555 secs
lola: STP completed || 2 tries, 1278163 fired transitions, 560 secs || 2055950 markings, 4126673 edges, 3644 markings/sec, 560 secs
lola: STP completed || 2 tries, 1289633 fired transitions, 565 secs || 2074151 markings, 4163249 edges, 3640 markings/sec, 565 secs
lola: STP completed || 2 tries, 1300999 fired transitions, 570 secs || 2092273 markings, 4199647 edges, 3624 markings/sec, 570 secs
lola: STP completed || 2 tries, 1312471 fired transitions, 575 secs || 2110360 markings, 4236001 edges, 3617 markings/sec, 575 secs
lola: STP completed || 2 tries, 1323756 fired transitions, 580 secs || 2128415 markings, 4272279 edges, 3611 markings/sec, 580 secs
lola: STP completed || 2 tries, 1335160 fired transitions, 585 secs || 2146573 markings, 4308775 edges, 3632 markings/sec, 585 secs
lola: STP completed || 2 tries, 1346885 fired transitions, 590 secs || 2164705 markings, 4345147 edges, 3626 markings/sec, 590 secs
lola: STP completed || 2 tries, 1358335 fired transitions, 595 secs || 2182859 markings, 4381594 edges, 3631 markings/sec, 595 secs
lola: STP completed || 2 tries, 1369549 fired transitions, 600 secs || 2201033 markings, 4418092 edges, 3635 markings/sec, 600 secs
lola: STP completed || 2 tries, 1381130 fired transitions, 605 secs || 2219068 markings, 4454296 edges, 3607 markings/sec, 605 secs
lola: STP completed || 2 tries, 1392380 fired transitions, 610 secs || 2237165 markings, 4490653 edges, 3619 markings/sec, 610 secs
lola: STP completed || 2 tries, 1403869 fired transitions, 615 secs || 2255320 markings, 4527147 edges, 3631 markings/sec, 615 secs
lola: STP completed || 2 tries, 1415192 fired transitions, 620 secs || 2273390 markings, 4563466 edges, 3614 markings/sec, 620 secs
lola: STP completed || 2 tries, 1427451 fired transitions, 625 secs || 2291426 markings, 4599695 edges, 3607 markings/sec, 625 secs
lola: STP completed || 2 tries, 1439074 fired transitions, 630 secs || 2309465 markings, 4635937 edges, 3608 markings/sec, 630 secs
lola: STP completed || 2 tries, 1450385 fired transitions, 635 secs || 2327531 markings, 4672245 edges, 3613 markings/sec, 635 secs
lola: STP completed || 2 tries, 1461895 fired transitions, 640 secs || 2345604 markings, 4708561 edges, 3615 markings/sec, 640 secs
lola: STP completed || 2 tries, 1473605 fired transitions, 645 secs || 2363678 markings, 4744875 edges, 3615 markings/sec, 645 secs
lola: STP completed || 2 tries, 1485315 fired transitions, 650 secs || 2381716 markings, 4781060 edges, 3608 markings/sec, 650 secs
lola: STP completed || 2 tries, 1496887 fired transitions, 655 secs || 2399851 markings, 4817477 edges, 3627 markings/sec, 655 secs
lola: STP completed || 2 tries, 1508709 fired transitions, 660 secs || 2417937 markings, 4853796 edges, 3617 markings/sec, 660 secs
lola: STP completed || 2 tries, 1520190 fired transitions, 665 secs || 2436030 markings, 4890132 edges, 3619 markings/sec, 665 secs
lola: STP completed || 2 tries, 1531913 fired transitions, 670 secs || 2454062 markings, 4926349 edges, 3606 markings/sec, 670 secs
lola: STP completed || 2 tries, 1543274 fired transitions, 675 secs || 2472258 markings, 4962937 edges, 3639 markings/sec, 675 secs
lola: STP completed || 2 tries, 1555128 fired transitions, 680 secs || 2490332 markings, 4999258 edges, 3615 markings/sec, 680 secs
lola: STP completed || 2 tries, 1566381 fired transitions, 685 secs || 2508332 markings, 5035409 edges, 3600 markings/sec, 685 secs
lola: STP completed || 2 tries, 1577865 fired transitions, 690 secs || 2526391 markings, 5071686 edges, 3612 markings/sec, 690 secs
lola: STP completed || 2 tries, 1589652 fired transitions, 695 secs || 2544520 markings, 5108135 edges, 3626 markings/sec, 695 secs
lola: STP completed || 2 tries, 1601250 fired transitions, 700 secs || 2562631 markings, 5144529 edges, 3622 markings/sec, 700 secs
lola: STP completed || 2 tries, 1612685 fired transitions, 705 secs || 2580676 markings, 5180782 edges, 3609 markings/sec, 705 secs
lola: STP completed || 2 tries, 1623874 fired transitions, 710 secs || 2598753 markings, 5217086 edges, 3615 markings/sec, 710 secs
lola: STP completed || 2 tries, 1635058 fired transitions, 715 secs || 2616945 markings, 5253658 edges, 3638 markings/sec, 715 secs
lola: STP completed || 2 tries, 1646209 fired transitions, 720 secs || 2635069 markings, 5290078 edges, 3625 markings/sec, 720 secs
lola: STP completed || 2 tries, 1657820 fired transitions, 725 secs || 2653219 markings, 5326562 edges, 3630 markings/sec, 725 secs
lola: STP completed || 2 tries, 1669516 fired transitions, 730 secs || 2671321 markings, 5362943 edges, 3620 markings/sec, 730 secs
lola: STP completed || 2 tries, 1680908 fired transitions, 735 secs || 2689456 markings, 5399407 edges, 3627 markings/sec, 735 secs
lola: STP completed || 2 tries, 1691973 fired transitions, 740 secs || 2707728 markings, 5436177 edges, 3654 markings/sec, 740 secs
lola: STP completed || 2 tries, 1703631 fired transitions, 745 secs || 2725842 markings, 5472602 edges, 3623 markings/sec, 745 secs
lola: STP completed || 2 tries, 1714856 fired transitions, 750 secs || 2743914 markings, 5508934 edges, 3614 markings/sec, 750 secs
lola: STP completed || 2 tries, 1726041 fired transitions, 755 secs || 2761922 markings, 5545129 edges, 3602 markings/sec, 755 secs
lola: STP completed || 2 tries, 1737529 fired transitions, 760 secs || 2780010 markings, 5581513 edges, 3618 markings/sec, 760 secs
lola: STP completed || 2 tries, 1749180 fired transitions, 765 secs || 2798076 markings, 5617846 edges, 3613 markings/sec, 765 secs
lola: STP completed || 2 tries, 1760733 fired transitions, 770 secs || 2816173 markings, 5654244 edges, 3619 markings/sec, 770 secs
lola: STP completed || 2 tries, 1772339 fired transitions, 775 secs || 2834216 markings, 5690503 edges, 3609 markings/sec, 775 secs
lola: STP completed || 2 tries, 1783848 fired transitions, 780 secs || 2852222 markings, 5726671 edges, 3601 markings/sec, 780 secs
lola: STP completed || 2 tries, 1795350 fired transitions, 785 secs || 2870352 markings, 5763113 edges, 3626 markings/sec, 785 secs
lola: STP completed || 2 tries, 1806697 fired transitions, 790 secs || 2888415 markings, 5799410 edges, 3613 markings/sec, 790 secs
lola: STP completed || 2 tries, 1818223 fired transitions, 795 secs || 2906477 markings, 5835717 edges, 3612 markings/sec, 795 secs
lola: STP completed || 2 tries, 1829854 fired transitions, 800 secs || 2924496 markings, 5871936 edges, 3604 markings/sec, 800 secs
lola: STP completed || 2 tries, 1841186 fired transitions, 805 secs || 2942584 markings, 5908318 edges, 3618 markings/sec, 805 secs
lola: STP completed || 2 tries, 1852519 fired transitions, 810 secs || 2960644 markings, 5944638 edges, 3612 markings/sec, 810 secs
lola: STP completed || 2 tries, 1863884 fired transitions, 815 secs || 2978759 markings, 5981075 edges, 3623 markings/sec, 815 secs
lola: STP completed || 2 tries, 1875046 fired transitions, 820 secs || 2996811 markings, 6017365 edges, 3610 markings/sec, 820 secs
lola: STP completed || 2 tries, 1886444 fired transitions, 825 secs || 3014750 markings, 6053430 edges, 3588 markings/sec, 825 secs
lola: STP completed || 2 tries, 1898191 fired transitions, 830 secs || 3032813 markings, 6089755 edges, 3613 markings/sec, 830 secs
lola: STP completed || 2 tries, 1909327 fired transitions, 835 secs || 3050887 markings, 6126112 edges, 3615 markings/sec, 835 secs
lola: STP completed || 2 tries, 1920964 fired transitions, 840 secs || 3068947 markings, 6162431 edges, 3612 markings/sec, 840 secs
lola: STP completed || 2 tries, 1931811 fired transitions, 845 secs || 3086975 markings, 6198622 edges, 3606 markings/sec, 845 secs
lola: STP completed || 2 tries, 1943071 fired transitions, 850 secs || 3105052 markings, 6234898 edges, 3615 markings/sec, 850 secs
lola: STP completed || 2 tries, 1954296 fired transitions, 855 secs || 3123133 markings, 6271208 edges, 3616 markings/sec, 855 secs
lola: STP completed || 2 tries, 1965389 fired transitions, 860 secs || 3141192 markings, 6307474 edges, 3612 markings/sec, 860 secs
lola: STP completed || 2 tries, 1977005 fired transitions, 865 secs || 3159221 markings, 6343686 edges, 3606 markings/sec, 865 secs
lola: STP completed || 2 tries, 1988286 fired transitions, 870 secs || 3177287 markings, 6379987 edges, 3613 markings/sec, 870 secs
lola: STP completed || 2 tries, 1999520 fired transitions, 875 secs || 3195373 markings, 6416336 edges, 3617 markings/sec, 875 secs
lola: STP completed || 3 tries, 2010325 fired transitions, 880 secs || 3213495 markings, 6452762 edges, 3624 markings/sec, 880 secs
lola: STP completed || 3 tries, 2021311 fired transitions, 885 secs || 3231470 markings, 6488860 edges, 3595 markings/sec, 885 secs
lola: STP completed || 3 tries, 2032864 fired transitions, 890 secs || 3249446 markings, 6524972 edges, 3595 markings/sec, 890 secs
lola: STP completed || 3 tries, 2044572 fired transitions, 895 secs || 3267476 markings, 6561214 edges, 3606 markings/sec, 895 secs
lola: STP completed || 3 tries, 2055946 fired transitions, 900 secs || 3285526 markings, 6597501 edges, 3610 markings/sec, 900 secs
lola: STP completed || 3 tries, 2067156 fired transitions, 905 secs || 3303537 markings, 6633670 edges, 3602 markings/sec, 905 secs
lola: STP completed || 3 tries, 2078416 fired transitions, 910 secs || 3321529 markings, 6669812 edges, 3598 markings/sec, 910 secs
lola: STP completed || 3 tries, 2090052 fired transitions, 915 secs || 3339629 markings, 6706208 edges, 3620 markings/sec, 915 secs
lola: STP completed || 3 tries, 2101223 fired transitions, 920 secs || 3357757 markings, 6742642 edges, 3626 markings/sec, 920 secs
lola: STP completed || 3 tries, 2112616 fired transitions, 925 secs || 3375719 markings, 6778736 edges, 3592 markings/sec, 925 secs
lola: STP completed || 3 tries, 2123812 fired transitions, 930 secs || 3393797 markings, 6815079 edges, 3616 markings/sec, 930 secs
lola: STP completed || 3 tries, 2135239 fired transitions, 935 secs || 3412012 markings, 6851719 edges, 3643 markings/sec, 935 secs
lola: STP completed || 3 tries, 2146681 fired transitions, 940 secs || 3430184 markings, 6888259 edges, 3634 markings/sec, 940 secs
lola: STP completed || 3 tries, 2158071 fired transitions, 945 secs || 3448407 markings, 6924916 edges, 3645 markings/sec, 945 secs
lola: STP completed || 3 tries, 2169760 fired transitions, 950 secs || 3466537 markings, 6961355 edges, 3626 markings/sec, 950 secs
lola: STP completed || 3 tries, 2181037 fired transitions, 955 secs || 3484663 markings, 6997794 edges, 3625 markings/sec, 955 secs
lola: STP completed || 3 tries, 2192045 fired transitions, 960 secs || 3502949 markings, 7034582 edges, 3657 markings/sec, 960 secs
lola: STP completed || 3 tries, 2203709 fired transitions, 965 secs || 3520989 markings, 7070858 edges, 3608 markings/sec, 965 secs
lola: STP completed || 3 tries, 2215067 fired transitions, 970 secs || 3539106 markings, 7107305 edges, 3623 markings/sec, 970 secs
lola: STP completed || 3 tries, 2226197 fired transitions, 975 secs || 3557067 markings, 7143374 edges, 3592 markings/sec, 975 secs
lola: STP completed || 3 tries, 2237604 fired transitions, 980 secs || 3575098 markings, 7179599 edges, 3606 markings/sec, 980 secs
lola: STP completed || 3 tries, 2248745 fired transitions, 985 secs || 3593191 markings, 7215967 edges, 3619 markings/sec, 985 secs
lola: STP completed || 3 tries, 2259934 fired transitions, 990 secs || 3611358 markings, 7252482 edges, 3633 markings/sec, 990 secs
lola: STP completed || 3 tries, 2271311 fired transitions, 995 secs || 3629504 markings, 7288949 edges, 3629 markings/sec, 995 secs
lola: STP completed || 3 tries, 2282827 fired transitions, 1000 secs || 3647635 markings, 7325402 edges, 3626 markings/sec, 1000 secs
lola: STP completed || 3 tries, 2294149 fired transitions, 1005 secs || 3665863 markings, 7362071 edges, 3646 markings/sec, 1005 secs
lola: STP completed || 3 tries, 2305435 fired transitions, 1010 secs || 3684003 markings, 7398546 edges, 3628 markings/sec, 1010 secs
lola: STP completed || 3 tries, 2316342 fired transitions, 1015 secs || 3702238 markings, 7435225 edges, 3647 markings/sec, 1015 secs
lola: STP completed || 3 tries, 2328583 fired transitions, 1020 secs || 3720354 markings, 7471642 edges, 3623 markings/sec, 1020 secs
lola: STP completed || 3 tries, 2339951 fired transitions, 1025 secs || 3738439 markings, 7508000 edges, 3617 markings/sec, 1025 secs
lola: STP completed || 3 tries, 2351164 fired transitions, 1030 secs || 3756651 markings, 7544633 edges, 3642 markings/sec, 1030 secs
lola: STP completed || 3 tries, 2361959 fired transitions, 1035 secs || 3774811 markings, 7581153 edges, 3632 markings/sec, 1035 secs
lola: STP completed || 3 tries, 2373324 fired transitions, 1040 secs || 3793015 markings, 7617758 edges, 3641 markings/sec, 1040 secs
lola: STP completed || 3 tries, 2384558 fired transitions, 1045 secs || 3811246 markings, 7654256 edges, 3646 markings/sec, 1045 secs
lola: STP completed || 3 tries, 2395969 fired transitions, 1050 secs || 3829463 markings, 7690790 edges, 3643 markings/sec, 1050 secs
lola: STP completed || 3 tries, 2407740 fired transitions, 1055 secs || 3847606 markings, 7727176 edges, 3629 markings/sec, 1055 secs
lola: STP completed || 3 tries, 2419576 fired transitions, 1060 secs || 3865789 markings, 7763660 edges, 3637 markings/sec, 1060 secs
lola: STP completed || 3 tries, 2430877 fired transitions, 1065 secs || 3883987 markings, 7800211 edges, 3640 markings/sec, 1065 secs
lola: STP completed || 3 tries, 2441934 fired transitions, 1070 secs || 3902081 markings, 7836537 edges, 3619 markings/sec, 1070 secs
lola: STP completed || 3 tries, 2452990 fired transitions, 1075 secs || 3920242 markings, 7872967 edges, 3632 markings/sec, 1075 secs
lola: STP completed || 3 tries, 2464726 fired transitions, 1080 secs || 3938349 markings, 7909317 edges, 3621 markings/sec, 1080 secs
lola: STP completed || 3 tries, 2476092 fired transitions, 1085 secs || 3956484 markings, 7945733 edges, 3627 markings/sec, 1085 secs
lola: STP completed || 3 tries, 2487547 fired transitions, 1090 secs || 3974554 markings, 7982004 edges, 3614 markings/sec, 1090 secs
lola: STP completed || 3 tries, 2498628 fired transitions, 1095 secs || 3992692 markings, 8018390 edges, 3628 markings/sec, 1095 secs
lola: STP completed || 3 tries, 2510182 fired transitions, 1100 secs || 4010853 markings, 8054867 edges, 3632 markings/sec, 1100 secs
lola: STP completed || 3 tries, 2521486 fired transitions, 1105 secs || 4028983 markings, 8091273 edges, 3626 markings/sec, 1105 secs
lola: STP completed || 3 tries, 2533237 fired transitions, 1110 secs || 4047095 markings, 8127646 edges, 3622 markings/sec, 1110 secs
lola: STP completed || 3 tries, 2544809 fired transitions, 1115 secs || 4065183 markings, 8163978 edges, 3618 markings/sec, 1115 secs
lola: STP completed || 3 tries, 2556082 fired transitions, 1120 secs || 4083326 markings, 8200450 edges, 3629 markings/sec, 1120 secs
lola: STP completed || 3 tries, 2567112 fired transitions, 1125 secs || 4101416 markings, 8236808 edges, 3618 markings/sec, 1125 secs
lola: STP completed || 3 tries, 2578313 fired transitions, 1130 secs || 4119515 markings, 8273165 edges, 3620 markings/sec, 1130 secs
lola: STP completed || 3 tries, 2589728 fired transitions, 1135 secs || 4137586 markings, 8309467 edges, 3614 markings/sec, 1135 secs
lola: STP completed || 3 tries, 2601101 fired transitions, 1140 secs || 4155688 markings, 8345861 edges, 3620 markings/sec, 1140 secs
lola: STP completed || 3 tries, 2612613 fired transitions, 1145 secs || 4173790 markings, 8382236 edges, 3620 markings/sec, 1145 secs
lola: STP completed || 3 tries, 2624193 fired transitions, 1150 secs || 4191893 markings, 8418583 edges, 3621 markings/sec, 1150 secs
lola: STP completed || 3 tries, 2635700 fired transitions, 1155 secs || 4210018 markings, 8454954 edges, 3625 markings/sec, 1155 secs
lola: STP completed || 3 tries, 2647563 fired transitions, 1160 secs || 4228147 markings, 8491362 edges, 3626 markings/sec, 1160 secs
lola: STP completed || 3 tries, 2658999 fired transitions, 1165 secs || 4246295 markings, 8527811 edges, 3630 markings/sec, 1165 secs
lola: STP completed || 3 tries, 2670258 fired transitions, 1170 secs || 4264403 markings, 8564164 edges, 3622 markings/sec, 1170 secs
lola: STP completed || 3 tries, 2681721 fired transitions, 1175 secs || 4282554 markings, 8600639 edges, 3630 markings/sec, 1175 secs
lola: STP completed || 3 tries, 2692878 fired transitions, 1180 secs || 4300702 markings, 8637116 edges, 3630 markings/sec, 1180 secs
lola: STP completed || 3 tries, 2704288 fired transitions, 1185 secs || 4318864 markings, 8673626 edges, 3632 markings/sec, 1185 secs
lola: STP completed || 3 tries, 2715418 fired transitions, 1190 secs || 4336955 markings, 8709960 edges, 3618 markings/sec, 1190 secs
lola: STP completed || 3 tries, 2726863 fired transitions, 1195 secs || 4355007 markings, 8746224 edges, 3610 markings/sec, 1195 secs
lola: STP completed || 3 tries, 2738857 fired transitions, 1200 secs || 4373134 markings, 8782661 edges, 3625 markings/sec, 1200 secs
lola: STP completed || 3 tries, 2750635 fired transitions, 1205 secs || 4391273 markings, 8819121 edges, 3628 markings/sec, 1205 secs
lola: STP completed || 3 tries, 2761927 fired transitions, 1210 secs || 4409377 markings, 8855454 edges, 3621 markings/sec, 1210 secs
lola: STP completed || 3 tries, 2773354 fired transitions, 1215 secs || 4427526 markings, 8891882 edges, 3630 markings/sec, 1215 secs
lola: STP completed || 3 tries, 2784968 fired transitions, 1220 secs || 4445656 markings, 8928283 edges, 3626 markings/sec, 1220 secs
lola: STP completed || 3 tries, 2796316 fired transitions, 1225 secs || 4463804 markings, 8964735 edges, 3630 markings/sec, 1225 secs
lola: STP completed || 3 tries, 2808029 fired transitions, 1230 secs || 4481904 markings, 9001081 edges, 3620 markings/sec, 1230 secs
lola: STP completed || 3 tries, 2819397 fired transitions, 1235 secs || 4500081 markings, 9037616 edges, 3635 markings/sec, 1235 secs
lola: STP completed || 3 tries, 2831118 fired transitions, 1240 secs || 4518170 markings, 9073969 edges, 3618 markings/sec, 1240 secs
lola: STP completed || 3 tries, 2842751 fired transitions, 1245 secs || 4536230 markings, 9110284 edges, 3612 markings/sec, 1245 secs
lola: STP completed || 3 tries, 2853558 fired transitions, 1250 secs || 4554309 markings, 9146578 edges, 3616 markings/sec, 1250 secs
lola: STP completed || 3 tries, 2864724 fired transitions, 1255 secs || 4572445 markings, 9183025 edges, 3627 markings/sec, 1255 secs
lola: STP completed || 3 tries, 2876228 fired transitions, 1260 secs || 4590589 markings, 9219490 edges, 3629 markings/sec, 1260 secs
lola: STP completed || 3 tries, 2888171 fired transitions, 1265 secs || 4608711 markings, 9255920 edges, 3624 markings/sec, 1265 secs
lola: STP completed || 3 tries, 2900021 fired transitions, 1270 secs || 4626843 markings, 9292334 edges, 3626 markings/sec, 1270 secs
lola: STP completed || 3 tries, 2911684 fired transitions, 1275 secs || 4644932 markings, 9328671 edges, 3618 markings/sec, 1275 secs
lola: STP completed || 3 tries, 2922887 fired transitions, 1280 secs || 4663151 markings, 9365299 edges, 3644 markings/sec, 1280 secs
lola: STP completed || 3 tries, 2934347 fired transitions, 1285 secs || 4681273 markings, 9401715 edges, 3624 markings/sec, 1285 secs
lola: STP completed || 3 tries, 2945465 fired transitions, 1290 secs || 4699421 markings, 9438195 edges, 3630 markings/sec, 1290 secs
lola: STP completed || 3 tries, 2956664 fired transitions, 1295 secs || 4717544 markings, 9474630 edges, 3625 markings/sec, 1295 secs
lola: STP completed || 3 tries, 2968152 fired transitions, 1300 secs || 4735728 markings, 9511207 edges, 3637 markings/sec, 1300 secs
lola: STP completed || 3 tries, 2979449 fired transitions, 1305 secs || 4753898 markings, 9547749 edges, 3634 markings/sec, 1305 secs
lola: STP completed || 3 tries, 2990351 fired transitions, 1310 secs || 4772072 markings, 9584310 edges, 3635 markings/sec, 1310 secs
lola: STP completed || 4 tries, 3001378 fired transitions, 1315 secs || 4790153 markings, 9620648 edges, 3616 markings/sec, 1315 secs
lola: STP completed || 4 tries, 3012834 fired transitions, 1320 secs || 4808073 markings, 9656676 edges, 3584 markings/sec, 1320 secs
lola: STP completed || 4 tries, 3024272 fired transitions, 1325 secs || 4826103 markings, 9692944 edges, 3606 markings/sec, 1325 secs
lola: STP completed || 4 tries, 3035589 fired transitions, 1330 secs || 4842902 markings, 9726729 edges, 3360 markings/sec, 1330 secs
lola: STP completed || 4 tries, 3047119 fired transitions, 1335 secs || 4860945 markings, 9763025 edges, 3609 markings/sec, 1335 secs
lola: STP completed || 4 tries, 3058396 fired transitions, 1340 secs || 4878919 markings, 9799114 edges, 3595 markings/sec, 1340 secs
lola: STP completed || 4 tries, 3069716 fired transitions, 1345 secs || 4896947 markings, 9835338 edges, 3606 markings/sec, 1345 secs
lola: STP completed || 4 tries, 3081257 fired transitions, 1350 secs || 4914948 markings, 9871522 edges, 3600 markings/sec, 1350 secs
lola: STP completed || 4 tries, 3092705 fired transitions, 1355 secs || 4932968 markings, 9907747 edges, 3604 markings/sec, 1355 secs
lola: STP completed || 4 tries, 3103705 fired transitions, 1360 secs || 4950957 markings, 9943898 edges, 3598 markings/sec, 1360 secs
lola: STP completed || 4 tries, 3114962 fired transitions, 1365 secs || 4968954 markings, 9980086 edges, 3599 markings/sec, 1365 secs
lola: STP completed || 4 tries, 3126099 fired transitions, 1370 secs || 4986948 markings, 10016269 edges, 3599 markings/sec, 1370 secs
lola: STP completed || 4 tries, 3137696 fired transitions, 1375 secs || 5004972 markings, 10052524 edges, 3605 markings/sec, 1375 secs
lola: STP completed || 4 tries, 3149173 fired transitions, 1380 secs || 5023054 markings, 10088896 edges, 3616 markings/sec, 1380 secs
lola: STP completed || 4 tries, 3160912 fired transitions, 1385 secs || 5041026 markings, 10125026 edges, 3594 markings/sec, 1385 secs
lola: STP completed || 4 tries, 3172230 fired transitions, 1390 secs || 5058926 markings, 10161004 edges, 3580 markings/sec, 1390 secs
lola: STP completed || 4 tries, 3183790 fired transitions, 1395 secs || 5076985 markings, 10197338 edges, 3612 markings/sec, 1395 secs
lola: STP completed || 4 tries, 3195309 fired transitions, 1400 secs || 5094908 markings, 10233378 edges, 3585 markings/sec, 1400 secs
lola: STP completed || 4 tries, 3206551 fired transitions, 1405 secs || 5112890 markings, 10269540 edges, 3596 markings/sec, 1405 secs
lola: STP completed || 4 tries, 3218000 fired transitions, 1410 secs || 5130956 markings, 10305778 edges, 3613 markings/sec, 1410 secs
lola: STP completed || 4 tries, 3229675 fired transitions, 1415 secs || 5148990 markings, 10341984 edges, 3607 markings/sec, 1415 secs
lola: STP completed || 4 tries, 3241131 fired transitions, 1420 secs || 5167029 markings, 10378212 edges, 3608 markings/sec, 1420 secs
lola: STP completed || 4 tries, 3252936 fired transitions, 1425 secs || 5184920 markings, 10414132 edges, 3578 markings/sec, 1425 secs
lola: STP completed || 4 tries, 3264475 fired transitions, 1430 secs || 5202910 markings, 10450275 edges, 3598 markings/sec, 1430 secs
lola: STP completed || 4 tries, 3275621 fired transitions, 1435 secs || 5220934 markings, 10486507 edges, 3605 markings/sec, 1435 secs
lola: STP completed || 4 tries, 3286597 fired transitions, 1440 secs || 5238917 markings, 10522648 edges, 3597 markings/sec, 1440 secs
lola: STP completed || 4 tries, 3298103 fired transitions, 1445 secs || 5256897 markings, 10558774 edges, 3596 markings/sec, 1445 secs
lola: STP completed || 4 tries, 3309827 fired transitions, 1450 secs || 5274830 markings, 10594792 edges, 3587 markings/sec, 1450 secs
lola: STP completed || 4 tries, 3321038 fired transitions, 1455 secs || 5292800 markings, 10630908 edges, 3594 markings/sec, 1455 secs
lola: STP completed || 4 tries, 3332528 fired transitions, 1460 secs || 5310824 markings, 10667126 edges, 3605 markings/sec, 1460 secs
lola: STP completed || 4 tries, 3343555 fired transitions, 1465 secs || 5328854 markings, 10703367 edges, 3606 markings/sec, 1465 secs
lola: STP completed || 4 tries, 3355324 fired transitions, 1470 secs || 5346925 markings, 10739657 edges, 3614 markings/sec, 1470 secs
lola: STP completed || 4 tries, 3366865 fired transitions, 1475 secs || 5365023 markings, 10776036 edges, 3620 markings/sec, 1475 secs
lola: STP completed || 4 tries, 3378507 fired transitions, 1480 secs || 5383105 markings, 10812374 edges, 3616 markings/sec, 1480 secs
lola: STP completed || 4 tries, 3389917 fired transitions, 1485 secs || 5401223 markings, 10848799 edges, 3624 markings/sec, 1485 secs
lola: STP completed || 4 tries, 3401622 fired transitions, 1490 secs || 5419243 markings, 10885013 edges, 3604 markings/sec, 1490 secs
lola: STP completed || 4 tries, 3412889 fired transitions, 1495 secs || 5437267 markings, 10921251 edges, 3605 markings/sec, 1495 secs
lola: STP completed || 4 tries, 3424268 fired transitions, 1500 secs || 5455417 markings, 10957764 edges, 3630 markings/sec, 1500 secs
lola: STP completed || 4 tries, 3435646 fired transitions, 1505 secs || 5473492 markings, 10994117 edges, 3615 markings/sec, 1505 secs
lola: STP completed || 4 tries, 3446709 fired transitions, 1510 secs || 5491516 markings, 11030361 edges, 3605 markings/sec, 1510 secs
lola: STP completed || 4 tries, 3458438 fired transitions, 1515 secs || 5509544 markings, 11066599 edges, 3606 markings/sec, 1515 secs
lola: STP completed || 4 tries, 3469889 fired transitions, 1520 secs || 5527541 markings, 11102787 edges, 3599 markings/sec, 1520 secs
lola: STP completed || 4 tries, 3481831 fired transitions, 1525 secs || 5545633 markings, 11139190 edges, 3618 markings/sec, 1525 secs
lola: STP completed || 4 tries, 3493346 fired transitions, 1530 secs || 5563627 markings, 11175375 edges, 3599 markings/sec, 1530 secs
lola: STP completed || 4 tries, 3504732 fired transitions, 1535 secs || 5581645 markings, 11211586 edges, 3604 markings/sec, 1535 secs
lola: STP completed || 4 tries, 3516198 fired transitions, 1540 secs || 5599677 markings, 11247800 edges, 3606 markings/sec, 1540 secs
lola: STP completed || 4 tries, 3527798 fired transitions, 1545 secs || 5617751 markings, 11284126 edges, 3615 markings/sec, 1545 secs
lola: STP completed || 4 tries, 3539327 fired transitions, 1550 secs || 5635823 markings, 11320444 edges, 3614 markings/sec, 1550 secs
lola: STP completed || 4 tries, 3550504 fired transitions, 1555 secs || 5653891 markings, 11356765 edges, 3614 markings/sec, 1555 secs
lola: STP completed || 4 tries, 3561819 fired transitions, 1560 secs || 5671962 markings, 11393094 edges, 3614 markings/sec, 1560 secs
lola: STP completed || 4 tries, 3572660 fired transitions, 1565 secs || 5690004 markings, 11429374 edges, 3608 markings/sec, 1565 secs
lola: STP completed || 4 tries, 3584327 fired transitions, 1570 secs || 5708161 markings, 11465907 edges, 3631 markings/sec, 1570 secs
lola: STP completed || 4 tries, 3595728 fired transitions, 1575 secs || 5726192 markings, 11502166 edges, 3606 markings/sec, 1575 secs
lola: STP completed || 4 tries, 3607575 fired transitions, 1580 secs || 5744231 markings, 11538430 edges, 3608 markings/sec, 1580 secs
lola: STP completed || 4 tries, 3619009 fired transitions, 1585 secs || 5762272 markings, 11574698 edges, 3608 markings/sec, 1585 secs
lola: STP completed || 4 tries, 3630121 fired transitions, 1590 secs || 5780338 markings, 11611027 edges, 3613 markings/sec, 1590 secs
lola: STP completed || 4 tries, 3641561 fired transitions, 1595 secs || 5798412 markings, 11647381 edges, 3615 markings/sec, 1595 secs
lola: STP completed || 4 tries, 3652769 fired transitions, 1600 secs || 5816495 markings, 11683748 edges, 3617 markings/sec, 1600 secs
lola: STP completed || 4 tries, 3664092 fired transitions, 1605 secs || 5834587 markings, 11720046 edges, 3618 markings/sec, 1605 secs
lola: STP completed || 4 tries, 3674997 fired transitions, 1610 secs || 5852633 markings, 11756213 edges, 3609 markings/sec, 1610 secs
lola: STP completed || 4 tries, 3686307 fired transitions, 1615 secs || 5870649 markings, 11792345 edges, 3603 markings/sec, 1615 secs
lola: STP completed || 4 tries, 3697838 fired transitions, 1620 secs || 5888672 markings, 11828499 edges, 3605 markings/sec, 1620 secs
lola: STP completed || 4 tries, 3709322 fired transitions, 1625 secs || 5906625 markings, 11864524 edges, 3591 markings/sec, 1625 secs
lola: STP completed || 4 tries, 3720525 fired transitions, 1630 secs || 5924584 markings, 11900584 edges, 3592 markings/sec, 1630 secs
lola: STP completed || 4 tries, 3732105 fired transitions, 1635 secs || 5942600 markings, 11936761 edges, 3603 markings/sec, 1635 secs
lola: STP completed || 4 tries, 3743299 fired transitions, 1640 secs || 5960524 markings, 11972711 edges, 3585 markings/sec, 1640 secs
lola: STP completed || 4 tries, 3754586 fired transitions, 1645 secs || 5978530 markings, 12008877 edges, 3601 markings/sec, 1645 secs
lola: STP completed || 4 tries, 3765792 fired transitions, 1650 secs || 5996448 markings, 12044853 edges, 3584 markings/sec, 1650 secs
lola: STP completed || 4 tries, 3777702 fired transitions, 1655 secs || 6014462 markings, 12081003 edges, 3603 markings/sec, 1655 secs
lola: STP completed || 4 tries, 3788856 fired transitions, 1660 secs || 6032483 markings, 12117169 edges, 3604 markings/sec, 1660 secs
lola: STP completed || 4 tries, 3800737 fired transitions, 1665 secs || 6050507 markings, 12153363 edges, 3605 markings/sec, 1665 secs
lola: STP completed || 4 tries, 3812233 fired transitions, 1670 secs || 6068506 markings, 12189511 edges, 3600 markings/sec, 1670 secs
lola: STP completed || 4 tries, 3823659 fired transitions, 1675 secs || 6086495 markings, 12225634 edges, 3598 markings/sec, 1675 secs
lola: STP completed || 4 tries, 3834775 fired transitions, 1680 secs || 6104566 markings, 12261958 edges, 3614 markings/sec, 1680 secs
lola: STP completed || 4 tries, 3846030 fired transitions, 1685 secs || 6122536 markings, 12298074 edges, 3594 markings/sec, 1685 secs
lola: STP completed || 4 tries, 3857430 fired transitions, 1690 secs || 6140544 markings, 12334282 edges, 3602 markings/sec, 1690 secs
lola: STP completed || 4 tries, 3868245 fired transitions, 1695 secs || 6158441 markings, 12370211 edges, 3579 markings/sec, 1695 secs
lola: STP completed || 4 tries, 3879514 fired transitions, 1700 secs || 6176451 markings, 12406405 edges, 3602 markings/sec, 1700 secs
lola: STP completed || 4 tries, 3890545 fired transitions, 1705 secs || 6194413 markings, 12442509 edges, 3592 markings/sec, 1705 secs
lola: STP completed || 4 tries, 3901700 fired transitions, 1710 secs || 6212309 markings, 12478480 edges, 3579 markings/sec, 1710 secs
lola: STP completed || 4 tries, 3913267 fired transitions, 1715 secs || 6230150 markings, 12514272 edges, 3568 markings/sec, 1715 secs
lola: STP completed || 4 tries, 3925013 fired transitions, 1720 secs || 6248096 markings, 12550301 edges, 3589 markings/sec, 1720 secs
lola: STP completed || 4 tries, 3936949 fired transitions, 1725 secs || 6265942 markings, 12586132 edges, 3569 markings/sec, 1725 secs
lola: STP completed || 4 tries, 3948855 fired transitions, 1730 secs || 6283825 markings, 12622052 edges, 3577 markings/sec, 1730 secs
lola: STP completed || 4 tries, 3960394 fired transitions, 1735 secs || 6301705 markings, 12657962 edges, 3576 markings/sec, 1735 secs
lola: STP completed || 4 tries, 3971859 fired transitions, 1740 secs || 6319582 markings, 12693890 edges, 3575 markings/sec, 1740 secs
lola: STP completed || 4 tries, 3983528 fired transitions, 1745 secs || 6337464 markings, 12729824 edges, 3576 markings/sec, 1745 secs
lola: STP completed || 4 tries, 3994790 fired transitions, 1750 secs || 6355342 markings, 12765762 edges, 3576 markings/sec, 1750 secs
lola: STP completed || 5 tries, 4005857 fired transitions, 1755 secs || 6373217 markings, 12801660 edges, 3575 markings/sec, 1755 secs
lola: STP completed || 5 tries, 4017421 fired transitions, 1760 secs || 6391060 markings, 12837516 edges, 3569 markings/sec, 1760 secs
lola: STP completed || 5 tries, 4029147 fired transitions, 1765 secs || 6408891 markings, 12873354 edges, 3566 markings/sec, 1765 secs
lola: STP completed || 5 tries, 4040683 fired transitions, 1770 secs || 6426777 markings, 12909310 edges, 3577 markings/sec, 1770 secs
lola: STP completed || 5 tries, 4052425 fired transitions, 1775 secs || 6444624 markings, 12945113 edges, 3569 markings/sec, 1775 secs
lola: STP completed || 5 tries, 4064032 fired transitions, 1780 secs || 6462542 markings, 12981091 edges, 3584 markings/sec, 1780 secs
lola: STP completed || 5 tries, 4075753 fired transitions, 1785 secs || 6480373 markings, 13016888 edges, 3566 markings/sec, 1785 secs
lola: STP completed || 5 tries, 4087626 fired transitions, 1790 secs || 6498332 markings, 13052950 edges, 3592 markings/sec, 1790 secs
lola: STP completed || 5 tries, 4099499 fired transitions, 1795 secs || 6516263 markings, 13088971 edges, 3586 markings/sec, 1795 secs
lola: STP completed || 5 tries, 4111280 fired transitions, 1800 secs || 6534225 markings, 13125072 edges, 3592 markings/sec, 1800 secs
lola: STP completed || 5 tries, 4123249 fired transitions, 1805 secs || 6552208 markings, 13161212 edges, 3597 markings/sec, 1805 secs
lola: STP completed || 5 tries, 4134788 fired transitions, 1810 secs || 6570128 markings, 13197227 edges, 3584 markings/sec, 1810 secs
lola: STP completed || 5 tries, 4146244 fired transitions, 1815 secs || 6588066 markings, 13233256 edges, 3588 markings/sec, 1815 secs
lola: STP completed || 5 tries, 4157671 fired transitions, 1820 secs || 6606027 markings, 13269359 edges, 3592 markings/sec, 1820 secs
lola: STP completed || 5 tries, 4168871 fired transitions, 1825 secs || 6623953 markings, 13305377 edges, 3585 markings/sec, 1825 secs
lola: STP completed || 5 tries, 4180619 fired transitions, 1830 secs || 6641941 markings, 13341546 edges, 3598 markings/sec, 1830 secs
lola: STP completed || 5 tries, 4191780 fired transitions, 1835 secs || 6659820 markings, 13377436 edges, 3576 markings/sec, 1835 secs
lola: STP completed || 5 tries, 4203188 fired transitions, 1840 secs || 6677858 markings, 13413691 edges, 3608 markings/sec, 1840 secs
lola: STP completed || 5 tries, 4214539 fired transitions, 1845 secs || 6695823 markings, 13449794 edges, 3593 markings/sec, 1845 secs
lola: STP completed || 5 tries, 4225398 fired transitions, 1850 secs || 6713822 markings, 13485982 edges, 3600 markings/sec, 1850 secs
lola: STP completed || 5 tries, 4236575 fired transitions, 1855 secs || 6731785 markings, 13522080 edges, 3593 markings/sec, 1855 secs
lola: STP completed || 5 tries, 4247443 fired transitions, 1860 secs || 6749751 markings, 13558204 edges, 3593 markings/sec, 1860 secs
lola: STP completed || 5 tries, 4258661 fired transitions, 1865 secs || 6767737 markings, 13594382 edges, 3597 markings/sec, 1865 secs
lola: STP completed || 5 tries, 4270339 fired transitions, 1870 secs || 6785846 markings, 13630803 edges, 3622 markings/sec, 1870 secs
lola: STP completed || 5 tries, 4281902 fired transitions, 1875 secs || 6804054 markings, 13667434 edges, 3642 markings/sec, 1875 secs
lola: STP completed || 5 tries, 4293497 fired transitions, 1880 secs || 6822181 markings, 13703868 edges, 3625 markings/sec, 1880 secs
lola: STP completed || 5 tries, 4305120 fired transitions, 1885 secs || 6840232 markings, 13740158 edges, 3610 markings/sec, 1885 secs
lola: STP completed || 5 tries, 4316480 fired transitions, 1890 secs || 6858397 markings, 13776694 edges, 3633 markings/sec, 1890 secs
lola: STP completed || 5 tries, 4327941 fired transitions, 1895 secs || 6876569 markings, 13813239 edges, 3634 markings/sec, 1895 secs
lola: STP completed || 5 tries, 4339731 fired transitions, 1900 secs || 6894697 markings, 13849691 edges, 3626 markings/sec, 1900 secs
lola: STP completed || 5 tries, 4350650 fired transitions, 1905 secs || 6912833 markings, 13886118 edges, 3627 markings/sec, 1905 secs
lola: STP completed || 5 tries, 4362081 fired transitions, 1910 secs || 6931012 markings, 13922657 edges, 3636 markings/sec, 1910 secs
lola: STP completed || 5 tries, 4373505 fired transitions, 1915 secs || 6949108 markings, 13959021 edges, 3619 markings/sec, 1915 secs
lola: STP completed || 5 tries, 4384578 fired transitions, 1920 secs || 6967238 markings, 13995465 edges, 3626 markings/sec, 1920 secs
lola: STP completed || 5 tries, 4395916 fired transitions, 1925 secs || 6985376 markings, 14031918 edges, 3628 markings/sec, 1925 secs
lola: STP completed || 5 tries, 4407352 fired transitions, 1930 secs || 7003505 markings, 14068372 edges, 3626 markings/sec, 1930 secs
lola: STP completed || 5 tries, 4419371 fired transitions, 1935 secs || 7021708 markings, 14105000 edges, 3641 markings/sec, 1935 secs
lola: STP completed || 5 tries, 4430913 fired transitions, 1940 secs || 7039872 markings, 14141523 edges, 3633 markings/sec, 1940 secs
lola: STP completed || 5 tries, 4442138 fired transitions, 1945 secs || 7058007 markings, 14177995 edges, 3627 markings/sec, 1945 secs
lola: STP completed || 5 tries, 4453830 fired transitions, 1950 secs || 7076116 markings, 14214401 edges, 3622 markings/sec, 1950 secs
lola: STP completed || 5 tries, 4465131 fired transitions, 1955 secs || 7094199 markings, 14250759 edges, 3617 markings/sec, 1955 secs
lola: STP completed || 5 tries, 4476204 fired transitions, 1960 secs || 7112348 markings, 14287268 edges, 3630 markings/sec, 1960 secs
lola: STP completed || 5 tries, 4487474 fired transitions, 1965 secs || 7130541 markings, 14323865 edges, 3639 markings/sec, 1965 secs
lola: STP completed || 5 tries, 4498515 fired transitions, 1970 secs || 7148620 markings, 14360161 edges, 3616 markings/sec, 1970 secs
lola: STP completed || 5 tries, 4510085 fired transitions, 1975 secs || 7166752 markings, 14396548 edges, 3626 markings/sec, 1975 secs
lola: STP completed || 5 tries, 4521605 fired transitions, 1980 secs || 7184899 markings, 14432993 edges, 3629 markings/sec, 1980 secs
lola: STP completed || 5 tries, 4532991 fired transitions, 1985 secs || 7203033 markings, 14469418 edges, 3627 markings/sec, 1985 secs
lola: STP completed || 5 tries, 4544711 fired transitions, 1990 secs || 7221098 markings, 14505690 edges, 3613 markings/sec, 1990 secs
lola: STP completed || 5 tries, 4556204 fired transitions, 1995 secs || 7239217 markings, 14542101 edges, 3624 markings/sec, 1995 secs
lola: STP completed || 5 tries, 4567390 fired transitions, 2000 secs || 7257278 markings, 14578399 edges, 3612 markings/sec, 2000 secs
lola: STP completed || 5 tries, 4577993 fired transitions, 2005 secs || 7275396 markings, 14614824 edges, 3624 markings/sec, 2005 secs
lola: STP completed || 5 tries, 4589671 fired transitions, 2010 secs || 7293455 markings, 14651095 edges, 3612 markings/sec, 2010 secs
lola: STP completed || 5 tries, 4600305 fired transitions, 2015 secs || 7311482 markings, 14687303 edges, 3605 markings/sec, 2015 secs
lola: STP completed || 5 tries, 4611320 fired transitions, 2020 secs || 7329515 markings, 14723556 edges, 3607 markings/sec, 2020 secs
lola: STP completed || 5 tries, 4622522 fired transitions, 2025 secs || 7347597 markings, 14759903 edges, 3616 markings/sec, 2025 secs
lola: STP completed || 5 tries, 4633513 fired transitions, 2030 secs || 7365722 markings, 14796309 edges, 3625 markings/sec, 2030 secs
lola: STP completed || 5 tries, 4644846 fired transitions, 2035 secs || 7383784 markings, 14832593 edges, 3612 markings/sec, 2035 secs
lola: STP completed || 5 tries, 4656302 fired transitions, 2040 secs || 7401986 markings, 14869192 edges, 3640 markings/sec, 2040 secs
lola: STP completed || 5 tries, 4667224 fired transitions, 2045 secs || 7420120 markings, 14905638 edges, 3627 markings/sec, 2045 secs
lola: STP completed || 5 tries, 4678649 fired transitions, 2050 secs || 7438164 markings, 14941896 edges, 3609 markings/sec, 2050 secs
lola: STP completed || 5 tries, 4690162 fired transitions, 2055 secs || 7456259 markings, 14978271 edges, 3619 markings/sec, 2055 secs
lola: STP completed || 5 tries, 4701207 fired transitions, 2060 secs || 7474438 markings, 15014842 edges, 3636 markings/sec, 2060 secs
lola: STP completed || 5 tries, 4711935 fired transitions, 2065 secs || 7492530 markings, 15051226 edges, 3618 markings/sec, 2065 secs
lola: STP completed || 5 tries, 4723031 fired transitions, 2070 secs || 7510637 markings, 15087646 edges, 3621 markings/sec, 2070 secs
lola: STP completed || 5 tries, 4734487 fired transitions, 2075 secs || 7528719 markings, 15123997 edges, 3616 markings/sec, 2075 secs
lola: STP completed || 5 tries, 4746042 fired transitions, 2080 secs || 7546762 markings, 15160271 edges, 3609 markings/sec, 2080 secs
lola: STP completed || 5 tries, 4756749 fired transitions, 2085 secs || 7564853 markings, 15196660 edges, 3618 markings/sec, 2085 secs
lola: STP completed || 5 tries, 4767985 fired transitions, 2090 secs || 7582934 markings, 15233022 edges, 3616 markings/sec, 2090 secs
lola: STP completed || 5 tries, 4779656 fired transitions, 2095 secs || 7601041 markings, 15269450 edges, 3621 markings/sec, 2095 secs
lola: STP completed || 5 tries, 4791006 fired transitions, 2100 secs || 7619087 markings, 15305685 edges, 3609 markings/sec, 2100 secs
lola: STP completed || 5 tries, 4802126 fired transitions, 2105 secs || 7637138 markings, 15341951 edges, 3610 markings/sec, 2105 secs
lola: STP completed || 5 tries, 4813466 fired transitions, 2110 secs || 7655278 markings, 15378420 edges, 3628 markings/sec, 2110 secs
lola: STP completed || 5 tries, 4825191 fired transitions, 2115 secs || 7673341 markings, 15414730 edges, 3613 markings/sec, 2115 secs
lola: STP completed || 5 tries, 4837031 fired transitions, 2120 secs || 7691329 markings, 15450886 edges, 3598 markings/sec, 2120 secs
lola: STP completed || 5 tries, 4848453 fired transitions, 2125 secs || 7709280 markings, 15486970 edges, 3590 markings/sec, 2125 secs
lola: STP completed || 5 tries, 4859895 fired transitions, 2130 secs || 7727258 markings, 15523135 edges, 3596 markings/sec, 2130 secs
lola: STP completed || 5 tries, 4871320 fired transitions, 2135 secs || 7745205 markings, 15559228 edges, 3589 markings/sec, 2135 secs
lola: STP completed || 5 tries, 4882768 fired transitions, 2140 secs || 7763182 markings, 15595388 edges, 3595 markings/sec, 2140 secs
lola: STP completed || 5 tries, 4893975 fired transitions, 2145 secs || 7781172 markings, 15631553 edges, 3598 markings/sec, 2145 secs
lola: STP completed || 5 tries, 4905625 fired transitions, 2150 secs || 7799064 markings, 15667522 edges, 3578 markings/sec, 2150 secs
lola: STP completed || 5 tries, 4917412 fired transitions, 2155 secs || 7817108 markings, 15703826 edges, 3609 markings/sec, 2155 secs
lola: STP completed || 5 tries, 4928763 fired transitions, 2160 secs || 7835041 markings, 15739879 edges, 3587 markings/sec, 2160 secs
lola: STP completed || 5 tries, 4940090 fired transitions, 2165 secs || 7852964 markings, 15775928 edges, 3585 markings/sec, 2165 secs
lola: STP completed || 5 tries, 4951756 fired transitions, 2170 secs || 7871034 markings, 15812167 edges, 3614 markings/sec, 2170 secs
lola: STP completed || 5 tries, 4962834 fired transitions, 2175 secs || 7889152 markings, 15848560 edges, 3624 markings/sec, 2175 secs
lola: STP completed || 5 tries, 4973847 fired transitions, 2180 secs || 7907233 markings, 15884864 edges, 3616 markings/sec, 2180 secs
lola: STP completed || 5 tries, 4985699 fired transitions, 2185 secs || 7925225 markings, 15920988 edges, 3598 markings/sec, 2185 secs
lola: STP completed || 5 tries, 4997632 fired transitions, 2190 secs || 7943237 markings, 15957170 edges, 3602 markings/sec, 2190 secs
lola: STP completed || 6 tries, 5008416 fired transitions, 2195 secs || 7961312 markings, 15993504 edges, 3615 markings/sec, 2195 secs
lola: STP completed || 6 tries, 5019701 fired transitions, 2200 secs || 7979365 markings, 16029791 edges, 3611 markings/sec, 2200 secs
lola: STP completed || 6 tries, 5031060 fired transitions, 2205 secs || 7997346 markings, 16065912 edges, 3596 markings/sec, 2205 secs
lola: STP completed || 6 tries, 5042601 fired transitions, 2210 secs || 8015340 markings, 16102053 edges, 3599 markings/sec, 2210 secs
lola: STP completed || 6 tries, 5054016 fired transitions, 2215 secs || 8033393 markings, 16138347 edges, 3611 markings/sec, 2215 secs
lola: STP completed || 6 tries, 5064775 fired transitions, 2220 secs || 8051432 markings, 16174604 edges, 3608 markings/sec, 2220 secs
lola: STP completed || 6 tries, 5075689 fired transitions, 2225 secs || 8069440 markings, 16210791 edges, 3602 markings/sec, 2225 secs
lola: STP completed || 6 tries, 5087076 fired transitions, 2230 secs || 8087517 markings, 16247099 edges, 3615 markings/sec, 2230 secs
lola: STP completed || 6 tries, 5098782 fired transitions, 2235 secs || 8105583 markings, 16283404 edges, 3613 markings/sec, 2235 secs
lola: STP completed || 6 tries, 5110445 fired transitions, 2240 secs || 8123680 markings, 16319773 edges, 3619 markings/sec, 2240 secs
lola: STP completed || 6 tries, 5121497 fired transitions, 2245 secs || 8141771 markings, 16356145 edges, 3618 markings/sec, 2245 secs
lola: STP completed || 6 tries, 5133134 fired transitions, 2250 secs || 8159799 markings, 16392376 edges, 3606 markings/sec, 2250 secs
lola: STP completed || 6 tries, 5144917 fired transitions, 2255 secs || 8177865 markings, 16428710 edges, 3613 markings/sec, 2255 secs
lola: STP completed || 6 tries, 5156442 fired transitions, 2260 secs || 8195960 markings, 16465106 edges, 3619 markings/sec, 2260 secs
lola: STP completed || 6 tries, 5167703 fired transitions, 2265 secs || 8214030 markings, 16501450 edges, 3614 markings/sec, 2265 secs
lola: STP completed || 6 tries, 5179202 fired transitions, 2270 secs || 8232043 markings, 16537673 edges, 3603 markings/sec, 2270 secs
lola: STP completed || 6 tries, 5190176 fired transitions, 2275 secs || 8250015 markings, 16573796 edges, 3594 markings/sec, 2275 secs
lola: STP completed || 6 tries, 5201682 fired transitions, 2280 secs || 8268000 markings, 16609969 edges, 3597 markings/sec, 2280 secs
lola: STP completed || 6 tries, 5213225 fired transitions, 2285 secs || 8285945 markings, 16646068 edges, 3589 markings/sec, 2285 secs
lola: STP completed || 6 tries, 5224591 fired transitions, 2290 secs || 8303992 markings, 16682367 edges, 3609 markings/sec, 2290 secs
lola: STP completed || 6 tries, 5236325 fired transitions, 2295 secs || 8321954 markings, 16718454 edges, 3592 markings/sec, 2295 secs
lola: STP completed || 6 tries, 5247491 fired transitions, 2300 secs || 8339998 markings, 16754702 edges, 3609 markings/sec, 2300 secs
lola: STP completed || 6 tries, 5259275 fired transitions, 2305 secs || 8358102 markings, 16791094 edges, 3621 markings/sec, 2305 secs
lola: STP completed || 6 tries, 5270578 fired transitions, 2310 secs || 8376220 markings, 16827502 edges, 3624 markings/sec, 2310 secs
lola: STP completed || 6 tries, 5281831 fired transitions, 2315 secs || 8394286 markings, 16863823 edges, 3613 markings/sec, 2315 secs
lola: STP completed || 6 tries, 5293208 fired transitions, 2320 secs || 8412353 markings, 16900141 edges, 3613 markings/sec, 2320 secs
lola: STP completed || 6 tries, 5304871 fired transitions, 2325 secs || 8430418 markings, 16936472 edges, 3613 markings/sec, 2325 secs
lola: STP completed || 6 tries, 5316207 fired transitions, 2330 secs || 8448487 markings, 16972809 edges, 3614 markings/sec, 2330 secs
lola: STP completed || 6 tries, 5327534 fired transitions, 2335 secs || 8466541 markings, 17009120 edges, 3611 markings/sec, 2335 secs
lola: STP completed || 6 tries, 5338587 fired transitions, 2340 secs || 8484626 markings, 17045483 edges, 3617 markings/sec, 2340 secs
lola: STP completed || 6 tries, 5349840 fired transitions, 2345 secs || 8502683 markings, 17081787 edges, 3611 markings/sec, 2345 secs
lola: STP completed || 6 tries, 5361476 fired transitions, 2350 secs || 8520736 markings, 17118099 edges, 3611 markings/sec, 2350 secs
lola: STP completed || 6 tries, 5372613 fired transitions, 2355 secs || 8538828 markings, 17154484 edges, 3618 markings/sec, 2355 secs
lola: STP completed || 6 tries, 5384304 fired transitions, 2360 secs || 8556890 markings, 17190814 edges, 3612 markings/sec, 2360 secs
lola: STP completed || 6 tries, 5395617 fired transitions, 2365 secs || 8574962 markings, 17227116 edges, 3614 markings/sec, 2365 secs
lola: STP completed || 6 tries, 5407540 fired transitions, 2370 secs || 8592997 markings, 17263348 edges, 3607 markings/sec, 2370 secs
lola: STP completed || 6 tries, 5418790 fired transitions, 2375 secs || 8611191 markings, 17299928 edges, 3639 markings/sec, 2375 secs
lola: STP completed || 6 tries, 5430192 fired transitions, 2380 secs || 8629304 markings, 17336336 edges, 3623 markings/sec, 2380 secs
lola: STP completed || 6 tries, 5441541 fired transitions, 2385 secs || 8647308 markings, 17372514 edges, 3601 markings/sec, 2385 secs
lola: STP completed || 6 tries, 5453262 fired transitions, 2390 secs || 8665370 markings, 17408822 edges, 3612 markings/sec, 2390 secs
lola: STP completed || 6 tries, 5464576 fired transitions, 2395 secs || 8683526 markings, 17445346 edges, 3631 markings/sec, 2395 secs
lola: STP completed || 6 tries, 5476057 fired transitions, 2400 secs || 8701591 markings, 17481670 edges, 3613 markings/sec, 2400 secs
lola: STP completed || 6 tries, 5487184 fired transitions, 2405 secs || 8719703 markings, 17518109 edges, 3622 markings/sec, 2405 secs
lola: STP completed || 6 tries, 5498749 fired transitions, 2410 secs || 8737758 markings, 17554403 edges, 3611 markings/sec, 2410 secs
lola: STP completed || 6 tries, 5510127 fired transitions, 2415 secs || 8755775 markings, 17590625 edges, 3603 markings/sec, 2415 secs
lola: STP completed || 6 tries, 5521253 fired transitions, 2420 secs || 8773870 markings, 17627015 edges, 3619 markings/sec, 2420 secs
lola: STP completed || 6 tries, 5532857 fired transitions, 2425 secs || 8791977 markings, 17663436 edges, 3621 markings/sec, 2425 secs
lola: STP completed || 6 tries, 5543845 fired transitions, 2430 secs || 8810105 markings, 17699899 edges, 3626 markings/sec, 2430 secs
lola: STP completed || 6 tries, 5555518 fired transitions, 2435 secs || 8828223 markings, 17736326 edges, 3624 markings/sec, 2435 secs
lola: STP completed || 6 tries, 5567363 fired transitions, 2440 secs || 8846283 markings, 17772631 edges, 3612 markings/sec, 2440 secs
lola: STP completed || 6 tries, 5578553 fired transitions, 2445 secs || 8864464 markings, 17809205 edges, 3636 markings/sec, 2445 secs
lola: STP completed || 6 tries, 5590273 fired transitions, 2450 secs || 8882550 markings, 17845572 edges, 3617 markings/sec, 2450 secs
lola: STP completed || 6 tries, 5601462 fired transitions, 2455 secs || 8900697 markings, 17882082 edges, 3629 markings/sec, 2455 secs
lola: STP completed || 6 tries, 5612999 fired transitions, 2460 secs || 8918866 markings, 17918631 edges, 3634 markings/sec, 2460 secs
lola: STP completed || 6 tries, 5624658 fired transitions, 2465 secs || 8936925 markings, 17954955 edges, 3612 markings/sec, 2465 secs
lola: STP completed || 6 tries, 5636423 fired transitions, 2470 secs || 8955120 markings, 17991572 edges, 3639 markings/sec, 2470 secs
lola: STP completed || 6 tries, 5648143 fired transitions, 2475 secs || 8973231 markings, 18028009 edges, 3622 markings/sec, 2475 secs
lola: STP completed || 6 tries, 5659486 fired transitions, 2480 secs || 8991403 markings, 18064592 edges, 3634 markings/sec, 2480 secs
lola: STP completed || 6 tries, 5670733 fired transitions, 2485 secs || 9009476 markings, 18100945 edges, 3615 markings/sec, 2485 secs
lola: STP completed || 6 tries, 5681970 fired transitions, 2490 secs || 9027456 markings, 18137106 edges, 3596 markings/sec, 2490 secs
lola: STP completed || 6 tries, 5693807 fired transitions, 2495 secs || 9045520 markings, 18173465 edges, 3613 markings/sec, 2495 secs
lola: STP completed || 6 tries, 5705138 fired transitions, 2500 secs || 9063560 markings, 18209768 edges, 3608 markings/sec, 2500 secs
lola: STP completed || 6 tries, 5716591 fired transitions, 2505 secs || 9081655 markings, 18246177 edges, 3619 markings/sec, 2505 secs
lola: STP completed || 6 tries, 5728241 fired transitions, 2510 secs || 9099699 markings, 18282480 edges, 3609 markings/sec, 2510 secs
lola: STP completed || 6 tries, 5739690 fired transitions, 2515 secs || 9117718 markings, 18318701 edges, 3604 markings/sec, 2515 secs
lola: STP completed || 6 tries, 5751362 fired transitions, 2520 secs || 9135752 markings, 18354964 edges, 3607 markings/sec, 2520 secs
lola: STP completed || 6 tries, 5762604 fired transitions, 2525 secs || 9153902 markings, 18391483 edges, 3630 markings/sec, 2525 secs
lola: STP completed || 6 tries, 5774087 fired transitions, 2530 secs || 9171932 markings, 18427739 edges, 3606 markings/sec, 2530 secs
lola: STP completed || 6 tries, 5785335 fired transitions, 2535 secs || 9189948 markings, 18463980 edges, 3603 markings/sec, 2535 secs
lola: STP completed || 6 tries, 5796689 fired transitions, 2540 secs || 9208042 markings, 18500370 edges, 3619 markings/sec, 2540 secs
lola: STP completed || 6 tries, 5808225 fired transitions, 2545 secs || 9226198 markings, 18536898 edges, 3631 markings/sec, 2545 secs
lola: STP completed || 6 tries, 5819777 fired transitions, 2550 secs || 9244480 markings, 18573699 edges, 3656 markings/sec, 2550 secs
lola: STP completed || 6 tries, 5830435 fired transitions, 2555 secs || 9262598 markings, 18610142 edges, 3624 markings/sec, 2555 secs
lola: STP completed || 6 tries, 5842041 fired transitions, 2560 secs || 9280818 markings, 18646819 edges, 3644 markings/sec, 2560 secs
lola: STP completed || 6 tries, 5852972 fired transitions, 2565 secs || 9298981 markings, 18683356 edges, 3633 markings/sec, 2565 secs
lola: STP completed || 6 tries, 5864382 fired transitions, 2570 secs || 9317061 markings, 18719716 edges, 3616 markings/sec, 2570 secs
lola: STP completed || 6 tries, 5875503 fired transitions, 2575 secs || 9335322 markings, 18756473 edges, 3652 markings/sec, 2575 secs
lola: STP completed || 6 tries, 5886684 fired transitions, 2580 secs || 9353484 markings, 18793015 edges, 3632 markings/sec, 2580 secs
lola: STP completed || 6 tries, 5897868 fired transitions, 2585 secs || 9371672 markings, 18829622 edges, 3638 markings/sec, 2585 secs
lola: STP completed || 6 tries, 5909312 fired transitions, 2590 secs || 9389814 markings, 18866082 edges, 3628 markings/sec, 2590 secs
lola: STP completed || 6 tries, 5920991 fired transitions, 2595 secs || 9407964 markings, 18902544 edges, 3630 markings/sec, 2595 secs
lola: STP completed || 6 tries, 5932328 fired transitions, 2600 secs || 9426160 markings, 18939121 edges, 3639 markings/sec, 2600 secs
lola: STP completed || 6 tries, 5944054 fired transitions, 2605 secs || 9444146 markings, 18975266 edges, 3597 markings/sec, 2605 secs
lola: STP completed || 6 tries, 5955388 fired transitions, 2610 secs || 9462047 markings, 19011251 edges, 3580 markings/sec, 2610 secs
lola: STP completed || 6 tries, 5966838 fired transitions, 2615 secs || 9479955 markings, 19047250 edges, 3582 markings/sec, 2615 secs
lola: STP completed || 6 tries, 5978081 fired transitions, 2620 secs || 9497845 markings, 19083235 edges, 3578 markings/sec, 2620 secs
lola: STP completed || 6 tries, 5989748 fired transitions, 2625 secs || 9515740 markings, 19119226 edges, 3579 markings/sec, 2625 secs
lola: STP completed || 7 tries, 6000837 fired transitions, 2630 secs || 9533701 markings, 19155353 edges, 3592 markings/sec, 2630 secs
lola: STP completed || 7 tries, 6012913 fired transitions, 2635 secs || 9551359 markings, 19190849 edges, 3532 markings/sec, 2635 secs
lola: STP completed || 7 tries, 6024723 fired transitions, 2640 secs || 9569114 markings, 19226543 edges, 3551 markings/sec, 2640 secs
lola: STP completed || 7 tries, 6035964 fired transitions, 2645 secs || 9586834 markings, 19262183 edges, 3544 markings/sec, 2645 secs
lola: STP completed || 7 tries, 6047527 fired transitions, 2650 secs || 9604569 markings, 19297852 edges, 3547 markings/sec, 2650 secs
lola: STP completed || 7 tries, 6058696 fired transitions, 2655 secs || 9622388 markings, 19333694 edges, 3564 markings/sec, 2655 secs
lola: STP completed || 7 tries, 6069982 fired transitions, 2660 secs || 9640331 markings, 19369765 edges, 3589 markings/sec, 2660 secs
lola: STP completed || 7 tries, 6081337 fired transitions, 2665 secs || 9658293 markings, 19405871 edges, 3592 markings/sec, 2665 secs
lola: STP completed || 7 tries, 6092566 fired transitions, 2670 secs || 9676328 markings, 19442148 edges, 3607 markings/sec, 2670 secs
lola: STP completed || 7 tries, 6104171 fired transitions, 2675 secs || 9694351 markings, 19478398 edges, 3605 markings/sec, 2675 secs
lola: STP completed || 7 tries, 6115307 fired transitions, 2680 secs || 9712421 markings, 19514750 edges, 3614 markings/sec, 2680 secs
lola: STP completed || 7 tries, 6126488 fired transitions, 2685 secs || 9730372 markings, 19550844 edges, 3590 markings/sec, 2685 secs
lola: STP completed || 7 tries, 6138319 fired transitions, 2690 secs || 9748342 markings, 19586995 edges, 3594 markings/sec, 2690 secs
lola: STP completed || 7 tries, 6150062 fired transitions, 2695 secs || 9766457 markings, 19623454 edges, 3623 markings/sec, 2695 secs
lola: STP completed || 7 tries, 6161566 fired transitions, 2700 secs || 9784434 markings, 19659627 edges, 3595 markings/sec, 2700 secs
lola: STP completed || 7 tries, 6173418 fired transitions, 2705 secs || 9802463 markings, 19695913 edges, 3606 markings/sec, 2705 secs
lola: STP completed || 7 tries, 6185320 fired transitions, 2710 secs || 9820453 markings, 19732104 edges, 3598 markings/sec, 2710 secs
lola: STP completed || 7 tries, 6196581 fired transitions, 2715 secs || 9838442 markings, 19768293 edges, 3598 markings/sec, 2715 secs
lola: STP completed || 7 tries, 6208072 fired transitions, 2720 secs || 9856414 markings, 19804453 edges, 3594 markings/sec, 2720 secs
lola: STP completed || 7 tries, 6220026 fired transitions, 2725 secs || 9874386 markings, 19840621 edges, 3594 markings/sec, 2725 secs
lola: STP completed || 7 tries, 6231684 fired transitions, 2730 secs || 9892337 markings, 19876740 edges, 3590 markings/sec, 2730 secs
lola: STP completed || 7 tries, 6243056 fired transitions, 2735 secs || 9910425 markings, 19913144 edges, 3618 markings/sec, 2735 secs
lola: STP completed || 7 tries, 6253820 fired transitions, 2740 secs || 9928384 markings, 19949245 edges, 3592 markings/sec, 2740 secs
lola: STP completed || 7 tries, 6265754 fired transitions, 2745 secs || 9946334 markings, 19985334 edges, 3590 markings/sec, 2745 secs
lola: STP completed || 7 tries, 6277153 fired transitions, 2750 secs || 9964338 markings, 20021549 edges, 3601 markings/sec, 2750 secs
lola: STP completed || 7 tries, 6288390 fired transitions, 2755 secs || 9982364 markings, 20057802 edges, 3605 markings/sec, 2755 secs
lola: STP completed || 7 tries, 6299597 fired transitions, 2760 secs || 10000415 markings, 20094114 edges, 3610 markings/sec, 2760 secs
lola: STP completed || 7 tries, 6311173 fired transitions, 2765 secs || 10018401 markings, 20130290 edges, 3597 markings/sec, 2765 secs
lola: STP completed || 7 tries, 6322749 fired transitions, 2770 secs || 10036345 markings, 20166384 edges, 3589 markings/sec, 2770 secs
lola: STP completed || 7 tries, 6334035 fired transitions, 2775 secs || 10054371 markings, 20202666 edges, 3605 markings/sec, 2775 secs
lola: STP completed || 7 tries, 6345979 fired transitions, 2780 secs || 10072346 markings, 20238839 edges, 3595 markings/sec, 2780 secs
lola: STP completed || 7 tries, 6357152 fired transitions, 2785 secs || 10090364 markings, 20275094 edges, 3604 markings/sec, 2785 secs
lola: STP completed || 7 tries, 6369014 fired transitions, 2790 secs || 10108314 markings, 20311201 edges, 3590 markings/sec, 2790 secs
lola: STP completed || 7 tries, 6380619 fired transitions, 2795 secs || 10126286 markings, 20347358 edges, 3594 markings/sec, 2795 secs
lola: STP completed || 7 tries, 6392278 fired transitions, 2800 secs || 10144231 markings, 20383458 edges, 3589 markings/sec, 2800 secs
lola: STP completed || 7 tries, 6403873 fired transitions, 2805 secs || 10162321 markings, 20419877 edges, 3618 markings/sec, 2805 secs
lola: STP completed || 7 tries, 6415389 fired transitions, 2810 secs || 10180282 markings, 20456008 edges, 3592 markings/sec, 2810 secs
lola: STP completed || 7 tries, 6426535 fired transitions, 2815 secs || 10198324 markings, 20492328 edges, 3608 markings/sec, 2815 secs
lola: STP completed || 7 tries, 6438177 fired transitions, 2820 secs || 10216419 markings, 20528623 edges, 3619 markings/sec, 2820 secs
lola: STP completed || 7 tries, 6449550 fired transitions, 2825 secs || 10234485 markings, 20564892 edges, 3613 markings/sec, 2825 secs
lola: STP completed || 7 tries, 6460704 fired transitions, 2830 secs || 10252568 markings, 20601205 edges, 3617 markings/sec, 2830 secs
lola: STP completed || 7 tries, 6471753 fired transitions, 2835 secs || 10270609 markings, 20637430 edges, 3608 markings/sec, 2835 secs
lola: STP completed || 7 tries, 6483206 fired transitions, 2840 secs || 10288656 markings, 20673680 edges, 3609 markings/sec, 2840 secs
lola: STP completed || 7 tries, 6493656 fired transitions, 2845 secs || 10306727 markings, 20710007 edges, 3614 markings/sec, 2845 secs
lola: STP completed || 7 tries, 6505307 fired transitions, 2850 secs || 10324798 markings, 20746328 edges, 3614 markings/sec, 2850 secs
lola: STP completed || 7 tries, 6516961 fired transitions, 2855 secs || 10342861 markings, 20782624 edges, 3613 markings/sec, 2855 secs
lola: STP completed || 7 tries, 6528945 fired transitions, 2860 secs || 10360876 markings, 20818807 edges, 3603 markings/sec, 2860 secs
lola: STP completed || 7 tries, 6540085 fired transitions, 2865 secs || 10378866 markings, 20854963 edges, 3598 markings/sec, 2865 secs
lola: STP completed || 7 tries, 6551541 fired transitions, 2870 secs || 10396897 markings, 20891196 edges, 3606 markings/sec, 2870 secs
lola: STP completed || 7 tries, 6563586 fired transitions, 2875 secs || 10415017 markings, 20927624 edges, 3624 markings/sec, 2875 secs
lola: STP completed || 7 tries, 6575069 fired transitions, 2880 secs || 10433252 markings, 20964245 edges, 3647 markings/sec, 2880 secs
lola: STP completed || 7 tries, 6586487 fired transitions, 2885 secs || 10451399 markings, 21000713 edges, 3629 markings/sec, 2885 secs
lola: STP completed || 7 tries, 6598035 fired transitions, 2890 secs || 10469579 markings, 21037255 edges, 3636 markings/sec, 2890 secs
lola: STP completed || 7 tries, 6609255 fired transitions, 2895 secs || 10487624 markings, 21073526 edges, 3609 markings/sec, 2895 secs
lola: STP completed || 7 tries, 6620662 fired transitions, 2900 secs || 10505661 markings, 21109782 edges, 3607 markings/sec, 2900 secs
lola: STP completed || 7 tries, 6631805 fired transitions, 2905 secs || 10523651 markings, 21145948 edges, 3598 markings/sec, 2905 secs
lola: STP completed || 7 tries, 6643178 fired transitions, 2910 secs || 10541731 markings, 21182327 edges, 3616 markings/sec, 2910 secs
lola: STP completed || 7 tries, 6654489 fired transitions, 2915 secs || 10559734 markings, 21218529 edges, 3601 markings/sec, 2915 secs
lola: STP completed || 7 tries, 6665841 fired transitions, 2920 secs || 10577770 markings, 21254801 edges, 3607 markings/sec, 2920 secs
lola: STP completed || 7 tries, 6676770 fired transitions, 2925 secs || 10595768 markings, 21290971 edges, 3600 markings/sec, 2925 secs
lola: STP completed || 7 tries, 6688435 fired transitions, 2930 secs || 10613754 markings, 21327135 edges, 3597 markings/sec, 2930 secs
lola: STP completed || 7 tries, 6700078 fired transitions, 2935 secs || 10631824 markings, 21363499 edges, 3614 markings/sec, 2935 secs
lola: STP completed || 7 tries, 6711519 fired transitions, 2940 secs || 10649808 markings, 21399663 edges, 3597 markings/sec, 2940 secs
lola: STP completed || 7 tries, 6723430 fired transitions, 2945 secs || 10667813 markings, 21435850 edges, 3601 markings/sec, 2945 secs
lola: STP completed || 7 tries, 6734761 fired transitions, 2950 secs || 10685850 markings, 21472079 edges, 3607 markings/sec, 2950 secs
lola: STP completed || 7 tries, 6746083 fired transitions, 2955 secs || 10703903 markings, 21508363 edges, 3611 markings/sec, 2955 secs
lola: STP completed || 7 tries, 6757236 fired transitions, 2960 secs || 10722021 markings, 21544780 edges, 3624 markings/sec, 2960 secs
lola: STP completed || 7 tries, 6768781 fired transitions, 2965 secs || 10740193 markings, 21581310 edges, 3634 markings/sec, 2965 secs
lola: STP completed || 7 tries, 6780046 fired transitions, 2970 secs || 10758386 markings, 21617877 edges, 3639 markings/sec, 2970 secs
lola: STP completed || 7 tries, 6791186 fired transitions, 2975 secs || 10776553 markings, 21654411 edges, 3633 markings/sec, 2975 secs
lola: STP completed || 7 tries, 6802825 fired transitions, 2980 secs || 10794829 markings, 21691182 edges, 3655 markings/sec, 2980 secs
lola: STP completed || 7 tries, 6813769 fired transitions, 2985 secs || 10812981 markings, 21727680 edges, 3630 markings/sec, 2985 secs
lola: STP completed || 7 tries, 6824728 fired transitions, 2990 secs || 10831101 markings, 21764114 edges, 3624 markings/sec, 2990 secs
lola: STP completed || 7 tries, 6836464 fired transitions, 2995 secs || 10849124 markings, 21800341 edges, 3605 markings/sec, 2995 secs
lola: STP completed || 7 tries, 6848405 fired transitions, 3000 secs || 10867082 markings, 21836462 edges, 3592 markings/sec, 3000 secs
lola: STP completed || 7 tries, 6859603 fired transitions, 3005 secs || 10884948 markings, 21872395 edges, 3573 markings/sec, 3005 secs
lola: STP completed || 7 tries, 6871044 fired transitions, 3010 secs || 10902888 markings, 21908481 edges, 3588 markings/sec, 3010 secs
lola: STP completed || 7 tries, 6882606 fired transitions, 3015 secs || 10920813 markings, 21944496 edges, 3585 markings/sec, 3015 secs
lola: STP completed || 7 tries, 6893711 fired transitions, 3020 secs || 10938868 markings, 21980765 edges, 3611 markings/sec, 3020 secs
lola: STP completed || 7 tries, 6905198 fired transitions, 3025 secs || 10957041 markings, 22017302 edges, 3635 markings/sec, 3025 secs
lola: STP completed || 7 tries, 6916324 fired transitions, 3030 secs || 10975231 markings, 22053857 edges, 3638 markings/sec, 3030 secs
lola: STP completed || 7 tries, 6927567 fired transitions, 3035 secs || 10993389 markings, 22090349 edges, 3632 markings/sec, 3035 secs
lola: STP completed || 7 tries, 6938915 fired transitions, 3040 secs || 11011553 markings, 22126865 edges, 3633 markings/sec, 3040 secs
lola: STP completed || 7 tries, 6949974 fired transitions, 3045 secs || 11029740 markings, 22163445 edges, 3637 markings/sec, 3045 secs
lola: STP completed || 7 tries, 6961557 fired transitions, 3050 secs || 11047891 markings, 22199949 edges, 3630 markings/sec, 3050 secs
lola: STP completed || 7 tries, 6973149 fired transitions, 3055 secs || 11065948 markings, 22236271 edges, 3611 markings/sec, 3055 secs
lola: STP completed || 7 tries, 6984133 fired transitions, 3060 secs || 11083888 markings, 22272331 edges, 3588 markings/sec, 3060 secs
lola: STP completed || 7 tries, 6995000 fired transitions, 3065 secs || 11101850 markings, 22308450 edges, 3592 markings/sec, 3065 secs
lola: STP completed || 8 tries, 7005980 fired transitions, 3070 secs || 11119811 markings, 22344574 edges, 3592 markings/sec, 3070 secs
lola: STP completed || 8 tries, 7017296 fired transitions, 3075 secs || 11137713 markings, 22380578 edges, 3580 markings/sec, 3075 secs
lola: STP completed || 8 tries, 7028493 fired transitions, 3080 secs || 11155661 markings, 22416681 edges, 3590 markings/sec, 3080 secs
lola: STP completed || 8 tries, 7039906 fired transitions, 3085 secs || 11173630 markings, 22452806 edges, 3594 markings/sec, 3085 secs
lola: STP completed || 8 tries, 7051282 fired transitions, 3090 secs || 11191542 markings, 22488815 edges, 3582 markings/sec, 3090 secs
lola: STP completed || 8 tries, 7062740 fired transitions, 3095 secs || 11209495 markings, 22524920 edges, 3591 markings/sec, 3095 secs
lola: STP completed || 8 tries, 7073946 fired transitions, 3100 secs || 11227450 markings, 22561029 edges, 3591 markings/sec, 3100 secs
lola: STP completed || 8 tries, 7085580 fired transitions, 3105 secs || 11245417 markings, 22597174 edges, 3593 markings/sec, 3105 secs
lola: STP completed || 8 tries, 7097389 fired transitions, 3110 secs || 11263411 markings, 22633367 edges, 3599 markings/sec, 3110 secs
lola: STP completed || 8 tries, 7108772 fired transitions, 3115 secs || 11281310 markings, 22669370 edges, 3580 markings/sec, 3115 secs
lola: STP completed || 8 tries, 7120695 fired transitions, 3120 secs || 11299361 markings, 22705705 edges, 3610 markings/sec, 3120 secs
lola: STP completed || 8 tries, 7132091 fired transitions, 3125 secs || 11317330 markings, 22741866 edges, 3594 markings/sec, 3125 secs
lola: STP completed || 8 tries, 7143574 fired transitions, 3130 secs || 11335293 markings, 22778007 edges, 3593 markings/sec, 3130 secs
lola: STP completed || 8 tries, 7154956 fired transitions, 3135 secs || 11353250 markings, 22814132 edges, 3591 markings/sec, 3135 secs
lola: STP completed || 8 tries, 7166750 fired transitions, 3140 secs || 11371171 markings, 22850187 edges, 3584 markings/sec, 3140 secs
lola: STP completed || 8 tries, 7177759 fired transitions, 3145 secs || 11389066 markings, 22886186 edges, 3579 markings/sec, 3145 secs
lola: STP completed || 8 tries, 7189607 fired transitions, 3150 secs || 11407054 markings, 22922402 edges, 3598 markings/sec, 3150 secs
lola: STP completed || 8 tries, 7200935 fired transitions, 3155 secs || 11424836 markings, 22958169 edges, 3556 markings/sec, 3155 secs
lola: STP completed || 8 tries, 7212634 fired transitions, 3160 secs || 11442695 markings, 22994119 edges, 3572 markings/sec, 3160 secs
lola: STP completed || 8 tries, 7224215 fired transitions, 3165 secs || 11460551 markings, 23030009 edges, 3571 markings/sec, 3165 secs
lola: STP completed || 8 tries, 7235812 fired transitions, 3170 secs || 11478391 markings, 23065874 edges, 3568 markings/sec, 3170 secs
lola: STP completed || 8 tries, 7247442 fired transitions, 3175 secs || 11496278 markings, 23101851 edges, 3577 markings/sec, 3175 secs
lola: STP completed || 8 tries, 7259012 fired transitions, 3180 secs || 11514145 markings, 23137786 edges, 3573 markings/sec, 3180 secs
lola: STP completed || 8 tries, 7270165 fired transitions, 3185 secs || 11532026 markings, 23173757 edges, 3576 markings/sec, 3185 secs
lola: STP completed || 8 tries, 7281734 fired transitions, 3190 secs || 11549873 markings, 23209655 edges, 3569 markings/sec, 3190 secs
lola: STP completed || 8 tries, 7293235 fired transitions, 3195 secs || 11567657 markings, 23245427 edges, 3557 markings/sec, 3195 secs
lola: STP completed || 8 tries, 7304369 fired transitions, 3200 secs || 11585502 markings, 23281339 edges, 3569 markings/sec, 3200 secs
lola: STP completed || 8 tries, 7315729 fired transitions, 3205 secs || 11603394 markings, 23317346 edges, 3578 markings/sec, 3205 secs
lola: STP completed || 8 tries, 7326798 fired transitions, 3210 secs || 11621226 markings, 23353234 edges, 3566 markings/sec, 3210 secs
lola: STP completed || 8 tries, 7338411 fired transitions, 3215 secs || 11639031 markings, 23389052 edges, 3561 markings/sec, 3215 secs
lola: STP completed || 8 tries, 7349872 fired transitions, 3220 secs || 11656789 markings, 23424782 edges, 3552 markings/sec, 3220 secs
lola: STP completed || 8 tries, 7361382 fired transitions, 3225 secs || 11674499 markings, 23460404 edges, 3542 markings/sec, 3225 secs
lola: STP completed || 8 tries, 7372850 fired transitions, 3230 secs || 11692249 markings, 23496128 edges, 3550 markings/sec, 3230 secs
lola: STP completed || 8 tries, 7384097 fired transitions, 3235 secs || 11710035 markings, 23531920 edges, 3557 markings/sec, 3235 secs
lola: STP completed || 8 tries, 7395687 fired transitions, 3240 secs || 11727835 markings, 23567747 edges, 3560 markings/sec, 3240 secs
lola: STP completed || 8 tries, 7407317 fired transitions, 3245 secs || 11745619 markings, 23603461 edges, 3557 markings/sec, 3245 secs
lola: STP completed || 8 tries, 7418947 fired transitions, 3250 secs || 11763434 markings, 23639247 edges, 3563 markings/sec, 3250 secs
lola: STP completed || 8 tries, 7430541 fired transitions, 3255 secs || 11781250 markings, 23675065 edges, 3563 markings/sec, 3255 secs
lola: STP completed || 8 tries, 7441910 fired transitions, 3260 secs || 11799079 markings, 23710902 edges, 3566 markings/sec, 3260 secs
lola: STP completed || 8 tries, 7453289 fired transitions, 3265 secs || 11816835 markings, 23746590 edges, 3551 markings/sec, 3265 secs
lola: STP completed || 8 tries, 7464752 fired transitions, 3270 secs || 11834599 markings, 23782304 edges, 3553 markings/sec, 3270 secs
lola: STP completed || 8 tries, 7476338 fired transitions, 3275 secs || 11852432 markings, 23818172 edges, 3567 markings/sec, 3275 secs
lola: STP completed || 8 tries, 7487808 fired transitions, 3280 secs || 11870283 markings, 23854080 edges, 3570 markings/sec, 3280 secs
lola: STP completed || 8 tries, 7499771 fired transitions, 3285 secs || 11888163 markings, 23890046 edges, 3576 markings/sec, 3285 secs
lola: STP completed || 8 tries, 7511117 fired transitions, 3290 secs || 11905954 markings, 23925800 edges, 3558 markings/sec, 3290 secs
lola: STP completed || 8 tries, 7522500 fired transitions, 3295 secs || 11923739 markings, 23961564 edges, 3557 markings/sec, 3295 secs
lola: STP completed || 8 tries, 7534208 fired transitions, 3300 secs || 11941503 markings, 23997292 edges, 3553 markings/sec, 3300 secs
lola: STP completed || 8 tries, 7545772 fired transitions, 3305 secs || 11959296 markings, 24033073 edges, 3559 markings/sec, 3305 secs
lola: STP completed || 8 tries, 7557103 fired transitions, 3310 secs || 11977092 markings, 24068875 edges, 3559 markings/sec, 3310 secs
lola: STP completed || 8 tries, 7568483 fired transitions, 3315 secs || 11994919 markings, 24104703 edges, 3565 markings/sec, 3315 secs
lola: STP completed || 8 tries, 7579817 fired transitions, 3320 secs || 12012708 markings, 24140471 edges, 3558 markings/sec, 3320 secs
lola: STP completed || 8 tries, 7591143 fired transitions, 3325 secs || 12030545 markings, 24176356 edges, 3567 markings/sec, 3325 secs
lola: STP completed || 8 tries, 7602995 fired transitions, 3330 secs || 12048368 markings, 24212189 edges, 3565 markings/sec, 3330 secs
lola: STP completed || 8 tries, 7614609 fired transitions, 3335 secs || 12066244 markings, 24248152 edges, 3575 markings/sec, 3335 secs
lola: STP completed || 8 tries, 7626200 fired transitions, 3340 secs || 12084056 markings, 24283979 edges, 3562 markings/sec, 3340 secs
lola: STP completed || 8 tries, 7637843 fired transitions, 3345 secs || 12101845 markings, 24319764 edges, 3558 markings/sec, 3345 secs
lola: STP completed || 8 tries, 7649056 fired transitions, 3350 secs || 12119663 markings, 24355626 edges, 3564 markings/sec, 3350 secs
lola: STP completed || 8 tries, 7660322 fired transitions, 3355 secs || 12137544 markings, 24391607 edges, 3576 markings/sec, 3355 secs
lola: STP completed || 8 tries, 7671541 fired transitions, 3360 secs || 12155340 markings, 24427423 edges, 3559 markings/sec, 3360 secs
lola: STP completed || 8 tries, 7682921 fired transitions, 3365 secs || 12173165 markings, 24463279 edges, 3565 markings/sec, 3365 secs
lola: STP completed || 8 tries, 7694540 fired transitions, 3370 secs || 12190984 markings, 24499120 edges, 3564 markings/sec, 3370 secs
lola: STP completed || 8 tries, 7706309 fired transitions, 3375 secs || 12208756 markings, 24534878 edges, 3554 markings/sec, 3375 secs
lola: STP completed || 8 tries, 7717396 fired transitions, 3380 secs || 12226616 markings, 24570830 edges, 3572 markings/sec, 3380 secs
lola: STP completed || 8 tries, 7728378 fired transitions, 3385 secs || 12244409 markings, 24606623 edges, 3559 markings/sec, 3385 secs
lola: STP completed || 8 tries, 7740036 fired transitions, 3390 secs || 12262289 markings, 24642623 edges, 3576 markings/sec, 3390 secs
lola: STP completed || 8 tries, 7751669 fired transitions, 3395 secs || 12280097 markings, 24678410 edges, 3562 markings/sec, 3395 secs
lola: STP completed || 8 tries, 7763688 fired transitions, 3400 secs || 12297859 markings, 24714113 edges, 3552 markings/sec, 3400 secs
lola: STP completed || 8 tries, 7775029 fired transitions, 3405 secs || 12315743 markings, 24750095 edges, 3577 markings/sec, 3405 secs
lola: STP completed || 8 tries, 7786620 fired transitions, 3410 secs || 12333531 markings, 24785867 edges, 3558 markings/sec, 3410 secs
lola: STP completed || 8 tries, 7797542 fired transitions, 3415 secs || 12351362 markings, 24821741 edges, 3566 markings/sec, 3415 secs
lola: STP completed || 8 tries, 7808719 fired transitions, 3420 secs || 12369126 markings, 24857464 edges, 3553 markings/sec, 3420 secs
lola: STP completed || 8 tries, 7820525 fired transitions, 3425 secs || 12386914 markings, 24893256 edges, 3558 markings/sec, 3425 secs
lola: STP completed || 8 tries, 7832060 fired transitions, 3430 secs || 12404716 markings, 24929076 edges, 3560 markings/sec, 3430 secs
lola: STP completed || 8 tries, 7843762 fired transitions, 3435 secs || 12422570 markings, 24965002 edges, 3571 markings/sec, 3435 secs
lola: STP completed || 8 tries, 7854799 fired transitions, 3440 secs || 12440387 markings, 25000862 edges, 3563 markings/sec, 3440 secs
lola: STP completed || 8 tries, 7865951 fired transitions, 3445 secs || 12458186 markings, 25036666 edges, 3560 markings/sec, 3445 secs
lola: STP completed || 8 tries, 7876966 fired transitions, 3450 secs || 12475955 markings, 25072416 edges, 3554 markings/sec, 3450 secs
lola: STP completed || 8 tries, 7888641 fired transitions, 3455 secs || 12493707 markings, 25108127 edges, 3550 markings/sec, 3455 secs
lola: STP completed || 8 tries, 7900150 fired transitions, 3460 secs || 12511573 markings, 25144089 edges, 3573 markings/sec, 3460 secs
lola: STP completed || 8 tries, 7911371 fired transitions, 3465 secs || 12529362 markings, 25179879 edges, 3558 markings/sec, 3465 secs
lola: STP completed || 8 tries, 7923042 fired transitions, 3470 secs || 12547238 markings, 25215865 edges, 3575 markings/sec, 3470 secs
lola: STP completed || 8 tries, 7934380 fired transitions, 3475 secs || 12564989 markings, 25251399 edges, 3550 markings/sec, 3475 secs
lola: STP completed || 8 tries, 7945870 fired transitions, 3480 secs || 12582804 markings, 25287128 edges, 3563 markings/sec, 3480 secs
lola: STP completed || 8 tries, 7957356 fired transitions, 3485 secs || 12600581 markings, 25322787 edges, 3555 markings/sec, 3485 secs
lola: STP completed || 8 tries, 7969118 fired transitions, 3490 secs || 12618265 markings, 25358250 edges, 3537 markings/sec, 3490 secs
lola: STP completed || 8 tries, 7980636 fired transitions, 3495 secs || 12635990 markings, 25393837 edges, 3545 markings/sec, 3495 secs
lola: STP completed || 8 tries, 7991910 fired transitions, 3500 secs || 12653693 markings, 25429383 edges, 3541 markings/sec, 3500 secs
lola: STP completed || 9 tries, 8003256 fired transitions, 3505 secs || 12671380 markings, 25464876 edges, 3537 markings/sec, 3505 secs
lola: STP completed || 9 tries, 8014463 fired transitions, 3510 secs || 12689028 markings, 25500293 edges, 3530 markings/sec, 3510 secs
lola: STP completed || 9 tries, 8026501 fired transitions, 3515 secs || 12706696 markings, 25535775 edges, 3534 markings/sec, 3515 secs
lola: STP completed || 9 tries, 8037914 fired transitions, 3520 secs || 12724365 markings, 25571262 edges, 3534 markings/sec, 3520 secs
lola: STP completed || 9 tries, 8049432 fired transitions, 3525 secs || 12742103 markings, 25606844 edges, 3548 markings/sec, 3525 secs
lola: STP completed || 9 tries, 8060873 fired transitions, 3530 secs || 12759776 markings, 25642319 edges, 3535 markings/sec, 3530 secs
lola: STP completed || 9 tries, 8072381 fired transitions, 3535 secs || 12777506 markings, 25677922 edges, 3546 markings/sec, 3535 secs
lola: STP completed || 9 tries, 8083328 fired transitions, 3540 secs || 12795220 markings, 25713497 edges, 3543 markings/sec, 3540 secs
lola: STP completed || 9 tries, 8094698 fired transitions, 3545 secs || 12812894 markings, 25748995 edges, 3535 markings/sec, 3545 secs
lola: STP completed || 9 tries, 8106141 fired transitions, 3550 secs || 12830614 markings, 25784613 edges, 3544 markings/sec, 3550 secs
lola: STP completed || 9 tries, 8117600 fired transitions, 3555 secs || 12848333 markings, 25820222 edges, 3544 markings/sec, 3555 secs
lola: STP completed || 9 tries, 8129143 fired transitions, 3560 secs || 12866004 markings, 25855743 edges, 3534 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 3185056 KB
lola: time consumption: 3569 seconds

BK_STOP 1527119102719

--------------------
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="SharedMemory-COL-000050"
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/SharedMemory-COL-000050.tgz
mv SharedMemory-COL-000050 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 SharedMemory-COL-000050, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708742800027"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;