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-3253
Executing tool lola
Input is S_Vasy2003-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464300386
=====================================================================

--------------------
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 Vasy2003-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496577269485


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


checking for too many tokens
===========================================================================================
S_Vasy2003-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityDeadlock @ S_Vasy2003-PT-none @ 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: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-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 56 bytes per marking, with 29 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: STP: formula with 15425 variables and 53796 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 221 generators (115 in search tree, 106 by composition)
lola: representing 1.67663E+46 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 170876 fired transitions, 0 secs || 162545 markings, 298948 edges, 32509 markings/sec, 0 secs
lola: STP completed || 1 tries, 337246 fired transitions, 5 secs || 327907 markings, 613218 edges, 33072 markings/sec, 5 secs
lola: STP completed || 1 tries, 504072 fired transitions, 10 secs || 496324 markings, 922652 edges, 33683 markings/sec, 10 secs
lola: STP completed || 1 tries, 669988 fired transitions, 15 secs || 660973 markings, 1213795 edges, 32930 markings/sec, 15 secs
lola: STP completed || 1 tries, 835924 fired transitions, 20 secs || 826478 markings, 1488334 edges, 33101 markings/sec, 20 secs
lola: STP completed || 2 tries, 1000194 fired transitions, 25 secs || 992077 markings, 1774966 edges, 33120 markings/sec, 25 secs
lola: STP completed || 2 tries, 1163343 fired transitions, 30 secs || 1157729 markings, 2029602 edges, 33130 markings/sec, 30 secs
lola: STP completed || 2 tries, 1327189 fired transitions, 35 secs || 1318019 markings, 2294760 edges, 32058 markings/sec, 35 secs
lola: STP completed || 2 tries, 1491963 fired transitions, 40 secs || 1483139 markings, 2589910 edges, 33024 markings/sec, 40 secs
lola: STP completed || 2 tries, 1655605 fired transitions, 45 secs || 1642511 markings, 2845076 edges, 31874 markings/sec, 45 secs
lola: STP completed || 2 tries, 1814956 fired transitions, 50 secs || 1766652 markings, 3046256 edges, 24828 markings/sec, 50 secs
lola: STP completed || 2 tries, 1976443 fired transitions, 55 secs || 1895225 markings, 3286642 edges, 25715 markings/sec, 55 secs
lola: STP completed || 3 tries, 2135771 fired transitions, 60 secs || 2017098 markings, 3503640 edges, 24375 markings/sec, 60 secs
lola: STP completed || 3 tries, 2297695 fired transitions, 65 secs || 2137864 markings, 3729705 edges, 24153 markings/sec, 65 secs
lola: STP completed || 3 tries, 2457360 fired transitions, 70 secs || 2260328 markings, 3935881 edges, 24493 markings/sec, 70 secs
lola: STP completed || 3 tries, 2619814 fired transitions, 75 secs || 2384389 markings, 4163782 edges, 24812 markings/sec, 75 secs
lola: STP completed || 3 tries, 2780384 fired transitions, 80 secs || 2511355 markings, 4380982 edges, 25393 markings/sec, 80 secs
lola: STP completed || 3 tries, 2941380 fired transitions, 85 secs || 2638233 markings, 4608033 edges, 25376 markings/sec, 85 secs
lola: STP completed || 4 tries, 3101982 fired transitions, 90 secs || 2763410 markings, 4843205 edges, 25035 markings/sec, 90 secs
lola: STP completed || 4 tries, 3262291 fired transitions, 95 secs || 2889261 markings, 5058371 edges, 25170 markings/sec, 95 secs
lola: STP completed || 4 tries, 3423082 fired transitions, 100 secs || 3018384 markings, 5270327 edges, 25825 markings/sec, 100 secs
lola: STP completed || 4 tries, 3585642 fired transitions, 105 secs || 3137394 markings, 5480160 edges, 23802 markings/sec, 105 secs
lola: STP completed || 4 tries, 3748997 fired transitions, 110 secs || 3250986 markings, 5675254 edges, 22718 markings/sec, 110 secs
lola: STP completed || 4 tries, 3912403 fired transitions, 115 secs || 3368128 markings, 5890352 edges, 23428 markings/sec, 115 secs
lola: STP completed || 5 tries, 4077505 fired transitions, 120 secs || 3485574 markings, 6120945 edges, 23489 markings/sec, 120 secs
lola: STP completed || 5 tries, 4242530 fired transitions, 125 secs || 3600648 markings, 6333937 edges, 23015 markings/sec, 125 secs
lola: STP completed || 5 tries, 4407665 fired transitions, 130 secs || 3713842 markings, 6528696 edges, 22639 markings/sec, 130 secs
lola: STP completed || 5 tries, 4573069 fired transitions, 135 secs || 3832935 markings, 6738067 edges, 23819 markings/sec, 135 secs
lola: STP completed || 5 tries, 4738513 fired transitions, 140 secs || 3951069 markings, 6946408 edges, 23627 markings/sec, 140 secs
lola: STP completed || 5 tries, 4903023 fired transitions, 145 secs || 4064623 markings, 7134986 edges, 22711 markings/sec, 145 secs
lola: STP completed || 6 tries, 5066706 fired transitions, 150 secs || 4183920 markings, 7333790 edges, 23859 markings/sec, 150 secs
lola: STP completed || 6 tries, 5237357 fired transitions, 155 secs || 4305572 markings, 7537969 edges, 24330 markings/sec, 155 secs
lola: STP completed || 6 tries, 5408015 fired transitions, 160 secs || 4427465 markings, 7725712 edges, 24379 markings/sec, 160 secs
lola: STP completed || 6 tries, 5578251 fired transitions, 165 secs || 4552836 markings, 7909128 edges, 25074 markings/sec, 165 secs
lola: STP completed || 6 tries, 5750803 fired transitions, 170 secs || 4670856 markings, 8130577 edges, 23604 markings/sec, 170 secs
lola: STP completed || 6 tries, 5921053 fired transitions, 175 secs || 4797230 markings, 8310803 edges, 25275 markings/sec, 175 secs
lola: STP completed || 7 tries, 6090921 fired transitions, 180 secs || 4924958 markings, 8495085 edges, 25546 markings/sec, 180 secs
lola: STP completed || 7 tries, 6258805 fired transitions, 185 secs || 5097201 markings, 8776853 edges, 34449 markings/sec, 185 secs
lola: STP completed || 7 tries, 6424995 fired transitions, 190 secs || 5267980 markings, 9052982 edges, 34156 markings/sec, 190 secs
lola: STP completed || 7 tries, 6590551 fired transitions, 195 secs || 5447268 markings, 9381133 edges, 35858 markings/sec, 195 secs
lola: STP completed || 7 tries, 6755909 fired transitions, 200 secs || 5632711 markings, 9733346 edges, 37089 markings/sec, 200 secs
lola: STP completed || 7 tries, 6919681 fired transitions, 205 secs || 5813327 markings, 10073817 edges, 36123 markings/sec, 205 secs
lola: STP completed || 8 tries, 7083194 fired transitions, 210 secs || 5989531 markings, 10412408 edges, 35241 markings/sec, 210 secs
lola: STP completed || 8 tries, 7242632 fired transitions, 215 secs || 6161001 markings, 10726674 edges, 34294 markings/sec, 215 secs
lola: STP completed || 8 tries, 7403547 fired transitions, 220 secs || 6330398 markings, 11056809 edges, 33879 markings/sec, 220 secs
lola: STP completed || 8 tries, 7561117 fired transitions, 225 secs || 6501016 markings, 11368594 edges, 34124 markings/sec, 225 secs
lola: STP completed || 8 tries, 7718463 fired transitions, 230 secs || 6682151 markings, 11699958 edges, 36227 markings/sec, 230 secs
lola: STP completed || 8 tries, 7877797 fired transitions, 235 secs || 6857334 markings, 12007972 edges, 35037 markings/sec, 235 secs
lola: STP completed || 9 tries, 8037330 fired transitions, 240 secs || 7044726 markings, 12329859 edges, 37478 markings/sec, 240 secs
lola: STP completed || 9 tries, 8197175 fired transitions, 245 secs || 7229743 markings, 12658131 edges, 37003 markings/sec, 245 secs
lola: STP completed || 9 tries, 8355726 fired transitions, 250 secs || 7425533 markings, 12972372 edges, 39158 markings/sec, 250 secs
lola: STP completed || 9 tries, 8513473 fired transitions, 255 secs || 7597553 markings, 13265511 edges, 34404 markings/sec, 255 secs
lola: STP completed || 9 tries, 8670410 fired transitions, 260 secs || 7741409 markings, 13518518 edges, 28771 markings/sec, 260 secs
lola: STP completed || 9 tries, 8828491 fired transitions, 265 secs || 7890379 markings, 13802047 edges, 29794 markings/sec, 265 secs
lola: STP completed || 9 tries, 8985261 fired transitions, 270 secs || 8031844 markings, 14068799 edges, 28293 markings/sec, 270 secs
lola: STP completed || 10 tries, 9141962 fired transitions, 275 secs || 8176739 markings, 14326354 edges, 28979 markings/sec, 275 secs
lola: STP completed || 10 tries, 9299110 fired transitions, 280 secs || 8329488 markings, 14585915 edges, 30550 markings/sec, 280 secs
lola: STP completed || 10 tries, 9457411 fired transitions, 285 secs || 8481067 markings, 14852153 edges, 30316 markings/sec, 285 secs
lola: STP completed || 10 tries, 9614218 fired transitions, 290 secs || 8632591 markings, 15087016 edges, 30305 markings/sec, 290 secs
lola: STP completed || 10 tries, 9771979 fired transitions, 295 secs || 8775333 markings, 15343971 edges, 28548 markings/sec, 295 secs
lola: STP completed || 10 tries, 9930194 fired transitions, 300 secs || 8924496 markings, 15599725 edges, 29833 markings/sec, 300 secs
lola: STP completed || 11 tries, 10087687 fired transitions, 305 secs || 9077802 markings, 15843978 edges, 30661 markings/sec, 305 secs
lola: STP completed || 11 tries, 10245214 fired transitions, 310 secs || 9231281 markings, 16103503 edges, 30696 markings/sec, 310 secs
lola: STP completed || 11 tries, 10403988 fired transitions, 315 secs || 9385353 markings, 16363846 edges, 30814 markings/sec, 315 secs
lola: STP completed || 11 tries, 10568283 fired transitions, 320 secs || 9641325 markings, 16815617 edges, 51194 markings/sec, 320 secs
lola: STP completed || 11 tries, 10735683 fired transitions, 325 secs || 9906399 markings, 17310561 edges, 53015 markings/sec, 325 secs
lola: STP completed || 11 tries, 10903458 fired transitions, 330 secs || 10166016 markings, 17806873 edges, 51923 markings/sec, 330 secs
lola: STP completed || 12 tries, 11070304 fired transitions, 335 secs || 10429558 markings, 18293215 edges, 52708 markings/sec, 335 secs
lola: STP completed || 12 tries, 11237904 fired transitions, 340 secs || 10695160 markings, 18767141 edges, 53120 markings/sec, 340 secs
lola: STP completed || 12 tries, 11406387 fired transitions, 345 secs || 10974734 markings, 19244131 edges, 55915 markings/sec, 345 secs
lola: STP completed || 12 tries, 11574799 fired transitions, 350 secs || 11255085 markings, 19733740 edges, 56070 markings/sec, 350 secs
lola: STP completed || 12 tries, 11744893 fired transitions, 355 secs || 11528017 markings, 20234494 edges, 54586 markings/sec, 355 secs
lola: STP completed || 12 tries, 11912305 fired transitions, 360 secs || 11739738 markings, 20608385 edges, 42344 markings/sec, 360 secs
lola: STP completed || 13 tries, 12079917 fired transitions, 365 secs || 11896387 markings, 20889927 edges, 31330 markings/sec, 365 secs
lola: STP completed || 13 tries, 12248102 fired transitions, 370 secs || 12057488 markings, 21196402 edges, 32220 markings/sec, 370 secs
lola: STP completed || 13 tries, 12416108 fired transitions, 375 secs || 12216081 markings, 21501284 edges, 31719 markings/sec, 375 secs
lola: STP completed || 13 tries, 12582931 fired transitions, 380 secs || 12371477 markings, 21796638 edges, 31079 markings/sec, 380 secs
lola: STP completed || 13 tries, 12750257 fired transitions, 385 secs || 12528544 markings, 22084995 edges, 31413 markings/sec, 385 secs
lola: STP completed || 13 tries, 12917662 fired transitions, 390 secs || 12688580 markings, 22367914 edges, 32007 markings/sec, 390 secs
lola: STP completed || 14 tries, 13083532 fired transitions, 395 secs || 12846964 markings, 22655433 edges, 31677 markings/sec, 395 secs
lola: STP completed || 14 tries, 13251110 fired transitions, 400 secs || 13004186 markings, 22939834 edges, 31444 markings/sec, 400 secs
lola: STP completed || 14 tries, 13418260 fired transitions, 405 secs || 13175307 markings, 23211535 edges, 34224 markings/sec, 405 secs
lola: STP completed || 14 tries, 13586534 fired transitions, 410 secs || 13337639 markings, 23498702 edges, 32466 markings/sec, 410 secs
lola: STP completed || 14 tries, 13753330 fired transitions, 415 secs || 13501080 markings, 23780623 edges, 32688 markings/sec, 415 secs
lola: STP completed || 14 tries, 13921515 fired transitions, 420 secs || 13662211 markings, 24087400 edges, 32226 markings/sec, 420 secs
lola: STP completed || 15 tries, 14083080 fired transitions, 425 secs || 13819952 markings, 24367985 edges, 31548 markings/sec, 425 secs
lola: STP completed || 15 tries, 14246661 fired transitions, 430 secs || 13974909 markings, 24644722 edges, 30991 markings/sec, 430 secs
lola: STP completed || 15 tries, 14405869 fired transitions, 435 secs || 14136475 markings, 24916334 edges, 32313 markings/sec, 435 secs
lola: STP completed || 15 tries, 14572070 fired transitions, 440 secs || 14299814 markings, 25194023 edges, 32668 markings/sec, 440 secs
lola: STP completed || 15 tries, 14740290 fired transitions, 445 secs || 14465848 markings, 25470404 edges, 33207 markings/sec, 445 secs
lola: STP completed || 15 tries, 14906780 fired transitions, 450 secs || 14618056 markings, 25721809 edges, 30442 markings/sec, 450 secs
lola: STP completed || 16 tries, 15073772 fired transitions, 455 secs || 14778985 markings, 25979825 edges, 32186 markings/sec, 455 secs
lola: STP completed || 16 tries, 15242500 fired transitions, 460 secs || 14951204 markings, 26258591 edges, 34444 markings/sec, 460 secs
lola: STP completed || 16 tries, 15409388 fired transitions, 465 secs || 15144630 markings, 26575394 edges, 38685 markings/sec, 465 secs
lola: STP completed || 16 tries, 15575429 fired transitions, 470 secs || 15290311 markings, 26818136 edges, 29136 markings/sec, 470 secs
lola: STP completed || 16 tries, 15743203 fired transitions, 475 secs || 15464810 markings, 27101740 edges, 34900 markings/sec, 475 secs
lola: STP completed || 16 tries, 15911310 fired transitions, 480 secs || 15673290 markings, 27445176 edges, 41696 markings/sec, 480 secs
lola: STP completed || 17 tries, 16077061 fired transitions, 485 secs || 15839833 markings, 27715108 edges, 33309 markings/sec, 485 secs
lola: STP completed || 17 tries, 16236395 fired transitions, 490 secs || 16000528 markings, 27975750 edges, 32139 markings/sec, 490 secs
lola: STP completed || 17 tries, 16396302 fired transitions, 495 secs || 16205273 markings, 28321514 edges, 40949 markings/sec, 495 secs
lola: STP completed || 17 tries, 16555149 fired transitions, 500 secs || 16389418 markings, 28627923 edges, 36829 markings/sec, 500 secs
lola: STP completed || 17 tries, 16716046 fired transitions, 505 secs || 16607909 markings, 29009400 edges, 43698 markings/sec, 505 secs
lola: STP completed || 17 tries, 16877023 fired transitions, 510 secs || 16836278 markings, 29414165 edges, 45674 markings/sec, 510 secs
lola: STP completed || 18 tries, 17037951 fired transitions, 515 secs || 17061845 markings, 29848399 edges, 45113 markings/sec, 515 secs
lola: STP completed || 18 tries, 17200104 fired transitions, 520 secs || 17284593 markings, 30247071 edges, 44550 markings/sec, 520 secs
lola: STP completed || 18 tries, 17361773 fired transitions, 525 secs || 17520903 markings, 30620934 edges, 47262 markings/sec, 525 secs
lola: STP completed || 18 tries, 17524754 fired transitions, 530 secs || 17751702 markings, 31018248 edges, 46160 markings/sec, 530 secs
lola: STP completed || 18 tries, 17686754 fired transitions, 535 secs || 17980988 markings, 31417049 edges, 45857 markings/sec, 535 secs
lola: STP completed || 18 tries, 17849317 fired transitions, 540 secs || 18211380 markings, 31816984 edges, 46078 markings/sec, 540 secs
lola: STP completed || 19 tries, 18009087 fired transitions, 545 secs || 18449858 markings, 32179803 edges, 47696 markings/sec, 545 secs
lola: STP completed || 19 tries, 18171870 fired transitions, 550 secs || 18677951 markings, 32583084 edges, 45619 markings/sec, 550 secs
lola: STP completed || 19 tries, 18337433 fired transitions, 555 secs || 18909950 markings, 33028994 edges, 46400 markings/sec, 555 secs
lola: STP completed || 19 tries, 18498417 fired transitions, 560 secs || 19145338 markings, 33441691 edges, 47078 markings/sec, 560 secs
lola: STP completed || 19 tries, 18661489 fired transitions, 565 secs || 19379291 markings, 33832857 edges, 46791 markings/sec, 565 secs
lola: STP completed || 19 tries, 18824796 fired transitions, 570 secs || 19613692 markings, 34253383 edges, 46880 markings/sec, 570 secs
lola: STP completed || 19 tries, 18985994 fired transitions, 575 secs || 19851573 markings, 34642746 edges, 47576 markings/sec, 575 secs
lola: STP completed || 20 tries, 19146498 fired transitions, 580 secs || 20100650 markings, 35045123 edges, 49815 markings/sec, 580 secs
lola: STP completed || 20 tries, 19311483 fired transitions, 585 secs || 20352401 markings, 35507265 edges, 50350 markings/sec, 585 secs
lola: STP completed || 20 tries, 19477983 fired transitions, 590 secs || 20609502 markings, 35989529 edges, 51420 markings/sec, 590 secs
lola: STP completed || 20 tries, 19644701 fired transitions, 595 secs || 20860677 markings, 36467438 edges, 50235 markings/sec, 595 secs
lola: STP completed || 20 tries, 19810160 fired transitions, 600 secs || 21123078 markings, 36940724 edges, 52480 markings/sec, 600 secs
lola: STP completed || 20 tries, 19974835 fired transitions, 605 secs || 21379282 markings, 37402529 edges, 51241 markings/sec, 605 secs
lola: STP completed || 21 tries, 20138223 fired transitions, 610 secs || 21642434 markings, 37851945 edges, 52630 markings/sec, 610 secs
lola: STP completed || 21 tries, 20303488 fired transitions, 615 secs || 21896645 markings, 38312068 edges, 50842 markings/sec, 615 secs
lola: STP completed || 21 tries, 20469657 fired transitions, 620 secs || 22156758 markings, 38766738 edges, 52023 markings/sec, 620 secs
lola: STP completed || 21 tries, 20642297 fired transitions, 625 secs || 22411488 markings, 39217832 edges, 50946 markings/sec, 625 secs
lola: STP completed || 21 tries, 20813962 fired transitions, 630 secs || 22653129 markings, 39654342 edges, 48328 markings/sec, 630 secs
lola: STP completed || 21 tries, 20985915 fired transitions, 635 secs || 22888903 markings, 40093247 edges, 47155 markings/sec, 635 secs
lola: STP completed || 22 tries, 21155839 fired transitions, 640 secs || 23132724 markings, 40511981 edges, 48764 markings/sec, 640 secs
lola: STP completed || 22 tries, 21327697 fired transitions, 645 secs || 23369523 markings, 40925769 edges, 47360 markings/sec, 645 secs
lola: STP completed || 22 tries, 21498033 fired transitions, 650 secs || 23615308 markings, 41320243 edges, 49157 markings/sec, 650 secs
lola: STP completed || 22 tries, 21667637 fired transitions, 655 secs || 23858314 markings, 41719841 edges, 48601 markings/sec, 655 secs
lola: STP completed || 22 tries, 21836744 fired transitions, 660 secs || 24114253 markings, 42090882 edges, 51188 markings/sec, 660 secs
lola: STP completed || 23 tries, 22008741 fired transitions, 665 secs || 24342069 markings, 42479474 edges, 45563 markings/sec, 665 secs
lola: STP completed || 23 tries, 22179074 fired transitions, 670 secs || 24578919 markings, 42882665 edges, 47370 markings/sec, 670 secs
lola: STP completed || 23 tries, 22351830 fired transitions, 675 secs || 24821582 markings, 43337550 edges, 48533 markings/sec, 675 secs
lola: STP completed || 23 tries, 22523708 fired transitions, 680 secs || 25060930 markings, 43767714 edges, 47870 markings/sec, 680 secs
lola: STP completed || 23 tries, 22695659 fired transitions, 685 secs || 25295263 markings, 44202397 edges, 46867 markings/sec, 685 secs
lola: STP completed || 23 tries, 22866655 fired transitions, 690 secs || 25536660 markings, 44620686 edges, 48279 markings/sec, 690 secs
lola: STP completed || 24 tries, 23034127 fired transitions, 695 secs || 25773761 markings, 45024427 edges, 47420 markings/sec, 695 secs
lola: STP completed || 24 tries, 23199471 fired transitions, 700 secs || 26015481 markings, 45398035 edges, 48344 markings/sec, 700 secs
lola: STP completed || 24 tries, 23363692 fired transitions, 705 secs || 26260737 markings, 45769582 edges, 49051 markings/sec, 705 secs
lola: STP completed || 24 tries, 23527143 fired transitions, 710 secs || 26502047 markings, 46136454 edges, 48262 markings/sec, 710 secs
lola: STP completed || 24 tries, 23693081 fired transitions, 715 secs || 26742284 markings, 46524687 edges, 48047 markings/sec, 715 secs
lola: STP completed || 24 tries, 23861494 fired transitions, 720 secs || 26980488 markings, 46961356 edges, 47641 markings/sec, 720 secs
lola: STP completed || 25 tries, 24031019 fired transitions, 725 secs || 27211710 markings, 47397363 edges, 46244 markings/sec, 725 secs
lola: STP completed || 25 tries, 24198506 fired transitions, 730 secs || 27441378 markings, 47824980 edges, 45934 markings/sec, 730 secs
lola: STP completed || 25 tries, 24365175 fired transitions, 735 secs || 27687028 markings, 48214395 edges, 49130 markings/sec, 735 secs
lola: STP completed || 25 tries, 24532646 fired transitions, 740 secs || 27929626 markings, 48621926 edges, 48520 markings/sec, 740 secs
lola: STP completed || 25 tries, 24696995 fired transitions, 745 secs || 28175109 markings, 49011773 edges, 49097 markings/sec, 745 secs
lola: STP completed || 25 tries, 24864284 fired transitions, 750 secs || 28350935 markings, 49328128 edges, 35165 markings/sec, 750 secs
lola: STP completed || 26 tries, 25031371 fired transitions, 755 secs || 28524915 markings, 49648454 edges, 34796 markings/sec, 755 secs
lola: STP completed || 26 tries, 25199587 fired transitions, 760 secs || 28705068 markings, 50001251 edges, 36031 markings/sec, 760 secs
lola: STP completed || 26 tries, 25366543 fired transitions, 765 secs || 28879466 markings, 50317972 edges, 34880 markings/sec, 765 secs
lola: STP completed || 26 tries, 25534220 fired transitions, 770 secs || 29056270 markings, 50636126 edges, 35361 markings/sec, 770 secs
lola: STP completed || 26 tries, 25702667 fired transitions, 775 secs || 29230707 markings, 50979276 edges, 34887 markings/sec, 775 secs
lola: STP completed || 26 tries, 25869011 fired transitions, 780 secs || 29404031 markings, 51299208 edges, 34665 markings/sec, 780 secs
lola: STP completed || 27 tries, 26035632 fired transitions, 785 secs || 29594580 markings, 51625882 edges, 38110 markings/sec, 785 secs
lola: STP completed || 27 tries, 26200149 fired transitions, 790 secs || 29771732 markings, 51936581 edges, 35430 markings/sec, 790 secs
lola: STP completed || 27 tries, 26364908 fired transitions, 795 secs || 29960490 markings, 52269065 edges, 37752 markings/sec, 795 secs
lola: STP completed || 27 tries, 26526617 fired transitions, 800 secs || 30153458 markings, 52580572 edges, 38594 markings/sec, 800 secs
lola: STP completed || 27 tries, 26683768 fired transitions, 805 secs || 30316587 markings, 52858873 edges, 32626 markings/sec, 805 secs
lola: STP completed || 27 tries, 26841937 fired transitions, 810 secs || 30462424 markings, 53120961 edges, 29167 markings/sec, 810 secs
lola: STP completed || 27 tries, 26999825 fired transitions, 815 secs || 30607371 markings, 53388102 edges, 28989 markings/sec, 815 secs
lola: STP completed || 28 tries, 27155930 fired transitions, 820 secs || 30749452 markings, 53638662 edges, 28416 markings/sec, 820 secs
lola: STP completed || 28 tries, 27313122 fired transitions, 825 secs || 30892123 markings, 53886997 edges, 28534 markings/sec, 825 secs
lola: STP completed || 28 tries, 27471117 fired transitions, 830 secs || 31032595 markings, 54118279 edges, 28094 markings/sec, 830 secs
lola: STP completed || 28 tries, 27627533 fired transitions, 835 secs || 31176810 markings, 54374186 edges, 28843 markings/sec, 835 secs
lola: STP completed || 28 tries, 27782793 fired transitions, 840 secs || 31327215 markings, 54619333 edges, 30081 markings/sec, 840 secs
lola: STP completed || 28 tries, 27940858 fired transitions, 845 secs || 31470243 markings, 54884974 edges, 28606 markings/sec, 845 secs
lola: STP completed || 29 tries, 28099448 fired transitions, 850 secs || 31626874 markings, 55126091 edges, 31326 markings/sec, 850 secs
lola: STP completed || 29 tries, 28257771 fired transitions, 855 secs || 31785456 markings, 55363469 edges, 31716 markings/sec, 855 secs
lola: STP completed || 29 tries, 28416712 fired transitions, 860 secs || 31940741 markings, 55605535 edges, 31057 markings/sec, 860 secs
lola: STP completed || 29 tries, 28577209 fired transitions, 865 secs || 32126763 markings, 55891223 edges, 37204 markings/sec, 865 secs
lola: STP completed || 29 tries, 28740344 fired transitions, 870 secs || 32343028 markings, 56277827 edges, 43253 markings/sec, 870 secs
lola: STP completed || 29 tries, 28900749 fired transitions, 875 secs || 32554566 markings, 56649223 edges, 42308 markings/sec, 875 secs
lola: STP completed || 30 tries, 29065276 fired transitions, 880 secs || 32761951 markings, 57021876 edges, 41477 markings/sec, 880 secs
lola: STP completed || 30 tries, 29227077 fired transitions, 885 secs || 32972909 markings, 57394080 edges, 42192 markings/sec, 885 secs
lola: STP completed || 30 tries, 29389243 fired transitions, 890 secs || 33145732 markings, 57703617 edges, 34565 markings/sec, 890 secs
lola: STP completed || 30 tries, 29552488 fired transitions, 895 secs || 33323891 markings, 58037859 edges, 35632 markings/sec, 895 secs
lola: STP completed || 30 tries, 29715194 fired transitions, 900 secs || 33498821 markings, 58383298 edges, 34986 markings/sec, 900 secs
lola: STP completed || 30 tries, 29877462 fired transitions, 905 secs || 33671370 markings, 58707610 edges, 34510 markings/sec, 905 secs
lola: STP completed || 31 tries, 30039622 fired transitions, 910 secs || 33844287 markings, 59032602 edges, 34583 markings/sec, 910 secs
lola: STP completed || 31 tries, 30200785 fired transitions, 915 secs || 34041752 markings, 59351329 edges, 39493 markings/sec, 915 secs
lola: STP completed || 31 tries, 30362148 fired transitions, 920 secs || 34218320 markings, 59659004 edges, 35314 markings/sec, 920 secs
lola: STP completed || 31 tries, 30524833 fired transitions, 925 secs || 34398520 markings, 59990294 edges, 36040 markings/sec, 925 secs
lola: STP completed || 31 tries, 30686865 fired transitions, 930 secs || 34575142 markings, 60304607 edges, 35324 markings/sec, 930 secs
lola: STP completed || 31 tries, 30849908 fired transitions, 935 secs || 34764347 markings, 60626848 edges, 37841 markings/sec, 935 secs
lola: STP completed || 32 tries, 31011699 fired transitions, 940 secs || 34947034 markings, 60947023 edges, 36537 markings/sec, 940 secs
lola: STP completed || 32 tries, 31173410 fired transitions, 945 secs || 35131579 markings, 61261532 edges, 36909 markings/sec, 945 secs
lola: STP completed || 32 tries, 31333624 fired transitions, 950 secs || 35288123 markings, 61537234 edges, 31309 markings/sec, 950 secs
lola: STP completed || 32 tries, 31494825 fired transitions, 955 secs || 35434268 markings, 61795776 edges, 29229 markings/sec, 955 secs
lola: STP completed || 32 tries, 31656713 fired transitions, 960 secs || 35578749 markings, 62069955 edges, 28896 markings/sec, 960 secs
lola: STP completed || 32 tries, 31817921 fired transitions, 965 secs || 35720036 markings, 62337311 edges, 28257 markings/sec, 965 secs
lola: STP completed || 32 tries, 31978976 fired transitions, 970 secs || 35861174 markings, 62588690 edges, 28228 markings/sec, 970 secs
lola: STP completed || 33 tries, 32137801 fired transitions, 975 secs || 36015019 markings, 62851151 edges, 30769 markings/sec, 975 secs
lola: STP completed || 33 tries, 32297255 fired transitions, 980 secs || 36161213 markings, 63101967 edges, 29239 markings/sec, 980 secs
lola: STP completed || 33 tries, 32457207 fired transitions, 985 secs || 36310957 markings, 63353087 edges, 29949 markings/sec, 985 secs
lola: STP completed || 33 tries, 32616646 fired transitions, 990 secs || 36465323 markings, 63603922 edges, 30873 markings/sec, 990 secs
lola: STP completed || 33 tries, 32775749 fired transitions, 995 secs || 36620720 markings, 63839463 edges, 31079 markings/sec, 995 secs
lola: STP completed || 33 tries, 32936076 fired transitions, 1000 secs || 36767822 markings, 64102817 edges, 29420 markings/sec, 1000 secs
lola: STP completed || 34 tries, 33093895 fired transitions, 1005 secs || 36928250 markings, 64335781 edges, 32086 markings/sec, 1005 secs
lola: STP completed || 34 tries, 33253687 fired transitions, 1010 secs || 37109400 markings, 64609603 edges, 36230 markings/sec, 1010 secs
lola: STP completed || 34 tries, 33419019 fired transitions, 1015 secs || 37340150 markings, 65036688 edges, 46150 markings/sec, 1015 secs
lola: STP completed || 34 tries, 33583572 fired transitions, 1020 secs || 37566668 markings, 65455738 edges, 45304 markings/sec, 1020 secs
lola: STP completed || 34 tries, 33746859 fired transitions, 1025 secs || 37792464 markings, 65855831 edges, 45159 markings/sec, 1025 secs
lola: STP completed || 34 tries, 33910377 fired transitions, 1030 secs || 38014197 markings, 66251949 edges, 44347 markings/sec, 1030 secs
lola: STP completed || 35 tries, 34073079 fired transitions, 1035 secs || 38241351 markings, 66662107 edges, 45431 markings/sec, 1035 secs
lola: STP completed || 35 tries, 34233529 fired transitions, 1040 secs || 38476252 markings, 67043535 edges, 46980 markings/sec, 1040 secs
lola: STP completed || 35 tries, 34391526 fired transitions, 1045 secs || 38713198 markings, 67388612 edges, 47389 markings/sec, 1045 secs
lola: STP completed || 35 tries, 34550337 fired transitions, 1050 secs || 38953779 markings, 67746785 edges, 48116 markings/sec, 1050 secs
lola: STP completed || 35 tries, 34717156 fired transitions, 1055 secs || 39208648 markings, 68204173 edges, 50974 markings/sec, 1055 secs
lola: STP completed || 35 tries, 34883177 fired transitions, 1060 secs || 39477581 markings, 68700695 edges, 53787 markings/sec, 1060 secs
lola: STP completed || 36 tries, 35051898 fired transitions, 1065 secs || 39740502 markings, 69207454 edges, 52584 markings/sec, 1065 secs
lola: STP completed || 36 tries, 35220329 fired transitions, 1070 secs || 40004033 markings, 69695844 edges, 52706 markings/sec, 1070 secs
lola: STP completed || 36 tries, 35387586 fired transitions, 1075 secs || 40277989 markings, 70178124 edges, 54791 markings/sec, 1075 secs
lola: STP completed || 36 tries, 35554578 fired transitions, 1080 secs || 40545371 markings, 70646640 edges, 53476 markings/sec, 1080 secs
lola: STP completed || 36 tries, 35721380 fired transitions, 1085 secs || 40816776 markings, 71118207 edges, 54281 markings/sec, 1085 secs
lola: STP completed || 36 tries, 35887740 fired transitions, 1090 secs || 41097423 markings, 71584852 edges, 56129 markings/sec, 1090 secs
lola: STP completed || 37 tries, 36053985 fired transitions, 1095 secs || 41373179 markings, 72058953 edges, 55151 markings/sec, 1095 secs
lola: STP completed || 37 tries, 36217994 fired transitions, 1100 secs || 41643997 markings, 72498605 edges, 54164 markings/sec, 1100 secs
lola: STP completed || 37 tries, 36386297 fired transitions, 1105 secs || 41883761 markings, 72954274 edges, 47953 markings/sec, 1105 secs
lola: STP completed || 37 tries, 36552360 fired transitions, 1110 secs || 42118605 markings, 73371324 edges, 46969 markings/sec, 1110 secs
lola: STP completed || 37 tries, 36718870 fired transitions, 1115 secs || 42354353 markings, 73794459 edges, 47150 markings/sec, 1115 secs
lola: STP completed || 37 tries, 36883831 fired transitions, 1120 secs || 42590981 markings, 74212539 edges, 47326 markings/sec, 1120 secs
lola: STP completed || 38 tries, 37049853 fired transitions, 1125 secs || 42828782 markings, 74636925 edges, 47560 markings/sec, 1125 secs
lola: STP completed || 38 tries, 37213249 fired transitions, 1130 secs || 43076241 markings, 75021150 edges, 49492 markings/sec, 1130 secs
lola: STP completed || 38 tries, 37374101 fired transitions, 1135 secs || 43330952 markings, 75387672 edges, 50942 markings/sec, 1135 secs
lola: STP completed || 38 tries, 37538085 fired transitions, 1140 secs || 43558110 markings, 75761811 edges, 45432 markings/sec, 1140 secs
lola: STP completed || 38 tries, 37702273 fired transitions, 1145 secs || 43732663 markings, 76079618 edges, 34911 markings/sec, 1145 secs
lola: STP completed || 38 tries, 37867847 fired transitions, 1150 secs || 43912326 markings, 76418877 edges, 35933 markings/sec, 1150 secs
lola: STP completed || 39 tries, 38033303 fired transitions, 1155 secs || 44090877 markings, 76762339 edges, 35710 markings/sec, 1155 secs
lola: STP completed || 39 tries, 38199857 fired transitions, 1160 secs || 44268326 markings, 77084417 edges, 35490 markings/sec, 1160 secs
lola: STP completed || 39 tries, 38367494 fired transitions, 1165 secs || 44447760 markings, 77435678 edges, 35887 markings/sec, 1165 secs
lola: STP completed || 39 tries, 38534591 fired transitions, 1170 secs || 44629821 markings, 77766626 edges, 36412 markings/sec, 1170 secs
lola: STP completed || 39 tries, 38701099 fired transitions, 1175 secs || 44805242 markings, 78101370 edges, 35084 markings/sec, 1175 secs
lola: STP completed || 39 tries, 38866656 fired transitions, 1180 secs || 44994165 markings, 78424088 edges, 37785 markings/sec, 1180 secs
lola: STP completed || 40 tries, 39031611 fired transitions, 1185 secs || 45185513 markings, 78742181 edges, 38270 markings/sec, 1185 secs
lola: STP completed || 40 tries, 39197159 fired transitions, 1190 secs || 45359816 markings, 79060213 edges, 34861 markings/sec, 1190 secs
lola: STP completed || 40 tries, 39363748 fired transitions, 1195 secs || 45551343 markings, 79384653 edges, 38305 markings/sec, 1195 secs
lola: STP completed || 40 tries, 39531738 fired transitions, 1200 secs || 45791009 markings, 79821062 edges, 47933 markings/sec, 1200 secs
lola: STP completed || 40 tries, 39702385 fired transitions, 1205 secs || 46049080 markings, 80323235 edges, 51614 markings/sec, 1205 secs
lola: STP completed || 40 tries, 39870795 fired transitions, 1210 secs || 46305295 markings, 80808777 edges, 51243 markings/sec, 1210 secs
lola: STP completed || 41 tries, 40038683 fired transitions, 1215 secs || 46568137 markings, 81257235 edges, 52568 markings/sec, 1215 secs
lola: STP completed || 41 tries, 40207714 fired transitions, 1220 secs || 46820897 markings, 81736579 edges, 50552 markings/sec, 1220 secs
lola: STP completed || 41 tries, 40374582 fired transitions, 1225 secs || 47085244 markings, 82196110 edges, 52869 markings/sec, 1225 secs
lola: STP completed || 41 tries, 40541876 fired transitions, 1230 secs || 47349195 markings, 82650488 edges, 52790 markings/sec, 1230 secs
lola: STP completed || 41 tries, 40708117 fired transitions, 1235 secs || 47616291 markings, 83110396 edges, 53419 markings/sec, 1235 secs
lola: STP completed || 41 tries, 40876494 fired transitions, 1240 secs || 47879045 markings, 83586091 edges, 52551 markings/sec, 1240 secs
lola: STP completed || 42 tries, 41046393 fired transitions, 1245 secs || 48143355 markings, 84080386 edges, 52862 markings/sec, 1245 secs
lola: STP completed || 42 tries, 41216526 fired transitions, 1250 secs || 48402487 markings, 84573270 edges, 51826 markings/sec, 1250 secs
lola: STP completed || 42 tries, 41385933 fired transitions, 1255 secs || 48671954 markings, 85058999 edges, 53893 markings/sec, 1255 secs
lola: STP completed || 42 tries, 41554758 fired transitions, 1260 secs || 48935645 markings, 85533414 edges, 52738 markings/sec, 1260 secs
lola: STP completed || 42 tries, 41723009 fired transitions, 1265 secs || 49205735 markings, 85994745 edges, 54018 markings/sec, 1265 secs
lola: STP completed || 42 tries, 41892799 fired transitions, 1270 secs || 49465819 markings, 86467282 edges, 52017 markings/sec, 1270 secs
lola: STP completed || 43 tries, 42059429 fired transitions, 1275 secs || 49732621 markings, 86934541 edges, 53360 markings/sec, 1275 secs
lola: STP completed || 43 tries, 42224355 fired transitions, 1280 secs || 49946031 markings, 87297109 edges, 42682 markings/sec, 1280 secs
lola: STP completed || 43 tries, 42390994 fired transitions, 1285 secs || 50214121 markings, 87779274 edges, 53618 markings/sec, 1285 secs
lola: STP completed || 43 tries, 42553207 fired transitions, 1290 secs || 50427376 markings, 88178090 edges, 42651 markings/sec, 1290 secs
lola: STP completed || 43 tries, 42715819 fired transitions, 1295 secs || 50638107 markings, 88554245 edges, 42146 markings/sec, 1295 secs
lola: STP completed || 43 tries, 42876613 fired transitions, 1300 secs || 50847735 markings, 88907842 edges, 41926 markings/sec, 1300 secs
lola: STP completed || 44 tries, 43037910 fired transitions, 1305 secs || 51063266 markings, 89270080 edges, 43106 markings/sec, 1305 secs
lola: STP completed || 44 tries, 43199990 fired transitions, 1310 secs || 51274380 markings, 89652373 edges, 42223 markings/sec, 1310 secs
lola: STP completed || 44 tries, 43363174 fired transitions, 1315 secs || 51487450 markings, 90043351 edges, 42614 markings/sec, 1315 secs
lola: STP completed || 44 tries, 43524458 fired transitions, 1320 secs || 51702880 markings, 90397327 edges, 43086 markings/sec, 1320 secs
lola: STP completed || 44 tries, 43684532 fired transitions, 1325 secs || 51871940 markings, 90708227 edges, 33812 markings/sec, 1325 secs
lola: STP completed || 44 tries, 43845671 fired transitions, 1330 secs || 52044949 markings, 91041480 edges, 34602 markings/sec, 1330 secs
lola: STP completed || 45 tries, 44007070 fired transitions, 1335 secs || 52215695 markings, 91372888 edges, 34149 markings/sec, 1335 secs
lola: STP completed || 45 tries, 44168139 fired transitions, 1340 secs || 52389958 markings, 91690701 edges, 34853 markings/sec, 1340 secs
lola: STP completed || 45 tries, 44328586 fired transitions, 1345 secs || 52563222 markings, 91988182 edges, 34653 markings/sec, 1345 secs
lola: STP completed || 45 tries, 44489756 fired transitions, 1350 secs || 52731520 markings, 92287218 edges, 33660 markings/sec, 1350 secs
lola: STP completed || 45 tries, 44650870 fired transitions, 1355 secs || 52898826 markings, 92611980 edges, 33461 markings/sec, 1355 secs
lola: STP completed || 45 tries, 44810733 fired transitions, 1360 secs || 53079433 markings, 92926342 edges, 36121 markings/sec, 1360 secs
lola: STP completed || 45 tries, 44971580 fired transitions, 1365 secs || 53250987 markings, 93228193 edges, 34311 markings/sec, 1365 secs
lola: STP completed || 46 tries, 45131435 fired transitions, 1370 secs || 53434512 markings, 93540752 edges, 36705 markings/sec, 1370 secs
lola: STP completed || 46 tries, 45291316 fired transitions, 1375 secs || 53615800 markings, 93857120 edges, 36258 markings/sec, 1375 secs
lola: STP completed || 46 tries, 45450453 fired transitions, 1380 secs || 53770913 markings, 94105674 edges, 31023 markings/sec, 1380 secs
lola: STP completed || 46 tries, 45612365 fired transitions, 1385 secs || 53910784 markings, 94363341 edges, 27974 markings/sec, 1385 secs
lola: STP completed || 46 tries, 45773526 fired transitions, 1390 secs || 54060683 markings, 94640189 edges, 29980 markings/sec, 1390 secs
lola: STP completed || 46 tries, 45938205 fired transitions, 1395 secs || 54203990 markings, 94908890 edges, 28661 markings/sec, 1395 secs
lola: STP completed || 47 tries, 46097517 fired transitions, 1400 secs || 54346621 markings, 95170823 edges, 28526 markings/sec, 1400 secs
lola: STP completed || 47 tries, 46258690 fired transitions, 1405 secs || 54502395 markings, 95423503 edges, 31155 markings/sec, 1405 secs
lola: STP completed || 47 tries, 46419534 fired transitions, 1410 secs || 54646468 markings, 95683093 edges, 28815 markings/sec, 1410 secs
lola: STP completed || 47 tries, 46579663 fired transitions, 1415 secs || 54798250 markings, 95928372 edges, 30356 markings/sec, 1415 secs
lola: STP completed || 47 tries, 46739773 fired transitions, 1420 secs || 54943235 markings, 96173995 edges, 28997 markings/sec, 1420 secs
lola: STP completed || 47 tries, 46902007 fired transitions, 1425 secs || 55088273 markings, 96437568 edges, 29008 markings/sec, 1425 secs
lola: STP completed || 48 tries, 47061542 fired transitions, 1430 secs || 55243222 markings, 96676688 edges, 30990 markings/sec, 1430 secs
lola: STP completed || 48 tries, 47224314 fired transitions, 1435 secs || 55446059 markings, 97030767 edges, 40567 markings/sec, 1435 secs
lola: STP completed || 48 tries, 47387112 fired transitions, 1440 secs || 55675732 markings, 97443458 edges, 45935 markings/sec, 1440 secs
lola: STP completed || 48 tries, 47551224 fired transitions, 1445 secs || 55898066 markings, 97864604 edges, 44467 markings/sec, 1445 secs
lola: STP completed || 48 tries, 47713821 fired transitions, 1450 secs || 56126342 markings, 98261994 edges, 45655 markings/sec, 1450 secs
lola: STP completed || 48 tries, 47876188 fired transitions, 1455 secs || 56352869 markings, 98643152 edges, 45305 markings/sec, 1455 secs
lola: STP completed || 49 tries, 48037181 fired transitions, 1460 secs || 56585053 markings, 99026751 edges, 46437 markings/sec, 1460 secs
lola: STP completed || 49 tries, 48198536 fired transitions, 1465 secs || 56818890 markings, 99384447 edges, 46767 markings/sec, 1465 secs
lola: STP completed || 49 tries, 48360165 fired transitions, 1470 secs || 57048701 markings, 99759603 edges, 45962 markings/sec, 1470 secs
lola: STP completed || 49 tries, 48522217 fired transitions, 1475 secs || 57290631 markings, 100141596 edges, 48386 markings/sec, 1475 secs
lola: STP completed || 49 tries, 48687619 fired transitions, 1480 secs || 57525649 markings, 100592878 edges, 47004 markings/sec, 1480 secs
lola: STP completed || 49 tries, 48851900 fired transitions, 1485 secs || 57760577 markings, 101000472 edges, 46986 markings/sec, 1485 secs
lola: STP completed || 50 tries, 49017229 fired transitions, 1490 secs || 57993712 markings, 101424296 edges, 46627 markings/sec, 1490 secs
lola: STP completed || 50 tries, 49181133 fired transitions, 1495 secs || 58228305 markings, 101837018 edges, 46919 markings/sec, 1495 secs
lola: STP completed || 50 tries, 49345192 fired transitions, 1500 secs || 58464034 markings, 102254883 edges, 47146 markings/sec, 1500 secs
lola: STP completed || 50 tries, 49506780 fired transitions, 1505 secs || 58709240 markings, 102632106 edges, 49041 markings/sec, 1505 secs
lola: STP completed || 50 tries, 49664834 fired transitions, 1510 secs || 58960300 markings, 102994020 edges, 50212 markings/sec, 1510 secs
lola: STP completed || 50 tries, 49828981 fired transitions, 1515 secs || 59215801 markings, 103419186 edges, 51100 markings/sec, 1515 secs
lola: STP completed || 50 tries, 49996952 fired transitions, 1520 secs || 59473425 markings, 103895953 edges, 51525 markings/sec, 1520 secs
lola: STP completed || 51 tries, 50163441 fired transitions, 1525 secs || 59732228 markings, 104391679 edges, 51761 markings/sec, 1525 secs
lola: STP completed || 51 tries, 50330845 fired transitions, 1530 secs || 59987121 markings, 104876534 edges, 50979 markings/sec, 1530 secs
lola: STP completed || 51 tries, 50494126 fired transitions, 1535 secs || 60242852 markings, 105348086 edges, 51146 markings/sec, 1535 secs
lola: STP completed || 51 tries, 50658319 fired transitions, 1540 secs || 60495125 markings, 105811399 edges, 50455 markings/sec, 1540 secs
lola: STP completed || 51 tries, 50818918 fired transitions, 1545 secs || 60762321 markings, 106258462 edges, 53439 markings/sec, 1545 secs
lola: STP completed || 51 tries, 50981849 fired transitions, 1550 secs || 61012238 markings, 106714228 edges, 49983 markings/sec, 1550 secs
lola: STP completed || 52 tries, 51143074 fired transitions, 1555 secs || 61251773 markings, 107120382 edges, 47907 markings/sec, 1555 secs
lola: STP completed || 52 tries, 51302520 fired transitions, 1560 secs || 61425747 markings, 107431685 edges, 34795 markings/sec, 1560 secs
lola: STP completed || 52 tries, 51463762 fired transitions, 1565 secs || 61603195 markings, 107742558 edges, 35490 markings/sec, 1565 secs
lola: STP completed || 52 tries, 51616832 fired transitions, 1570 secs || 61768144 markings, 107999513 edges, 32990 markings/sec, 1570 secs
lola: STP completed || 52 tries, 51774917 fired transitions, 1575 secs || 61924299 markings, 108238415 edges, 31231 markings/sec, 1575 secs
lola: STP completed || 52 tries, 51934958 fired transitions, 1580 secs || 62128408 markings, 108580449 edges, 40822 markings/sec, 1580 secs
lola: STP completed || 53 tries, 52095303 fired transitions, 1585 secs || 62301500 markings, 108892698 edges, 34618 markings/sec, 1585 secs
lola: STP completed || 53 tries, 52256807 fired transitions, 1590 secs || 62480290 markings, 109236027 edges, 35758 markings/sec, 1590 secs
lola: STP completed || 53 tries, 52418686 fired transitions, 1595 secs || 62653624 markings, 109562379 edges, 34667 markings/sec, 1595 secs
lola: STP completed || 53 tries, 52578793 fired transitions, 1600 secs || 62824116 markings, 109893019 edges, 34098 markings/sec, 1600 secs
lola: STP completed || 53 tries, 52740311 fired transitions, 1605 secs || 63003200 markings, 110211099 edges, 35817 markings/sec, 1605 secs
lola: STP completed || 53 tries, 52901982 fired transitions, 1610 secs || 63187532 markings, 110541507 edges, 36866 markings/sec, 1610 secs
lola: STP completed || 54 tries, 53062915 fired transitions, 1615 secs || 63374343 markings, 110872539 edges, 37362 markings/sec, 1615 secs
lola: STP completed || 54 tries, 53223630 fired transitions, 1620 secs || 63557602 markings, 111182310 edges, 36652 markings/sec, 1620 secs
lola: STP completed || 54 tries, 53383901 fired transitions, 1625 secs || 63730024 markings, 111504242 edges, 34484 markings/sec, 1625 secs
lola: STP completed || 54 tries, 53548319 fired transitions, 1630 secs || 63910789 markings, 111830813 edges, 36153 markings/sec, 1630 secs
lola: STP completed || 54 tries, 53710903 fired transitions, 1635 secs || 64096850 markings, 112152464 edges, 37212 markings/sec, 1635 secs
lola: STP completed || 54 tries, 53874375 fired transitions, 1640 secs || 64288813 markings, 112475952 edges, 38393 markings/sec, 1640 secs
lola: STP completed || 55 tries, 54038683 fired transitions, 1645 secs || 64474288 markings, 112808953 edges, 37095 markings/sec, 1645 secs
lola: STP completed || 55 tries, 54201783 fired transitions, 1650 secs || 64647977 markings, 113115332 edges, 34738 markings/sec, 1650 secs
lola: STP completed || 55 tries, 54363939 fired transitions, 1655 secs || 64797195 markings, 113377057 edges, 29844 markings/sec, 1655 secs
lola: STP completed || 55 tries, 54526560 fired transitions, 1660 secs || 64949807 markings, 113659678 edges, 30522 markings/sec, 1660 secs
lola: STP completed || 55 tries, 54689578 fired transitions, 1665 secs || 65100364 markings, 113950408 edges, 30111 markings/sec, 1665 secs
lola: STP completed || 55 tries, 54852091 fired transitions, 1670 secs || 65247720 markings, 114206907 edges, 29471 markings/sec, 1670 secs
lola: STP completed || 56 tries, 55014798 fired transitions, 1675 secs || 65404199 markings, 114486018 edges, 31296 markings/sec, 1675 secs
lola: STP completed || 56 tries, 55177048 fired transitions, 1680 secs || 65557452 markings, 114745246 edges, 30651 markings/sec, 1680 secs
lola: STP completed || 56 tries, 55336298 fired transitions, 1685 secs || 65710745 markings, 115003085 edges, 30659 markings/sec, 1685 secs
lola: STP completed || 56 tries, 55493320 fired transitions, 1690 secs || 65863798 markings, 115252031 edges, 30611 markings/sec, 1690 secs
lola: STP completed || 56 tries, 55648640 fired transitions, 1695 secs || 66018998 markings, 115487289 edges, 31040 markings/sec, 1695 secs
lola: STP completed || 56 tries, 55805655 fired transitions, 1700 secs || 66166802 markings, 115749790 edges, 29561 markings/sec, 1700 secs
lola: STP completed || 56 tries, 55960851 fired transitions, 1705 secs || 66327243 markings, 115984607 edges, 32088 markings/sec, 1705 secs
lola: STP completed || 57 tries, 56118122 fired transitions, 1710 secs || 66506288 markings, 116254580 edges, 35809 markings/sec, 1710 secs
lola: STP completed || 57 tries, 56280424 fired transitions, 1715 secs || 66734088 markings, 116674101 edges, 45560 markings/sec, 1715 secs
lola: STP completed || 57 tries, 56441736 fired transitions, 1720 secs || 66956748 markings, 117088199 edges, 44532 markings/sec, 1720 secs
lola: STP completed || 57 tries, 56602356 fired transitions, 1725 secs || 67179179 markings, 117483323 edges, 44486 markings/sec, 1725 secs
lola: STP completed || 57 tries, 56763049 fired transitions, 1730 secs || 67402338 markings, 117881499 edges, 44632 markings/sec, 1730 secs
lola: STP completed || 57 tries, 56923429 fired transitions, 1735 secs || 67628213 markings, 118284243 edges, 45175 markings/sec, 1735 secs
lola: STP completed || 58 tries, 57084863 fired transitions, 1740 secs || 67863114 markings, 118666973 edges, 46980 markings/sec, 1740 secs
lola: STP completed || 58 tries, 57243895 fired transitions, 1745 secs || 68103960 markings, 119025654 edges, 48169 markings/sec, 1745 secs
lola: STP completed || 58 tries, 57405305 fired transitions, 1750 secs || 68347040 markings, 119383940 edges, 48616 markings/sec, 1750 secs
lola: STP completed || 58 tries, 57569947 fired transitions, 1755 secs || 68585465 markings, 119799420 edges, 47685 markings/sec, 1755 secs
lola: STP completed || 58 tries, 57736420 fired transitions, 1760 secs || 68822889 markings, 120248519 edges, 47485 markings/sec, 1760 secs
lola: STP completed || 58 tries, 57901932 fired transitions, 1765 secs || 69056202 markings, 120685442 edges, 46663 markings/sec, 1765 secs
lola: STP completed || 59 tries, 58066989 fired transitions, 1770 secs || 69293885 markings, 121101476 edges, 47537 markings/sec, 1770 secs
lola: STP completed || 59 tries, 58229886 fired transitions, 1775 secs || 69533764 markings, 121512474 edges, 47976 markings/sec, 1775 secs
lola: STP completed || 59 tries, 58391476 fired transitions, 1780 secs || 69772193 markings, 121906839 edges, 47686 markings/sec, 1780 secs
lola: STP completed || 59 tries, 58555394 fired transitions, 1785 secs || 70020228 markings, 122321049 edges, 49607 markings/sec, 1785 secs
lola: STP completed || 59 tries, 58720115 fired transitions, 1790 secs || 70259183 markings, 122763227 edges, 47791 markings/sec, 1790 secs
lola: STP completed || 59 tries, 58885596 fired transitions, 1795 secs || 70493227 markings, 123208749 edges, 46809 markings/sec, 1795 secs
lola: STP completed || 60 tries, 59048326 fired transitions, 1800 secs || 70732625 markings, 123599162 edges, 47880 markings/sec, 1800 secs
lola: STP completed || 60 tries, 59214219 fired transitions, 1805 secs || 70967929 markings, 124026291 edges, 47061 markings/sec, 1805 secs
lola: STP completed || 60 tries, 59376168 fired transitions, 1810 secs || 71210574 markings, 124424029 edges, 48529 markings/sec, 1810 secs
lola: STP completed || 60 tries, 59537841 fired transitions, 1815 secs || 71458119 markings, 124819440 edges, 49509 markings/sec, 1815 secs
lola: STP completed || 60 tries, 59703616 fired transitions, 1820 secs || 71712305 markings, 125274360 edges, 50837 markings/sec, 1820 secs
lola: STP completed || 60 tries, 59871480 fired transitions, 1825 secs || 71965991 markings, 125751028 edges, 50737 markings/sec, 1825 secs
lola: STP completed || 61 tries, 60040287 fired transitions, 1830 secs || 72216376 markings, 126222867 edges, 50077 markings/sec, 1830 secs
lola: STP completed || 61 tries, 60207492 fired transitions, 1835 secs || 72471386 markings, 126694479 edges, 51002 markings/sec, 1835 secs
lola: STP completed || 61 tries, 60373705 fired transitions, 1840 secs || 72728418 markings, 127148054 edges, 51406 markings/sec, 1840 secs
lola: STP completed || 61 tries, 60539248 fired transitions, 1845 secs || 72986480 markings, 127602462 edges, 51612 markings/sec, 1845 secs
lola: STP completed || 61 tries, 60705838 fired transitions, 1850 secs || 73240940 markings, 128050219 edges, 50892 markings/sec, 1850 secs
lola: STP completed || 61 tries, 60872726 fired transitions, 1855 secs || 73493612 markings, 128503286 edges, 50534 markings/sec, 1855 secs
lola: STP completed || 62 tries, 61037161 fired transitions, 1860 secs || 73747692 markings, 128940101 edges, 50816 markings/sec, 1860 secs
lola: STP completed || 62 tries, 61200717 fired transitions, 1865 secs || 73972755 markings, 129339312 edges, 45013 markings/sec, 1865 secs
lola: STP completed || 62 tries, 61366480 fired transitions, 1870 secs || 74194312 markings, 129763215 edges, 44311 markings/sec, 1870 secs
lola: STP completed || 62 tries, 61530629 fired transitions, 1875 secs || 74413745 markings, 130165223 edges, 43887 markings/sec, 1875 secs
lola: STP completed || 62 tries, 61693037 fired transitions, 1880 secs || 74643070 markings, 130546285 edges, 45865 markings/sec, 1880 secs
lola: STP completed || 62 tries, 61855523 fired transitions, 1885 secs || 74869328 markings, 130918464 edges, 45252 markings/sec, 1885 secs
lola: STP completed || 63 tries, 62015206 fired transitions, 1890 secs || 75098782 markings, 131283750 edges, 45891 markings/sec, 1890 secs
lola: STP completed || 63 tries, 62174483 fired transitions, 1895 secs || 75318586 markings, 131654894 edges, 43961 markings/sec, 1895 secs
lola: STP completed || 63 tries, 62331428 fired transitions, 1900 secs || 75554801 markings, 131992531 edges, 47243 markings/sec, 1900 secs
lola: STP completed || 63 tries, 62490592 fired transitions, 1905 secs || 75786128 markings, 132380695 edges, 46265 markings/sec, 1905 secs
lola: STP completed || 63 tries, 62647940 fired transitions, 1910 secs || 75950067 markings, 132673428 edges, 32788 markings/sec, 1910 secs
lola: STP completed || 63 tries, 62808421 fired transitions, 1915 secs || 76122018 markings, 133001638 edges, 34390 markings/sec, 1915 secs
lola: STP completed || 63 tries, 62967283 fired transitions, 1920 secs || 76290509 markings, 133308347 edges, 33698 markings/sec, 1920 secs
lola: STP completed || 64 tries, 63128543 fired transitions, 1925 secs || 76460052 markings, 133649951 edges, 33909 markings/sec, 1925 secs
lola: STP completed || 64 tries, 63287628 fired transitions, 1930 secs || 76626527 markings, 133957001 edges, 33295 markings/sec, 1930 secs
lola: STP completed || 64 tries, 63446331 fired transitions, 1935 secs || 76794867 markings, 134259489 edges, 33668 markings/sec, 1935 secs
lola: STP completed || 64 tries, 63605779 fired transitions, 1940 secs || 76967972 markings, 134575047 edges, 34621 markings/sec, 1940 secs
lola: STP completed || 64 tries, 63765409 fired transitions, 1945 secs || 77137830 markings, 134875882 edges, 33972 markings/sec, 1945 secs
lola: STP completed || 64 tries, 63924969 fired transitions, 1950 secs || 77302967 markings, 135186640 edges, 33027 markings/sec, 1950 secs
lola: STP completed || 65 tries, 64084318 fired transitions, 1955 secs || 77487290 markings, 135494145 edges, 36865 markings/sec, 1955 secs
lola: STP completed || 65 tries, 64243704 fired transitions, 1960 secs || 77665880 markings, 135802410 edges, 35718 markings/sec, 1960 secs
lola: STP completed || 65 tries, 64402445 fired transitions, 1965 secs || 77851250 markings, 136112491 edges, 37074 markings/sec, 1965 secs
lola: STP completed || 65 tries, 64559496 fired transitions, 1970 secs || 78015966 markings, 136366693 edges, 32943 markings/sec, 1970 secs
lola: STP completed || 65 tries, 64716655 fired transitions, 1975 secs || 78156846 markings, 136599719 edges, 28176 markings/sec, 1975 secs
lola: STP completed || 65 tries, 64874057 fired transitions, 1980 secs || 78295967 markings, 136839690 edges, 27824 markings/sec, 1980 secs
lola: STP completed || 66 tries, 65034165 fired transitions, 1985 secs || 78440831 markings, 137110925 edges, 28973 markings/sec, 1985 secs
lola: STP completed || 66 tries, 65195166 fired transitions, 1990 secs || 78584926 markings, 137382753 edges, 28819 markings/sec, 1990 secs
lola: STP completed || 66 tries, 65356482 fired transitions, 1995 secs || 78728821 markings, 137642712 edges, 28779 markings/sec, 1995 secs
lola: STP completed || 66 tries, 65517001 fired transitions, 2000 secs || 78871391 markings, 137898711 edges, 28514 markings/sec, 2000 secs
lola: STP completed || 66 tries, 65677190 fired transitions, 2005 secs || 79019578 markings, 138154188 edges, 29637 markings/sec, 2005 secs
lola: STP completed || 66 tries, 65838737 fired transitions, 2010 secs || 79169231 markings, 138403402 edges, 29931 markings/sec, 2010 secs
lola: STP completed || 66 tries, 65998288 fired transitions, 2015 secs || 79323051 markings, 138650033 edges, 30764 markings/sec, 2015 secs
lola: STP completed || 67 tries, 66159843 fired transitions, 2020 secs || 79497039 markings, 138955453 edges, 34798 markings/sec, 2020 secs
lola: STP completed || 67 tries, 66326739 fired transitions, 2025 secs || 79747499 markings, 139388342 edges, 50092 markings/sec, 2025 secs
lola: STP completed || 67 tries, 66489246 fired transitions, 2030 secs || 79901961 markings, 139671526 edges, 30892 markings/sec, 2030 secs
lola: STP completed || 67 tries, 66652559 fired transitions, 2035 secs || 80052388 markings, 139946796 edges, 30085 markings/sec, 2035 secs
lola: STP completed || 67 tries, 66816296 fired transitions, 2040 secs || 80209099 markings, 140242931 edges, 31342 markings/sec, 2040 secs
lola: STP completed || 67 tries, 66980096 fired transitions, 2045 secs || 80361044 markings, 140537571 edges, 30389 markings/sec, 2045 secs
lola: STP completed || 68 tries, 67143204 fired transitions, 2050 secs || 80512598 markings, 140817081 edges, 30311 markings/sec, 2050 secs
lola: STP completed || 68 tries, 67307196 fired transitions, 2055 secs || 80665031 markings, 141104842 edges, 30487 markings/sec, 2055 secs
lola: STP completed || 68 tries, 67471632 fired transitions, 2060 secs || 80829288 markings, 141367314 edges, 32851 markings/sec, 2060 secs
lola: STP completed || 68 tries, 67633942 fired transitions, 2065 secs || 80983100 markings, 141631558 edges, 30762 markings/sec, 2065 secs
lola: STP completed || 68 tries, 67797755 fired transitions, 2070 secs || 81134298 markings, 141910018 edges, 30240 markings/sec, 2070 secs
lola: STP completed || 68 tries, 67962115 fired transitions, 2075 secs || 81292703 markings, 142197093 edges, 31681 markings/sec, 2075 secs
lola: STP completed || 69 tries, 68125572 fired transitions, 2080 secs || 81450600 markings, 142473655 edges, 31579 markings/sec, 2080 secs
lola: STP completed || 69 tries, 68289168 fired transitions, 2085 secs || 81606578 markings, 142744003 edges, 31196 markings/sec, 2085 secs
lola: STP completed || 69 tries, 68452133 fired transitions, 2090 secs || 81770233 markings, 143012352 edges, 32731 markings/sec, 2090 secs
lola: STP completed || 69 tries, 68617118 fired transitions, 2095 secs || 81930207 markings, 143288324 edges, 31995 markings/sec, 2095 secs
lola: STP completed || 69 tries, 68780756 fired transitions, 2100 secs || 82090626 markings, 143557754 edges, 32084 markings/sec, 2100 secs
lola: STP completed || 69 tries, 68942507 fired transitions, 2105 secs || 82231272 markings, 143807079 edges, 28129 markings/sec, 2105 secs
lola: STP completed || 70 tries, 69103806 fired transitions, 2110 secs || 82362877 markings, 144047324 edges, 26321 markings/sec, 2110 secs
lola: STP completed || 70 tries, 69265982 fired transitions, 2115 secs || 82496809 markings, 144297719 edges, 26786 markings/sec, 2115 secs
lola: STP completed || 70 tries, 69425323 fired transitions, 2120 secs || 82633386 markings, 144556898 edges, 27315 markings/sec, 2120 secs
lola: STP completed || 70 tries, 69584855 fired transitions, 2125 secs || 82765924 markings, 144814845 edges, 26508 markings/sec, 2125 secs
lola: STP completed || 70 tries, 69743576 fired transitions, 2130 secs || 82899025 markings, 145056663 edges, 26620 markings/sec, 2130 secs
lola: STP completed || 70 tries, 69904093 fired transitions, 2135 secs || 83030327 markings, 145319621 edges, 26260 markings/sec, 2135 secs
lola: STP completed || 71 tries, 70062688 fired transitions, 2140 secs || 83169071 markings, 145562875 edges, 27749 markings/sec, 2140 secs
lola: STP completed || 71 tries, 70222137 fired transitions, 2145 secs || 83304222 markings, 145817432 edges, 27030 markings/sec, 2145 secs
lola: STP completed || 71 tries, 70382241 fired transitions, 2150 secs || 83436519 markings, 146068713 edges, 26459 markings/sec, 2150 secs
lola: STP completed || 71 tries, 70541406 fired transitions, 2155 secs || 83569872 markings, 146308635 edges, 26671 markings/sec, 2155 secs
lola: STP completed || 71 tries, 70699668 fired transitions, 2160 secs || 83718968 markings, 146547550 edges, 29819 markings/sec, 2160 secs
lola: STP completed || 71 tries, 70856977 fired transitions, 2165 secs || 83855720 markings, 146782112 edges, 27350 markings/sec, 2165 secs
lola: STP completed || 72 tries, 71015873 fired transitions, 2170 secs || 83986063 markings, 147020063 edges, 26069 markings/sec, 2170 secs
lola: STP completed || 72 tries, 71174967 fired transitions, 2175 secs || 84124106 markings, 147260402 edges, 27609 markings/sec, 2175 secs
lola: STP completed || 72 tries, 71335093 fired transitions, 2180 secs || 84260598 markings, 147491772 edges, 27298 markings/sec, 2180 secs
lola: STP completed || 72 tries, 71496157 fired transitions, 2185 secs || 84438837 markings, 147808988 edges, 35648 markings/sec, 2185 secs
lola: STP completed || 72 tries, 71657968 fired transitions, 2190 secs || 84644085 markings, 148168700 edges, 41050 markings/sec, 2190 secs
lola: STP completed || 72 tries, 71815774 fired transitions, 2195 secs || 84764584 markings, 148374924 edges, 24100 markings/sec, 2195 secs
lola: STP completed || 72 tries, 71972530 fired transitions, 2200 secs || 84870493 markings, 148563946 edges, 21182 markings/sec, 2200 secs
lola: STP completed || 73 tries, 72131999 fired transitions, 2205 secs || 84983740 markings, 148772007 edges, 22649 markings/sec, 2205 secs
lola: STP completed || 73 tries, 72291785 fired transitions, 2210 secs || 85097120 markings, 148988141 edges, 22676 markings/sec, 2210 secs
lola: STP completed || 73 tries, 72451290 fired transitions, 2215 secs || 85207646 markings, 149188461 edges, 22105 markings/sec, 2215 secs
lola: STP completed || 73 tries, 72611553 fired transitions, 2220 secs || 85318758 markings, 149398215 edges, 22222 markings/sec, 2220 secs
lola: STP completed || 73 tries, 72772672 fired transitions, 2225 secs || 85433448 markings, 149607297 edges, 22938 markings/sec, 2225 secs
lola: STP completed || 73 tries, 72932909 fired transitions, 2230 secs || 85546172 markings, 149807111 edges, 22545 markings/sec, 2230 secs
lola: STP completed || 74 tries, 73093449 fired transitions, 2235 secs || 85656214 markings, 150013921 edges, 22008 markings/sec, 2235 secs
lola: STP completed || 74 tries, 73253479 fired transitions, 2240 secs || 85767601 markings, 150204323 edges, 22277 markings/sec, 2240 secs
lola: STP completed || 74 tries, 73412893 fired transitions, 2245 secs || 85889452 markings, 150380538 edges, 24370 markings/sec, 2245 secs
lola: STP completed || 74 tries, 73572945 fired transitions, 2250 secs || 85999328 markings, 150562467 edges, 21975 markings/sec, 2250 secs
lola: STP completed || 74 tries, 73733300 fired transitions, 2255 secs || 86107907 markings, 150761094 edges, 21716 markings/sec, 2255 secs
lola: STP completed || 74 tries, 73892037 fired transitions, 2260 secs || 86226204 markings, 150945443 edges, 23659 markings/sec, 2260 secs
lola: STP completed || 75 tries, 74050511 fired transitions, 2265 secs || 86346361 markings, 151120152 edges, 24031 markings/sec, 2265 secs
lola: STP completed || 75 tries, 74209398 fired transitions, 2270 secs || 86468694 markings, 151294831 edges, 24467 markings/sec, 2270 secs
lola: STP completed || 75 tries, 74371531 fired transitions, 2275 secs || 86626062 markings, 151564037 edges, 31474 markings/sec, 2275 secs
lola: STP completed || 75 tries, 74538105 fired transitions, 2280 secs || 86876914 markings, 152021863 edges, 50170 markings/sec, 2280 secs
lola: STP completed || 75 tries, 74706397 fired transitions, 2285 secs || 87129472 markings, 152499798 edges, 50512 markings/sec, 2285 secs
lola: STP completed || 75 tries, 74872886 fired transitions, 2290 secs || 87378345 markings, 152968252 edges, 49775 markings/sec, 2290 secs
lola: STP completed || 76 tries, 75039553 fired transitions, 2295 secs || 87634416 markings, 153421327 edges, 51214 markings/sec, 2295 secs
lola: STP completed || 76 tries, 75205162 fired transitions, 2300 secs || 87890823 markings, 153855562 edges, 51281 markings/sec, 2300 secs
lola: STP completed || 76 tries, 75370891 fired transitions, 2305 secs || 88144530 markings, 154317399 edges, 50741 markings/sec, 2305 secs
lola: STP completed || 76 tries, 75536763 fired transitions, 2310 secs || 88404846 markings, 154770445 edges, 52063 markings/sec, 2310 secs
lola: STP completed || 76 tries, 75701210 fired transitions, 2315 secs || 88663028 markings, 155215466 edges, 51636 markings/sec, 2315 secs
lola: STP completed || 76 tries, 75866725 fired transitions, 2320 secs || 88926670 markings, 155657916 edges, 52728 markings/sec, 2320 secs
lola: STP completed || 77 tries, 76028520 fired transitions, 2325 secs || 89133514 markings, 156020611 edges, 41369 markings/sec, 2325 secs
lola: STP completed || 77 tries, 76187542 fired transitions, 2330 secs || 89277594 markings, 156274331 edges, 28816 markings/sec, 2330 secs
lola: STP completed || 77 tries, 76347862 fired transitions, 2335 secs || 89428166 markings, 156552234 edges, 30114 markings/sec, 2335 secs
lola: STP completed || 77 tries, 76508190 fired transitions, 2340 secs || 89576814 markings, 156834622 edges, 29730 markings/sec, 2340 secs
lola: STP completed || 77 tries, 76667814 fired transitions, 2345 secs || 89721444 markings, 157087024 edges, 28926 markings/sec, 2345 secs
lola: STP completed || 77 tries, 76825968 fired transitions, 2350 secs || 89882683 markings, 157347583 edges, 32248 markings/sec, 2350 secs
lola: STP completed || 77 tries, 76986325 fired transitions, 2355 secs || 90031504 markings, 157588890 edges, 29764 markings/sec, 2355 secs
lola: STP completed || 78 tries, 77145368 fired transitions, 2360 secs || 90185314 markings, 157853026 edges, 30762 markings/sec, 2360 secs
lola: STP completed || 78 tries, 77305126 fired transitions, 2365 secs || 90337448 markings, 158123272 edges, 30427 markings/sec, 2365 secs
lola: STP completed || 78 tries, 77463757 fired transitions, 2370 secs || 90492142 markings, 158375604 edges, 30939 markings/sec, 2370 secs
lola: STP completed || 78 tries, 77618277 fired transitions, 2375 secs || 90653696 markings, 158626836 edges, 32311 markings/sec, 2375 secs
lola: STP completed || 78 tries, 77776589 fired transitions, 2380 secs || 90814078 markings, 158875641 edges, 32076 markings/sec, 2380 secs
lola: STP completed || 78 tries, 77938340 fired transitions, 2385 secs || 90964048 markings, 159147239 edges, 29994 markings/sec, 2385 secs
lola: STP completed || 79 tries, 78099957 fired transitions, 2390 secs || 91135385 markings, 159430881 edges, 34267 markings/sec, 2390 secs
lola: STP completed || 79 tries, 78262783 fired transitions, 2395 secs || 91321502 markings, 159742827 edges, 37223 markings/sec, 2395 secs
lola: STP completed || 79 tries, 78426318 fired transitions, 2400 secs || 91496123 markings, 160051194 edges, 34924 markings/sec, 2400 secs
lola: STP completed || 79 tries, 78590487 fired transitions, 2405 secs || 91674193 markings, 160392887 edges, 35614 markings/sec, 2405 secs
lola: STP completed || 79 tries, 78753399 fired transitions, 2410 secs || 91850872 markings, 160707600 edges, 35336 markings/sec, 2410 secs
lola: STP completed || 79 tries, 78916633 fired transitions, 2415 secs || 92026716 markings, 161021463 edges, 35169 markings/sec, 2415 secs
lola: STP completed || 80 tries, 79080896 fired transitions, 2420 secs || 92203275 markings, 161358382 edges, 35312 markings/sec, 2420 secs
lola: STP completed || 80 tries, 79245161 fired transitions, 2425 secs || 92382895 markings, 161693101 edges, 35924 markings/sec, 2425 secs
lola: STP completed || 80 tries, 79410336 fired transitions, 2430 secs || 92562768 markings, 162024520 edges, 35975 markings/sec, 2430 secs
lola: STP completed || 80 tries, 79573569 fired transitions, 2435 secs || 92741507 markings, 162351123 edges, 35748 markings/sec, 2435 secs
lola: STP completed || 80 tries, 79736560 fired transitions, 2440 secs || 92931037 markings, 162673632 edges, 37906 markings/sec, 2440 secs
lola: STP completed || 80 tries, 79900575 fired transitions, 2445 secs || 93141301 markings, 163043696 edges, 42053 markings/sec, 2445 secs
lola: STP completed || 81 tries, 80064305 fired transitions, 2450 secs || 93374666 markings, 163441411 edges, 46673 markings/sec, 2450 secs
lola: STP completed || 81 tries, 80229139 fired transitions, 2455 secs || 93607352 markings, 163875805 edges, 46537 markings/sec, 2455 secs
lola: STP completed || 81 tries, 80394051 fired transitions, 2460 secs || 93838808 markings, 164303927 edges, 46291 markings/sec, 2460 secs
lola: STP completed || 81 tries, 80558461 fired transitions, 2465 secs || 94070770 markings, 164721775 edges, 46392 markings/sec, 2465 secs
lola: STP completed || 81 tries, 80722624 fired transitions, 2470 secs || 94301724 markings, 165129040 edges, 46191 markings/sec, 2470 secs
lola: STP completed || 81 tries, 80884587 fired transitions, 2475 secs || 94540959 markings, 165503004 edges, 47847 markings/sec, 2475 secs
lola: STP completed || 82 tries, 81045809 fired transitions, 2480 secs || 94773380 markings, 165898555 edges, 46484 markings/sec, 2480 secs
lola: STP completed || 82 tries, 81208614 fired transitions, 2485 secs || 94916057 markings, 166143315 edges, 28535 markings/sec, 2485 secs
lola: STP completed || 82 tries, 81373292 fired transitions, 2490 secs || 95104540 markings, 166475657 edges, 37697 markings/sec, 2490 secs
lola: STP completed || 82 tries, 81535268 fired transitions, 2495 secs || 95257192 markings, 166754208 edges, 30530 markings/sec, 2495 secs
lola: STP completed || 82 tries, 81698661 fired transitions, 2500 secs || 95412238 markings, 167043020 edges, 31009 markings/sec, 2500 secs
lola: STP completed || 82 tries, 81862498 fired transitions, 2505 secs || 95569106 markings, 167347004 edges, 31374 markings/sec, 2505 secs
lola: STP completed || 83 tries, 82025225 fired transitions, 2510 secs || 95722850 markings, 167631991 edges, 30749 markings/sec, 2510 secs
lola: STP completed || 83 tries, 82189256 fired transitions, 2515 secs || 95877130 markings, 167929518 edges, 30856 markings/sec, 2515 secs
lola: STP completed || 83 tries, 82354206 fired transitions, 2520 secs || 96035125 markings, 168220770 edges, 31599 markings/sec, 2520 secs
lola: STP completed || 83 tries, 82518389 fired transitions, 2525 secs || 96190672 markings, 168509526 edges, 31109 markings/sec, 2525 secs
lola: STP completed || 83 tries, 82683631 fired transitions, 2530 secs || 96343957 markings, 168801791 edges, 30657 markings/sec, 2530 secs
lola: STP completed || 83 tries, 82847078 fired transitions, 2535 secs || 96503149 markings, 169077050 edges, 31838 markings/sec, 2535 secs
lola: STP completed || 84 tries, 83009698 fired transitions, 2540 secs || 96668528 markings, 169345751 edges, 33076 markings/sec, 2540 secs
lola: STP completed || 84 tries, 83172788 fired transitions, 2545 secs || 96822329 markings, 169613493 edges, 30760 markings/sec, 2545 secs
lola: STP completed || 84 tries, 83334528 fired transitions, 2550 secs || 96977534 markings, 169896581 edges, 31041 markings/sec, 2550 secs
lola: STP completed || 84 tries, 83498334 fired transitions, 2555 secs || 97133432 markings, 170165094 edges, 31180 markings/sec, 2555 secs
lola: STP completed || 84 tries, 83658890 fired transitions, 2560 secs || 97260814 markings, 170386830 edges, 25476 markings/sec, 2560 secs
lola: STP completed || 84 tries, 83820343 fired transitions, 2565 secs || 97387727 markings, 170617755 edges, 25383 markings/sec, 2565 secs
lola: STP completed || 84 tries, 83981336 fired transitions, 2570 secs || 97518441 markings, 170868402 edges, 26143 markings/sec, 2570 secs
lola: STP completed || 85 tries, 84144501 fired transitions, 2575 secs || 97645555 markings, 171098060 edges, 25423 markings/sec, 2575 secs
lola: STP completed || 85 tries, 84307770 fired transitions, 2580 secs || 97774026 markings, 171347485 edges, 25694 markings/sec, 2580 secs
lola: STP completed || 85 tries, 84467328 fired transitions, 2585 secs || 97903888 markings, 171564923 edges, 25972 markings/sec, 2585 secs
lola: STP completed || 85 tries, 84629318 fired transitions, 2590 secs || 98032057 markings, 171804622 edges, 25634 markings/sec, 2590 secs
lola: STP completed || 85 tries, 84791440 fired transitions, 2595 secs || 98158959 markings, 172030766 edges, 25380 markings/sec, 2595 secs
lola: STP completed || 85 tries, 84952184 fired transitions, 2600 secs || 98292960 markings, 172234968 edges, 26800 markings/sec, 2600 secs
lola: STP completed || 86 tries, 85112407 fired transitions, 2605 secs || 98419816 markings, 172440926 edges, 25371 markings/sec, 2605 secs
lola: STP completed || 86 tries, 85273692 fired transitions, 2610 secs || 98545702 markings, 172665264 edges, 25177 markings/sec, 2610 secs
lola: STP completed || 86 tries, 85434718 fired transitions, 2615 secs || 98677674 markings, 172871472 edges, 26394 markings/sec, 2615 secs
lola: STP completed || 86 tries, 85595354 fired transitions, 2620 secs || 98811692 markings, 173063488 edges, 26804 markings/sec, 2620 secs
lola: STP completed || 86 tries, 85756182 fired transitions, 2625 secs || 98946152 markings, 173262682 edges, 26892 markings/sec, 2625 secs
lola: STP completed || 86 tries, 85921611 fired transitions, 2630 secs || 99117179 markings, 173570093 edges, 34205 markings/sec, 2630 secs
lola: STP completed || 87 tries, 86083015 fired transitions, 2635 secs || 99323621 markings, 173935064 edges, 41288 markings/sec, 2635 secs
lola: STP completed || 87 tries, 86242670 fired transitions, 2640 secs || 99514630 markings, 174275663 edges, 38202 markings/sec, 2640 secs
lola: STP completed || 87 tries, 86404932 fired transitions, 2645 secs || 99704684 markings, 174639865 edges, 38011 markings/sec, 2645 secs
lola: STP completed || 87 tries, 86564644 fired transitions, 2650 secs || 99893931 markings, 174983962 edges, 37849 markings/sec, 2650 secs
lola: STP completed || 87 tries, 86721741 fired transitions, 2655 secs || 100085932 markings, 175273235 edges, 38400 markings/sec, 2655 secs
lola: STP completed || 87 tries, 86881974 fired transitions, 2660 secs || 100274135 markings, 175600693 edges, 37641 markings/sec, 2660 secs
lola: STP completed || 88 tries, 87040151 fired transitions, 2665 secs || 100465997 markings, 175928483 edges, 38372 markings/sec, 2665 secs
lola: STP completed || 88 tries, 87199609 fired transitions, 2670 secs || 100658223 markings, 176234330 edges, 38445 markings/sec, 2670 secs
lola: STP completed || 88 tries, 87357386 fired transitions, 2675 secs || 100851129 markings, 176545433 edges, 38581 markings/sec, 2675 secs
lola: STP completed || 88 tries, 87516905 fired transitions, 2680 secs || 101041901 markings, 176856104 edges, 38154 markings/sec, 2680 secs
lola: STP completed || 88 tries, 87680386 fired transitions, 2685 secs || 101215326 markings, 177177170 edges, 34685 markings/sec, 2685 secs
lola: STP completed || 88 tries, 87845235 fired transitions, 2690 secs || 101386329 markings, 177509698 edges, 34201 markings/sec, 2690 secs
lola: STP completed || 89 tries, 88010156 fired transitions, 2695 secs || 101558758 markings, 177833123 edges, 34486 markings/sec, 2695 secs
lola: STP completed || 89 tries, 88175002 fired transitions, 2700 secs || 101727807 markings, 178151615 edges, 33810 markings/sec, 2700 secs
lola: STP completed || 89 tries, 88337297 fired transitions, 2705 secs || 101914633 markings, 178455685 edges, 37365 markings/sec, 2705 secs
lola: STP completed || 89 tries, 88500174 fired transitions, 2710 secs || 102082919 markings, 178749008 edges, 33657 markings/sec, 2710 secs
lola: STP completed || 89 tries, 88664508 fired transitions, 2715 secs || 102255008 markings, 179054117 edges, 34418 markings/sec, 2715 secs
lola: STP completed || 89 tries, 88828945 fired transitions, 2720 secs || 102432856 markings, 179357082 edges, 35570 markings/sec, 2720 secs
lola: STP completed || 89 tries, 88990149 fired transitions, 2725 secs || 102591654 markings, 179659362 edges, 31760 markings/sec, 2725 secs
lola: STP completed || 90 tries, 89089276 fired transitions, 2730 secs || 102665562 markings, 179803908 edges, 14782 markings/sec, 2730 secs
lola: STP completed || 90 tries, 89119048 fired transitions, 2735 secs || 102679796 markings, 179830895 edges, 2847 markings/sec, 2735 secs
lola: STP completed || 90 tries, 89201630 fired transitions, 2740 secs || 102722592 markings, 179917181 edges, 8559 markings/sec, 2740 secs
Killed
FORMULA Vasy2003-PT-none-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 1496580021173

--------------------
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="S_Vasy2003-PT-none"
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/S_Vasy2003-PT-none.tgz
mv S_Vasy2003-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_Vasy2003-PT-none, 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 r158-ebro-149443464300386"
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 ;