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)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is DLCround-PT-12b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961900377
=====================================================================

--------------------
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 DLCround-PT-12b-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496545780613


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-12b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-12b: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ DLCround-PT-12b @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 12684/65536 symbol table entries, 3783 collisions
lola: preprocessing...
lola: finding significant places
lola: 4848 places, 7836 transitions, 4571 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 11364 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-12b-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 572 bytes per marking, with 5 unused bits
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 17 generators (17 in search tree, 0 by composition)
lola: representing 131072 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 155198 variables and 474245 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 111943 fired transitions, 0 secs || 98040 markings, 113656 edges, 19608 markings/sec, 0 secs
lola: STP completed || 1 tries, 221686 fired transitions, 5 secs || 196559 markings, 227330 edges, 19704 markings/sec, 5 secs
lola: STP completed || 1 tries, 334978 fired transitions, 10 secs || 282970 markings, 324393 edges, 17282 markings/sec, 10 secs
lola: STP completed || 1 tries, 447287 fired transitions, 15 secs || 375049 markings, 427492 edges, 18416 markings/sec, 15 secs
lola: STP completed || 1 tries, 558732 fired transitions, 20 secs || 460639 markings, 522307 edges, 17118 markings/sec, 20 secs
lola: STP completed || 1 tries, 673360 fired transitions, 25 secs || 546643 markings, 617764 edges, 17201 markings/sec, 25 secs
lola: STP completed || 1 tries, 786552 fired transitions, 30 secs || 632936 markings, 712779 edges, 17259 markings/sec, 30 secs
lola: STP completed || 1 tries, 903616 fired transitions, 35 secs || 719593 markings, 807688 edges, 17331 markings/sec, 35 secs
lola: STP completed || 2 tries, 1024239 fired transitions, 40 secs || 809208 markings, 905768 edges, 17923 markings/sec, 40 secs
lola: STP completed || 2 tries, 1142563 fired transitions, 45 secs || 894610 markings, 999024 edges, 17080 markings/sec, 45 secs
lola: STP completed || 2 tries, 1255914 fired transitions, 50 secs || 977364 markings, 1089494 edges, 16551 markings/sec, 50 secs
lola: STP completed || 2 tries, 1368418 fired transitions, 55 secs || 1061425 markings, 1181073 edges, 16812 markings/sec, 55 secs
lola: STP completed || 2 tries, 1486385 fired transitions, 60 secs || 1144460 markings, 1271128 edges, 16607 markings/sec, 60 secs
lola: STP completed || 2 tries, 1602627 fired transitions, 65 secs || 1223174 markings, 1356154 edges, 15743 markings/sec, 65 secs
lola: STP completed || 2 tries, 1716969 fired transitions, 70 secs || 1299477 markings, 1438940 edges, 15261 markings/sec, 70 secs
lola: STP completed || 2 tries, 1831920 fired transitions, 75 secs || 1385074 markings, 1534193 edges, 17119 markings/sec, 75 secs
lola: STP completed || 2 tries, 1946326 fired transitions, 80 secs || 1469979 markings, 1626832 edges, 16981 markings/sec, 80 secs
lola: STP completed || 3 tries, 2061960 fired transitions, 85 secs || 1551827 markings, 1716444 edges, 16370 markings/sec, 85 secs
lola: STP completed || 3 tries, 2177413 fired transitions, 90 secs || 1632722 markings, 1805145 edges, 16179 markings/sec, 90 secs
lola: STP completed || 3 tries, 2291786 fired transitions, 95 secs || 1720129 markings, 1901360 edges, 17481 markings/sec, 95 secs
lola: STP completed || 3 tries, 2404968 fired transitions, 100 secs || 1806565 markings, 1996184 edges, 17287 markings/sec, 100 secs
lola: STP completed || 3 tries, 2521179 fired transitions, 105 secs || 1887762 markings, 2085445 edges, 16239 markings/sec, 105 secs
lola: STP completed || 3 tries, 2637557 fired transitions, 110 secs || 1967771 markings, 2173088 edges, 16002 markings/sec, 110 secs
lola: STP completed || 3 tries, 2745541 fired transitions, 115 secs || 2047956 markings, 2260819 edges, 16037 markings/sec, 115 secs
lola: STP completed || 3 tries, 2857461 fired transitions, 120 secs || 2133743 markings, 2354895 edges, 17157 markings/sec, 120 secs
lola: STP completed || 3 tries, 2971818 fired transitions, 125 secs || 2221170 markings, 2450547 edges, 17485 markings/sec, 125 secs
lola: STP completed || 4 tries, 3087693 fired transitions, 130 secs || 2313336 markings, 2552067 edges, 18433 markings/sec, 130 secs
lola: STP completed || 4 tries, 3200917 fired transitions, 135 secs || 2406631 markings, 2655623 edges, 18659 markings/sec, 135 secs
lola: STP completed || 4 tries, 3313800 fired transitions, 140 secs || 2504423 markings, 2764979 edges, 19558 markings/sec, 140 secs
lola: STP completed || 4 tries, 3429811 fired transitions, 145 secs || 2597065 markings, 2868174 edges, 18528 markings/sec, 145 secs
lola: STP completed || 4 tries, 3544731 fired transitions, 150 secs || 2690889 markings, 2972619 edges, 18765 markings/sec, 150 secs
lola: STP completed || 4 tries, 3660692 fired transitions, 155 secs || 2787417 markings, 3079850 edges, 19306 markings/sec, 155 secs
lola: STP completed || 4 tries, 3774613 fired transitions, 160 secs || 2883123 markings, 3186030 edges, 19141 markings/sec, 160 secs
lola: STP completed || 4 tries, 3886981 fired transitions, 165 secs || 2978652 markings, 3291861 edges, 19106 markings/sec, 165 secs
lola: STP completed || 5 tries, 4008069 fired transitions, 170 secs || 3075697 markings, 3399321 edges, 19409 markings/sec, 170 secs
lola: STP completed || 5 tries, 4127415 fired transitions, 175 secs || 3174273 markings, 3508917 edges, 19715 markings/sec, 175 secs
lola: STP completed || 5 tries, 4247085 fired transitions, 180 secs || 3273680 markings, 3619826 edges, 19881 markings/sec, 180 secs
lola: STP completed || 5 tries, 4367781 fired transitions, 185 secs || 3370376 markings, 3727288 edges, 19339 markings/sec, 185 secs
lola: STP completed || 5 tries, 4484280 fired transitions, 190 secs || 3466346 markings, 3833833 edges, 19194 markings/sec, 190 secs
lola: STP completed || 5 tries, 4602926 fired transitions, 195 secs || 3562534 markings, 3941098 edges, 19238 markings/sec, 195 secs
lola: STP completed || 5 tries, 4719900 fired transitions, 200 secs || 3658550 markings, 4048384 edges, 19203 markings/sec, 200 secs
lola: STP completed || 5 tries, 4837549 fired transitions, 205 secs || 3752613 markings, 4152532 edges, 18813 markings/sec, 205 secs
lola: STP completed || 5 tries, 4954363 fired transitions, 210 secs || 3848980 markings, 4260667 edges, 19273 markings/sec, 210 secs
lola: STP completed || 6 tries, 5073403 fired transitions, 215 secs || 3946746 markings, 4369744 edges, 19553 markings/sec, 215 secs
lola: STP completed || 6 tries, 5192955 fired transitions, 220 secs || 4043915 markings, 4477745 edges, 19434 markings/sec, 220 secs
lola: STP completed || 6 tries, 5309102 fired transitions, 225 secs || 4140810 markings, 4585578 edges, 19379 markings/sec, 225 secs
lola: STP completed || 6 tries, 5426119 fired transitions, 230 secs || 4235064 markings, 4690331 edges, 18851 markings/sec, 230 secs
lola: STP completed || 6 tries, 5542884 fired transitions, 235 secs || 4329288 markings, 4794980 edges, 18845 markings/sec, 235 secs
lola: STP completed || 6 tries, 5660506 fired transitions, 240 secs || 4435913 markings, 4915408 edges, 21325 markings/sec, 240 secs
lola: STP completed || 6 tries, 5780157 fired transitions, 245 secs || 4537170 markings, 5028475 edges, 20251 markings/sec, 245 secs
lola: STP completed || 6 tries, 5900018 fired transitions, 250 secs || 4634386 markings, 5136943 edges, 19443 markings/sec, 250 secs
lola: STP completed || 7 tries, 6021815 fired transitions, 255 secs || 4727552 markings, 5240447 edges, 18633 markings/sec, 255 secs
lola: STP completed || 7 tries, 6143451 fired transitions, 260 secs || 4829050 markings, 5353412 edges, 20300 markings/sec, 260 secs
lola: STP completed || 7 tries, 6257500 fired transitions, 265 secs || 4928865 markings, 5465728 edges, 19963 markings/sec, 265 secs
lola: STP completed || 7 tries, 6375765 fired transitions, 270 secs || 5041092 markings, 5593756 edges, 22445 markings/sec, 270 secs
lola: STP completed || 7 tries, 6493536 fired transitions, 275 secs || 5146797 markings, 5713394 edges, 21141 markings/sec, 275 secs
lola: STP completed || 7 tries, 6616531 fired transitions, 280 secs || 5265201 markings, 5848766 edges, 23681 markings/sec, 280 secs
lola: STP completed || 7 tries, 6734422 fired transitions, 285 secs || 5381010 markings, 5981901 edges, 23162 markings/sec, 285 secs
lola: STP completed || 7 tries, 6856102 fired transitions, 290 secs || 5488953 markings, 6103571 edges, 21589 markings/sec, 290 secs
lola: STP completed || 7 tries, 6975104 fired transitions, 295 secs || 5588717 markings, 6214820 edges, 19953 markings/sec, 295 secs
lola: STP completed || 8 tries, 7094040 fired transitions, 300 secs || 5692986 markings, 6331867 edges, 20854 markings/sec, 300 secs
lola: STP completed || 8 tries, 7212039 fired transitions, 305 secs || 5793028 markings, 6443725 edges, 20008 markings/sec, 305 secs
lola: STP completed || 8 tries, 7333045 fired transitions, 310 secs || 5895129 markings, 6558579 edges, 20420 markings/sec, 310 secs
lola: STP completed || 8 tries, 7450505 fired transitions, 315 secs || 5995642 markings, 6671640 edges, 20103 markings/sec, 315 secs
lola: STP completed || 8 tries, 7568648 fired transitions, 320 secs || 6095435 markings, 6784214 edges, 19959 markings/sec, 320 secs
lola: STP completed || 8 tries, 7687982 fired transitions, 325 secs || 6192496 markings, 6892902 edges, 19412 markings/sec, 325 secs
lola: STP completed || 8 tries, 7804192 fired transitions, 330 secs || 6287973 markings, 6998831 edges, 19095 markings/sec, 330 secs
lola: STP completed || 8 tries, 7922461 fired transitions, 335 secs || 6382207 markings, 7103386 edges, 18847 markings/sec, 335 secs
lola: STP completed || 9 tries, 8042273 fired transitions, 340 secs || 6479063 markings, 7211127 edges, 19371 markings/sec, 340 secs
lola: STP completed || 9 tries, 8161583 fired transitions, 345 secs || 6574593 markings, 7316833 edges, 19106 markings/sec, 345 secs
lola: STP completed || 9 tries, 8279394 fired transitions, 350 secs || 6668023 markings, 7420190 edges, 18686 markings/sec, 350 secs
lola: STP completed || 9 tries, 8397044 fired transitions, 355 secs || 6765167 markings, 7529124 edges, 19429 markings/sec, 355 secs
lola: STP completed || 9 tries, 8516177 fired transitions, 360 secs || 6858840 markings, 7633090 edges, 18735 markings/sec, 360 secs
lola: STP completed || 9 tries, 8635045 fired transitions, 365 secs || 6955074 markings, 7739968 edges, 19247 markings/sec, 365 secs
lola: STP completed || 9 tries, 8754223 fired transitions, 370 secs || 7052661 markings, 7848600 edges, 19517 markings/sec, 370 secs
lola: STP completed || 9 tries, 8874149 fired transitions, 375 secs || 7152505 markings, 7960399 edges, 19969 markings/sec, 375 secs
lola: STP completed || 9 tries, 8993119 fired transitions, 380 secs || 7250289 markings, 8069560 edges, 19557 markings/sec, 380 secs
lola: STP completed || 10 tries, 9113437 fired transitions, 385 secs || 7345751 markings, 8175571 edges, 19092 markings/sec, 385 secs
lola: STP completed || 10 tries, 9232417 fired transitions, 390 secs || 7442326 markings, 8282914 edges, 19315 markings/sec, 390 secs
lola: STP completed || 10 tries, 9351813 fired transitions, 395 secs || 7538076 markings, 8389444 edges, 19150 markings/sec, 395 secs
lola: STP completed || 10 tries, 9469443 fired transitions, 400 secs || 7633129 markings, 8495047 edges, 19011 markings/sec, 400 secs
lola: STP completed || 10 tries, 9588575 fired transitions, 405 secs || 7726408 markings, 8598171 edges, 18656 markings/sec, 405 secs
lola: STP completed || 10 tries, 9707181 fired transitions, 410 secs || 7819950 markings, 8701626 edges, 18708 markings/sec, 410 secs
lola: STP completed || 10 tries, 9826327 fired transitions, 415 secs || 7915846 markings, 8808054 edges, 19179 markings/sec, 415 secs
lola: STP completed || 10 tries, 9946005 fired transitions, 420 secs || 8011392 markings, 8914126 edges, 19109 markings/sec, 420 secs
lola: STP completed || 11 tries, 10066864 fired transitions, 425 secs || 8111559 markings, 9026809 edges, 20033 markings/sec, 425 secs
lola: STP completed || 11 tries, 10184878 fired transitions, 430 secs || 8211494 markings, 9139514 edges, 19987 markings/sec, 430 secs
lola: STP completed || 11 tries, 10302449 fired transitions, 435 secs || 8310322 markings, 9250247 edges, 19766 markings/sec, 435 secs
lola: STP completed || 11 tries, 10421293 fired transitions, 440 secs || 8408767 markings, 9360466 edges, 19689 markings/sec, 440 secs
lola: STP completed || 11 tries, 10538867 fired transitions, 445 secs || 8506211 markings, 9469404 edges, 19489 markings/sec, 445 secs
lola: STP completed || 11 tries, 10660400 fired transitions, 450 secs || 8601234 markings, 9575072 edges, 19005 markings/sec, 450 secs
lola: STP completed || 11 tries, 10779274 fired transitions, 455 secs || 8696493 markings, 9680871 edges, 19052 markings/sec, 455 secs
lola: STP completed || 11 tries, 10898543 fired transitions, 460 secs || 8792743 markings, 9787797 edges, 19250 markings/sec, 460 secs
lola: STP completed || 12 tries, 11018333 fired transitions, 465 secs || 8888515 markings, 9894315 edges, 19154 markings/sec, 465 secs
lola: STP completed || 12 tries, 11139131 fired transitions, 470 secs || 8983611 markings, 9999854 edges, 19019 markings/sec, 470 secs
lola: STP completed || 12 tries, 11260404 fired transitions, 475 secs || 9079199 markings, 10106342 edges, 19118 markings/sec, 475 secs
lola: STP completed || 12 tries, 11380888 fired transitions, 480 secs || 9173368 markings, 10211142 edges, 18834 markings/sec, 480 secs
lola: STP completed || 12 tries, 11500891 fired transitions, 485 secs || 9266760 markings, 10314725 edges, 18678 markings/sec, 485 secs
lola: STP completed || 12 tries, 11619814 fired transitions, 490 secs || 9361802 markings, 10420226 edges, 19008 markings/sec, 490 secs
lola: STP completed || 12 tries, 11739334 fired transitions, 495 secs || 9456623 markings, 10525742 edges, 18964 markings/sec, 495 secs
lola: STP completed || 12 tries, 11857229 fired transitions, 500 secs || 9552198 markings, 10632509 edges, 19115 markings/sec, 500 secs
lola: STP completed || 12 tries, 11976544 fired transitions, 505 secs || 9648316 markings, 10740205 edges, 19224 markings/sec, 505 secs
lola: STP completed || 13 tries, 12093915 fired transitions, 510 secs || 9743247 markings, 10846032 edges, 18986 markings/sec, 510 secs
lola: STP completed || 13 tries, 12212793 fired transitions, 515 secs || 9839768 markings, 10953647 edges, 19304 markings/sec, 515 secs
lola: STP completed || 13 tries, 12329709 fired transitions, 520 secs || 9935184 markings, 11059692 edges, 19083 markings/sec, 520 secs
lola: STP completed || 13 tries, 12445896 fired transitions, 525 secs || 10035244 markings, 11172403 edges, 20012 markings/sec, 525 secs
lola: STP completed || 13 tries, 12562777 fired transitions, 530 secs || 10132914 markings, 11281843 edges, 19534 markings/sec, 530 secs
lola: STP completed || 13 tries, 12681975 fired transitions, 535 secs || 10226327 markings, 11385525 edges, 18683 markings/sec, 535 secs
lola: STP completed || 13 tries, 12800722 fired transitions, 540 secs || 10321859 markings, 11491615 edges, 19106 markings/sec, 540 secs
lola: STP completed || 13 tries, 12919784 fired transitions, 545 secs || 10419302 markings, 11600377 edges, 19489 markings/sec, 545 secs
lola: STP completed || 14 tries, 13040548 fired transitions, 550 secs || 10519190 markings, 11712336 edges, 19978 markings/sec, 550 secs
lola: STP completed || 14 tries, 13158994 fired transitions, 555 secs || 10617541 markings, 11823425 edges, 19670 markings/sec, 555 secs
lola: STP completed || 14 tries, 13277407 fired transitions, 560 secs || 10713977 markings, 11931569 edges, 19287 markings/sec, 560 secs
lola: STP completed || 14 tries, 13396646 fired transitions, 565 secs || 10809495 markings, 12037160 edges, 19104 markings/sec, 565 secs
lola: STP completed || 14 tries, 13517694 fired transitions, 570 secs || 10906918 markings, 12145082 edges, 19485 markings/sec, 570 secs
lola: STP completed || 14 tries, 13637684 fired transitions, 575 secs || 11001453 markings, 12249745 edges, 18907 markings/sec, 575 secs
lola: STP completed || 14 tries, 13758237 fired transitions, 580 secs || 11095088 markings, 12353321 edges, 18727 markings/sec, 580 secs
lola: STP completed || 14 tries, 13878434 fired transitions, 585 secs || 11188778 markings, 12457233 edges, 18738 markings/sec, 585 secs
lola: STP completed || 14 tries, 13999221 fired transitions, 590 secs || 11283986 markings, 12563137 edges, 19042 markings/sec, 590 secs
lola: STP completed || 15 tries, 14120544 fired transitions, 595 secs || 11379313 markings, 12669227 edges, 19065 markings/sec, 595 secs
lola: STP completed || 15 tries, 14240735 fired transitions, 600 secs || 11475958 markings, 12776587 edges, 19329 markings/sec, 600 secs
lola: STP completed || 15 tries, 14360902 fired transitions, 605 secs || 11574986 markings, 12887814 edges, 19806 markings/sec, 605 secs
lola: STP completed || 15 tries, 14482184 fired transitions, 610 secs || 11673914 markings, 12998546 edges, 19786 markings/sec, 610 secs
lola: STP completed || 15 tries, 14601428 fired transitions, 615 secs || 11771658 markings, 13108200 edges, 19549 markings/sec, 615 secs
lola: STP completed || 15 tries, 14721759 fired transitions, 620 secs || 11867024 markings, 13214023 edges, 19073 markings/sec, 620 secs
lola: STP completed || 15 tries, 14841032 fired transitions, 625 secs || 11961049 markings, 13318522 edges, 18805 markings/sec, 625 secs
lola: STP completed || 15 tries, 14960621 fired transitions, 630 secs || 12056462 markings, 13424394 edges, 19083 markings/sec, 630 secs
lola: STP completed || 16 tries, 15080587 fired transitions, 635 secs || 12149903 markings, 13528047 edges, 18688 markings/sec, 635 secs
lola: STP completed || 16 tries, 15197879 fired transitions, 640 secs || 12244534 markings, 13633331 edges, 18926 markings/sec, 640 secs
lola: STP completed || 16 tries, 15317788 fired transitions, 645 secs || 12340234 markings, 13739900 edges, 19140 markings/sec, 645 secs
lola: STP completed || 16 tries, 15438641 fired transitions, 650 secs || 12436527 markings, 13847259 edges, 19259 markings/sec, 650 secs
lola: STP completed || 16 tries, 15558249 fired transitions, 655 secs || 12532325 markings, 13953730 edges, 19160 markings/sec, 655 secs
lola: STP completed || 16 tries, 15678236 fired transitions, 660 secs || 12626575 markings, 14058085 edges, 18850 markings/sec, 660 secs
lola: STP completed || 16 tries, 15798382 fired transitions, 665 secs || 12720205 markings, 14161650 edges, 18726 markings/sec, 665 secs
lola: STP completed || 16 tries, 15918922 fired transitions, 670 secs || 12815697 markings, 14267818 edges, 19098 markings/sec, 670 secs
lola: STP completed || 17 tries, 16039933 fired transitions, 675 secs || 12910441 markings, 14372974 edges, 18949 markings/sec, 675 secs
lola: STP completed || 17 tries, 16158566 fired transitions, 680 secs || 13004618 markings, 14477167 edges, 18835 markings/sec, 680 secs
lola: STP completed || 17 tries, 16278663 fired transitions, 685 secs || 13099559 markings, 14582777 edges, 18988 markings/sec, 685 secs
lola: STP completed || 17 tries, 16398719 fired transitions, 690 secs || 13194214 markings, 14688017 edges, 18931 markings/sec, 690 secs
lola: STP completed || 17 tries, 16518022 fired transitions, 695 secs || 13290098 markings, 14794581 edges, 19177 markings/sec, 695 secs
lola: STP completed || 17 tries, 16637629 fired transitions, 700 secs || 13385666 markings, 14900537 edges, 19114 markings/sec, 700 secs
lola: STP completed || 17 tries, 16755922 fired transitions, 705 secs || 13480791 markings, 15006215 edges, 19025 markings/sec, 705 secs
lola: STP completed || 17 tries, 16876259 fired transitions, 710 secs || 13579717 markings, 15117282 edges, 19785 markings/sec, 710 secs
lola: STP completed || 17 tries, 16995539 fired transitions, 715 secs || 13675689 markings, 15224066 edges, 19194 markings/sec, 715 secs
lola: STP completed || 18 tries, 17117989 fired transitions, 720 secs || 13783733 markings, 15346214 edges, 21609 markings/sec, 720 secs
lola: STP completed || 18 tries, 17237770 fired transitions, 725 secs || 13894764 markings, 15472919 edges, 22206 markings/sec, 725 secs
lola: STP completed || 18 tries, 17354893 fired transitions, 730 secs || 13997645 markings, 15588817 edges, 20576 markings/sec, 730 secs
lola: STP completed || 18 tries, 17472894 fired transitions, 735 secs || 14097040 markings, 15701034 edges, 19879 markings/sec, 735 secs
lola: STP completed || 18 tries, 17590583 fired transitions, 740 secs || 14191653 markings, 15806528 edges, 18923 markings/sec, 740 secs
lola: STP completed || 18 tries, 17710357 fired transitions, 745 secs || 14290158 markings, 15917047 edges, 19701 markings/sec, 745 secs
lola: STP completed || 18 tries, 17831100 fired transitions, 750 secs || 14386849 markings, 16024298 edges, 19338 markings/sec, 750 secs
lola: STP completed || 18 tries, 17949335 fired transitions, 755 secs || 14480322 markings, 16127583 edges, 18695 markings/sec, 755 secs
lola: STP completed || 19 tries, 18069832 fired transitions, 760 secs || 14576766 markings, 16234258 edges, 19289 markings/sec, 760 secs
lola: STP completed || 19 tries, 18188892 fired transitions, 765 secs || 14677585 markings, 16347356 edges, 20164 markings/sec, 765 secs
lola: STP completed || 19 tries, 18306191 fired transitions, 770 secs || 14793599 markings, 16480980 edges, 23203 markings/sec, 770 secs
lola: STP completed || 19 tries, 18422196 fired transitions, 775 secs || 14902120 markings, 16604326 edges, 21704 markings/sec, 775 secs
lola: STP completed || 19 tries, 18536781 fired transitions, 780 secs || 15013270 markings, 16732096 edges, 22230 markings/sec, 780 secs
lola: STP completed || 19 tries, 18653357 fired transitions, 785 secs || 15115293 markings, 16847242 edges, 20405 markings/sec, 785 secs
lola: STP completed || 19 tries, 18769448 fired transitions, 790 secs || 15229052 markings, 16978469 edges, 22752 markings/sec, 790 secs
lola: STP completed || 19 tries, 18889712 fired transitions, 795 secs || 15340573 markings, 17105016 edges, 22304 markings/sec, 795 secs
lola: STP completed || 20 tries, 19009783 fired transitions, 800 secs || 15451384 markings, 17231604 edges, 22162 markings/sec, 800 secs
lola: STP completed || 20 tries, 19127304 fired transitions, 805 secs || 15564673 markings, 17361909 edges, 22658 markings/sec, 805 secs
lola: STP completed || 20 tries, 19244872 fired transitions, 810 secs || 15668514 markings, 17479576 edges, 20768 markings/sec, 810 secs
lola: STP completed || 20 tries, 19362724 fired transitions, 815 secs || 15778722 markings, 17604986 edges, 22042 markings/sec, 815 secs
lola: STP completed || 20 tries, 19480365 fired transitions, 820 secs || 15889369 markings, 17731506 edges, 22129 markings/sec, 820 secs
lola: STP completed || 20 tries, 19598953 fired transitions, 825 secs || 15987533 markings, 17841838 edges, 19633 markings/sec, 825 secs
lola: STP completed || 20 tries, 19717869 fired transitions, 830 secs || 16097114 markings, 17966685 edges, 21916 markings/sec, 830 secs
lola: STP completed || 20 tries, 19838293 fired transitions, 835 secs || 16208754 markings, 18094148 edges, 22328 markings/sec, 835 secs
lola: STP completed || 20 tries, 19958411 fired transitions, 840 secs || 16325006 markings, 18227379 edges, 23250 markings/sec, 840 secs
lola: STP completed || 21 tries, 20079677 fired transitions, 845 secs || 16441595 markings, 18361743 edges, 23318 markings/sec, 845 secs
lola: STP completed || 21 tries, 20200828 fired transitions, 850 secs || 16559235 markings, 18496074 edges, 23528 markings/sec, 850 secs
lola: STP completed || 21 tries, 20321257 fired transitions, 855 secs || 16680650 markings, 18635321 edges, 24283 markings/sec, 855 secs
lola: STP completed || 21 tries, 20439910 fired transitions, 860 secs || 16794590 markings, 18765317 edges, 22788 markings/sec, 860 secs
lola: STP completed || 21 tries, 20559713 fired transitions, 865 secs || 16914359 markings, 18904530 edges, 23954 markings/sec, 865 secs
lola: STP completed || 21 tries, 20676614 fired transitions, 870 secs || 17020677 markings, 19024813 edges, 21264 markings/sec, 870 secs
lola: STP completed || 21 tries, 20794885 fired transitions, 875 secs || 17119422 markings, 19134983 edges, 19749 markings/sec, 875 secs
lola: STP completed || 21 tries, 20914897 fired transitions, 880 secs || 17213932 markings, 19240223 edges, 18902 markings/sec, 880 secs
lola: STP completed || 22 tries, 21035464 fired transitions, 885 secs || 17310737 markings, 19348241 edges, 19361 markings/sec, 885 secs
lola: STP completed || 22 tries, 21154089 fired transitions, 890 secs || 17420034 markings, 19472764 edges, 21859 markings/sec, 890 secs
lola: STP completed || 22 tries, 21271122 fired transitions, 895 secs || 17530218 markings, 19597507 edges, 22037 markings/sec, 895 secs
lola: STP completed || 22 tries, 21389147 fired transitions, 900 secs || 17637397 markings, 19718610 edges, 21436 markings/sec, 900 secs
lola: STP completed || 22 tries, 21506241 fired transitions, 905 secs || 17750324 markings, 19848169 edges, 22585 markings/sec, 905 secs
lola: STP completed || 22 tries, 21623422 fired transitions, 910 secs || 17845340 markings, 19953977 edges, 19003 markings/sec, 910 secs
lola: STP completed || 22 tries, 21738371 fired transitions, 915 secs || 17951483 markings, 20075219 edges, 21229 markings/sec, 915 secs
lola: STP completed || 22 tries, 21854183 fired transitions, 920 secs || 18050191 markings, 20186395 edges, 19742 markings/sec, 920 secs
lola: STP completed || 22 tries, 21971946 fired transitions, 925 secs || 18146216 markings, 20293342 edges, 19205 markings/sec, 925 secs
lola: STP completed || 23 tries, 22090594 fired transitions, 930 secs || 18242236 markings, 20400619 edges, 19204 markings/sec, 930 secs
lola: STP completed || 23 tries, 22207869 fired transitions, 935 secs || 18336728 markings, 20505545 edges, 18898 markings/sec, 935 secs
lola: STP completed || 23 tries, 22325694 fired transitions, 940 secs || 18431595 markings, 20610866 edges, 18973 markings/sec, 940 secs
lola: STP completed || 23 tries, 22441649 fired transitions, 945 secs || 18530105 markings, 20720567 edges, 19702 markings/sec, 945 secs
lola: STP completed || 23 tries, 22558206 fired transitions, 950 secs || 18627156 markings, 20828323 edges, 19410 markings/sec, 950 secs
lola: STP completed || 23 tries, 22675020 fired transitions, 955 secs || 18723598 markings, 20935606 edges, 19288 markings/sec, 955 secs
lola: STP completed || 23 tries, 22791947 fired transitions, 960 secs || 18818935 markings, 21041660 edges, 19067 markings/sec, 960 secs
lola: STP completed || 23 tries, 22909014 fired transitions, 965 secs || 18918488 markings, 21153108 edges, 19911 markings/sec, 965 secs
lola: STP completed || 24 tries, 23027638 fired transitions, 970 secs || 19029276 markings, 21278919 edges, 22158 markings/sec, 970 secs
lola: STP completed || 24 tries, 23144625 fired transitions, 975 secs || 19138968 markings, 21404070 edges, 21938 markings/sec, 975 secs
lola: STP completed || 24 tries, 23260628 fired transitions, 980 secs || 19246510 markings, 21526442 edges, 21508 markings/sec, 980 secs
lola: STP completed || 24 tries, 23377715 fired transitions, 985 secs || 19355004 markings, 21649264 edges, 21699 markings/sec, 985 secs
lola: STP completed || 24 tries, 23493978 fired transitions, 990 secs || 19461798 markings, 21770383 edges, 21359 markings/sec, 990 secs
lola: STP completed || 24 tries, 23611887 fired transitions, 995 secs || 19569712 markings, 21892258 edges, 21583 markings/sec, 995 secs
lola: STP completed || 24 tries, 23728802 fired transitions, 1000 secs || 19672215 markings, 22008057 edges, 20501 markings/sec, 1000 secs
lola: STP completed || 24 tries, 23845343 fired transitions, 1005 secs || 19784036 markings, 22135985 edges, 22364 markings/sec, 1005 secs
lola: STP completed || 24 tries, 23963688 fired transitions, 1010 secs || 19894487 markings, 22261366 edges, 22090 markings/sec, 1010 secs
lola: STP completed || 25 tries, 24083759 fired transitions, 1015 secs || 20008048 markings, 22391589 edges, 22712 markings/sec, 1015 secs
lola: STP completed || 25 tries, 24200371 fired transitions, 1020 secs || 20115071 markings, 22512725 edges, 21405 markings/sec, 1020 secs
lola: STP completed || 25 tries, 24317047 fired transitions, 1025 secs || 20222074 markings, 22634197 edges, 21401 markings/sec, 1025 secs
lola: STP completed || 25 tries, 24433803 fired transitions, 1030 secs || 20326389 markings, 22751828 edges, 20863 markings/sec, 1030 secs
lola: STP completed || 25 tries, 24551235 fired transitions, 1035 secs || 20430485 markings, 22869380 edges, 20819 markings/sec, 1035 secs
lola: STP completed || 25 tries, 24668986 fired transitions, 1040 secs || 20536776 markings, 22990054 edges, 21258 markings/sec, 1040 secs
lola: STP completed || 25 tries, 24787578 fired transitions, 1045 secs || 20633417 markings, 23097932 edges, 19328 markings/sec, 1045 secs
lola: STP completed || 25 tries, 24903901 fired transitions, 1050 secs || 20730812 markings, 23207007 edges, 19479 markings/sec, 1050 secs
lola: STP completed || 26 tries, 25024101 fired transitions, 1055 secs || 20826671 markings, 23313951 edges, 19172 markings/sec, 1055 secs
lola: STP completed || 26 tries, 25142659 fired transitions, 1060 secs || 20922775 markings, 23420893 edges, 19221 markings/sec, 1060 secs
lola: STP completed || 26 tries, 25259608 fired transitions, 1065 secs || 21032787 markings, 23545810 edges, 22002 markings/sec, 1065 secs
lola: STP completed || 26 tries, 25376501 fired transitions, 1070 secs || 21140401 markings, 23668060 edges, 21523 markings/sec, 1070 secs
lola: STP completed || 26 tries, 25494737 fired transitions, 1075 secs || 21250182 markings, 23792405 edges, 21956 markings/sec, 1075 secs
lola: STP completed || 26 tries, 25613859 fired transitions, 1080 secs || 21347385 markings, 23901931 edges, 19441 markings/sec, 1080 secs
lola: STP completed || 26 tries, 25732428 fired transitions, 1085 secs || 21445201 markings, 24011925 edges, 19563 markings/sec, 1085 secs
lola: STP completed || 26 tries, 25849468 fired transitions, 1090 secs || 21543096 markings, 24122230 edges, 19579 markings/sec, 1090 secs
lola: STP completed || 26 tries, 25967910 fired transitions, 1095 secs || 21637160 markings, 24226958 edges, 18813 markings/sec, 1095 secs
lola: STP completed || 27 tries, 26089969 fired transitions, 1100 secs || 21732983 markings, 24333427 edges, 19165 markings/sec, 1100 secs
lola: STP completed || 27 tries, 26209559 fired transitions, 1105 secs || 21830239 markings, 24442306 edges, 19451 markings/sec, 1105 secs
lola: STP completed || 27 tries, 26329277 fired transitions, 1110 secs || 21926815 markings, 24549753 edges, 19315 markings/sec, 1110 secs
lola: STP completed || 27 tries, 26447702 fired transitions, 1115 secs || 22021185 markings, 24654442 edges, 18874 markings/sec, 1115 secs
lola: STP completed || 27 tries, 26567933 fired transitions, 1120 secs || 22115975 markings, 24759971 edges, 18958 markings/sec, 1120 secs
lola: STP completed || 27 tries, 26688088 fired transitions, 1125 secs || 22212786 markings, 24867870 edges, 19362 markings/sec, 1125 secs
lola: STP completed || 27 tries, 26808688 fired transitions, 1130 secs || 22308402 markings, 24974514 edges, 19123 markings/sec, 1130 secs
lola: STP completed || 27 tries, 26928975 fired transitions, 1135 secs || 22405903 markings, 25083073 edges, 19500 markings/sec, 1135 secs
lola: STP completed || 28 tries, 27049066 fired transitions, 1140 secs || 22503429 markings, 25191898 edges, 19505 markings/sec, 1140 secs
lola: STP completed || 28 tries, 27171588 fired transitions, 1145 secs || 22600225 markings, 25299519 edges, 19359 markings/sec, 1145 secs
lola: STP completed || 28 tries, 27293021 fired transitions, 1150 secs || 22699864 markings, 25410603 edges, 19928 markings/sec, 1150 secs
lola: STP completed || 28 tries, 27413610 fired transitions, 1155 secs || 22797877 markings, 25520152 edges, 19603 markings/sec, 1155 secs
lola: STP completed || 28 tries, 27533653 fired transitions, 1160 secs || 22893736 markings, 25627090 edges, 19172 markings/sec, 1160 secs
lola: STP completed || 28 tries, 27653857 fired transitions, 1165 secs || 23000726 markings, 25748800 edges, 21398 markings/sec, 1165 secs
lola: STP completed || 28 tries, 27774483 fired transitions, 1170 secs || 23113314 markings, 25877686 edges, 22518 markings/sec, 1170 secs
lola: STP completed || 28 tries, 27897098 fired transitions, 1175 secs || 23222084 markings, 26001345 edges, 21754 markings/sec, 1175 secs
lola: STP completed || 29 tries, 28017562 fired transitions, 1180 secs || 23327048 markings, 26120191 edges, 20993 markings/sec, 1180 secs
lola: STP completed || 29 tries, 28138974 fired transitions, 1185 secs || 23437820 markings, 26245739 edges, 22154 markings/sec, 1185 secs
lola: STP completed || 29 tries, 28259631 fired transitions, 1190 secs || 23543471 markings, 26364458 edges, 21130 markings/sec, 1190 secs
lola: STP completed || 29 tries, 28381597 fired transitions, 1195 secs || 23647069 markings, 26481189 edges, 20720 markings/sec, 1195 secs
lola: STP completed || 29 tries, 28504782 fired transitions, 1200 secs || 23749961 markings, 26596469 edges, 20578 markings/sec, 1200 secs
lola: STP completed || 29 tries, 28621173 fired transitions, 1205 secs || 23855126 markings, 26715971 edges, 21033 markings/sec, 1205 secs
lola: STP completed || 29 tries, 28736997 fired transitions, 1210 secs || 23962301 markings, 26837614 edges, 21435 markings/sec, 1210 secs
lola: STP completed || 29 tries, 28856658 fired transitions, 1215 secs || 24074611 markings, 26966457 edges, 22462 markings/sec, 1215 secs
lola: STP completed || 29 tries, 28974248 fired transitions, 1220 secs || 24184391 markings, 27092922 edges, 21956 markings/sec, 1220 secs
lola: STP completed || 30 tries, 29092742 fired transitions, 1225 secs || 24287766 markings, 27210714 edges, 20675 markings/sec, 1225 secs
lola: STP completed || 30 tries, 29209686 fired transitions, 1230 secs || 24396621 markings, 27334782 edges, 21771 markings/sec, 1230 secs
lola: STP completed || 30 tries, 29328620 fired transitions, 1235 secs || 24498290 markings, 27449187 edges, 20334 markings/sec, 1235 secs
lola: STP completed || 30 tries, 29449147 fired transitions, 1240 secs || 24598076 markings, 27560249 edges, 19957 markings/sec, 1240 secs
lola: STP completed || 30 tries, 29570955 fired transitions, 1245 secs || 24709002 markings, 27686079 edges, 22185 markings/sec, 1245 secs
lola: STP completed || 30 tries, 29689264 fired transitions, 1250 secs || 24818924 markings, 27811502 edges, 21984 markings/sec, 1250 secs
lola: STP completed || 30 tries, 29808991 fired transitions, 1255 secs || 24932130 markings, 27941497 edges, 22641 markings/sec, 1255 secs
lola: STP completed || 30 tries, 29927357 fired transitions, 1260 secs || 25042295 markings, 28067896 edges, 22033 markings/sec, 1260 secs
lola: STP completed || 31 tries, 30050123 fired transitions, 1265 secs || 25146977 markings, 28186285 edges, 20936 markings/sec, 1265 secs
lola: STP completed || 31 tries, 30172253 fired transitions, 1270 secs || 25248368 markings, 28299752 edges, 20278 markings/sec, 1270 secs
lola: STP completed || 31 tries, 30295267 fired transitions, 1275 secs || 25349338 markings, 28413111 edges, 20194 markings/sec, 1275 secs
lola: STP completed || 31 tries, 30414371 fired transitions, 1280 secs || 25444276 markings, 28518880 edges, 18988 markings/sec, 1280 secs
lola: STP completed || 31 tries, 30536447 fired transitions, 1285 secs || 25540704 markings, 28626643 edges, 19286 markings/sec, 1285 secs
lola: STP completed || 31 tries, 30657849 fired transitions, 1290 secs || 25641949 markings, 28740734 edges, 20249 markings/sec, 1290 secs
lola: STP completed || 31 tries, 30779392 fired transitions, 1295 secs || 25743401 markings, 28854401 edges, 20290 markings/sec, 1295 secs
lola: STP completed || 31 tries, 30904064 fired transitions, 1300 secs || 25846049 markings, 28969355 edges, 20530 markings/sec, 1300 secs
lola: STP completed || 32 tries, 31024976 fired transitions, 1305 secs || 25947251 markings, 29082661 edges, 20240 markings/sec, 1305 secs
lola: STP completed || 32 tries, 31147574 fired transitions, 1310 secs || 26058101 markings, 29207567 edges, 22170 markings/sec, 1310 secs
lola: STP completed || 32 tries, 31269198 fired transitions, 1315 secs || 26172963 markings, 29337763 edges, 22972 markings/sec, 1315 secs
lola: STP completed || 32 tries, 31390531 fired transitions, 1320 secs || 26279936 markings, 29458111 edges, 21395 markings/sec, 1320 secs
lola: STP completed || 32 tries, 31511720 fired transitions, 1325 secs || 26379432 markings, 29569110 edges, 19899 markings/sec, 1325 secs
lola: STP completed || 32 tries, 31630524 fired transitions, 1330 secs || 26476771 markings, 29677718 edges, 19468 markings/sec, 1330 secs
lola: STP completed || 32 tries, 31751431 fired transitions, 1335 secs || 26576780 markings, 29789815 edges, 20002 markings/sec, 1335 secs
lola: STP completed || 32 tries, 31870847 fired transitions, 1340 secs || 26673112 markings, 29897726 edges, 19266 markings/sec, 1340 secs
lola: STP completed || 32 tries, 31991216 fired transitions, 1345 secs || 26772366 markings, 30008292 edges, 19851 markings/sec, 1345 secs
lola: STP completed || 33 tries, 32111639 fired transitions, 1350 secs || 26869994 markings, 30116712 edges, 19526 markings/sec, 1350 secs
lola: STP completed || 33 tries, 32231030 fired transitions, 1355 secs || 26968064 markings, 30225409 edges, 19614 markings/sec, 1355 secs
lola: STP completed || 33 tries, 32353562 fired transitions, 1360 secs || 27066686 markings, 30335324 edges, 19724 markings/sec, 1360 secs
lola: STP completed || 33 tries, 32475862 fired transitions, 1365 secs || 27163841 markings, 30443285 edges, 19431 markings/sec, 1365 secs
lola: STP completed || 33 tries, 32597165 fired transitions, 1370 secs || 27264370 markings, 30555666 edges, 20106 markings/sec, 1370 secs
lola: STP completed || 33 tries, 32719381 fired transitions, 1375 secs || 27361282 markings, 30663645 edges, 19382 markings/sec, 1375 secs
lola: STP completed || 33 tries, 32841313 fired transitions, 1380 secs || 27461138 markings, 30774405 edges, 19971 markings/sec, 1380 secs
lola: STP completed || 33 tries, 32964453 fired transitions, 1385 secs || 27560805 markings, 30884829 edges, 19933 markings/sec, 1385 secs
lola: STP completed || 34 tries, 33088311 fired transitions, 1390 secs || 27658945 markings, 30993179 edges, 19628 markings/sec, 1390 secs
lola: STP completed || 34 tries, 33210690 fired transitions, 1395 secs || 27759569 markings, 31105008 edges, 20125 markings/sec, 1395 secs
lola: STP completed || 34 tries, 33333601 fired transitions, 1400 secs || 27860352 markings, 31217231 edges, 20157 markings/sec, 1400 secs
lola: STP completed || 34 tries, 33456954 fired transitions, 1405 secs || 27956985 markings, 31324402 edges, 19327 markings/sec, 1405 secs
lola: STP completed || 34 tries, 33576938 fired transitions, 1410 secs || 28055090 markings, 31434674 edges, 19621 markings/sec, 1410 secs
lola: STP completed || 34 tries, 33695277 fired transitions, 1415 secs || 28152145 markings, 31543473 edges, 19411 markings/sec, 1415 secs
lola: STP completed || 34 tries, 33814294 fired transitions, 1420 secs || 28246733 markings, 31648414 edges, 18918 markings/sec, 1420 secs
lola: STP completed || 34 tries, 33934181 fired transitions, 1425 secs || 28345540 markings, 31759003 edges, 19761 markings/sec, 1425 secs
lola: STP completed || 35 tries, 34054970 fired transitions, 1430 secs || 28446075 markings, 31872429 edges, 20107 markings/sec, 1430 secs
lola: STP completed || 35 tries, 34175214 fired transitions, 1435 secs || 28543115 markings, 31980977 edges, 19408 markings/sec, 1435 secs
lola: STP completed || 35 tries, 34294563 fired transitions, 1440 secs || 28641127 markings, 32090717 edges, 19602 markings/sec, 1440 secs
lola: STP completed || 35 tries, 34414393 fired transitions, 1445 secs || 28734819 markings, 32194593 edges, 18738 markings/sec, 1445 secs
lola: STP completed || 35 tries, 34534962 fired transitions, 1450 secs || 28830874 markings, 32301624 edges, 19211 markings/sec, 1450 secs
lola: STP completed || 35 tries, 34654850 fired transitions, 1455 secs || 28926976 markings, 32408510 edges, 19220 markings/sec, 1455 secs
lola: STP completed || 35 tries, 34775837 fired transitions, 1460 secs || 29024074 markings, 32516807 edges, 19420 markings/sec, 1460 secs
lola: STP completed || 35 tries, 34897133 fired transitions, 1465 secs || 29123777 markings, 32627782 edges, 19941 markings/sec, 1465 secs
lola: STP completed || 36 tries, 35021405 fired transitions, 1470 secs || 29224139 markings, 32739394 edges, 20072 markings/sec, 1470 secs
lola: STP completed || 36 tries, 35142621 fired transitions, 1475 secs || 29321529 markings, 32847728 edges, 19478 markings/sec, 1475 secs
lola: STP completed || 36 tries, 35263131 fired transitions, 1480 secs || 29418465 markings, 32956090 edges, 19387 markings/sec, 1480 secs
lola: STP completed || 36 tries, 35382004 fired transitions, 1485 secs || 29516027 markings, 33065627 edges, 19512 markings/sec, 1485 secs
lola: STP completed || 36 tries, 35501001 fired transitions, 1490 secs || 29611176 markings, 33171493 edges, 19030 markings/sec, 1490 secs
lola: STP completed || 36 tries, 35621449 fired transitions, 1495 secs || 29706830 markings, 33278244 edges, 19131 markings/sec, 1495 secs
lola: STP completed || 36 tries, 35742124 fired transitions, 1500 secs || 29801162 markings, 33382689 edges, 18866 markings/sec, 1500 secs
lola: STP completed || 36 tries, 35862987 fired transitions, 1505 secs || 29899307 markings, 33492114 edges, 19629 markings/sec, 1505 secs
lola: STP completed || 36 tries, 35984173 fired transitions, 1510 secs || 29996734 markings, 33600607 edges, 19485 markings/sec, 1510 secs
lola: STP completed || 37 tries, 36108290 fired transitions, 1515 secs || 30095816 markings, 33711185 edges, 19816 markings/sec, 1515 secs
lola: STP completed || 37 tries, 36232565 fired transitions, 1520 secs || 30194268 markings, 33820808 edges, 19690 markings/sec, 1520 secs
lola: STP completed || 37 tries, 36355297 fired transitions, 1525 secs || 30290639 markings, 33927472 edges, 19274 markings/sec, 1525 secs
lola: STP completed || 37 tries, 36475880 fired transitions, 1530 secs || 30386487 markings, 34034085 edges, 19170 markings/sec, 1530 secs
lola: STP completed || 37 tries, 36594685 fired transitions, 1535 secs || 30482049 markings, 34140145 edges, 19112 markings/sec, 1535 secs
lola: STP completed || 37 tries, 36713938 fired transitions, 1540 secs || 30582003 markings, 34251637 edges, 19991 markings/sec, 1540 secs
lola: STP completed || 37 tries, 36835275 fired transitions, 1545 secs || 30677439 markings, 34357109 edges, 19087 markings/sec, 1545 secs
lola: STP completed || 37 tries, 36957379 fired transitions, 1550 secs || 30776219 markings, 34466728 edges, 19756 markings/sec, 1550 secs
lola: STP completed || 38 tries, 37082058 fired transitions, 1555 secs || 30877060 markings, 34579210 edges, 20168 markings/sec, 1555 secs
lola: STP completed || 38 tries, 37202652 fired transitions, 1560 secs || 30975104 markings, 34688261 edges, 19609 markings/sec, 1560 secs
lola: STP completed || 38 tries, 37321353 fired transitions, 1565 secs || 31072077 markings, 34796615 edges, 19395 markings/sec, 1565 secs
lola: STP completed || 38 tries, 37441519 fired transitions, 1570 secs || 31169900 markings, 34906277 edges, 19565 markings/sec, 1570 secs
lola: STP completed || 38 tries, 37561045 fired transitions, 1575 secs || 31264654 markings, 35011426 edges, 18951 markings/sec, 1575 secs
lola: STP completed || 38 tries, 37680578 fired transitions, 1580 secs || 31360615 markings, 35118338 edges, 19192 markings/sec, 1580 secs
lola: STP completed || 38 tries, 37801411 fired transitions, 1585 secs || 31453796 markings, 35222044 edges, 18636 markings/sec, 1585 secs
lola: STP completed || 38 tries, 37920715 fired transitions, 1590 secs || 31547945 markings, 35327384 edges, 18830 markings/sec, 1590 secs
lola: STP completed || 39 tries, 38041282 fired transitions, 1595 secs || 31646234 markings, 35437755 edges, 19658 markings/sec, 1595 secs
lola: STP completed || 39 tries, 38161153 fired transitions, 1600 secs || 31742568 markings, 35545261 edges, 19267 markings/sec, 1600 secs
lola: STP completed || 39 tries, 38282355 fired transitions, 1605 secs || 31837954 markings, 35651077 edges, 19077 markings/sec, 1605 secs
lola: STP completed || 39 tries, 38405035 fired transitions, 1610 secs || 31937909 markings, 35763228 edges, 19991 markings/sec, 1610 secs
lola: STP completed || 39 tries, 38524855 fired transitions, 1615 secs || 32037227 markings, 35874272 edges, 19864 markings/sec, 1615 secs
lola: STP completed || 39 tries, 38646669 fired transitions, 1620 secs || 32135581 markings, 35983499 edges, 19671 markings/sec, 1620 secs
lola: STP completed || 39 tries, 38770050 fired transitions, 1625 secs || 32237296 markings, 36097963 edges, 20343 markings/sec, 1625 secs
lola: STP completed || 39 tries, 38892197 fired transitions, 1630 secs || 32336830 markings, 36209195 edges, 19907 markings/sec, 1630 secs
lola: STP completed || 40 tries, 39016453 fired transitions, 1635 secs || 32440997 markings, 36326265 edges, 20833 markings/sec, 1635 secs
lola: STP completed || 40 tries, 39137970 fired transitions, 1640 secs || 32538629 markings, 36434394 edges, 19526 markings/sec, 1640 secs
lola: STP completed || 40 tries, 39259058 fired transitions, 1645 secs || 32634411 markings, 36540419 edges, 19156 markings/sec, 1645 secs
lola: STP completed || 40 tries, 39380712 fired transitions, 1650 secs || 32730554 markings, 36647221 edges, 19229 markings/sec, 1650 secs
lola: STP completed || 40 tries, 39501857 fired transitions, 1655 secs || 32827204 markings, 36754630 edges, 19330 markings/sec, 1655 secs
lola: STP completed || 40 tries, 39622184 fired transitions, 1660 secs || 32922860 markings, 36861231 edges, 19131 markings/sec, 1660 secs
lola: STP completed || 40 tries, 39745422 fired transitions, 1665 secs || 33019199 markings, 36968217 edges, 19268 markings/sec, 1665 secs
lola: STP completed || 40 tries, 39870084 fired transitions, 1670 secs || 33123071 markings, 37083742 edges, 20774 markings/sec, 1670 secs
lola: STP completed || 40 tries, 39995414 fired transitions, 1675 secs || 33227487 markings, 37200193 edges, 20883 markings/sec, 1675 secs
lola: STP completed || 41 tries, 40122802 fired transitions, 1680 secs || 33330311 markings, 37314289 edges, 20565 markings/sec, 1680 secs
lola: STP completed || 41 tries, 40249043 fired transitions, 1685 secs || 33433221 markings, 37428937 edges, 20582 markings/sec, 1685 secs
lola: STP completed || 41 tries, 40372553 fired transitions, 1690 secs || 33537167 markings, 37545196 edges, 20789 markings/sec, 1690 secs
lola: STP completed || 41 tries, 40494520 fired transitions, 1695 secs || 33637858 markings, 37657517 edges, 20138 markings/sec, 1695 secs
lola: STP completed || 41 tries, 40614696 fired transitions, 1700 secs || 33734615 markings, 37764661 edges, 19351 markings/sec, 1700 secs
lola: STP completed || 41 tries, 40736693 fired transitions, 1705 secs || 33832757 markings, 37872947 edges, 19628 markings/sec, 1705 secs
lola: STP completed || 41 tries, 40860596 fired transitions, 1710 secs || 33932381 markings, 37983625 edges, 19925 markings/sec, 1710 secs
lola: STP completed || 41 tries, 40981819 fired transitions, 1715 secs || 34031948 markings, 38094494 edges, 19913 markings/sec, 1715 secs
lola: STP completed || 42 tries, 41105114 fired transitions, 1720 secs || 34130604 markings, 38203664 edges, 19731 markings/sec, 1720 secs
lola: STP completed || 42 tries, 41229400 fired transitions, 1725 secs || 34231147 markings, 38315674 edges, 20109 markings/sec, 1725 secs
lola: STP completed || 42 tries, 41352392 fired transitions, 1730 secs || 34331953 markings, 38427867 edges, 20161 markings/sec, 1730 secs
lola: STP completed || 42 tries, 41479934 fired transitions, 1735 secs || 34435259 markings, 38542314 edges, 20661 markings/sec, 1735 secs
lola: STP completed || 42 tries, 41607578 fired transitions, 1740 secs || 34542010 markings, 38662693 edges, 21350 markings/sec, 1740 secs
lola: STP completed || 42 tries, 41733879 fired transitions, 1745 secs || 34650409 markings, 38785178 edges, 21680 markings/sec, 1745 secs
lola: STP completed || 42 tries, 41858094 fired transitions, 1750 secs || 34748447 markings, 38894283 edges, 19608 markings/sec, 1750 secs
lola: STP completed || 42 tries, 41980390 fired transitions, 1755 secs || 34845488 markings, 39002477 edges, 19408 markings/sec, 1755 secs
lola: STP completed || 43 tries, 42101844 fired transitions, 1760 secs || 34939680 markings, 39107154 edges, 18838 markings/sec, 1760 secs
lola: STP completed || 43 tries, 42221883 fired transitions, 1765 secs || 35036121 markings, 39214503 edges, 19288 markings/sec, 1765 secs
lola: STP completed || 43 tries, 42341020 fired transitions, 1770 secs || 35131342 markings, 39320047 edges, 19044 markings/sec, 1770 secs
lola: STP completed || 43 tries, 42460829 fired transitions, 1775 secs || 35230621 markings, 39431018 edges, 19856 markings/sec, 1775 secs
lola: STP completed || 43 tries, 42585923 fired transitions, 1780 secs || 35333074 markings, 39546114 edges, 20491 markings/sec, 1780 secs
lola: STP completed || 43 tries, 42709920 fired transitions, 1785 secs || 35434604 markings, 39658481 edges, 20306 markings/sec, 1785 secs
lola: STP completed || 43 tries, 42836316 fired transitions, 1790 secs || 35537445 markings, 39772430 edges, 20568 markings/sec, 1790 secs
lola: STP completed || 43 tries, 42963095 fired transitions, 1795 secs || 35638229 markings, 39884143 edges, 20157 markings/sec, 1795 secs
lola: STP completed || 44 tries, 43089417 fired transitions, 1800 secs || 35738986 markings, 39996094 edges, 20151 markings/sec, 1800 secs
lola: STP completed || 44 tries, 43212300 fired transitions, 1805 secs || 35839865 markings, 40108175 edges, 20176 markings/sec, 1805 secs
lola: STP completed || 44 tries, 43335267 fired transitions, 1810 secs || 35938889 markings, 40218335 edges, 19805 markings/sec, 1810 secs
lola: STP completed || 44 tries, 43457374 fired transitions, 1815 secs || 36040807 markings, 40332330 edges, 20384 markings/sec, 1815 secs
lola: STP completed || 44 tries, 43578389 fired transitions, 1820 secs || 36141943 markings, 40445068 edges, 20227 markings/sec, 1820 secs
lola: STP completed || 44 tries, 43697661 fired transitions, 1825 secs || 36240211 markings, 40555512 edges, 19654 markings/sec, 1825 secs
lola: STP completed || 44 tries, 43812513 fired transitions, 1830 secs || 36329761 markings, 40655539 edges, 17910 markings/sec, 1830 secs
lola: STP completed || 44 tries, 43928510 fired transitions, 1835 secs || 36421035 markings, 40757151 edges, 18255 markings/sec, 1835 secs
lola: STP completed || 45 tries, 44054547 fired transitions, 1840 secs || 36526977 markings, 40876458 edges, 21188 markings/sec, 1840 secs
lola: STP completed || 45 tries, 44182903 fired transitions, 1845 secs || 36630047 markings, 40991975 edges, 20614 markings/sec, 1845 secs
lola: STP completed || 45 tries, 44300369 fired transitions, 1850 secs || 36725527 markings, 41098836 edges, 19096 markings/sec, 1850 secs
lola: STP completed || 45 tries, 44424876 fired transitions, 1855 secs || 36824245 markings, 41208891 edges, 19744 markings/sec, 1855 secs
lola: STP completed || 45 tries, 44552157 fired transitions, 1860 secs || 36930424 markings, 41328650 edges, 21236 markings/sec, 1860 secs
lola: STP completed || 45 tries, 44678622 fired transitions, 1865 secs || 37032615 markings, 41442741 edges, 20438 markings/sec, 1865 secs
lola: STP completed || 45 tries, 44805975 fired transitions, 1870 secs || 37136275 markings, 41558644 edges, 20732 markings/sec, 1870 secs
lola: STP completed || 45 tries, 44933942 fired transitions, 1875 secs || 37235722 markings, 41668695 edges, 19889 markings/sec, 1875 secs
lola: STP completed || 46 tries, 45062127 fired transitions, 1880 secs || 37336548 markings, 41780870 edges, 20165 markings/sec, 1880 secs
lola: STP completed || 46 tries, 45189168 fired transitions, 1885 secs || 37439611 markings, 41896493 edges, 20613 markings/sec, 1885 secs
lola: STP completed || 46 tries, 45315519 fired transitions, 1890 secs || 37545324 markings, 42015668 edges, 21143 markings/sec, 1890 secs
lola: STP completed || 46 tries, 45440657 fired transitions, 1895 secs || 37646919 markings, 42129133 edges, 20319 markings/sec, 1895 secs
lola: STP completed || 46 tries, 45567791 fired transitions, 1900 secs || 37751490 markings, 42245577 edges, 20914 markings/sec, 1900 secs
lola: STP completed || 46 tries, 45692335 fired transitions, 1905 secs || 37854526 markings, 42359897 edges, 20607 markings/sec, 1905 secs
lola: STP completed || 46 tries, 45817031 fired transitions, 1910 secs || 37969903 markings, 42490829 edges, 23075 markings/sec, 1910 secs
lola: STP completed || 46 tries, 45942575 fired transitions, 1915 secs || 38082717 markings, 42618423 edges, 22563 markings/sec, 1915 secs
lola: STP completed || 47 tries, 46070380 fired transitions, 1920 secs || 38187092 markings, 42735006 edges, 20875 markings/sec, 1920 secs
lola: STP completed || 47 tries, 46200154 fired transitions, 1925 secs || 38293529 markings, 42853570 edges, 21287 markings/sec, 1925 secs
lola: STP completed || 47 tries, 46327461 fired transitions, 1930 secs || 38397748 markings, 42969888 edges, 20844 markings/sec, 1930 secs
lola: STP completed || 47 tries, 46449860 fired transitions, 1935 secs || 38495836 markings, 43078835 edges, 19618 markings/sec, 1935 secs
lola: STP completed || 47 tries, 46577969 fired transitions, 1940 secs || 38598099 markings, 43192514 edges, 20453 markings/sec, 1940 secs
lola: STP completed || 47 tries, 46704984 fired transitions, 1945 secs || 38699514 markings, 43305377 edges, 20283 markings/sec, 1945 secs
lola: STP completed || 47 tries, 46833789 fired transitions, 1950 secs || 38800976 markings, 43418148 edges, 20292 markings/sec, 1950 secs
lola: STP completed || 47 tries, 46959753 fired transitions, 1955 secs || 38901584 markings, 43530225 edges, 20122 markings/sec, 1955 secs
lola: STP completed || 48 tries, 47088465 fired transitions, 1960 secs || 39002406 markings, 43642732 edges, 20164 markings/sec, 1960 secs
lola: STP completed || 48 tries, 47214691 fired transitions, 1965 secs || 39102364 markings, 43754034 edges, 19992 markings/sec, 1965 secs
lola: STP completed || 48 tries, 47342043 fired transitions, 1970 secs || 39203370 markings, 43866130 edges, 20201 markings/sec, 1970 secs
lola: STP completed || 48 tries, 47468528 fired transitions, 1975 secs || 39305583 markings, 43980037 edges, 20443 markings/sec, 1975 secs
lola: STP completed || 48 tries, 47595541 fired transitions, 1980 secs || 39408689 markings, 44095316 edges, 20621 markings/sec, 1980 secs
lola: STP completed || 48 tries, 47721485 fired transitions, 1985 secs || 39509429 markings, 44207704 edges, 20148 markings/sec, 1985 secs
lola: STP completed || 48 tries, 47846688 fired transitions, 1990 secs || 39610394 markings, 44320142 edges, 20193 markings/sec, 1990 secs
lola: STP completed || 48 tries, 47973259 fired transitions, 1995 secs || 39717021 markings, 44440137 edges, 21325 markings/sec, 1995 secs
lola: STP completed || 49 tries, 48099430 fired transitions, 2000 secs || 39822493 markings, 44558750 edges, 21094 markings/sec, 2000 secs
lola: STP completed || 49 tries, 48226230 fired transitions, 2005 secs || 39922611 markings, 44669747 edges, 20024 markings/sec, 2005 secs
lola: STP completed || 49 tries, 48355435 fired transitions, 2010 secs || 40025303 markings, 44783701 edges, 20538 markings/sec, 2010 secs
lola: STP completed || 49 tries, 48483662 fired transitions, 2015 secs || 40132815 markings, 44903080 edges, 21502 markings/sec, 2015 secs
lola: STP completed || 49 tries, 48612389 fired transitions, 2020 secs || 40239653 markings, 45021838 edges, 21368 markings/sec, 2020 secs
lola: STP completed || 49 tries, 48738609 fired transitions, 2025 secs || 40341966 markings, 45135488 edges, 20463 markings/sec, 2025 secs
lola: STP completed || 49 tries, 48866325 fired transitions, 2030 secs || 40441428 markings, 45245851 edges, 19892 markings/sec, 2030 secs
lola: STP completed || 49 tries, 48993794 fired transitions, 2035 secs || 40542417 markings, 45358371 edges, 20198 markings/sec, 2035 secs
lola: STP completed || 50 tries, 49122485 fired transitions, 2040 secs || 40645126 markings, 45473544 edges, 20542 markings/sec, 2040 secs
lola: STP completed || 50 tries, 49249346 fired transitions, 2045 secs || 40749108 markings, 45590397 edges, 20796 markings/sec, 2045 secs
lola: STP completed || 50 tries, 49377809 fired transitions, 2050 secs || 40851673 markings, 45705180 edges, 20513 markings/sec, 2050 secs
lola: STP completed || 50 tries, 49503738 fired transitions, 2055 secs || 40954599 markings, 45820470 edges, 20585 markings/sec, 2055 secs
lola: STP completed || 50 tries, 49631065 fired transitions, 2060 secs || 41057712 markings, 45935564 edges, 20623 markings/sec, 2060 secs
lola: STP completed || 50 tries, 49757736 fired transitions, 2065 secs || 41164420 markings, 46054891 edges, 21342 markings/sec, 2065 secs
lola: STP completed || 50 tries, 49883936 fired transitions, 2070 secs || 41277392 markings, 46182637 edges, 22594 markings/sec, 2070 secs
lola: STP completed || 51 tries, 50011822 fired transitions, 2075 secs || 41394610 markings, 46315853 edges, 23444 markings/sec, 2075 secs
lola: STP completed || 51 tries, 50137872 fired transitions, 2080 secs || 41512702 markings, 46449964 edges, 23618 markings/sec, 2080 secs
lola: STP completed || 51 tries, 50265153 fired transitions, 2085 secs || 41629115 markings, 46582019 edges, 23283 markings/sec, 2085 secs
lola: STP completed || 51 tries, 50389826 fired transitions, 2090 secs || 41751730 markings, 46722740 edges, 24523 markings/sec, 2090 secs
lola: STP completed || 51 tries, 50517044 fired transitions, 2095 secs || 41876032 markings, 46866138 edges, 24860 markings/sec, 2095 secs
lola: STP completed || 51 tries, 50643102 fired transitions, 2100 secs || 41996088 markings, 47003084 edges, 24011 markings/sec, 2100 secs
lola: STP completed || 51 tries, 50769190 fired transitions, 2105 secs || 42118117 markings, 47142146 edges, 24406 markings/sec, 2105 secs
lola: STP completed || 51 tries, 50894426 fired transitions, 2110 secs || 42233371 markings, 47273173 edges, 23051 markings/sec, 2110 secs
lola: STP completed || 52 tries, 51022087 fired transitions, 2115 secs || 42346489 markings, 47400911 edges, 22624 markings/sec, 2115 secs
lola: STP completed || 52 tries, 51148371 fired transitions, 2120 secs || 42467058 markings, 47538385 edges, 24114 markings/sec, 2120 secs
lola: STP completed || 52 tries, 51275131 fired transitions, 2125 secs || 42583942 markings, 47671026 edges, 23377 markings/sec, 2125 secs
lola: STP completed || 52 tries, 51402656 fired transitions, 2130 secs || 42688408 markings, 47787446 edges, 20893 markings/sec, 2130 secs
lola: STP completed || 52 tries, 51527645 fired transitions, 2135 secs || 42793962 markings, 47905478 edges, 21111 markings/sec, 2135 secs
lola: STP completed || 52 tries, 51655040 fired transitions, 2140 secs || 42901697 markings, 48026941 edges, 21547 markings/sec, 2140 secs
lola: STP completed || 52 tries, 51781646 fired transitions, 2145 secs || 43004837 markings, 48141443 edges, 20628 markings/sec, 2145 secs
lola: STP completed || 52 tries, 51907568 fired transitions, 2150 secs || 43107816 markings, 48255333 edges, 20596 markings/sec, 2150 secs
lola: STP completed || 53 tries, 52037421 fired transitions, 2155 secs || 43215634 markings, 48375410 edges, 21564 markings/sec, 2155 secs
lola: STP completed || 53 tries, 52166861 fired transitions, 2160 secs || 43321206 markings, 48492000 edges, 21114 markings/sec, 2160 secs
lola: STP completed || 53 tries, 52296088 fired transitions, 2165 secs || 43427235 markings, 48609224 edges, 21206 markings/sec, 2165 secs
lola: STP completed || 53 tries, 52425548 fired transitions, 2170 secs || 43533322 markings, 48727096 edges, 21217 markings/sec, 2170 secs
lola: STP completed || 53 tries, 52554871 fired transitions, 2175 secs || 43638483 markings, 48843445 edges, 21032 markings/sec, 2175 secs
lola: STP completed || 53 tries, 52682550 fired transitions, 2180 secs || 43740805 markings, 48956464 edges, 20464 markings/sec, 2180 secs
lola: STP completed || 53 tries, 52809383 fired transitions, 2185 secs || 43844245 markings, 49070932 edges, 20688 markings/sec, 2185 secs
lola: STP completed || 53 tries, 52935939 fired transitions, 2190 secs || 43947915 markings, 49186203 edges, 20734 markings/sec, 2190 secs
lola: STP completed || 54 tries, 53065555 fired transitions, 2195 secs || 44055004 markings, 49305033 edges, 21418 markings/sec, 2195 secs
lola: STP completed || 54 tries, 53194357 fired transitions, 2200 secs || 44163154 markings, 49425430 edges, 21630 markings/sec, 2200 secs
lola: STP completed || 54 tries, 53322550 fired transitions, 2205 secs || 44270940 markings, 49545726 edges, 21557 markings/sec, 2205 secs
lola: STP completed || 54 tries, 53453566 fired transitions, 2210 secs || 44377138 markings, 49663762 edges, 21240 markings/sec, 2210 secs
lola: STP completed || 54 tries, 53580943 fired transitions, 2215 secs || 44482000 markings, 49780030 edges, 20972 markings/sec, 2215 secs
lola: STP completed || 54 tries, 53709418 fired transitions, 2220 secs || 44592067 markings, 49902892 edges, 22013 markings/sec, 2220 secs
lola: STP completed || 54 tries, 53837683 fired transitions, 2225 secs || 44706068 markings, 50030828 edges, 22800 markings/sec, 2225 secs
lola: STP completed || 54 tries, 53966919 fired transitions, 2230 secs || 44835401 markings, 50179694 edges, 25867 markings/sec, 2230 secs
lola: STP completed || 55 tries, 54096082 fired transitions, 2235 secs || 44958685 markings, 50320563 edges, 24657 markings/sec, 2235 secs
lola: STP completed || 55 tries, 54225325 fired transitions, 2240 secs || 45081403 markings, 50461296 edges, 24544 markings/sec, 2240 secs
lola: STP completed || 55 tries, 54353317 fired transitions, 2245 secs || 45206141 markings, 50604868 edges, 24948 markings/sec, 2245 secs
lola: STP completed || 55 tries, 54483748 fired transitions, 2250 secs || 45327721 markings, 50743844 edges, 24316 markings/sec, 2250 secs
lola: STP completed || 55 tries, 54612793 fired transitions, 2255 secs || 45454478 markings, 50890538 edges, 25351 markings/sec, 2255 secs
lola: STP completed || 55 tries, 54743489 fired transitions, 2260 secs || 45580478 markings, 51036031 edges, 25200 markings/sec, 2260 secs
lola: STP completed || 55 tries, 54873093 fired transitions, 2265 secs || 45706090 markings, 51180442 edges, 25122 markings/sec, 2265 secs
lola: STP completed || 56 tries, 55003653 fired transitions, 2270 secs || 45830140 markings, 51323272 edges, 24810 markings/sec, 2270 secs
lola: STP completed || 56 tries, 55132495 fired transitions, 2275 secs || 45951289 markings, 51462737 edges, 24230 markings/sec, 2275 secs
lola: STP completed || 56 tries, 55262586 fired transitions, 2280 secs || 46078859 markings, 51609948 edges, 25514 markings/sec, 2280 secs
lola: STP completed || 56 tries, 55390278 fired transitions, 2285 secs || 46202591 markings, 51753095 edges, 24746 markings/sec, 2285 secs
lola: STP completed || 56 tries, 55520950 fired transitions, 2290 secs || 46326590 markings, 51895078 edges, 24800 markings/sec, 2290 secs
lola: STP completed || 56 tries, 55650362 fired transitions, 2295 secs || 46453656 markings, 52042140 edges, 25413 markings/sec, 2295 secs
lola: STP completed || 56 tries, 55779398 fired transitions, 2300 secs || 46575950 markings, 52181791 edges, 24459 markings/sec, 2300 secs
lola: STP completed || 56 tries, 55908801 fired transitions, 2305 secs || 46698935 markings, 52321505 edges, 24597 markings/sec, 2305 secs
lola: STP completed || 57 tries, 56037243 fired transitions, 2310 secs || 46819525 markings, 52458633 edges, 24118 markings/sec, 2310 secs
lola: STP completed || 57 tries, 56164618 fired transitions, 2315 secs || 46940770 markings, 52597304 edges, 24249 markings/sec, 2315 secs
lola: STP completed || 57 tries, 56289612 fired transitions, 2320 secs || 47058498 markings, 52732359 edges, 23546 markings/sec, 2320 secs
lola: STP completed || 57 tries, 56416359 fired transitions, 2325 secs || 47179695 markings, 52871481 edges, 24239 markings/sec, 2325 secs
lola: STP completed || 57 tries, 56545164 fired transitions, 2330 secs || 47301268 markings, 53010064 edges, 24315 markings/sec, 2330 secs
lola: STP completed || 57 tries, 56667352 fired transitions, 2335 secs || 47419252 markings, 53145296 edges, 23597 markings/sec, 2335 secs
lola: STP completed || 57 tries, 56796115 fired transitions, 2340 secs || 47544552 markings, 53288835 edges, 25060 markings/sec, 2340 secs
lola: STP completed || 57 tries, 56918019 fired transitions, 2345 secs || 47664259 markings, 53426460 edges, 23941 markings/sec, 2345 secs
lola: STP completed || 58 tries, 57050312 fired transitions, 2350 secs || 47778745 markings, 53554707 edges, 22897 markings/sec, 2350 secs
lola: STP completed || 58 tries, 57181358 fired transitions, 2355 secs || 47889007 markings, 53676730 edges, 22052 markings/sec, 2355 secs
lola: STP completed || 58 tries, 57312225 fired transitions, 2360 secs || 47992782 markings, 53792569 edges, 20755 markings/sec, 2360 secs
lola: STP completed || 58 tries, 57444175 fired transitions, 2365 secs || 48102924 markings, 53915041 edges, 22028 markings/sec, 2365 secs
lola: STP completed || 58 tries, 57576278 fired transitions, 2370 secs || 48212327 markings, 54036936 edges, 21881 markings/sec, 2370 secs
lola: STP completed || 58 tries, 57708031 fired transitions, 2375 secs || 48321471 markings, 54158141 edges, 21829 markings/sec, 2375 secs
lola: STP completed || 58 tries, 57840779 fired transitions, 2380 secs || 48429366 markings, 54278124 edges, 21579 markings/sec, 2380 secs
lola: STP completed || 58 tries, 57972465 fired transitions, 2385 secs || 48536922 markings, 54397293 edges, 21511 markings/sec, 2385 secs
lola: STP completed || 59 tries, 58103349 fired transitions, 2390 secs || 48647140 markings, 54520213 edges, 22044 markings/sec, 2390 secs
lola: STP completed || 59 tries, 58232581 fired transitions, 2395 secs || 48757401 markings, 54643195 edges, 22052 markings/sec, 2395 secs
lola: STP completed || 59 tries, 58364974 fired transitions, 2400 secs || 48878294 markings, 54780518 edges, 24179 markings/sec, 2400 secs
lola: STP completed || 59 tries, 58496613 fired transitions, 2405 secs || 49006424 markings, 54927406 edges, 25626 markings/sec, 2405 secs
lola: STP completed || 59 tries, 58627887 fired transitions, 2410 secs || 49132962 markings, 55073348 edges, 25308 markings/sec, 2410 secs
lola: STP completed || 59 tries, 58758543 fired transitions, 2415 secs || 49257455 markings, 55216282 edges, 24899 markings/sec, 2415 secs
lola: STP completed || 59 tries, 58889864 fired transitions, 2420 secs || 49375156 markings, 55349612 edges, 23540 markings/sec, 2420 secs
lola: STP completed || 60 tries, 59022837 fired transitions, 2425 secs || 49486321 markings, 55474046 edges, 22233 markings/sec, 2425 secs
lola: STP completed || 60 tries, 59155086 fired transitions, 2430 secs || 49595624 markings, 55595809 edges, 21861 markings/sec, 2430 secs
lola: STP completed || 60 tries, 59286373 fired transitions, 2435 secs || 49707663 markings, 55721818 edges, 22408 markings/sec, 2435 secs
lola: STP completed || 60 tries, 59418244 fired transitions, 2440 secs || 49818583 markings, 55846114 edges, 22184 markings/sec, 2440 secs
lola: STP completed || 60 tries, 59551430 fired transitions, 2445 secs || 49930835 markings, 55972032 edges, 22450 markings/sec, 2445 secs
lola: STP completed || 60 tries, 59683656 fired transitions, 2450 secs || 50043334 markings, 56097525 edges, 22500 markings/sec, 2450 secs
lola: STP completed || 60 tries, 59815450 fired transitions, 2455 secs || 50150922 markings, 56216845 edges, 21518 markings/sec, 2455 secs
lola: STP completed || 60 tries, 59948212 fired transitions, 2460 secs || 50256447 markings, 56333373 edges, 21105 markings/sec, 2460 secs
lola: STP completed || 61 tries, 60082043 fired transitions, 2465 secs || 50365593 markings, 56454895 edges, 21829 markings/sec, 2465 secs
lola: STP completed || 61 tries, 60213738 fired transitions, 2470 secs || 50477140 markings, 56579241 edges, 22309 markings/sec, 2470 secs
lola: STP completed || 61 tries, 60345383 fired transitions, 2475 secs || 50587793 markings, 56702739 edges, 22131 markings/sec, 2475 secs
lola: STP completed || 61 tries, 60476891 fired transitions, 2480 secs || 50695459 markings, 56822363 edges, 21533 markings/sec, 2480 secs
lola: STP completed || 61 tries, 60607304 fired transitions, 2485 secs || 50804237 markings, 56943387 edges, 21756 markings/sec, 2485 secs
lola: STP completed || 61 tries, 60738812 fired transitions, 2490 secs || 50910998 markings, 57061639 edges, 21352 markings/sec, 2490 secs
lola: STP completed || 61 tries, 60869214 fired transitions, 2495 secs || 51019538 markings, 57182078 edges, 21708 markings/sec, 2495 secs
lola: STP completed || 61 tries, 60999989 fired transitions, 2500 secs || 51126154 markings, 57300144 edges, 21323 markings/sec, 2500 secs
lola: STP completed || 62 tries, 61131944 fired transitions, 2505 secs || 51231011 markings, 57415983 edges, 20971 markings/sec, 2505 secs
lola: STP completed || 62 tries, 61263325 fired transitions, 2510 secs || 51339545 markings, 57536251 edges, 21707 markings/sec, 2510 secs
lola: STP completed || 62 tries, 61394093 fired transitions, 2515 secs || 51465694 markings, 57679612 edges, 25230 markings/sec, 2515 secs
lola: STP completed || 62 tries, 61526408 fired transitions, 2520 secs || 51592234 markings, 57823509 edges, 25308 markings/sec, 2520 secs
lola: STP completed || 62 tries, 61657245 fired transitions, 2525 secs || 51717956 markings, 57966421 edges, 25144 markings/sec, 2525 secs
lola: STP completed || 62 tries, 61789224 fired transitions, 2530 secs || 51846217 markings, 58112157 edges, 25652 markings/sec, 2530 secs
lola: STP completed || 62 tries, 61921496 fired transitions, 2535 secs || 51970856 markings, 58253859 edges, 24928 markings/sec, 2535 secs
lola: STP completed || 63 tries, 62054389 fired transitions, 2540 secs || 52079925 markings, 58374828 edges, 21814 markings/sec, 2540 secs
lola: STP completed || 63 tries, 62187625 fired transitions, 2545 secs || 52196634 markings, 58505643 edges, 23342 markings/sec, 2545 secs
lola: STP completed || 63 tries, 62319581 fired transitions, 2550 secs || 52326825 markings, 58653916 edges, 26038 markings/sec, 2550 secs
lola: STP completed || 63 tries, 62452588 fired transitions, 2555 secs || 52453780 markings, 58798171 edges, 25391 markings/sec, 2555 secs
lola: STP completed || 63 tries, 62584394 fired transitions, 2560 secs || 52583670 markings, 58946437 edges, 25978 markings/sec, 2560 secs
lola: STP completed || 63 tries, 62717747 fired transitions, 2565 secs || 52701412 markings, 59079069 edges, 23548 markings/sec, 2565 secs
lola: STP completed || 63 tries, 62846702 fired transitions, 2570 secs || 52819309 markings, 59211232 edges, 23579 markings/sec, 2570 secs
lola: STP completed || 63 tries, 62977317 fired transitions, 2575 secs || 52935560 markings, 59341700 edges, 23250 markings/sec, 2575 secs
lola: STP completed || 64 tries, 63109037 fired transitions, 2580 secs || 53043747 markings, 59462285 edges, 21637 markings/sec, 2580 secs
lola: STP completed || 64 tries, 63241157 fired transitions, 2585 secs || 53148995 markings, 59579584 edges, 21050 markings/sec, 2585 secs
lola: STP completed || 64 tries, 63371614 fired transitions, 2590 secs || 53260330 markings, 59704722 edges, 22267 markings/sec, 2590 secs
lola: STP completed || 64 tries, 63503850 fired transitions, 2595 secs || 53370201 markings, 59827314 edges, 21974 markings/sec, 2595 secs
lola: STP completed || 64 tries, 63636004 fired transitions, 2600 secs || 53492027 markings, 59965738 edges, 24365 markings/sec, 2600 secs
lola: STP completed || 64 tries, 63765964 fired transitions, 2605 secs || 53614889 markings, 60104718 edges, 24572 markings/sec, 2605 secs
lola: STP completed || 64 tries, 63896775 fired transitions, 2610 secs || 53736715 markings, 60242934 edges, 24365 markings/sec, 2610 secs
lola: STP completed || 65 tries, 64028700 fired transitions, 2615 secs || 53851178 markings, 60371971 edges, 22893 markings/sec, 2615 secs
lola: STP completed || 65 tries, 64160374 fired transitions, 2620 secs || 53960751 markings, 60493723 edges, 21915 markings/sec, 2620 secs
lola: STP completed || 65 tries, 64290855 fired transitions, 2625 secs || 54069740 markings, 60615004 edges, 21798 markings/sec, 2625 secs
lola: STP completed || 65 tries, 64422109 fired transitions, 2630 secs || 54185167 markings, 60744195 edges, 23085 markings/sec, 2630 secs
lola: STP completed || 65 tries, 64553862 fired transitions, 2635 secs || 54300011 markings, 60873325 edges, 22969 markings/sec, 2635 secs
lola: STP completed || 65 tries, 64685188 fired transitions, 2640 secs || 54411272 markings, 60997324 edges, 22252 markings/sec, 2640 secs
lola: STP completed || 65 tries, 64815452 fired transitions, 2645 secs || 54519157 markings, 61116614 edges, 21577 markings/sec, 2645 secs
lola: STP completed || 65 tries, 64947719 fired transitions, 2650 secs || 54630413 markings, 61240419 edges, 22251 markings/sec, 2650 secs
lola: STP completed || 66 tries, 65081032 fired transitions, 2655 secs || 54747422 markings, 61371730 edges, 23402 markings/sec, 2655 secs
lola: STP completed || 66 tries, 65212212 fired transitions, 2660 secs || 54871703 markings, 61513349 edges, 24856 markings/sec, 2660 secs
lola: STP completed || 66 tries, 65344114 fired transitions, 2665 secs || 55001916 markings, 61662820 edges, 26043 markings/sec, 2665 secs
lola: STP completed || 66 tries, 65476334 fired transitions, 2670 secs || 55127139 markings, 61807221 edges, 25045 markings/sec, 2670 secs
lola: STP completed || 66 tries, 65607372 fired transitions, 2675 secs || 55246775 markings, 61943451 edges, 23927 markings/sec, 2675 secs
lola: STP completed || 66 tries, 65738086 fired transitions, 2680 secs || 55376873 markings, 62093565 edges, 26020 markings/sec, 2680 secs
lola: STP completed || 66 tries, 65870585 fired transitions, 2685 secs || 55501524 markings, 62236067 edges, 24930 markings/sec, 2685 secs
lola: STP completed || 67 tries, 66003924 fired transitions, 2690 secs || 55625366 markings, 62378655 edges, 24768 markings/sec, 2690 secs
lola: STP completed || 67 tries, 66136946 fired transitions, 2695 secs || 55745503 markings, 62515588 edges, 24027 markings/sec, 2695 secs
lola: STP completed || 67 tries, 66268616 fired transitions, 2700 secs || 55871849 markings, 62659753 edges, 25269 markings/sec, 2700 secs
lola: STP completed || 67 tries, 66399542 fired transitions, 2705 secs || 55999638 markings, 62805862 edges, 25558 markings/sec, 2705 secs
lola: STP completed || 67 tries, 66531660 fired transitions, 2710 secs || 56121945 markings, 62945009 edges, 24461 markings/sec, 2710 secs
lola: STP completed || 67 tries, 66662646 fired transitions, 2715 secs || 56234423 markings, 63070952 edges, 22496 markings/sec, 2715 secs
lola: STP completed || 67 tries, 66794348 fired transitions, 2720 secs || 56360114 markings, 63214109 edges, 25138 markings/sec, 2720 secs
lola: STP completed || 67 tries, 66926332 fired transitions, 2725 secs || 56488752 markings, 63361241 edges, 25728 markings/sec, 2725 secs
lola: STP completed || 68 tries, 67060750 fired transitions, 2730 secs || 56614050 markings, 63503705 edges, 25060 markings/sec, 2730 secs
lola: STP completed || 68 tries, 67192983 fired transitions, 2735 secs || 56737200 markings, 63643688 edges, 24630 markings/sec, 2735 secs
lola: STP completed || 68 tries, 67325971 fired transitions, 2740 secs || 56854432 markings, 63775777 edges, 23446 markings/sec, 2740 secs
lola: STP completed || 68 tries, 67458637 fired transitions, 2745 secs || 56974134 markings, 63911303 edges, 23940 markings/sec, 2745 secs
lola: STP completed || 68 tries, 67591666 fired transitions, 2750 secs || 57094413 markings, 64048547 edges, 24056 markings/sec, 2750 secs
lola: STP completed || 68 tries, 67724780 fired transitions, 2755 secs || 57219674 markings, 64192078 edges, 25052 markings/sec, 2755 secs
lola: STP completed || 68 tries, 67857327 fired transitions, 2760 secs || 57349463 markings, 64341325 edges, 25958 markings/sec, 2760 secs
lola: STP completed || 68 tries, 67988837 fired transitions, 2765 secs || 57477980 markings, 64488437 edges, 25703 markings/sec, 2765 secs
lola: STP completed || 69 tries, 68123009 fired transitions, 2770 secs || 57610725 markings, 64641447 edges, 26549 markings/sec, 2770 secs
lola: STP completed || 69 tries, 68253791 fired transitions, 2775 secs || 57733732 markings, 64781239 edges, 24601 markings/sec, 2775 secs
lola: STP completed || 69 tries, 68387461 fired transitions, 2780 secs || 57858487 markings, 64923179 edges, 24951 markings/sec, 2780 secs
lola: STP completed || 69 tries, 68520276 fired transitions, 2785 secs || 57983943 markings, 65066709 edges, 25091 markings/sec, 2785 secs
lola: STP completed || 69 tries, 68653010 fired transitions, 2790 secs || 58110249 markings, 65210493 edges, 25261 markings/sec, 2790 secs
lola: STP completed || 69 tries, 68785256 fired transitions, 2795 secs || 58241872 markings, 65362316 edges, 26325 markings/sec, 2795 secs
lola: STP completed || 69 tries, 68917024 fired transitions, 2800 secs || 58356522 markings, 65491404 edges, 22930 markings/sec, 2800 secs
lola: STP completed || 70 tries, 69040945 fired transitions, 2805 secs || 58464404 markings, 65613224 edges, 21576 markings/sec, 2805 secs
lola: STP completed || 70 tries, 69167094 fired transitions, 2810 secs || 58584732 markings, 65751137 edges, 24066 markings/sec, 2810 secs
lola: STP completed || 70 tries, 69298795 fired transitions, 2815 secs || 58714948 markings, 65901258 edges, 26043 markings/sec, 2815 secs
lola: STP completed || 70 tries, 69428981 fired transitions, 2820 secs || 58826784 markings, 66026287 edges, 22367 markings/sec, 2820 secs
lola: STP completed || 70 tries, 69560844 fired transitions, 2825 secs || 58936248 markings, 66147583 edges, 21893 markings/sec, 2825 secs
lola: STP completed || 70 tries, 69692057 fired transitions, 2830 secs || 59061162 markings, 66289220 edges, 24983 markings/sec, 2830 secs
lola: STP completed || 70 tries, 69822967 fired transitions, 2835 secs || 59192786 markings, 66439637 edges, 26325 markings/sec, 2835 secs
lola: STP completed || 70 tries, 69955227 fired transitions, 2840 secs || 59319196 markings, 66583795 edges, 25282 markings/sec, 2840 secs
lola: STP completed || 71 tries, 70088711 fired transitions, 2845 secs || 59446122 markings, 66729824 edges, 25385 markings/sec, 2845 secs
lola: STP completed || 71 tries, 70220852 fired transitions, 2850 secs || 59570852 markings, 66872814 edges, 24946 markings/sec, 2850 secs
lola: STP completed || 71 tries, 70354784 fired transitions, 2855 secs || 59698695 markings, 67019804 edges, 25569 markings/sec, 2855 secs
lola: STP completed || 71 tries, 70484675 fired transitions, 2860 secs || 59801260 markings, 67134219 edges, 20513 markings/sec, 2860 secs
lola: STP completed || 71 tries, 70616541 fired transitions, 2865 secs || 59907583 markings, 67252570 edges, 21265 markings/sec, 2865 secs
lola: STP completed || 71 tries, 70746074 fired transitions, 2870 secs || 60012453 markings, 67369044 edges, 20974 markings/sec, 2870 secs
lola: STP completed || 71 tries, 70878831 fired transitions, 2875 secs || 60117983 markings, 67486094 edges, 21106 markings/sec, 2875 secs
lola: STP completed || 72 tries, 71012223 fired transitions, 2880 secs || 60230822 markings, 67613471 edges, 22568 markings/sec, 2880 secs
lola: STP completed || 72 tries, 71144305 fired transitions, 2885 secs || 60347192 markings, 67744917 edges, 23274 markings/sec, 2885 secs
lola: STP completed || 72 tries, 71275047 fired transitions, 2890 secs || 60460457 markings, 67872230 edges, 22653 markings/sec, 2890 secs
lola: STP completed || 72 tries, 71407355 fired transitions, 2895 secs || 60588287 markings, 68019604 edges, 25566 markings/sec, 2895 secs
lola: STP completed || 72 tries, 71540392 fired transitions, 2900 secs || 60713956 markings, 68163462 edges, 25134 markings/sec, 2900 secs
lola: STP completed || 72 tries, 71672385 fired transitions, 2905 secs || 60843471 markings, 68312620 edges, 25903 markings/sec, 2905 secs
lola: STP completed || 72 tries, 71804830 fired transitions, 2910 secs || 60970652 markings, 68458204 edges, 25436 markings/sec, 2910 secs
lola: STP completed || 72 tries, 71937511 fired transitions, 2915 secs || 61096659 markings, 68602491 edges, 25201 markings/sec, 2915 secs
lola: STP completed || 73 tries, 72070214 fired transitions, 2920 secs || 61208585 markings, 68728170 edges, 22385 markings/sec, 2920 secs
lola: STP completed || 73 tries, 72201709 fired transitions, 2925 secs || 61320317 markings, 68853824 edges, 22346 markings/sec, 2925 secs
lola: STP completed || 73 tries, 72332448 fired transitions, 2930 secs || 61430413 markings, 68977021 edges, 22019 markings/sec, 2930 secs
lola: STP completed || 73 tries, 72463029 fired transitions, 2935 secs || 61547207 markings, 69108508 edges, 23359 markings/sec, 2935 secs
lola: STP completed || 73 tries, 72592977 fired transitions, 2940 secs || 61669244 markings, 69247251 edges, 24407 markings/sec, 2940 secs
lola: STP completed || 73 tries, 72724849 fired transitions, 2945 secs || 61797284 markings, 69394637 edges, 25608 markings/sec, 2945 secs
lola: STP completed || 73 tries, 72856370 fired transitions, 2950 secs || 61926009 markings, 69543388 edges, 25745 markings/sec, 2950 secs
lola: STP completed || 73 tries, 72988390 fired transitions, 2955 secs || 62056015 markings, 69694170 edges, 26001 markings/sec, 2955 secs
lola: STP completed || 74 tries, 73122462 fired transitions, 2960 secs || 62187207 markings, 69846795 edges, 26238 markings/sec, 2960 secs
lola: STP completed || 74 tries, 73255452 fired transitions, 2965 secs || 62311663 markings, 69988549 edges, 24891 markings/sec, 2965 secs
lola: STP completed || 74 tries, 73387139 fired transitions, 2970 secs || 62435940 markings, 70131119 edges, 24855 markings/sec, 2970 secs
lola: STP completed || 74 tries, 73518392 fired transitions, 2975 secs || 62557670 markings, 70269730 edges, 24346 markings/sec, 2975 secs
lola: STP completed || 74 tries, 73648010 fired transitions, 2980 secs || 62679539 markings, 70407762 edges, 24374 markings/sec, 2980 secs
lola: STP completed || 74 tries, 73778949 fired transitions, 2985 secs || 62803148 markings, 70548095 edges, 24722 markings/sec, 2985 secs
lola: STP completed || 74 tries, 73910964 fired transitions, 2990 secs || 62922620 markings, 70683289 edges, 23894 markings/sec, 2990 secs
lola: STP completed || 75 tries, 74043821 fired transitions, 2995 secs || 63042757 markings, 70820045 edges, 24027 markings/sec, 2995 secs
lola: STP completed || 75 tries, 74176272 fired transitions, 3000 secs || 63165696 markings, 70960282 edges, 24588 markings/sec, 3000 secs
lola: STP completed || 75 tries, 74310026 fired transitions, 3005 secs || 63290135 markings, 71101777 edges, 24888 markings/sec, 3005 secs
lola: STP completed || 75 tries, 74445311 fired transitions, 3010 secs || 63411641 markings, 71239437 edges, 24301 markings/sec, 3010 secs
lola: STP completed || 75 tries, 74575658 fired transitions, 3015 secs || 63528130 markings, 71371836 edges, 23298 markings/sec, 3015 secs
lola: STP completed || 75 tries, 74697940 fired transitions, 3020 secs || 63632731 markings, 71489203 edges, 20920 markings/sec, 3020 secs
lola: STP completed || 75 tries, 74814931 fired transitions, 3025 secs || 63727766 markings, 71595193 edges, 19007 markings/sec, 3025 secs
lola: STP completed || 75 tries, 74949051 fired transitions, 3030 secs || 63847112 markings, 71730321 edges, 23869 markings/sec, 3030 secs
lola: STP completed || 76 tries, 75084527 fired transitions, 3035 secs || 63969733 markings, 71868818 edges, 24524 markings/sec, 3035 secs
lola: STP completed || 76 tries, 75220780 fired transitions, 3040 secs || 64092193 markings, 72007343 edges, 24492 markings/sec, 3040 secs
lola: STP completed || 76 tries, 75355128 fired transitions, 3045 secs || 64219030 markings, 72151750 edges, 25367 markings/sec, 3045 secs
lola: STP completed || 76 tries, 75489820 fired transitions, 3050 secs || 64344881 markings, 72295112 edges, 25170 markings/sec, 3050 secs
lola: STP completed || 76 tries, 75621359 fired transitions, 3055 secs || 64462015 markings, 72427068 edges, 23427 markings/sec, 3055 secs
lola: STP completed || 76 tries, 75750765 fired transitions, 3060 secs || 64583207 markings, 72565201 edges, 24238 markings/sec, 3060 secs
lola: STP completed || 76 tries, 75881042 fired transitions, 3065 secs || 64704441 markings, 72703265 edges, 24247 markings/sec, 3065 secs
lola: STP completed || 77 tries, 76009737 fired transitions, 3070 secs || 64815554 markings, 72828702 edges, 22223 markings/sec, 3070 secs
lola: STP completed || 77 tries, 76139301 fired transitions, 3075 secs || 64938245 markings, 72969919 edges, 24538 markings/sec, 3075 secs
lola: STP completed || 77 tries, 76268516 fired transitions, 3080 secs || 65060341 markings, 73109449 edges, 24419 markings/sec, 3080 secs
lola: STP completed || 77 tries, 76391925 fired transitions, 3085 secs || 65179192 markings, 73244495 edges, 23770 markings/sec, 3085 secs
lola: STP completed || 77 tries, 76520716 fired transitions, 3090 secs || 65300547 markings, 73382771 edges, 24271 markings/sec, 3090 secs
lola: STP completed || 77 tries, 76651364 fired transitions, 3095 secs || 65421881 markings, 73521282 edges, 24267 markings/sec, 3095 secs
lola: STP completed || 77 tries, 76783059 fired transitions, 3100 secs || 65546696 markings, 73663788 edges, 24963 markings/sec, 3100 secs
lola: STP completed || 77 tries, 76917143 fired transitions, 3105 secs || 65667936 markings, 73800822 edges, 24248 markings/sec, 3105 secs
lola: STP completed || 78 tries, 77055631 fired transitions, 3110 secs || 65791151 markings, 73940692 edges, 24643 markings/sec, 3110 secs
lola: STP completed || 78 tries, 77190816 fired transitions, 3115 secs || 65902868 markings, 74066340 edges, 22343 markings/sec, 3115 secs
lola: STP completed || 78 tries, 77317919 fired transitions, 3120 secs || 66000896 markings, 74175944 edges, 19606 markings/sec, 3120 secs
Killed
FORMULA DLCround-PT-12b-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496548911478

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

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-12b"
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/DLCround-PT-12b.tgz
mv DLCround-PT-12b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is DLCround-PT-12b, 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 r178-csrt-149580961900377"
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 ;