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 364K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 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 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 196K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-09, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578900160
=====================================================================

--------------------
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 Raft-PT-09-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526957617266

info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-09 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Raft-PT-09 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-09 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1123/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-09-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 122 generators (11 in search tree, 111 by composition)
lola: representing 362880 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 13775 variables and 50332 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 66478 fired transitions, 0 secs || 57594 markings, 372664 edges, 11519 markings/sec, 0 secs
lola: STP completed || 1 tries, 134405 fired transitions, 5 secs || 116144 markings, 756549 edges, 11710 markings/sec, 5 secs
lola: STP completed || 1 tries, 197931 fired transitions, 10 secs || 171099 markings, 1115621 edges, 10991 markings/sec, 10 secs
lola: STP completed || 1 tries, 263220 fired transitions, 15 secs || 226923 markings, 1477958 edges, 11165 markings/sec, 15 secs
lola: STP completed || 1 tries, 326541 fired transitions, 20 secs || 282083 markings, 1836516 edges, 11032 markings/sec, 20 secs
lola: STP completed || 1 tries, 394763 fired transitions, 25 secs || 340156 markings, 2215431 edges, 11615 markings/sec, 25 secs
lola: STP completed || 1 tries, 458601 fired transitions, 30 secs || 395239 markings, 2573812 edges, 11017 markings/sec, 30 secs
lola: STP completed || 1 tries, 521572 fired transitions, 35 secs || 449999 markings, 2929476 edges, 10952 markings/sec, 35 secs
lola: STP completed || 1 tries, 584613 fired transitions, 40 secs || 504257 markings, 3288424 edges, 10852 markings/sec, 40 secs
lola: STP completed || 1 tries, 647702 fired transitions, 45 secs || 557724 markings, 3642808 edges, 10693 markings/sec, 45 secs
lola: STP completed || 1 tries, 711099 fired transitions, 50 secs || 612831 markings, 4004758 edges, 11021 markings/sec, 50 secs
lola: STP completed || 1 tries, 773685 fired transitions, 55 secs || 667791 markings, 4362600 edges, 10992 markings/sec, 55 secs
lola: STP completed || 1 tries, 836057 fired transitions, 60 secs || 722848 markings, 4719010 edges, 11011 markings/sec, 60 secs
lola: STP completed || 1 tries, 898590 fired transitions, 65 secs || 777620 markings, 5080117 edges, 10954 markings/sec, 65 secs
lola: STP completed || 1 tries, 961888 fired transitions, 70 secs || 829619 markings, 5516230 edges, 10400 markings/sec, 70 secs
lola: STP completed || 2 tries, 1024938 fired transitions, 75 secs || 878457 markings, 5990347 edges, 9768 markings/sec, 75 secs
lola: STP completed || 2 tries, 1087593 fired transitions, 80 secs || 928127 markings, 6459363 edges, 9934 markings/sec, 80 secs
lola: STP completed || 2 tries, 1151939 fired transitions, 85 secs || 978588 markings, 6939845 edges, 10092 markings/sec, 85 secs
lola: STP completed || 2 tries, 1219050 fired transitions, 90 secs || 1031390 markings, 7445995 edges, 10560 markings/sec, 90 secs
lola: STP completed || 2 tries, 1286730 fired transitions, 95 secs || 1083955 markings, 7950163 edges, 10513 markings/sec, 95 secs
lola: STP completed || 2 tries, 1351976 fired transitions, 100 secs || 1135653 markings, 8441268 edges, 10340 markings/sec, 100 secs
lola: STP completed || 2 tries, 1419665 fired transitions, 105 secs || 1188937 markings, 8944886 edges, 10657 markings/sec, 105 secs
lola: STP completed || 2 tries, 1487549 fired transitions, 110 secs || 1241935 markings, 9450164 edges, 10600 markings/sec, 110 secs
lola: STP completed || 2 tries, 1550612 fired transitions, 115 secs || 1291762 markings, 9928996 edges, 9965 markings/sec, 115 secs
lola: STP completed || 2 tries, 1614053 fired transitions, 120 secs || 1340694 markings, 10401313 edges, 9786 markings/sec, 120 secs
lola: STP completed || 2 tries, 1677317 fired transitions, 125 secs || 1390394 markings, 10874728 edges, 9940 markings/sec, 125 secs
lola: STP completed || 2 tries, 1740423 fired transitions, 130 secs || 1440550 markings, 11349486 edges, 10031 markings/sec, 130 secs
lola: STP completed || 2 tries, 1803463 fired transitions, 135 secs || 1490201 markings, 11824511 edges, 9930 markings/sec, 135 secs
lola: STP completed || 2 tries, 1866686 fired transitions, 140 secs || 1540767 markings, 12301661 edges, 10113 markings/sec, 140 secs
lola: STP completed || 2 tries, 1929948 fired transitions, 145 secs || 1590368 markings, 12777523 edges, 9920 markings/sec, 145 secs
lola: STP completed || 2 tries, 1993183 fired transitions, 150 secs || 1640614 markings, 13257198 edges, 10049 markings/sec, 150 secs
lola: STP completed || 3 tries, 2056519 fired transitions, 155 secs || 1690098 markings, 13732295 edges, 9897 markings/sec, 155 secs
lola: STP completed || 3 tries, 2120009 fired transitions, 160 secs || 1739770 markings, 14207680 edges, 9934 markings/sec, 160 secs
lola: STP completed || 3 tries, 2183146 fired transitions, 165 secs || 1790192 markings, 14689364 edges, 10084 markings/sec, 165 secs
lola: STP completed || 3 tries, 2245867 fired transitions, 170 secs || 1839050 markings, 15166854 edges, 9772 markings/sec, 170 secs
lola: STP completed || 3 tries, 2308891 fired transitions, 175 secs || 1888964 markings, 15642639 edges, 9983 markings/sec, 175 secs
lola: STP completed || 3 tries, 2372396 fired transitions, 180 secs || 1939096 markings, 16118758 edges, 10026 markings/sec, 180 secs
lola: STP completed || 3 tries, 2435717 fired transitions, 185 secs || 1988655 markings, 16595266 edges, 9912 markings/sec, 185 secs
lola: STP completed || 3 tries, 2499219 fired transitions, 190 secs || 2038171 markings, 17072943 edges, 9903 markings/sec, 190 secs
lola: STP completed || 3 tries, 2562407 fired transitions, 195 secs || 2087543 markings, 17543847 edges, 9874 markings/sec, 195 secs
lola: STP completed || 3 tries, 2625194 fired transitions, 200 secs || 2136911 markings, 18020733 edges, 9874 markings/sec, 200 secs
lola: STP completed || 3 tries, 2688347 fired transitions, 205 secs || 2186218 markings, 18491768 edges, 9861 markings/sec, 205 secs
lola: STP completed || 3 tries, 2751605 fired transitions, 210 secs || 2235848 markings, 18964951 edges, 9926 markings/sec, 210 secs
lola: STP completed || 3 tries, 2814528 fired transitions, 215 secs || 2285454 markings, 19437967 edges, 9921 markings/sec, 215 secs
lola: STP completed || 3 tries, 2877752 fired transitions, 220 secs || 2334850 markings, 19914894 edges, 9879 markings/sec, 220 secs
lola: STP completed || 3 tries, 2940729 fired transitions, 225 secs || 2384343 markings, 20384011 edges, 9899 markings/sec, 225 secs
lola: STP completed || 4 tries, 3003996 fired transitions, 230 secs || 2433544 markings, 20857598 edges, 9840 markings/sec, 230 secs
lola: STP completed || 4 tries, 3067134 fired transitions, 235 secs || 2482403 markings, 21331694 edges, 9772 markings/sec, 235 secs
lola: STP completed || 4 tries, 3130159 fired transitions, 240 secs || 2532775 markings, 21804423 edges, 10074 markings/sec, 240 secs
lola: STP completed || 4 tries, 3193716 fired transitions, 245 secs || 2581935 markings, 22279081 edges, 9832 markings/sec, 245 secs
lola: STP completed || 4 tries, 3257046 fired transitions, 250 secs || 2631478 markings, 22753853 edges, 9909 markings/sec, 250 secs
lola: STP completed || 4 tries, 3320628 fired transitions, 255 secs || 2680753 markings, 23227387 edges, 9855 markings/sec, 255 secs
lola: STP completed || 4 tries, 3384519 fired transitions, 260 secs || 2731084 markings, 23698390 edges, 10066 markings/sec, 260 secs
lola: STP completed || 4 tries, 3447522 fired transitions, 265 secs || 2779931 markings, 24170976 edges, 9769 markings/sec, 265 secs
lola: STP completed || 4 tries, 3510600 fired transitions, 270 secs || 2829814 markings, 24641645 edges, 9977 markings/sec, 270 secs
lola: STP completed || 4 tries, 3574219 fired transitions, 275 secs || 2879413 markings, 25115552 edges, 9920 markings/sec, 275 secs
lola: STP completed || 4 tries, 3637862 fired transitions, 280 secs || 2930008 markings, 25593668 edges, 10119 markings/sec, 280 secs
lola: STP completed || 4 tries, 3701542 fired transitions, 285 secs || 2981103 markings, 26076291 edges, 10219 markings/sec, 285 secs
lola: STP completed || 4 tries, 3765049 fired transitions, 290 secs || 3029958 markings, 26555402 edges, 9771 markings/sec, 290 secs
lola: STP completed || 4 tries, 3828405 fired transitions, 295 secs || 3080169 markings, 27029753 edges, 10042 markings/sec, 295 secs
lola: STP completed || 4 tries, 3891294 fired transitions, 300 secs || 3130161 markings, 27508558 edges, 9998 markings/sec, 300 secs
lola: STP completed || 4 tries, 3954765 fired transitions, 305 secs || 3179559 markings, 27983685 edges, 9880 markings/sec, 305 secs
lola: STP completed || 5 tries, 4018135 fired transitions, 310 secs || 3228570 markings, 28454640 edges, 9802 markings/sec, 310 secs
lola: STP completed || 5 tries, 4081520 fired transitions, 315 secs || 3277715 markings, 28933320 edges, 9829 markings/sec, 315 secs
lola: STP completed || 5 tries, 4144658 fired transitions, 320 secs || 3327359 markings, 29406772 edges, 9929 markings/sec, 320 secs
lola: STP completed || 5 tries, 4208032 fired transitions, 325 secs || 3377099 markings, 29881886 edges, 9948 markings/sec, 325 secs
lola: STP completed || 5 tries, 4271593 fired transitions, 330 secs || 3427324 markings, 30357341 edges, 10045 markings/sec, 330 secs
lola: STP completed || 5 tries, 4335046 fired transitions, 335 secs || 3476553 markings, 30835545 edges, 9846 markings/sec, 335 secs
lola: STP completed || 5 tries, 4398322 fired transitions, 340 secs || 3525583 markings, 31310977 edges, 9806 markings/sec, 340 secs
lola: STP completed || 5 tries, 4461662 fired transitions, 345 secs || 3574656 markings, 31782343 edges, 9815 markings/sec, 345 secs
lola: STP completed || 5 tries, 4525323 fired transitions, 350 secs || 3624124 markings, 32262492 edges, 9894 markings/sec, 350 secs
lola: STP completed || 5 tries, 4589038 fired transitions, 355 secs || 3674131 markings, 32740488 edges, 10001 markings/sec, 355 secs
lola: STP completed || 5 tries, 4654332 fired transitions, 360 secs || 3725323 markings, 33227072 edges, 10238 markings/sec, 360 secs
lola: STP completed || 5 tries, 4721280 fired transitions, 365 secs || 3776651 markings, 33716979 edges, 10266 markings/sec, 365 secs
lola: STP completed || 5 tries, 4789718 fired transitions, 370 secs || 3829500 markings, 34231600 edges, 10570 markings/sec, 370 secs
lola: STP completed || 5 tries, 4858072 fired transitions, 375 secs || 3881334 markings, 34737316 edges, 10367 markings/sec, 375 secs
lola: STP completed || 5 tries, 4921420 fired transitions, 380 secs || 3929870 markings, 35209499 edges, 9707 markings/sec, 380 secs
lola: STP completed || 5 tries, 4987710 fired transitions, 385 secs || 3981101 markings, 35702608 edges, 10246 markings/sec, 385 secs
lola: STP completed || 6 tries, 5053191 fired transitions, 390 secs || 4031593 markings, 36193024 edges, 10098 markings/sec, 390 secs
lola: STP completed || 6 tries, 5116131 fired transitions, 395 secs || 4081129 markings, 36670433 edges, 9907 markings/sec, 395 secs
lola: STP completed || 6 tries, 5179586 fired transitions, 400 secs || 4131396 markings, 37149574 edges, 10053 markings/sec, 400 secs
lola: STP completed || 6 tries, 5243120 fired transitions, 405 secs || 4181636 markings, 37625836 edges, 10048 markings/sec, 405 secs
lola: STP completed || 6 tries, 5306663 fired transitions, 410 secs || 4231230 markings, 38103535 edges, 9919 markings/sec, 410 secs
lola: STP completed || 6 tries, 5370407 fired transitions, 415 secs || 4281657 markings, 38578619 edges, 10085 markings/sec, 415 secs
lola: STP completed || 6 tries, 5433473 fired transitions, 420 secs || 4331262 markings, 39053745 edges, 9921 markings/sec, 420 secs
lola: STP completed || 6 tries, 5499686 fired transitions, 425 secs || 4381938 markings, 39547085 edges, 10135 markings/sec, 425 secs
lola: STP completed || 6 tries, 5568351 fired transitions, 430 secs || 4435746 markings, 40059927 edges, 10762 markings/sec, 430 secs
lola: STP completed || 6 tries, 5631355 fired transitions, 435 secs || 4485435 markings, 40537265 edges, 9938 markings/sec, 435 secs
lola: STP completed || 6 tries, 5694210 fired transitions, 440 secs || 4536116 markings, 41011088 edges, 10136 markings/sec, 440 secs
lola: STP completed || 6 tries, 5757353 fired transitions, 445 secs || 4585210 markings, 41484571 edges, 9819 markings/sec, 445 secs
lola: STP completed || 6 tries, 5823601 fired transitions, 450 secs || 4636014 markings, 41975301 edges, 10161 markings/sec, 450 secs
lola: STP completed || 6 tries, 5892333 fired transitions, 455 secs || 4689272 markings, 42481291 edges, 10652 markings/sec, 455 secs
lola: STP completed || 6 tries, 5957149 fired transitions, 460 secs || 4739909 markings, 42960757 edges, 10127 markings/sec, 460 secs
lola: STP completed || 7 tries, 6021764 fired transitions, 465 secs || 4790330 markings, 43442092 edges, 10084 markings/sec, 465 secs
lola: STP completed || 7 tries, 6085522 fired transitions, 470 secs || 4840373 markings, 43916298 edges, 10009 markings/sec, 470 secs
lola: STP completed || 7 tries, 6148654 fired transitions, 475 secs || 4888671 markings, 44388934 edges, 9660 markings/sec, 475 secs
lola: STP completed || 7 tries, 6212006 fired transitions, 480 secs || 4938631 markings, 44862355 edges, 9992 markings/sec, 480 secs
lola: STP completed || 7 tries, 6275184 fired transitions, 485 secs || 4988228 markings, 45338245 edges, 9919 markings/sec, 485 secs
lola: STP completed || 7 tries, 6338301 fired transitions, 490 secs || 5038054 markings, 45811724 edges, 9965 markings/sec, 490 secs
lola: STP completed || 7 tries, 6401606 fired transitions, 495 secs || 5087163 markings, 46284687 edges, 9822 markings/sec, 495 secs
lola: STP completed || 7 tries, 6464897 fired transitions, 500 secs || 5136031 markings, 46754864 edges, 9774 markings/sec, 500 secs
lola: STP completed || 7 tries, 6530927 fired transitions, 505 secs || 5187357 markings, 47241292 edges, 10265 markings/sec, 505 secs
lola: STP completed || 7 tries, 6599249 fired transitions, 510 secs || 5239319 markings, 47741348 edges, 10392 markings/sec, 510 secs
lola: STP completed || 7 tries, 6662573 fired transitions, 515 secs || 5288787 markings, 48209822 edges, 9894 markings/sec, 515 secs
lola: STP completed || 7 tries, 6725354 fired transitions, 520 secs || 5337653 markings, 48677301 edges, 9773 markings/sec, 520 secs
lola: STP completed || 7 tries, 6788454 fired transitions, 525 secs || 5386397 markings, 49139151 edges, 9749 markings/sec, 525 secs
lola: STP completed || 7 tries, 6852354 fired transitions, 530 secs || 5436066 markings, 49614583 edges, 9934 markings/sec, 530 secs
lola: STP completed || 7 tries, 6918048 fired transitions, 535 secs || 5486225 markings, 50101968 edges, 10032 markings/sec, 535 secs
lola: STP completed || 7 tries, 6985715 fired transitions, 540 secs || 5539053 markings, 50605703 edges, 10566 markings/sec, 540 secs
lola: STP completed || 8 tries, 7051420 fired transitions, 545 secs || 5590743 markings, 51094103 edges, 10338 markings/sec, 545 secs
lola: STP completed || 8 tries, 7114984 fired transitions, 550 secs || 5639267 markings, 51561751 edges, 9705 markings/sec, 550 secs
lola: STP completed || 8 tries, 7180542 fired transitions, 555 secs || 5690184 markings, 52051871 edges, 10183 markings/sec, 555 secs
lola: STP completed || 8 tries, 7245137 fired transitions, 560 secs || 5739870 markings, 52529394 edges, 9937 markings/sec, 560 secs
lola: STP completed || 8 tries, 7308826 fired transitions, 565 secs || 5789021 markings, 53001952 edges, 9830 markings/sec, 565 secs
lola: STP completed || 8 tries, 7372599 fired transitions, 570 secs || 5838122 markings, 53479954 edges, 9820 markings/sec, 570 secs
lola: STP completed || 8 tries, 7440531 fired transitions, 575 secs || 5890436 markings, 53979956 edges, 10463 markings/sec, 575 secs
lola: STP completed || 8 tries, 7508616 fired transitions, 580 secs || 5944116 markings, 54486463 edges, 10736 markings/sec, 580 secs
lola: STP completed || 8 tries, 7577350 fired transitions, 585 secs || 5995551 markings, 54995788 edges, 10287 markings/sec, 585 secs
lola: STP completed || 8 tries, 7645919 fired transitions, 590 secs || 6049241 markings, 55509187 edges, 10738 markings/sec, 590 secs
lola: STP completed || 8 tries, 7709563 fired transitions, 595 secs || 6098729 markings, 55982331 edges, 9898 markings/sec, 595 secs
lola: STP completed || 8 tries, 7778073 fired transitions, 600 secs || 6149934 markings, 56476997 edges, 10241 markings/sec, 600 secs
lola: STP completed || 8 tries, 7841655 fired transitions, 605 secs || 6198919 markings, 56952973 edges, 9797 markings/sec, 605 secs
lola: STP completed || 8 tries, 7904609 fired transitions, 610 secs || 6248591 markings, 57424487 edges, 9934 markings/sec, 610 secs
lola: STP completed || 8 tries, 7968010 fired transitions, 615 secs || 6299371 markings, 57904652 edges, 10156 markings/sec, 615 secs
lola: STP completed || 9 tries, 8030783 fired transitions, 620 secs || 6346980 markings, 58360586 edges, 9522 markings/sec, 620 secs
lola: STP completed || 9 tries, 8094200 fired transitions, 625 secs || 6396520 markings, 58831150 edges, 9908 markings/sec, 625 secs
lola: STP completed || 9 tries, 8157825 fired transitions, 630 secs || 6445867 markings, 59302707 edges, 9869 markings/sec, 630 secs
lola: STP completed || 9 tries, 8221359 fired transitions, 635 secs || 6496417 markings, 59781839 edges, 10110 markings/sec, 635 secs
lola: STP completed || 9 tries, 8283747 fired transitions, 640 secs || 6545363 markings, 60252357 edges, 9789 markings/sec, 640 secs
lola: STP completed || 9 tries, 8347310 fired transitions, 645 secs || 6596172 markings, 60729137 edges, 10162 markings/sec, 645 secs
lola: STP completed || 9 tries, 8413139 fired transitions, 650 secs || 6646440 markings, 61216136 edges, 10054 markings/sec, 650 secs
lola: STP completed || 9 tries, 8476853 fired transitions, 655 secs || 6696156 markings, 61695957 edges, 9943 markings/sec, 655 secs
lola: STP completed || 9 tries, 8539795 fired transitions, 660 secs || 6746867 markings, 62186319 edges, 10142 markings/sec, 660 secs
lola: STP completed || 9 tries, 8603526 fired transitions, 665 secs || 6797223 markings, 62659495 edges, 10071 markings/sec, 665 secs
lola: STP completed || 9 tries, 8667392 fired transitions, 670 secs || 6847926 markings, 63140369 edges, 10141 markings/sec, 670 secs
lola: STP completed || 9 tries, 8731554 fired transitions, 675 secs || 6897731 markings, 63617332 edges, 9961 markings/sec, 675 secs
lola: STP completed || 9 tries, 8794182 fired transitions, 680 secs || 6948233 markings, 64093967 edges, 10100 markings/sec, 680 secs
lola: STP completed || 9 tries, 8858093 fired transitions, 685 secs || 6997991 markings, 64569697 edges, 9952 markings/sec, 685 secs
lola: STP completed || 9 tries, 8921510 fired transitions, 690 secs || 7047804 markings, 65045847 edges, 9963 markings/sec, 690 secs
lola: STP completed || 9 tries, 8985469 fired transitions, 695 secs || 7097031 markings, 65518318 edges, 9845 markings/sec, 695 secs
lola: STP completed || 10 tries, 9048587 fired transitions, 700 secs || 7146803 markings, 65988674 edges, 9954 markings/sec, 700 secs
lola: STP completed || 10 tries, 9111814 fired transitions, 705 secs || 7196262 markings, 66458379 edges, 9892 markings/sec, 705 secs
lola: STP completed || 10 tries, 9175228 fired transitions, 710 secs || 7246230 markings, 66930356 edges, 9994 markings/sec, 710 secs
lola: STP completed || 10 tries, 9238612 fired transitions, 715 secs || 7295305 markings, 67406179 edges, 9815 markings/sec, 715 secs
lola: STP completed || 10 tries, 9306416 fired transitions, 720 secs || 7348319 markings, 67910183 edges, 10603 markings/sec, 720 secs
lola: STP completed || 10 tries, 9375331 fired transitions, 725 secs || 7401584 markings, 68417862 edges, 10653 markings/sec, 725 secs
lola: STP completed || 10 tries, 9440065 fired transitions, 730 secs || 7451676 markings, 68898781 edges, 10018 markings/sec, 730 secs
lola: STP completed || 10 tries, 9504231 fired transitions, 735 secs || 7502211 markings, 69378419 edges, 10107 markings/sec, 735 secs
lola: STP completed || 10 tries, 9572266 fired transitions, 740 secs || 7554918 markings, 69882975 edges, 10541 markings/sec, 740 secs
lola: STP completed || 10 tries, 9638127 fired transitions, 745 secs || 7605820 markings, 70369671 edges, 10180 markings/sec, 745 secs
lola: STP completed || 10 tries, 9701568 fired transitions, 750 secs || 7655597 markings, 70846121 edges, 9955 markings/sec, 750 secs
lola: STP completed || 10 tries, 9765383 fired transitions, 755 secs || 7705422 markings, 71324514 edges, 9965 markings/sec, 755 secs
lola: STP completed || 10 tries, 9828235 fired transitions, 760 secs || 7756573 markings, 71804432 edges, 10230 markings/sec, 760 secs
lola: STP completed || 10 tries, 9891402 fired transitions, 765 secs || 7806041 markings, 72279088 edges, 9894 markings/sec, 765 secs
lola: STP completed || 10 tries, 9954898 fired transitions, 770 secs || 7855429 markings, 72752859 edges, 9878 markings/sec, 770 secs
lola: STP completed || 11 tries, 10017944 fired transitions, 775 secs || 7905190 markings, 73230924 edges, 9952 markings/sec, 775 secs
lola: STP completed || 11 tries, 10081473 fired transitions, 780 secs || 7955140 markings, 73707179 edges, 9990 markings/sec, 780 secs
lola: STP completed || 11 tries, 10145787 fired transitions, 785 secs || 8005638 markings, 74196205 edges, 10100 markings/sec, 785 secs
lola: STP completed || 11 tries, 10213939 fired transitions, 790 secs || 8057997 markings, 74700589 edges, 10472 markings/sec, 790 secs
lola: STP completed || 11 tries, 10280318 fired transitions, 795 secs || 8110012 markings, 75195734 edges, 10403 markings/sec, 795 secs
lola: STP completed || 11 tries, 10348090 fired transitions, 800 secs || 8162304 markings, 75695492 edges, 10458 markings/sec, 800 secs
lola: STP completed || 11 tries, 10416981 fired transitions, 805 secs || 8215435 markings, 76201618 edges, 10626 markings/sec, 805 secs
lola: STP completed || 11 tries, 10479911 fired transitions, 810 secs || 8265418 markings, 76673231 edges, 9997 markings/sec, 810 secs
lola: STP completed || 11 tries, 10543049 fired transitions, 815 secs || 8314163 markings, 77144697 edges, 9749 markings/sec, 815 secs
lola: STP completed || 11 tries, 10605073 fired transitions, 820 secs || 8364534 markings, 77620890 edges, 10074 markings/sec, 820 secs
lola: STP completed || 11 tries, 10668326 fired transitions, 825 secs || 8414009 markings, 78095217 edges, 9895 markings/sec, 825 secs
lola: STP completed || 11 tries, 10731416 fired transitions, 830 secs || 8463417 markings, 78567219 edges, 9882 markings/sec, 830 secs
lola: STP completed || 11 tries, 10794568 fired transitions, 835 secs || 8512591 markings, 79041104 edges, 9835 markings/sec, 835 secs
lola: STP completed || 11 tries, 10857724 fired transitions, 840 secs || 8561890 markings, 79515142 edges, 9860 markings/sec, 840 secs
lola: STP completed || 11 tries, 10921074 fired transitions, 845 secs || 8611722 markings, 79991646 edges, 9966 markings/sec, 845 secs
lola: STP completed || 11 tries, 10984347 fired transitions, 850 secs || 8660722 markings, 80464669 edges, 9800 markings/sec, 850 secs
lola: STP completed || 12 tries, 11047508 fired transitions, 855 secs || 8710769 markings, 80948349 edges, 10009 markings/sec, 855 secs
lola: STP completed || 12 tries, 11110495 fired transitions, 860 secs || 8760356 markings, 81424899 edges, 9917 markings/sec, 860 secs
lola: STP completed || 12 tries, 11173911 fired transitions, 865 secs || 8811409 markings, 81902603 edges, 10211 markings/sec, 865 secs
lola: STP completed || 12 tries, 11236912 fired transitions, 870 secs || 8860942 markings, 82371175 edges, 9907 markings/sec, 870 secs
lola: STP completed || 12 tries, 11299234 fired transitions, 875 secs || 8910355 markings, 82841701 edges, 9883 markings/sec, 875 secs
lola: STP completed || 12 tries, 11362430 fired transitions, 880 secs || 8960705 markings, 83319755 edges, 10070 markings/sec, 880 secs
lola: STP completed || 12 tries, 11425896 fired transitions, 885 secs || 9010845 markings, 83797914 edges, 10028 markings/sec, 885 secs
lola: STP completed || 12 tries, 11489320 fired transitions, 890 secs || 9059591 markings, 84266072 edges, 9749 markings/sec, 890 secs
lola: STP completed || 12 tries, 11552729 fired transitions, 895 secs || 9109568 markings, 84744501 edges, 9995 markings/sec, 895 secs
lola: STP completed || 12 tries, 11613501 fired transitions, 900 secs || 9158549 markings, 85218537 edges, 9796 markings/sec, 900 secs
lola: STP completed || 12 tries, 11676990 fired transitions, 905 secs || 9207311 markings, 85694736 edges, 9752 markings/sec, 905 secs
lola: STP completed || 12 tries, 11741643 fired transitions, 910 secs || 9257570 markings, 86180433 edges, 10052 markings/sec, 910 secs
lola: STP completed || 12 tries, 11806504 fired transitions, 915 secs || 9308894 markings, 86668742 edges, 10265 markings/sec, 915 secs
lola: STP completed || 12 tries, 11870385 fired transitions, 920 secs || 9358989 markings, 87149136 edges, 10019 markings/sec, 920 secs
lola: STP completed || 12 tries, 11935269 fired transitions, 925 secs || 9409812 markings, 87632857 edges, 10165 markings/sec, 925 secs
lola: STP completed || 12 tries, 11999730 fired transitions, 930 secs || 9460688 markings, 88115094 edges, 10175 markings/sec, 930 secs
lola: STP completed || 13 tries, 12066493 fired transitions, 935 secs || 9512821 markings, 88619251 edges, 10427 markings/sec, 935 secs
lola: STP completed || 13 tries, 12135225 fired transitions, 940 secs || 9567216 markings, 89130699 edges, 10879 markings/sec, 940 secs
lola: STP completed || 13 tries, 12204117 fired transitions, 945 secs || 9620348 markings, 89637226 edges, 10626 markings/sec, 945 secs
lola: STP completed || 13 tries, 12272850 fired transitions, 950 secs || 9673904 markings, 90151404 edges, 10711 markings/sec, 950 secs
lola: STP completed || 13 tries, 12338320 fired transitions, 955 secs || 9724556 markings, 90641119 edges, 10130 markings/sec, 955 secs
lola: STP completed || 13 tries, 12404918 fired transitions, 960 secs || 9777134 markings, 91148749 edges, 10516 markings/sec, 960 secs
lola: STP completed || 13 tries, 12468131 fired transitions, 965 secs || 9826872 markings, 91631613 edges, 9948 markings/sec, 965 secs
lola: STP completed || 13 tries, 12532019 fired transitions, 970 secs || 9875741 markings, 92109493 edges, 9774 markings/sec, 970 secs
lola: STP completed || 13 tries, 12595489 fired transitions, 975 secs || 9924308 markings, 92575569 edges, 9713 markings/sec, 975 secs
lola: STP completed || 13 tries, 12658119 fired transitions, 980 secs || 9972892 markings, 93041566 edges, 9717 markings/sec, 980 secs
lola: STP completed || 13 tries, 12721494 fired transitions, 985 secs || 10022118 markings, 93512939 edges, 9845 markings/sec, 985 secs
lola: STP completed || 13 tries, 12784638 fired transitions, 990 secs || 10071160 markings, 93982760 edges, 9808 markings/sec, 990 secs
lola: STP completed || 13 tries, 12849464 fired transitions, 995 secs || 10121694 markings, 94463547 edges, 10107 markings/sec, 995 secs
lola: STP completed || 13 tries, 12915442 fired transitions, 1000 secs || 10172909 markings, 94951989 edges, 10243 markings/sec, 1000 secs
lola: STP completed || 13 tries, 12978735 fired transitions, 1005 secs || 10222414 markings, 95425495 edges, 9901 markings/sec, 1005 secs
lola: STP completed || 14 tries, 13046022 fired transitions, 1010 secs || 10273554 markings, 95916746 edges, 10228 markings/sec, 1010 secs
lola: STP completed || 14 tries, 13109243 fired transitions, 1015 secs || 10323064 markings, 96389579 edges, 9902 markings/sec, 1015 secs
lola: STP completed || 14 tries, 13173538 fired transitions, 1020 secs || 10371971 markings, 96861454 edges, 9781 markings/sec, 1020 secs
lola: STP completed || 14 tries, 13237084 fired transitions, 1025 secs || 10420822 markings, 97326637 edges, 9770 markings/sec, 1025 secs
lola: STP completed || 14 tries, 13302155 fired transitions, 1030 secs || 10472211 markings, 97815637 edges, 10278 markings/sec, 1030 secs
lola: STP completed || 14 tries, 13365042 fired transitions, 1035 secs || 10521492 markings, 98286146 edges, 9856 markings/sec, 1035 secs
lola: STP completed || 14 tries, 13423278 fired transitions, 1040 secs || 10567092 markings, 98720929 edges, 9120 markings/sec, 1040 secs
lola: STP completed || 14 tries, 13486635 fired transitions, 1045 secs || 10615989 markings, 99188908 edges, 9779 markings/sec, 1045 secs
lola: STP completed || 14 tries, 13550112 fired transitions, 1050 secs || 10665224 markings, 99657514 edges, 9847 markings/sec, 1050 secs
lola: STP completed || 14 tries, 13613685 fired transitions, 1055 secs || 10715523 markings, 100131085 edges, 10060 markings/sec, 1055 secs
lola: STP completed || 14 tries, 13677127 fired transitions, 1060 secs || 10764714 markings, 100605239 edges, 9838 markings/sec, 1060 secs
lola: STP completed || 14 tries, 13739791 fired transitions, 1065 secs || 10813626 markings, 101076441 edges, 9782 markings/sec, 1065 secs
lola: STP completed || 14 tries, 13808399 fired transitions, 1070 secs || 10866039 markings, 101583187 edges, 10483 markings/sec, 1070 secs
lola: STP completed || 14 tries, 13877286 fired transitions, 1075 secs || 10918886 markings, 102093839 edges, 10569 markings/sec, 1075 secs
lola: STP completed || 14 tries, 13942071 fired transitions, 1080 secs || 10967963 markings, 102574148 edges, 9815 markings/sec, 1080 secs
lola: STP completed || 15 tries, 14005485 fired transitions, 1085 secs || 11017199 markings, 103045658 edges, 9847 markings/sec, 1085 secs
lola: STP completed || 15 tries, 14069568 fired transitions, 1090 secs || 11066868 markings, 103521503 edges, 9934 markings/sec, 1090 secs
lola: STP completed || 15 tries, 14138533 fired transitions, 1095 secs || 11119734 markings, 104028278 edges, 10573 markings/sec, 1095 secs
lola: STP completed || 15 tries, 14207277 fired transitions, 1100 secs || 11172029 markings, 104530740 edges, 10459 markings/sec, 1100 secs
lola: STP completed || 15 tries, 14272860 fired transitions, 1105 secs || 11223099 markings, 105017559 edges, 10214 markings/sec, 1105 secs
lola: STP completed || 15 tries, 14341351 fired transitions, 1110 secs || 11275381 markings, 105527611 edges, 10456 markings/sec, 1110 secs
lola: STP completed || 15 tries, 14405086 fired transitions, 1115 secs || 11325358 markings, 106006269 edges, 9995 markings/sec, 1115 secs
lola: STP completed || 15 tries, 14473075 fired transitions, 1120 secs || 11377768 markings, 106504124 edges, 10482 markings/sec, 1120 secs
lola: STP completed || 15 tries, 14540227 fired transitions, 1125 secs || 11430488 markings, 107010501 edges, 10544 markings/sec, 1125 secs
lola: STP completed || 15 tries, 14603774 fired transitions, 1130 secs || 11479721 markings, 107486214 edges, 9847 markings/sec, 1130 secs
lola: STP completed || 15 tries, 14667320 fired transitions, 1135 secs || 11529761 markings, 107956749 edges, 10008 markings/sec, 1135 secs
lola: STP completed || 15 tries, 14731001 fired transitions, 1140 secs || 11579316 markings, 108428844 edges, 9911 markings/sec, 1140 secs
lola: STP completed || 15 tries, 14794742 fired transitions, 1145 secs || 11628556 markings, 108899372 edges, 9848 markings/sec, 1145 secs
lola: STP completed || 15 tries, 14858267 fired transitions, 1150 secs || 11677712 markings, 109378439 edges, 9831 markings/sec, 1150 secs
lola: STP completed || 15 tries, 14921750 fired transitions, 1155 secs || 11726523 markings, 109851294 edges, 9762 markings/sec, 1155 secs
lola: STP completed || 15 tries, 14985273 fired transitions, 1160 secs || 11776102 markings, 110328514 edges, 9916 markings/sec, 1160 secs
lola: STP completed || 16 tries, 15048736 fired transitions, 1165 secs || 11825215 markings, 110801639 edges, 9823 markings/sec, 1165 secs
lola: STP completed || 16 tries, 15111877 fired transitions, 1170 secs || 11872519 markings, 111252487 edges, 9461 markings/sec, 1170 secs
lola: STP completed || 16 tries, 15174644 fired transitions, 1175 secs || 11921578 markings, 111723610 edges, 9812 markings/sec, 1175 secs
lola: STP completed || 16 tries, 15239447 fired transitions, 1180 secs || 11971468 markings, 112205350 edges, 9978 markings/sec, 1180 secs
lola: STP completed || 16 tries, 15302919 fired transitions, 1185 secs || 12019514 markings, 112674681 edges, 9609 markings/sec, 1185 secs
lola: STP completed || 16 tries, 15366605 fired transitions, 1190 secs || 12068991 markings, 113144000 edges, 9895 markings/sec, 1190 secs
lola: STP completed || 16 tries, 15430136 fired transitions, 1195 secs || 12118319 markings, 113615799 edges, 9866 markings/sec, 1195 secs
lola: STP completed || 16 tries, 15493617 fired transitions, 1200 secs || 12168355 markings, 114090374 edges, 10007 markings/sec, 1200 secs
lola: STP completed || 16 tries, 15557286 fired transitions, 1205 secs || 12218367 markings, 114569146 edges, 10002 markings/sec, 1205 secs
lola: STP completed || 16 tries, 15619519 fired transitions, 1210 secs || 12265591 markings, 115025587 edges, 9445 markings/sec, 1210 secs
lola: STP completed || 16 tries, 15683134 fired transitions, 1215 secs || 12315501 markings, 115497541 edges, 9982 markings/sec, 1215 secs
lola: STP completed || 16 tries, 15747317 fired transitions, 1220 secs || 12365663 markings, 115981030 edges, 10032 markings/sec, 1220 secs
lola: STP completed || 16 tries, 15810365 fired transitions, 1225 secs || 12414808 markings, 116451858 edges, 9829 markings/sec, 1225 secs
lola: STP completed || 16 tries, 15873172 fired transitions, 1230 secs || 12463742 markings, 116919154 edges, 9787 markings/sec, 1230 secs
lola: STP completed || 16 tries, 15936223 fired transitions, 1235 secs || 12513626 markings, 117391542 edges, 9977 markings/sec, 1235 secs
lola: STP completed || 16 tries, 15999562 fired transitions, 1240 secs || 12563845 markings, 117864264 edges, 10044 markings/sec, 1240 secs
lola: STP completed || 17 tries, 16063050 fired transitions, 1245 secs || 12610123 markings, 118309447 edges, 9256 markings/sec, 1245 secs
lola: STP completed || 17 tries, 16126814 fired transitions, 1250 secs || 12657453 markings, 118755042 edges, 9466 markings/sec, 1250 secs
lola: STP completed || 17 tries, 16190589 fired transitions, 1255 secs || 12705292 markings, 119206722 edges, 9568 markings/sec, 1255 secs
lola: STP completed || 17 tries, 16253944 fired transitions, 1260 secs || 12754919 markings, 119678752 edges, 9925 markings/sec, 1260 secs
lola: STP completed || 17 tries, 16316824 fired transitions, 1265 secs || 12802520 markings, 120140404 edges, 9520 markings/sec, 1265 secs
lola: STP completed || 17 tries, 16379901 fired transitions, 1270 secs || 12852006 markings, 120616927 edges, 9897 markings/sec, 1270 secs
lola: STP completed || 17 tries, 16445619 fired transitions, 1275 secs || 12903893 markings, 121104347 edges, 10377 markings/sec, 1275 secs
lola: STP completed || 17 tries, 16508998 fired transitions, 1280 secs || 12953479 markings, 121575688 edges, 9917 markings/sec, 1280 secs
lola: STP completed || 17 tries, 16572616 fired transitions, 1285 secs || 13003399 markings, 122052937 edges, 9984 markings/sec, 1285 secs
lola: STP completed || 17 tries, 16635786 fired transitions, 1290 secs || 13051960 markings, 122522148 edges, 9712 markings/sec, 1290 secs
lola: STP completed || 17 tries, 16699128 fired transitions, 1295 secs || 13100852 markings, 122994924 edges, 9778 markings/sec, 1295 secs
lola: STP completed || 17 tries, 16762256 fired transitions, 1300 secs || 13149981 markings, 123450815 edges, 9826 markings/sec, 1300 secs
lola: STP completed || 17 tries, 16827623 fired transitions, 1305 secs || 13201770 markings, 123935209 edges, 10358 markings/sec, 1305 secs
lola: STP completed || 17 tries, 16894555 fired transitions, 1310 secs || 13254441 markings, 124430624 edges, 10534 markings/sec, 1310 secs
lola: STP completed || 17 tries, 16957899 fired transitions, 1315 secs || 13303948 markings, 124896388 edges, 9901 markings/sec, 1315 secs
lola: STP completed || 18 tries, 17022484 fired transitions, 1320 secs || 13354178 markings, 125376261 edges, 10046 markings/sec, 1320 secs
lola: STP completed || 18 tries, 17087417 fired transitions, 1325 secs || 13405108 markings, 125860450 edges, 10186 markings/sec, 1325 secs
lola: STP completed || 18 tries, 17150018 fired transitions, 1330 secs || 13454532 markings, 126332978 edges, 9885 markings/sec, 1330 secs
lola: STP completed || 18 tries, 17214582 fired transitions, 1335 secs || 13505317 markings, 126815265 edges, 10157 markings/sec, 1335 secs
lola: STP completed || 18 tries, 17282989 fired transitions, 1340 secs || 13559188 markings, 127320581 edges, 10774 markings/sec, 1340 secs
lola: STP completed || 18 tries, 17351831 fired transitions, 1345 secs || 13611816 markings, 127832171 edges, 10526 markings/sec, 1345 secs
lola: STP completed || 18 tries, 17417670 fired transitions, 1350 secs || 13663194 markings, 128319642 edges, 10276 markings/sec, 1350 secs
lola: STP completed || 18 tries, 17485259 fired transitions, 1355 secs || 13715285 markings, 128822514 edges, 10418 markings/sec, 1355 secs
lola: STP completed || 18 tries, 17550401 fired transitions, 1360 secs || 13766091 markings, 129312586 edges, 10161 markings/sec, 1360 secs
lola: STP completed || 18 tries, 17613050 fired transitions, 1365 secs || 13814913 markings, 129777492 edges, 9764 markings/sec, 1365 secs
lola: STP completed || 18 tries, 17676369 fired transitions, 1370 secs || 13864248 markings, 130248719 edges, 9867 markings/sec, 1370 secs
lola: STP completed || 18 tries, 17739749 fired transitions, 1375 secs || 13913266 markings, 130714723 edges, 9804 markings/sec, 1375 secs
lola: STP completed || 18 tries, 17805203 fired transitions, 1380 secs || 13964008 markings, 131198088 edges, 10148 markings/sec, 1380 secs
lola: STP completed || 18 tries, 17869030 fired transitions, 1385 secs || 14014131 markings, 131679220 edges, 10025 markings/sec, 1385 secs
lola: STP completed || 18 tries, 17937353 fired transitions, 1390 secs || 14066415 markings, 132178710 edges, 10457 markings/sec, 1390 secs
lola: STP completed || 19 tries, 18006128 fired transitions, 1395 secs || 14119335 markings, 132686171 edges, 10584 markings/sec, 1395 secs
lola: STP completed || 19 tries, 18070073 fired transitions, 1400 secs || 14169246 markings, 133159353 edges, 9982 markings/sec, 1400 secs
lola: STP completed || 19 tries, 18133381 fired transitions, 1405 secs || 14218756 markings, 133629969 edges, 9902 markings/sec, 1405 secs
lola: STP completed || 19 tries, 18196992 fired transitions, 1410 secs || 14268995 markings, 134105511 edges, 10048 markings/sec, 1410 secs
lola: STP completed || 19 tries, 18260557 fired transitions, 1415 secs || 14317973 markings, 134577057 edges, 9796 markings/sec, 1415 secs
lola: STP completed || 19 tries, 18323342 fired transitions, 1420 secs || 14366607 markings, 135045205 edges, 9727 markings/sec, 1420 secs
lola: STP completed || 19 tries, 18391759 fired transitions, 1425 secs || 14419488 markings, 135545139 edges, 10576 markings/sec, 1425 secs
lola: STP completed || 19 tries, 18456707 fired transitions, 1430 secs || 14470443 markings, 136031023 edges, 10191 markings/sec, 1430 secs
lola: STP completed || 19 tries, 18520093 fired transitions, 1435 secs || 14519022 markings, 136497968 edges, 9716 markings/sec, 1435 secs
lola: STP completed || 19 tries, 18584081 fired transitions, 1440 secs || 14568436 markings, 136972385 edges, 9883 markings/sec, 1440 secs
lola: STP completed || 19 tries, 18650291 fired transitions, 1445 secs || 14620199 markings, 137465065 edges, 10353 markings/sec, 1445 secs
lola: STP completed || 19 tries, 18715707 fired transitions, 1450 secs || 14671858 markings, 137959321 edges, 10332 markings/sec, 1450 secs
lola: STP completed || 19 tries, 18783289 fired transitions, 1455 secs || 14725224 markings, 138466185 edges, 10673 markings/sec, 1455 secs
lola: STP completed || 19 tries, 18848528 fired transitions, 1460 secs || 14776678 markings, 138953945 edges, 10291 markings/sec, 1460 secs
lola: STP completed || 19 tries, 18914861 fired transitions, 1465 secs || 14829124 markings, 139451425 edges, 10489 markings/sec, 1465 secs
lola: STP completed || 19 tries, 18978190 fired transitions, 1470 secs || 14878373 markings, 139919687 edges, 9850 markings/sec, 1470 secs
lola: STP completed || 20 tries, 19045509 fired transitions, 1475 secs || 14929322 markings, 140416742 edges, 10190 markings/sec, 1475 secs
lola: STP completed || 20 tries, 19109034 fired transitions, 1480 secs || 14978291 markings, 140890309 edges, 9794 markings/sec, 1480 secs
lola: STP completed || 20 tries, 19172969 fired transitions, 1485 secs || 15028595 markings, 141366731 edges, 10061 markings/sec, 1485 secs
lola: STP completed || 20 tries, 19240316 fired transitions, 1490 secs || 15080729 markings, 141874776 edges, 10427 markings/sec, 1490 secs
lola: STP completed || 20 tries, 19309101 fired transitions, 1495 secs || 15133749 markings, 142382580 edges, 10604 markings/sec, 1495 secs
lola: STP completed || 20 tries, 19377923 fired transitions, 1500 secs || 15186177 markings, 142887072 edges, 10486 markings/sec, 1500 secs
lola: STP completed || 20 tries, 19446654 fired transitions, 1505 secs || 15240073 markings, 143395098 edges, 10779 markings/sec, 1505 secs
lola: STP completed || 20 tries, 19510604 fired transitions, 1510 secs || 15289451 markings, 143875819 edges, 9876 markings/sec, 1510 secs
lola: STP completed || 20 tries, 19573887 fired transitions, 1515 secs || 15338123 markings, 144346337 edges, 9734 markings/sec, 1515 secs
lola: STP completed || 20 tries, 19637533 fired transitions, 1520 secs || 15387164 markings, 144820580 edges, 9808 markings/sec, 1520 secs
lola: STP completed || 20 tries, 19701522 fired transitions, 1525 secs || 15437178 markings, 145301524 edges, 10003 markings/sec, 1525 secs
lola: STP completed || 20 tries, 19768335 fired transitions, 1530 secs || 15487771 markings, 145794855 edges, 10119 markings/sec, 1530 secs
lola: STP completed || 20 tries, 19832423 fired transitions, 1535 secs || 15537791 markings, 146274440 edges, 10004 markings/sec, 1535 secs
lola: STP completed || 20 tries, 19900847 fired transitions, 1540 secs || 15590454 markings, 146777921 edges, 10533 markings/sec, 1540 secs
lola: STP completed || 20 tries, 19967775 fired transitions, 1545 secs || 15641403 markings, 147267478 edges, 10190 markings/sec, 1545 secs
lola: STP completed || 21 tries, 20031202 fired transitions, 1550 secs || 15688416 markings, 147720904 edges, 9403 markings/sec, 1550 secs
lola: STP completed || 21 tries, 20095546 fired transitions, 1555 secs || 15735036 markings, 148164543 edges, 9324 markings/sec, 1555 secs
lola: STP completed || 21 tries, 20164421 fired transitions, 1560 secs || 15784309 markings, 148634863 edges, 9855 markings/sec, 1560 secs
lola: STP completed || 21 tries, 20230370 fired transitions, 1565 secs || 15831633 markings, 149086344 edges, 9465 markings/sec, 1565 secs
lola: STP completed || 21 tries, 20294200 fired transitions, 1570 secs || 15879112 markings, 149545137 edges, 9496 markings/sec, 1570 secs
lola: STP completed || 21 tries, 20358388 fired transitions, 1575 secs || 15928932 markings, 150022957 edges, 9964 markings/sec, 1575 secs
lola: STP completed || 21 tries, 20422346 fired transitions, 1580 secs || 15978449 markings, 150497260 edges, 9903 markings/sec, 1580 secs
lola: STP completed || 21 tries, 20487759 fired transitions, 1585 secs || 16026611 markings, 150952365 edges, 9632 markings/sec, 1585 secs
lola: STP completed || 21 tries, 20551132 fired transitions, 1590 secs || 16075550 markings, 151423336 edges, 9788 markings/sec, 1590 secs
lola: STP completed || 21 tries, 20614588 fired transitions, 1595 secs || 16124739 markings, 151894755 edges, 9838 markings/sec, 1595 secs
lola: STP completed || 21 tries, 20679397 fired transitions, 1600 secs || 16174672 markings, 152375984 edges, 9987 markings/sec, 1600 secs
lola: STP completed || 21 tries, 20743112 fired transitions, 1605 secs || 16224186 markings, 152845844 edges, 9903 markings/sec, 1605 secs
lola: STP completed || 21 tries, 20809841 fired transitions, 1610 secs || 16275706 markings, 153328745 edges, 10304 markings/sec, 1610 secs
lola: STP completed || 21 tries, 20874944 fired transitions, 1615 secs || 16325717 markings, 153807111 edges, 10002 markings/sec, 1615 secs
lola: STP completed || 21 tries, 20943106 fired transitions, 1620 secs || 16379047 markings, 154312509 edges, 10666 markings/sec, 1620 secs
lola: STP completed || 22 tries, 21006879 fired transitions, 1625 secs || 16428600 markings, 154786608 edges, 9911 markings/sec, 1625 secs
lola: STP completed || 22 tries, 21073103 fired transitions, 1630 secs || 16480555 markings, 155279334 edges, 10391 markings/sec, 1630 secs
lola: STP completed || 22 tries, 21136566 fired transitions, 1635 secs || 16530714 markings, 155752000 edges, 10032 markings/sec, 1635 secs
lola: STP completed || 22 tries, 21199848 fired transitions, 1640 secs || 16579201 markings, 156221315 edges, 9697 markings/sec, 1640 secs
lola: STP completed || 22 tries, 21263108 fired transitions, 1645 secs || 16628104 markings, 156688561 edges, 9781 markings/sec, 1645 secs
lola: STP completed || 22 tries, 21326624 fired transitions, 1650 secs || 16677121 markings, 157161563 edges, 9803 markings/sec, 1650 secs
lola: STP completed || 22 tries, 21392177 fired transitions, 1655 secs || 16727219 markings, 157644833 edges, 10020 markings/sec, 1655 secs
lola: STP completed || 22 tries, 21456742 fired transitions, 1660 secs || 16776465 markings, 158120627 edges, 9849 markings/sec, 1660 secs
lola: STP completed || 22 tries, 21524807 fired transitions, 1665 secs || 16828908 markings, 158626427 edges, 10489 markings/sec, 1665 secs
lola: STP completed || 22 tries, 21591618 fired transitions, 1670 secs || 16880891 markings, 159119129 edges, 10397 markings/sec, 1670 secs
lola: STP completed || 22 tries, 21658281 fired transitions, 1675 secs || 16932192 markings, 159608207 edges, 10260 markings/sec, 1675 secs
lola: STP completed || 22 tries, 21722808 fired transitions, 1680 secs || 16981913 markings, 160087622 edges, 9944 markings/sec, 1680 secs
lola: STP completed || 22 tries, 21787140 fired transitions, 1685 secs || 17031524 markings, 160563322 edges, 9922 markings/sec, 1685 secs
lola: STP completed || 22 tries, 21851803 fired transitions, 1690 secs || 17082569 markings, 161045761 edges, 10209 markings/sec, 1690 secs
lola: STP completed || 22 tries, 21916034 fired transitions, 1695 secs || 17132213 markings, 161524211 edges, 9929 markings/sec, 1695 secs
lola: STP completed || 22 tries, 21980484 fired transitions, 1700 secs || 17182381 markings, 162002071 edges, 10034 markings/sec, 1700 secs
lola: STP completed || 23 tries, 22043787 fired transitions, 1705 secs || 17231430 markings, 162471621 edges, 9810 markings/sec, 1705 secs
lola: STP completed || 23 tries, 22107761 fired transitions, 1710 secs || 17281119 markings, 162946934 edges, 9938 markings/sec, 1710 secs
lola: STP completed || 23 tries, 22171980 fired transitions, 1715 secs || 17330651 markings, 163421575 edges, 9906 markings/sec, 1715 secs
lola: STP completed || 23 tries, 22240681 fired transitions, 1720 secs || 17383354 markings, 163925127 edges, 10541 markings/sec, 1720 secs
lola: STP completed || 23 tries, 22309530 fired transitions, 1725 secs || 17435881 markings, 164429570 edges, 10505 markings/sec, 1725 secs
lola: STP completed || 23 tries, 22378756 fired transitions, 1730 secs || 17488997 markings, 164942036 edges, 10623 markings/sec, 1730 secs
lola: STP completed || 23 tries, 22447554 fired transitions, 1735 secs || 17541241 markings, 165443563 edges, 10449 markings/sec, 1735 secs
lola: STP completed || 23 tries, 22511381 fired transitions, 1740 secs || 17589758 markings, 165912244 edges, 9703 markings/sec, 1740 secs
lola: STP completed || 23 tries, 22574755 fired transitions, 1745 secs || 17639102 markings, 166385897 edges, 9869 markings/sec, 1745 secs
lola: STP completed || 23 tries, 22638423 fired transitions, 1750 secs || 17688935 markings, 166862085 edges, 9967 markings/sec, 1750 secs
lola: STP completed || 23 tries, 22702031 fired transitions, 1755 secs || 17737901 markings, 167336908 edges, 9793 markings/sec, 1755 secs
lola: STP completed || 23 tries, 22765643 fired transitions, 1760 secs || 17786887 markings, 167814486 edges, 9797 markings/sec, 1760 secs
lola: STP completed || 23 tries, 22829590 fired transitions, 1765 secs || 17836538 markings, 168292628 edges, 9930 markings/sec, 1765 secs
lola: STP completed || 23 tries, 22893381 fired transitions, 1770 secs || 17885579 markings, 168766469 edges, 9808 markings/sec, 1770 secs
lola: STP completed || 23 tries, 22956977 fired transitions, 1775 secs || 17934984 markings, 169242493 edges, 9881 markings/sec, 1775 secs
lola: STP completed || 24 tries, 23019978 fired transitions, 1780 secs || 17984978 markings, 169717537 edges, 9999 markings/sec, 1780 secs
lola: STP completed || 24 tries, 23083684 fired transitions, 1785 secs || 18034201 markings, 170186211 edges, 9845 markings/sec, 1785 secs
lola: STP completed || 24 tries, 23147441 fired transitions, 1790 secs || 18083559 markings, 170662488 edges, 9872 markings/sec, 1790 secs
lola: STP completed || 24 tries, 23211531 fired transitions, 1795 secs || 18133088 markings, 171134312 edges, 9906 markings/sec, 1795 secs
lola: STP completed || 24 tries, 23275106 fired transitions, 1800 secs || 18182266 markings, 171606844 edges, 9836 markings/sec, 1800 secs
lola: STP completed || 24 tries, 23338709 fired transitions, 1805 secs || 18231485 markings, 172075241 edges, 9844 markings/sec, 1805 secs
lola: STP completed || 24 tries, 23402010 fired transitions, 1810 secs || 18280434 markings, 172546836 edges, 9790 markings/sec, 1810 secs
lola: STP completed || 24 tries, 23465482 fired transitions, 1815 secs || 18329672 markings, 173016258 edges, 9848 markings/sec, 1815 secs
lola: STP completed || 24 tries, 23529150 fired transitions, 1820 secs || 18379187 markings, 173486777 edges, 9903 markings/sec, 1820 secs
lola: STP completed || 24 tries, 23592728 fired transitions, 1825 secs || 18428649 markings, 173959920 edges, 9892 markings/sec, 1825 secs
lola: STP completed || 24 tries, 23655854 fired transitions, 1830 secs || 18478137 markings, 174428049 edges, 9898 markings/sec, 1830 secs
lola: STP completed || 24 tries, 23719471 fired transitions, 1835 secs || 18527797 markings, 174898622 edges, 9932 markings/sec, 1835 secs
lola: STP completed || 24 tries, 23785789 fired transitions, 1840 secs || 18578601 markings, 175383985 edges, 10161 markings/sec, 1840 secs
lola: STP completed || 24 tries, 23850995 fired transitions, 1845 secs || 18627814 markings, 175857898 edges, 9843 markings/sec, 1845 secs
lola: STP completed || 24 tries, 23919153 fired transitions, 1850 secs || 18679088 markings, 176350484 edges, 10255 markings/sec, 1850 secs
lola: STP completed || 24 tries, 23982609 fired transitions, 1855 secs || 18729678 markings, 176823254 edges, 10118 markings/sec, 1855 secs
lola: STP completed || 25 tries, 24048490 fired transitions, 1860 secs || 18779183 markings, 177300384 edges, 9901 markings/sec, 1860 secs
lola: STP completed || 25 tries, 24111606 fired transitions, 1865 secs || 18828648 markings, 177765390 edges, 9893 markings/sec, 1865 secs
lola: STP completed || 25 tries, 24175015 fired transitions, 1870 secs || 18878230 markings, 178240074 edges, 9916 markings/sec, 1870 secs
lola: STP completed || 25 tries, 24237505 fired transitions, 1875 secs || 18927119 markings, 178705991 edges, 9778 markings/sec, 1875 secs
lola: STP completed || 25 tries, 24300598 fired transitions, 1880 secs || 18976568 markings, 179174075 edges, 9890 markings/sec, 1880 secs
lola: STP completed || 25 tries, 24363677 fired transitions, 1885 secs || 19027057 markings, 179649641 edges, 10098 markings/sec, 1885 secs
lola: STP completed || 25 tries, 24427137 fired transitions, 1890 secs || 19076510 markings, 180126507 edges, 9891 markings/sec, 1890 secs
lola: STP completed || 25 tries, 24491011 fired transitions, 1895 secs || 19127014 markings, 180603062 edges, 10101 markings/sec, 1895 secs
lola: STP completed || 25 tries, 24555405 fired transitions, 1900 secs || 19176569 markings, 181082966 edges, 9911 markings/sec, 1900 secs
lola: STP completed || 25 tries, 24618767 fired transitions, 1905 secs || 19227217 markings, 181555992 edges, 10130 markings/sec, 1905 secs
lola: STP completed || 25 tries, 24682534 fired transitions, 1910 secs || 19276239 markings, 182028631 edges, 9804 markings/sec, 1910 secs
lola: STP completed || 25 tries, 24746254 fired transitions, 1915 secs || 19326885 markings, 182497581 edges, 10129 markings/sec, 1915 secs
lola: STP completed || 25 tries, 24810140 fired transitions, 1920 secs || 19376017 markings, 182970047 edges, 9826 markings/sec, 1920 secs
lola: STP completed || 25 tries, 24874015 fired transitions, 1925 secs || 19425654 markings, 183438472 edges, 9927 markings/sec, 1925 secs
lola: STP completed || 25 tries, 24938071 fired transitions, 1930 secs || 19474477 markings, 183908236 edges, 9765 markings/sec, 1930 secs
lola: STP completed || 26 tries, 25001484 fired transitions, 1935 secs || 19523198 markings, 184376345 edges, 9744 markings/sec, 1935 secs
lola: STP completed || 26 tries, 25064683 fired transitions, 1940 secs || 19572143 markings, 184844038 edges, 9789 markings/sec, 1940 secs
lola: STP completed || 26 tries, 25128302 fired transitions, 1945 secs || 19620793 markings, 185310336 edges, 9730 markings/sec, 1945 secs
lola: STP completed || 26 tries, 25192482 fired transitions, 1950 secs || 19670657 markings, 185781618 edges, 9973 markings/sec, 1950 secs
lola: STP completed || 26 tries, 25256422 fired transitions, 1955 secs || 19720347 markings, 186252836 edges, 9938 markings/sec, 1955 secs
lola: STP completed || 26 tries, 25320103 fired transitions, 1960 secs || 19769041 markings, 186724776 edges, 9739 markings/sec, 1960 secs
lola: STP completed || 26 tries, 25383957 fired transitions, 1965 secs || 19818409 markings, 187197484 edges, 9874 markings/sec, 1965 secs
lola: STP completed || 26 tries, 25447492 fired transitions, 1970 secs || 19867352 markings, 187669922 edges, 9789 markings/sec, 1970 secs
lola: STP completed || 26 tries, 25511088 fired transitions, 1975 secs || 19917059 markings, 188142488 edges, 9941 markings/sec, 1975 secs
lola: STP completed || 26 tries, 25574977 fired transitions, 1980 secs || 19966477 markings, 188613414 edges, 9884 markings/sec, 1980 secs
lola: STP completed || 26 tries, 25638823 fired transitions, 1985 secs || 20015894 markings, 189087167 edges, 9883 markings/sec, 1985 secs
lola: STP completed || 26 tries, 25702163 fired transitions, 1990 secs || 20065447 markings, 189558313 edges, 9911 markings/sec, 1990 secs
lola: STP completed || 26 tries, 25765731 fired transitions, 1995 secs || 20115174 markings, 190027520 edges, 9945 markings/sec, 1995 secs
lola: STP completed || 26 tries, 25829556 fired transitions, 2000 secs || 20164578 markings, 190501878 edges, 9881 markings/sec, 2000 secs
lola: STP completed || 26 tries, 25892876 fired transitions, 2005 secs || 20214612 markings, 190977605 edges, 10007 markings/sec, 2005 secs
lola: STP completed || 26 tries, 25956500 fired transitions, 2010 secs || 20264739 markings, 191453439 edges, 10025 markings/sec, 2010 secs
lola: STP completed || 27 tries, 26023953 fired transitions, 2015 secs || 20317587 markings, 191953711 edges, 10570 markings/sec, 2015 secs
lola: STP completed || 27 tries, 26092765 fired transitions, 2020 secs || 20370757 markings, 192460146 edges, 10634 markings/sec, 2020 secs
lola: STP completed || 27 tries, 26161071 fired transitions, 2025 secs || 20423013 markings, 192965636 edges, 10451 markings/sec, 2025 secs
lola: STP completed || 27 tries, 26228303 fired transitions, 2030 secs || 20474667 markings, 193460603 edges, 10331 markings/sec, 2030 secs
lola: STP completed || 27 tries, 26296995 fired transitions, 2035 secs || 20527868 markings, 193965247 edges, 10640 markings/sec, 2035 secs
lola: STP completed || 27 tries, 26363506 fired transitions, 2040 secs || 20579342 markings, 194462336 edges, 10295 markings/sec, 2040 secs
lola: STP completed || 27 tries, 26429792 fired transitions, 2045 secs || 20631813 markings, 194955007 edges, 10494 markings/sec, 2045 secs
lola: STP completed || 27 tries, 26493167 fired transitions, 2050 secs || 20681348 markings, 195433071 edges, 9907 markings/sec, 2050 secs
lola: STP completed || 27 tries, 26556731 fired transitions, 2055 secs || 20730719 markings, 195903009 edges, 9874 markings/sec, 2055 secs
lola: STP completed || 27 tries, 26620121 fired transitions, 2060 secs || 20780491 markings, 196379492 edges, 9954 markings/sec, 2060 secs
lola: STP completed || 27 tries, 26683393 fired transitions, 2065 secs || 20830202 markings, 196852988 edges, 9942 markings/sec, 2065 secs
lola: STP completed || 27 tries, 26748609 fired transitions, 2070 secs || 20881704 markings, 197340211 edges, 10300 markings/sec, 2070 secs
lola: STP completed || 27 tries, 26814828 fired transitions, 2075 secs || 20933471 markings, 197837452 edges, 10353 markings/sec, 2075 secs
lola: STP completed || 27 tries, 26878871 fired transitions, 2080 secs || 20983582 markings, 198317454 edges, 10022 markings/sec, 2080 secs
lola: STP completed || 27 tries, 26942427 fired transitions, 2085 secs || 21032343 markings, 198785885 edges, 9752 markings/sec, 2085 secs
lola: STP completed || 28 tries, 27005572 fired transitions, 2090 secs || 21081898 markings, 199259039 edges, 9911 markings/sec, 2090 secs
lola: STP completed || 28 tries, 27068463 fired transitions, 2095 secs || 21131048 markings, 199730973 edges, 9830 markings/sec, 2095 secs
lola: STP completed || 28 tries, 27133235 fired transitions, 2100 secs || 21181507 markings, 200208134 edges, 10092 markings/sec, 2100 secs
lola: STP completed || 28 tries, 27200615 fired transitions, 2105 secs || 21233982 markings, 200708684 edges, 10495 markings/sec, 2105 secs
lola: STP completed || 28 tries, 27266175 fired transitions, 2110 secs || 21285222 markings, 201197409 edges, 10248 markings/sec, 2110 secs
lola: STP completed || 28 tries, 27329378 fired transitions, 2115 secs || 21334678 markings, 201667099 edges, 9891 markings/sec, 2115 secs
lola: STP completed || 28 tries, 27392797 fired transitions, 2120 secs || 21383797 markings, 202140806 edges, 9824 markings/sec, 2120 secs
lola: STP completed || 28 tries, 27461177 fired transitions, 2125 secs || 21437441 markings, 202642249 edges, 10729 markings/sec, 2125 secs
lola: STP completed || 28 tries, 27526846 fired transitions, 2130 secs || 21489122 markings, 203143129 edges, 10336 markings/sec, 2130 secs
lola: STP completed || 28 tries, 27595442 fired transitions, 2135 secs || 21542232 markings, 203650672 edges, 10622 markings/sec, 2135 secs
lola: STP completed || 28 tries, 27664167 fired transitions, 2140 secs || 21595313 markings, 204155909 edges, 10616 markings/sec, 2140 secs
lola: STP completed || 28 tries, 27733059 fired transitions, 2145 secs || 21648789 markings, 204661616 edges, 10695 markings/sec, 2145 secs
lola: STP completed || 28 tries, 27802071 fired transitions, 2150 secs || 21702551 markings, 205172754 edges, 10752 markings/sec, 2150 secs
lola: STP completed || 28 tries, 27870706 fired transitions, 2155 secs || 21755872 markings, 205680355 edges, 10664 markings/sec, 2155 secs
lola: STP completed || 28 tries, 27939483 fired transitions, 2160 secs || 21808190 markings, 206191863 edges, 10464 markings/sec, 2160 secs
lola: STP completed || 29 tries, 28005558 fired transitions, 2165 secs || 21860622 markings, 206692043 edges, 10486 markings/sec, 2165 secs
lola: STP completed || 29 tries, 28072907 fired transitions, 2170 secs || 21912166 markings, 207187079 edges, 10309 markings/sec, 2170 secs
lola: STP completed || 29 tries, 28136954 fired transitions, 2175 secs || 21961898 markings, 207664116 edges, 9946 markings/sec, 2175 secs
lola: STP completed || 29 tries, 28200509 fired transitions, 2180 secs || 22012115 markings, 208143421 edges, 10043 markings/sec, 2180 secs
lola: STP completed || 29 tries, 28263776 fired transitions, 2185 secs || 22061090 markings, 208619495 edges, 9795 markings/sec, 2185 secs
lola: STP completed || 29 tries, 28327571 fired transitions, 2190 secs || 22110504 markings, 209099783 edges, 9883 markings/sec, 2190 secs
lola: STP completed || 29 tries, 28391696 fired transitions, 2195 secs || 22160630 markings, 209580939 edges, 10025 markings/sec, 2195 secs
lola: STP completed || 29 tries, 28455462 fired transitions, 2200 secs || 22209229 markings, 210051853 edges, 9720 markings/sec, 2200 secs
lola: STP completed || 29 tries, 28519023 fired transitions, 2205 secs || 22257694 markings, 210523505 edges, 9693 markings/sec, 2205 secs
lola: STP completed || 29 tries, 28582621 fired transitions, 2210 secs || 22306873 markings, 210993499 edges, 9836 markings/sec, 2210 secs
lola: STP completed || 29 tries, 28646204 fired transitions, 2215 secs || 22356063 markings, 211466917 edges, 9838 markings/sec, 2215 secs
lola: STP completed || 29 tries, 28709830 fired transitions, 2220 secs || 22405836 markings, 211944019 edges, 9955 markings/sec, 2220 secs
lola: STP completed || 29 tries, 28773463 fired transitions, 2225 secs || 22455019 markings, 212416928 edges, 9837 markings/sec, 2225 secs
lola: STP completed || 29 tries, 28837045 fired transitions, 2230 secs || 22504302 markings, 212887627 edges, 9857 markings/sec, 2230 secs
lola: STP completed || 29 tries, 28900598 fired transitions, 2235 secs || 22553605 markings, 213359183 edges, 9861 markings/sec, 2235 secs
lola: STP completed || 29 tries, 28964111 fired transitions, 2240 secs || 22604069 markings, 213838886 edges, 10093 markings/sec, 2240 secs
lola: STP completed || 30 tries, 29027567 fired transitions, 2245 secs || 22653709 markings, 214313885 edges, 9928 markings/sec, 2245 secs
lola: STP completed || 30 tries, 29091296 fired transitions, 2250 secs || 22702676 markings, 214782148 edges, 9793 markings/sec, 2250 secs
lola: STP completed || 30 tries, 29154974 fired transitions, 2255 secs || 22751446 markings, 215256074 edges, 9754 markings/sec, 2255 secs
lola: STP completed || 30 tries, 29218571 fired transitions, 2260 secs || 22800977 markings, 215731826 edges, 9906 markings/sec, 2260 secs
lola: STP completed || 30 tries, 29282037 fired transitions, 2265 secs || 22850264 markings, 216199925 edges, 9857 markings/sec, 2265 secs
lola: STP completed || 30 tries, 29345995 fired transitions, 2270 secs || 22899827 markings, 216674584 edges, 9913 markings/sec, 2270 secs
lola: STP completed || 30 tries, 29409634 fired transitions, 2275 secs || 22949737 markings, 217151313 edges, 9982 markings/sec, 2275 secs
lola: STP completed || 30 tries, 29475982 fired transitions, 2280 secs || 23000834 markings, 217631998 edges, 10219 markings/sec, 2280 secs
lola: STP completed || 30 tries, 29544443 fired transitions, 2285 secs || 23054141 markings, 218135783 edges, 10661 markings/sec, 2285 secs
lola: STP completed || 30 tries, 29611539 fired transitions, 2290 secs || 23106304 markings, 218632305 edges, 10433 markings/sec, 2290 secs
lola: STP completed || 30 tries, 29679795 fired transitions, 2295 secs || 23158961 markings, 219129588 edges, 10531 markings/sec, 2295 secs
lola: STP completed || 30 tries, 29748248 fired transitions, 2300 secs || 23211538 markings, 219632561 edges, 10515 markings/sec, 2300 secs
lola: STP completed || 30 tries, 29811560 fired transitions, 2305 secs || 23260055 markings, 220098406 edges, 9703 markings/sec, 2305 secs
lola: STP completed || 30 tries, 29880036 fired transitions, 2310 secs || 23311883 markings, 220596373 edges, 10366 markings/sec, 2310 secs
lola: STP completed || 30 tries, 29943892 fired transitions, 2315 secs || 23360682 markings, 221061819 edges, 9760 markings/sec, 2315 secs
lola: STP completed || 31 tries, 30007099 fired transitions, 2320 secs || 23410533 markings, 221533913 edges, 9970 markings/sec, 2320 secs
lola: STP completed || 31 tries, 30072758 fired transitions, 2325 secs || 23461463 markings, 222022120 edges, 10186 markings/sec, 2325 secs
lola: STP completed || 31 tries, 30139240 fired transitions, 2330 secs || 23513582 markings, 222511762 edges, 10424 markings/sec, 2330 secs
lola: STP completed || 31 tries, 30207167 fired transitions, 2335 secs || 23564704 markings, 223008865 edges, 10224 markings/sec, 2335 secs
lola: STP completed || 31 tries, 30271009 fired transitions, 2340 secs || 23613019 markings, 223472708 edges, 9663 markings/sec, 2340 secs
lola: STP completed || 31 tries, 30338956 fired transitions, 2345 secs || 23665444 markings, 223970331 edges, 10485 markings/sec, 2345 secs
lola: STP completed || 31 tries, 30404282 fired transitions, 2350 secs || 23716096 markings, 224452302 edges, 10130 markings/sec, 2350 secs
lola: STP completed || 31 tries, 30467806 fired transitions, 2355 secs || 23765019 markings, 224919738 edges, 9785 markings/sec, 2355 secs
lola: STP completed || 31 tries, 30531133 fired transitions, 2360 secs || 23813755 markings, 225385875 edges, 9747 markings/sec, 2360 secs
lola: STP completed || 31 tries, 30594546 fired transitions, 2365 secs || 23862879 markings, 225855015 edges, 9825 markings/sec, 2365 secs
lola: STP completed || 31 tries, 30658321 fired transitions, 2370 secs || 23911584 markings, 226321362 edges, 9741 markings/sec, 2370 secs
lola: STP completed || 31 tries, 30725545 fired transitions, 2375 secs || 23963317 markings, 226814694 edges, 10347 markings/sec, 2375 secs
lola: STP completed || 31 tries, 30793150 fired transitions, 2380 secs || 24015887 markings, 227320284 edges, 10514 markings/sec, 2380 secs
lola: STP completed || 31 tries, 30856976 fired transitions, 2385 secs || 24064999 markings, 227796559 edges, 9822 markings/sec, 2385 secs
lola: STP completed || 31 tries, 30922149 fired transitions, 2390 secs || 24114456 markings, 228270254 edges, 9891 markings/sec, 2390 secs
lola: STP completed || 31 tries, 30985359 fired transitions, 2395 secs || 24162950 markings, 228739501 edges, 9699 markings/sec, 2395 secs
lola: STP completed || 32 tries, 31048562 fired transitions, 2400 secs || 24211231 markings, 229208084 edges, 9656 markings/sec, 2400 secs
lola: STP completed || 32 tries, 31111486 fired transitions, 2405 secs || 24260012 markings, 229671297 edges, 9756 markings/sec, 2405 secs
lola: STP completed || 32 tries, 31174437 fired transitions, 2410 secs || 24308756 markings, 230141420 edges, 9749 markings/sec, 2410 secs
lola: STP completed || 32 tries, 31238326 fired transitions, 2415 secs || 24357837 markings, 230610041 edges, 9816 markings/sec, 2415 secs
lola: STP completed || 32 tries, 31305536 fired transitions, 2420 secs || 24409010 markings, 231098432 edges, 10235 markings/sec, 2420 secs
lola: STP completed || 32 tries, 31373591 fired transitions, 2425 secs || 24462526 markings, 231602446 edges, 10703 markings/sec, 2425 secs
lola: STP completed || 32 tries, 31441715 fired transitions, 2430 secs || 24514594 markings, 232100354 edges, 10414 markings/sec, 2430 secs
lola: STP completed || 32 tries, 31505470 fired transitions, 2435 secs || 24563874 markings, 232576782 edges, 9856 markings/sec, 2435 secs
lola: STP completed || 32 tries, 31569108 fired transitions, 2440 secs || 24612362 markings, 233048162 edges, 9698 markings/sec, 2440 secs
lola: STP completed || 32 tries, 31632510 fired transitions, 2445 secs || 24661701 markings, 233520075 edges, 9868 markings/sec, 2445 secs
lola: STP completed || 32 tries, 31695851 fired transitions, 2450 secs || 24711490 markings, 233993593 edges, 9958 markings/sec, 2450 secs
lola: STP completed || 32 tries, 31759055 fired transitions, 2455 secs || 24760066 markings, 234465949 edges, 9715 markings/sec, 2455 secs
lola: STP completed || 32 tries, 31822218 fired transitions, 2460 secs || 24808153 markings, 234935886 edges, 9617 markings/sec, 2460 secs
lola: STP completed || 32 tries, 31885436 fired transitions, 2465 secs || 24856008 markings, 235405422 edges, 9571 markings/sec, 2465 secs
lola: STP completed || 32 tries, 31948305 fired transitions, 2470 secs || 24905248 markings, 235863940 edges, 9848 markings/sec, 2470 secs
lola: STP completed || 33 tries, 32010374 fired transitions, 2475 secs || 24953769 markings, 236331699 edges, 9704 markings/sec, 2475 secs
lola: STP completed || 33 tries, 32073494 fired transitions, 2480 secs || 25002824 markings, 236801291 edges, 9811 markings/sec, 2480 secs
lola: STP completed || 33 tries, 32136907 fired transitions, 2485 secs || 25051951 markings, 237274419 edges, 9825 markings/sec, 2485 secs
lola: STP completed || 33 tries, 32200590 fired transitions, 2490 secs || 25101201 markings, 237745890 edges, 9850 markings/sec, 2490 secs
lola: STP completed || 33 tries, 32264314 fired transitions, 2495 secs || 25151026 markings, 238220171 edges, 9965 markings/sec, 2495 secs
lola: STP completed || 33 tries, 32327169 fired transitions, 2500 secs || 25200498 markings, 238693093 edges, 9894 markings/sec, 2500 secs
lola: STP completed || 33 tries, 32390385 fired transitions, 2505 secs || 25250162 markings, 239166056 edges, 9933 markings/sec, 2505 secs
lola: STP completed || 33 tries, 32456830 fired transitions, 2510 secs || 25301940 markings, 239658516 edges, 10356 markings/sec, 2510 secs
lola: STP completed || 33 tries, 32520365 fired transitions, 2515 secs || 25351660 markings, 240133037 edges, 9944 markings/sec, 2515 secs
lola: STP completed || 33 tries, 32584041 fired transitions, 2520 secs || 25400310 markings, 240604585 edges, 9730 markings/sec, 2520 secs
lola: STP completed || 33 tries, 32647771 fired transitions, 2525 secs || 25449716 markings, 241076666 edges, 9881 markings/sec, 2525 secs
lola: STP completed || 33 tries, 32711385 fired transitions, 2530 secs || 25499414 markings, 241542771 edges, 9940 markings/sec, 2530 secs
lola: STP completed || 33 tries, 32774966 fired transitions, 2535 secs || 25550132 markings, 242015686 edges, 10144 markings/sec, 2535 secs
lola: STP completed || 33 tries, 32838542 fired transitions, 2540 secs || 25600517 markings, 242484081 edges, 10077 markings/sec, 2540 secs
lola: STP completed || 33 tries, 32902022 fired transitions, 2545 secs || 25649979 markings, 242953681 edges, 9892 markings/sec, 2545 secs
lola: STP completed || 33 tries, 32965562 fired transitions, 2550 secs || 25699441 markings, 243419945 edges, 9892 markings/sec, 2550 secs
lola: STP completed || 34 tries, 33031487 fired transitions, 2555 secs || 25750298 markings, 243908322 edges, 10171 markings/sec, 2555 secs
lola: STP completed || 34 tries, 33100404 fired transitions, 2560 secs || 25802456 markings, 244408627 edges, 10432 markings/sec, 2560 secs
lola: STP completed || 34 tries, 33163920 fired transitions, 2565 secs || 25850303 markings, 244865647 edges, 9569 markings/sec, 2565 secs
lola: STP completed || 34 tries, 33227543 fired transitions, 2570 secs || 25900262 markings, 245338665 edges, 9992 markings/sec, 2570 secs
lola: STP completed || 34 tries, 33293216 fired transitions, 2575 secs || 25950374 markings, 245824098 edges, 10022 markings/sec, 2575 secs
lola: STP completed || 34 tries, 33360857 fired transitions, 2580 secs || 26000744 markings, 246304436 edges, 10074 markings/sec, 2580 secs
lola: STP completed || 34 tries, 33426461 fired transitions, 2585 secs || 26051387 markings, 246788676 edges, 10129 markings/sec, 2585 secs
lola: STP completed || 34 tries, 33489986 fired transitions, 2590 secs || 26100014 markings, 247259515 edges, 9725 markings/sec, 2590 secs
lola: STP completed || 34 tries, 33553472 fired transitions, 2595 secs || 26149290 markings, 247726100 edges, 9855 markings/sec, 2595 secs
lola: STP completed || 34 tries, 33616643 fired transitions, 2600 secs || 26198762 markings, 248193727 edges, 9894 markings/sec, 2600 secs
lola: STP completed || 34 tries, 33679891 fired transitions, 2605 secs || 26247333 markings, 248657822 edges, 9714 markings/sec, 2605 secs
lola: STP completed || 34 tries, 33744372 fired transitions, 2610 secs || 26296850 markings, 249135995 edges, 9903 markings/sec, 2610 secs
lola: STP completed || 34 tries, 33808671 fired transitions, 2615 secs || 26346008 markings, 249607634 edges, 9832 markings/sec, 2615 secs
lola: STP completed || 34 tries, 33875464 fired transitions, 2620 secs || 26397983 markings, 250104566 edges, 10395 markings/sec, 2620 secs
lola: STP completed || 34 tries, 33940246 fired transitions, 2625 secs || 26447528 markings, 250576538 edges, 9909 markings/sec, 2625 secs
lola: STP completed || 35 tries, 34005399 fired transitions, 2630 secs || 26497103 markings, 251054399 edges, 9915 markings/sec, 2630 secs
lola: STP completed || 35 tries, 34068794 fired transitions, 2635 secs || 26546708 markings, 251522127 edges, 9921 markings/sec, 2635 secs
lola: STP completed || 35 tries, 34132132 fired transitions, 2640 secs || 26595358 markings, 251987469 edges, 9730 markings/sec, 2640 secs
lola: STP completed || 35 tries, 34195729 fired transitions, 2645 secs || 26644356 markings, 252458061 edges, 9800 markings/sec, 2645 secs
lola: STP completed || 35 tries, 34259133 fired transitions, 2650 secs || 26693149 markings, 252924801 edges, 9759 markings/sec, 2650 secs
lola: STP completed || 35 tries, 34322604 fired transitions, 2655 secs || 26742746 markings, 253396120 edges, 9919 markings/sec, 2655 secs
lola: STP completed || 35 tries, 34386030 fired transitions, 2660 secs || 26791709 markings, 253869830 edges, 9793 markings/sec, 2660 secs
lola: STP completed || 35 tries, 34448872 fired transitions, 2665 secs || 26840580 markings, 254334778 edges, 9774 markings/sec, 2665 secs
lola: STP completed || 35 tries, 34513252 fired transitions, 2670 secs || 26890244 markings, 254810899 edges, 9933 markings/sec, 2670 secs
lola: STP completed || 35 tries, 34576272 fired transitions, 2675 secs || 26938432 markings, 255275773 edges, 9638 markings/sec, 2675 secs
lola: STP completed || 35 tries, 34640644 fired transitions, 2680 secs || 26987022 markings, 255742747 edges, 9718 markings/sec, 2680 secs
lola: STP completed || 35 tries, 34703712 fired transitions, 2685 secs || 27035518 markings, 256216139 edges, 9699 markings/sec, 2685 secs
lola: STP completed || 35 tries, 34765819 fired transitions, 2690 secs || 27084367 markings, 256681898 edges, 9770 markings/sec, 2690 secs
lola: STP completed || 35 tries, 34829345 fired transitions, 2695 secs || 27132557 markings, 257145235 edges, 9638 markings/sec, 2695 secs
lola: STP completed || 35 tries, 34892317 fired transitions, 2700 secs || 27180812 markings, 257610082 edges, 9651 markings/sec, 2700 secs
lola: STP completed || 35 tries, 34955584 fired transitions, 2705 secs || 27229580 markings, 258078856 edges, 9754 markings/sec, 2705 secs
lola: STP completed || 36 tries, 35021096 fired transitions, 2710 secs || 27279681 markings, 258560001 edges, 10020 markings/sec, 2710 secs
lola: STP completed || 36 tries, 35084486 fired transitions, 2715 secs || 27328966 markings, 259029488 edges, 9857 markings/sec, 2715 secs
lola: STP completed || 36 tries, 35148046 fired transitions, 2720 secs || 27377899 markings, 259498052 edges, 9787 markings/sec, 2720 secs
lola: STP completed || 36 tries, 35211266 fired transitions, 2725 secs || 27427029 markings, 259969604 edges, 9826 markings/sec, 2725 secs
lola: STP completed || 36 tries, 35276672 fired transitions, 2730 secs || 27476872 markings, 260451084 edges, 9969 markings/sec, 2730 secs
lola: STP completed || 36 tries, 35341613 fired transitions, 2735 secs || 27526414 markings, 260929590 edges, 9908 markings/sec, 2735 secs
lola: STP completed || 36 tries, 35409191 fired transitions, 2740 secs || 27577677 markings, 261428210 edges, 10253 markings/sec, 2740 secs
lola: STP completed || 36 tries, 35474942 fired transitions, 2745 secs || 27628219 markings, 261910843 edges, 10108 markings/sec, 2745 secs
lola: STP completed || 36 tries, 35539715 fired transitions, 2750 secs || 27678134 markings, 262387480 edges, 9983 markings/sec, 2750 secs
lola: STP completed || 36 tries, 35603647 fired transitions, 2755 secs || 27727235 markings, 262859976 edges, 9820 markings/sec, 2755 secs
lola: STP completed || 36 tries, 35667219 fired transitions, 2760 secs || 27776186 markings, 263325953 edges, 9790 markings/sec, 2760 secs
lola: STP completed || 36 tries, 35730806 fired transitions, 2765 secs || 27824724 markings, 263796510 edges, 9708 markings/sec, 2765 secs
lola: STP completed || 36 tries, 35794303 fired transitions, 2770 secs || 27873593 markings, 264267993 edges, 9774 markings/sec, 2770 secs
lola: STP completed || 36 tries, 35858091 fired transitions, 2775 secs || 27922642 markings, 264732771 edges, 9810 markings/sec, 2775 secs
lola: STP completed || 36 tries, 35921705 fired transitions, 2780 secs || 27971980 markings, 265197029 edges, 9868 markings/sec, 2780 secs
lola: STP completed || 36 tries, 35985454 fired transitions, 2785 secs || 28021467 markings, 265668164 edges, 9897 markings/sec, 2785 secs
lola: STP completed || 37 tries, 36051903 fired transitions, 2790 secs || 28073609 markings, 266162032 edges, 10428 markings/sec, 2790 secs
lola: STP completed || 37 tries, 36118006 fired transitions, 2795 secs || 28124181 markings, 266651388 edges, 10114 markings/sec, 2795 secs
lola: STP completed || 37 tries, 36183807 fired transitions, 2800 secs || 28175000 markings, 267139629 edges, 10164 markings/sec, 2800 secs
lola: STP completed || 37 tries, 36250028 fired transitions, 2805 secs || 28226191 markings, 267627912 edges, 10238 markings/sec, 2805 secs
lola: STP completed || 37 tries, 36314664 fired transitions, 2810 secs || 28276849 markings, 268111074 edges, 10132 markings/sec, 2810 secs
lola: STP completed || 37 tries, 36382074 fired transitions, 2815 secs || 28328782 markings, 268608263 edges, 10387 markings/sec, 2815 secs
lola: STP completed || 37 tries, 36447163 fired transitions, 2820 secs || 28379626 markings, 269091015 edges, 10169 markings/sec, 2820 secs
lola: STP completed || 37 tries, 36514487 fired transitions, 2825 secs || 28431260 markings, 269585842 edges, 10327 markings/sec, 2825 secs
lola: STP completed || 37 tries, 36580759 fired transitions, 2830 secs || 28482890 markings, 270079614 edges, 10326 markings/sec, 2830 secs
lola: STP completed || 37 tries, 36644312 fired transitions, 2835 secs || 28532129 markings, 270559833 edges, 9848 markings/sec, 2835 secs
lola: STP completed || 37 tries, 36707764 fired transitions, 2840 secs || 28581689 markings, 271029633 edges, 9912 markings/sec, 2840 secs
lola: STP completed || 37 tries, 36775134 fired transitions, 2845 secs || 28634053 markings, 271525092 edges, 10473 markings/sec, 2845 secs
lola: STP completed || 37 tries, 36840892 fired transitions, 2850 secs || 28686077 markings, 272009178 edges, 10405 markings/sec, 2850 secs
lola: STP completed || 37 tries, 36905399 fired transitions, 2855 secs || 28736005 markings, 272480020 edges, 9986 markings/sec, 2855 secs
lola: STP completed || 37 tries, 36968847 fired transitions, 2860 secs || 28785776 markings, 272953919 edges, 9954 markings/sec, 2860 secs
lola: STP completed || 38 tries, 37034404 fired transitions, 2865 secs || 28835661 markings, 273434342 edges, 9977 markings/sec, 2865 secs
lola: STP completed || 38 tries, 37097909 fired transitions, 2870 secs || 28883926 markings, 273899402 edges, 9653 markings/sec, 2870 secs
lola: STP completed || 38 tries, 37161644 fired transitions, 2875 secs || 28932658 markings, 274366265 edges, 9746 markings/sec, 2875 secs
lola: STP completed || 38 tries, 37225103 fired transitions, 2880 secs || 28981389 markings, 274833642 edges, 9746 markings/sec, 2880 secs
lola: STP completed || 38 tries, 37288580 fired transitions, 2885 secs || 29031156 markings, 275306058 edges, 9953 markings/sec, 2885 secs
lola: STP completed || 38 tries, 37351928 fired transitions, 2890 secs || 29079875 markings, 275775080 edges, 9744 markings/sec, 2890 secs
lola: STP completed || 38 tries, 37415019 fired transitions, 2895 secs || 29128164 markings, 276237191 edges, 9658 markings/sec, 2895 secs
lola: STP completed || 38 tries, 37478169 fired transitions, 2900 secs || 29177016 markings, 276701722 edges, 9770 markings/sec, 2900 secs
lola: STP completed || 38 tries, 37541698 fired transitions, 2905 secs || 29225764 markings, 277171071 edges, 9750 markings/sec, 2905 secs
lola: STP completed || 38 tries, 37605143 fired transitions, 2910 secs || 29275386 markings, 277644618 edges, 9924 markings/sec, 2910 secs
lola: STP completed || 38 tries, 37669147 fired transitions, 2915 secs || 29324368 markings, 278119886 edges, 9796 markings/sec, 2915 secs
lola: STP completed || 38 tries, 37732395 fired transitions, 2920 secs || 29372712 markings, 278585125 edges, 9669 markings/sec, 2920 secs
lola: STP completed || 38 tries, 37796915 fired transitions, 2925 secs || 29422990 markings, 279066351 edges, 10056 markings/sec, 2925 secs
lola: STP completed || 38 tries, 37860800 fired transitions, 2930 secs || 29474147 markings, 279548362 edges, 10231 markings/sec, 2930 secs
lola: STP completed || 38 tries, 37924525 fired transitions, 2935 secs || 29524309 markings, 280020289 edges, 10032 markings/sec, 2935 secs
lola: STP completed || 38 tries, 37987534 fired transitions, 2940 secs || 29573400 markings, 280494504 edges, 9818 markings/sec, 2940 secs
lola: STP completed || 39 tries, 38050536 fired transitions, 2945 secs || 29622899 markings, 280968205 edges, 9900 markings/sec, 2945 secs
lola: STP completed || 39 tries, 38114721 fired transitions, 2950 secs || 29671883 markings, 281439939 edges, 9797 markings/sec, 2950 secs
lola: STP completed || 39 tries, 38178012 fired transitions, 2955 secs || 29720746 markings, 281899090 edges, 9773 markings/sec, 2955 secs
lola: STP completed || 39 tries, 38243061 fired transitions, 2960 secs || 29771531 markings, 282377595 edges, 10157 markings/sec, 2960 secs
lola: STP completed || 39 tries, 38306034 fired transitions, 2965 secs || 29821065 markings, 282855652 edges, 9907 markings/sec, 2965 secs
lola: STP completed || 39 tries, 38369156 fired transitions, 2970 secs || 29870178 markings, 283323299 edges, 9823 markings/sec, 2970 secs
lola: STP completed || 39 tries, 38433514 fired transitions, 2975 secs || 29920190 markings, 283795482 edges, 10002 markings/sec, 2975 secs
lola: STP completed || 39 tries, 38501987 fired transitions, 2980 secs || 29972090 markings, 284302071 edges, 10380 markings/sec, 2980 secs
lola: STP completed || 39 tries, 38566378 fired transitions, 2985 secs || 30022853 markings, 284777026 edges, 10153 markings/sec, 2985 secs
lola: STP completed || 39 tries, 38629193 fired transitions, 2990 secs || 30072065 markings, 285245831 edges, 9842 markings/sec, 2990 secs
lola: STP completed || 39 tries, 38692671 fired transitions, 2995 secs || 30121976 markings, 285715162 edges, 9982 markings/sec, 2995 secs
lola: STP completed || 39 tries, 38756283 fired transitions, 3000 secs || 30172948 markings, 286190283 edges, 10194 markings/sec, 3000 secs
lola: STP completed || 39 tries, 38821858 fired transitions, 3005 secs || 30224025 markings, 286676341 edges, 10215 markings/sec, 3005 secs
lola: STP completed || 39 tries, 38890566 fired transitions, 3010 secs || 30276778 markings, 287179346 edges, 10551 markings/sec, 3010 secs
lola: STP completed || 39 tries, 38956642 fired transitions, 3015 secs || 30327510 markings, 287664175 edges, 10146 markings/sec, 3015 secs
lola: STP completed || 40 tries, 39020373 fired transitions, 3020 secs || 30376744 markings, 288136722 edges, 9847 markings/sec, 3020 secs
lola: STP completed || 40 tries, 39084086 fired transitions, 3025 secs || 30425503 markings, 288606331 edges, 9752 markings/sec, 3025 secs
lola: STP completed || 40 tries, 39147862 fired transitions, 3030 secs || 30476422 markings, 289081976 edges, 10184 markings/sec, 3030 secs
lola: STP completed || 40 tries, 39211696 fired transitions, 3035 secs || 30525590 markings, 289554971 edges, 9834 markings/sec, 3035 secs
lola: STP completed || 40 tries, 39275545 fired transitions, 3040 secs || 30575885 markings, 290031418 edges, 10059 markings/sec, 3040 secs
lola: STP completed || 40 tries, 39339382 fired transitions, 3045 secs || 30625482 markings, 290509673 edges, 9919 markings/sec, 3045 secs
lola: STP completed || 40 tries, 39402909 fired transitions, 3050 secs || 30674741 markings, 290980354 edges, 9852 markings/sec, 3050 secs
lola: STP completed || 40 tries, 39466524 fired transitions, 3055 secs || 30723761 markings, 291451941 edges, 9804 markings/sec, 3055 secs
lola: STP completed || 40 tries, 39530001 fired transitions, 3060 secs || 30773091 markings, 291920724 edges, 9866 markings/sec, 3060 secs
lola: STP completed || 40 tries, 39593826 fired transitions, 3065 secs || 30822845 markings, 292395943 edges, 9951 markings/sec, 3065 secs
lola: STP completed || 40 tries, 39657302 fired transitions, 3070 secs || 30872421 markings, 292866505 edges, 9915 markings/sec, 3070 secs
lola: STP completed || 40 tries, 39720840 fired transitions, 3075 secs || 30922017 markings, 293338054 edges, 9919 markings/sec, 3075 secs
lola: STP completed || 40 tries, 39783872 fired transitions, 3080 secs || 30971528 markings, 293813463 edges, 9902 markings/sec, 3080 secs
lola: STP completed || 40 tries, 39848077 fired transitions, 3085 secs || 31022487 markings, 294298370 edges, 10192 markings/sec, 3085 secs
lola: STP completed || 40 tries, 39912783 fired transitions, 3090 secs || 31072793 markings, 294782956 edges, 10061 markings/sec, 3090 secs
lola: STP completed || 40 tries, 39976302 fired transitions, 3095 secs || 31123055 markings, 295257859 edges, 10052 markings/sec, 3095 secs
lola: STP completed || 41 tries, 40039386 fired transitions, 3100 secs || 31172298 markings, 295732664 edges, 9849 markings/sec, 3100 secs
lola: STP completed || 41 tries, 40102605 fired transitions, 3105 secs || 31220780 markings, 296198496 edges, 9696 markings/sec, 3105 secs
lola: STP completed || 41 tries, 40166101 fired transitions, 3110 secs || 31269937 markings, 296676481 edges, 9831 markings/sec, 3110 secs
lola: STP completed || 41 tries, 40229864 fired transitions, 3115 secs || 31318719 markings, 297149394 edges, 9756 markings/sec, 3115 secs
lola: STP completed || 41 tries, 40293551 fired transitions, 3120 secs || 31368354 markings, 297621892 edges, 9927 markings/sec, 3120 secs
lola: STP completed || 41 tries, 40356887 fired transitions, 3125 secs || 31417777 markings, 298094576 edges, 9885 markings/sec, 3125 secs
lola: STP completed || 41 tries, 40420492 fired transitions, 3130 secs || 31468255 markings, 298571052 edges, 10096 markings/sec, 3130 secs
lola: STP completed || 41 tries, 40483583 fired transitions, 3135 secs || 31517559 markings, 299043817 edges, 9861 markings/sec, 3135 secs
lola: STP completed || 41 tries, 40531694 fired transitions, 3140 secs || 31542759 markings, 299278964 edges, 5040 markings/sec, 3140 secs
lola: STP completed || 41 tries, 40558173 fired transitions, 3145 secs || 31547063 markings, 299321827 edges, 861 markings/sec, 3145 secs
lola: STP completed || 41 tries, 40574556 fired transitions, 3150 secs || 31553291 markings, 299381293 edges, 1246 markings/sec, 3150 secs
lola: STP completed || 41 tries, 40590378 fired transitions, 3155 secs || 31554350 markings, 299392365 edges, 212 markings/sec, 3155 secs

BK_STOP 1526960786091

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

Killed

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="Raft-PT-09"
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/Raft-PT-09.tgz
mv Raft-PT-09 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 Raft-PT-09, 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 r136-qhx2-152673578900160"
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 ;