About the Execution of LoLA for DLCround-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6147.300 | 3570646.00 | 7193062.00 | 7997.20 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 736K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 566K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-09a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200090
=====================================================================
--------------------
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-09a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526634412247
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-09a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-09a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCround-PT-09a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2542/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 299
lola: finding significant places
lola: 299 places, 2243 transitions, 115 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1970 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-09a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 32450 variables and 139695 clauses shipped to Minisat
lola: computed 60 generators (25 in search tree, 35 by composition)
lola: representing 1.39346E+09 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 12694 fired transitions, 0 secs || 17955 markings, 936966 edges, 3591 markings/sec, 0 secs
lola: STP completed || 1 tries, 26078 fired transitions, 5 secs || 37747 markings, 1970260 edges, 3958 markings/sec, 5 secs
lola: STP completed || 1 tries, 39492 fired transitions, 10 secs || 57581 markings, 3003905 edges, 3967 markings/sec, 10 secs
lola: STP completed || 1 tries, 52077 fired transitions, 15 secs || 78062 markings, 4032938 edges, 4096 markings/sec, 15 secs
lola: STP completed || 1 tries, 65309 fired transitions, 20 secs || 97670 markings, 5055007 edges, 3922 markings/sec, 20 secs
lola: STP completed || 1 tries, 78573 fired transitions, 25 secs || 117287 markings, 6071916 edges, 3923 markings/sec, 25 secs
lola: STP completed || 1 tries, 91434 fired transitions, 30 secs || 136383 markings, 7055801 edges, 3819 markings/sec, 30 secs
lola: STP completed || 1 tries, 104690 fired transitions, 35 secs || 155973 markings, 8069550 edges, 3918 markings/sec, 35 secs
lola: STP completed || 1 tries, 118029 fired transitions, 40 secs || 174870 markings, 9085499 edges, 3779 markings/sec, 40 secs
lola: STP completed || 1 tries, 131227 fired transitions, 45 secs || 194201 markings, 10091546 edges, 3866 markings/sec, 45 secs
lola: STP completed || 1 tries, 144678 fired transitions, 50 secs || 214254 markings, 11116219 edges, 4011 markings/sec, 50 secs
lola: STP completed || 1 tries, 157956 fired transitions, 55 secs || 234566 markings, 12150454 edges, 4062 markings/sec, 55 secs
lola: STP completed || 1 tries, 171120 fired transitions, 60 secs || 254860 markings, 13165369 edges, 4059 markings/sec, 60 secs
lola: STP completed || 1 tries, 183038 fired transitions, 65 secs || 273242 markings, 14090922 edges, 3676 markings/sec, 65 secs
lola: STP completed || 1 tries, 196286 fired transitions, 70 secs || 292558 markings, 15102618 edges, 3863 markings/sec, 70 secs
lola: STP completed || 1 tries, 209713 fired transitions, 75 secs || 312287 markings, 16130062 edges, 3946 markings/sec, 75 secs
lola: STP completed || 1 tries, 222773 fired transitions, 80 secs || 333293 markings, 17147697 edges, 4201 markings/sec, 80 secs
lola: STP completed || 1 tries, 235841 fired transitions, 85 secs || 354156 markings, 18160952 edges, 4173 markings/sec, 85 secs
lola: STP completed || 1 tries, 249304 fired transitions, 90 secs || 376470 markings, 19212573 edges, 4463 markings/sec, 90 secs
lola: STP completed || 1 tries, 262244 fired transitions, 95 secs || 397820 markings, 20218941 edges, 4270 markings/sec, 95 secs
lola: STP completed || 1 tries, 275759 fired transitions, 100 secs || 420271 markings, 21270808 edges, 4490 markings/sec, 100 secs
lola: STP completed || 1 tries, 288799 fired transitions, 105 secs || 441157 markings, 22284900 edges, 4177 markings/sec, 105 secs
lola: STP completed || 1 tries, 302309 fired transitions, 110 secs || 464139 markings, 23343896 edges, 4596 markings/sec, 110 secs
lola: STP completed || 1 tries, 315667 fired transitions, 115 secs || 486415 markings, 24399948 edges, 4455 markings/sec, 115 secs
lola: STP completed || 1 tries, 329069 fired transitions, 120 secs || 509075 markings, 25450619 edges, 4532 markings/sec, 120 secs
lola: STP completed || 1 tries, 342352 fired transitions, 125 secs || 531623 markings, 26491085 edges, 4510 markings/sec, 125 secs
lola: STP completed || 1 tries, 355924 fired transitions, 130 secs || 555302 markings, 27550968 edges, 4736 markings/sec, 130 secs
lola: STP completed || 1 tries, 369611 fired transitions, 135 secs || 575259 markings, 28598364 edges, 3991 markings/sec, 135 secs
lola: STP completed || 1 tries, 383193 fired transitions, 140 secs || 595093 markings, 29631412 edges, 3967 markings/sec, 140 secs
lola: STP completed || 1 tries, 396666 fired transitions, 145 secs || 614986 markings, 30665806 edges, 3979 markings/sec, 145 secs
lola: STP completed || 1 tries, 408298 fired transitions, 150 secs || 634988 markings, 31697494 edges, 4000 markings/sec, 150 secs
lola: STP completed || 1 tries, 421840 fired transitions, 155 secs || 654477 markings, 32724266 edges, 3898 markings/sec, 155 secs
lola: STP completed || 1 tries, 435369 fired transitions, 160 secs || 674557 markings, 33758686 edges, 4016 markings/sec, 160 secs
lola: STP completed || 1 tries, 448933 fired transitions, 165 secs || 694399 markings, 34792898 edges, 3968 markings/sec, 165 secs
lola: STP completed || 1 tries, 462481 fired transitions, 170 secs || 714800 markings, 35841270 edges, 4080 markings/sec, 170 secs
lola: STP completed || 1 tries, 476169 fired transitions, 175 secs || 734108 markings, 36873127 edges, 3862 markings/sec, 175 secs
lola: STP completed || 1 tries, 489775 fired transitions, 180 secs || 754666 markings, 37917862 edges, 4112 markings/sec, 180 secs
lola: STP completed || 1 tries, 503336 fired transitions, 185 secs || 775355 markings, 38963755 edges, 4138 markings/sec, 185 secs
lola: STP completed || 1 tries, 516887 fired transitions, 190 secs || 797186 markings, 40016468 edges, 4366 markings/sec, 190 secs
lola: STP completed || 1 tries, 530411 fired transitions, 195 secs || 818109 markings, 41066713 edges, 4185 markings/sec, 195 secs
lola: STP completed || 1 tries, 543505 fired transitions, 200 secs || 839335 markings, 42096358 edges, 4245 markings/sec, 200 secs
lola: STP completed || 1 tries, 556709 fired transitions, 205 secs || 860704 markings, 43125088 edges, 4274 markings/sec, 205 secs
lola: STP completed || 1 tries, 570117 fired transitions, 210 secs || 883873 markings, 44188367 edges, 4634 markings/sec, 210 secs
lola: STP completed || 1 tries, 583737 fired transitions, 215 secs || 906370 markings, 45245094 edges, 4499 markings/sec, 215 secs
lola: STP completed || 1 tries, 597307 fired transitions, 220 secs || 928334 markings, 46302116 edges, 4393 markings/sec, 220 secs
lola: STP completed || 1 tries, 610812 fired transitions, 225 secs || 950660 markings, 47358792 edges, 4465 markings/sec, 225 secs
lola: STP completed || 1 tries, 624406 fired transitions, 230 secs || 974111 markings, 48422455 edges, 4690 markings/sec, 230 secs
lola: STP completed || 1 tries, 637939 fired transitions, 235 secs || 996759 markings, 49483916 edges, 4530 markings/sec, 235 secs
lola: STP completed || 1 tries, 651367 fired transitions, 240 secs || 1020133 markings, 50555308 edges, 4675 markings/sec, 240 secs
lola: STP completed || 1 tries, 664901 fired transitions, 245 secs || 1043049 markings, 51617453 edges, 4583 markings/sec, 245 secs
lola: STP completed || 1 tries, 678552 fired transitions, 250 secs || 1066111 markings, 52679962 edges, 4612 markings/sec, 250 secs
lola: STP completed || 1 tries, 692102 fired transitions, 255 secs || 1087131 markings, 53726959 edges, 4204 markings/sec, 255 secs
lola: STP completed || 1 tries, 705566 fired transitions, 260 secs || 1106992 markings, 54771364 edges, 3972 markings/sec, 260 secs
lola: STP completed || 1 tries, 719073 fired transitions, 265 secs || 1126771 markings, 55804278 edges, 3956 markings/sec, 265 secs
lola: STP completed || 1 tries, 732585 fired transitions, 270 secs || 1147866 markings, 56845715 edges, 4219 markings/sec, 270 secs
lola: STP completed || 1 tries, 746165 fired transitions, 275 secs || 1167771 markings, 57882228 edges, 3981 markings/sec, 275 secs
lola: STP completed || 1 tries, 759734 fired transitions, 280 secs || 1186960 markings, 58905942 edges, 3838 markings/sec, 280 secs
lola: STP completed || 1 tries, 773265 fired transitions, 285 secs || 1207793 markings, 59953593 edges, 4167 markings/sec, 285 secs
lola: STP completed || 1 tries, 786768 fired transitions, 290 secs || 1227890 markings, 60990619 edges, 4019 markings/sec, 290 secs
lola: STP completed || 1 tries, 800279 fired transitions, 295 secs || 1247417 markings, 62023399 edges, 3905 markings/sec, 295 secs
lola: STP completed || 1 tries, 813844 fired transitions, 300 secs || 1267572 markings, 63062874 edges, 4031 markings/sec, 300 secs
lola: STP completed || 1 tries, 827358 fired transitions, 305 secs || 1288845 markings, 64115756 edges, 4255 markings/sec, 305 secs
lola: STP completed || 1 tries, 840914 fired transitions, 310 secs || 1309351 markings, 65162815 edges, 4101 markings/sec, 310 secs
lola: STP completed || 1 tries, 854592 fired transitions, 315 secs || 1329843 markings, 66209743 edges, 4098 markings/sec, 315 secs
lola: STP completed || 1 tries, 868056 fired transitions, 320 secs || 1354498 markings, 67269401 edges, 4931 markings/sec, 320 secs
lola: STP completed || 1 tries, 881619 fired transitions, 325 secs || 1377958 markings, 68328678 edges, 4692 markings/sec, 325 secs
lola: STP completed || 1 tries, 895204 fired transitions, 330 secs || 1400056 markings, 69374315 edges, 4420 markings/sec, 330 secs
lola: STP completed || 1 tries, 908653 fired transitions, 335 secs || 1424677 markings, 70442198 edges, 4924 markings/sec, 335 secs
lola: STP completed || 1 tries, 922131 fired transitions, 340 secs || 1448839 markings, 71475876 edges, 4832 markings/sec, 340 secs
lola: STP completed || 1 tries, 935527 fired transitions, 345 secs || 1472537 markings, 72524999 edges, 4740 markings/sec, 345 secs
lola: STP completed || 1 tries, 948979 fired transitions, 350 secs || 1493016 markings, 73543837 edges, 4096 markings/sec, 350 secs
lola: STP completed || 1 tries, 962396 fired transitions, 355 secs || 1514447 markings, 74580125 edges, 4286 markings/sec, 355 secs
lola: STP completed || 1 tries, 975814 fired transitions, 360 secs || 1537137 markings, 75630527 edges, 4538 markings/sec, 360 secs
lola: STP completed || 1 tries, 989286 fired transitions, 365 secs || 1558754 markings, 76677844 edges, 4323 markings/sec, 365 secs
lola: STP completed || 2 tries, 1002742 fired transitions, 370 secs || 1583444 markings, 77722467 edges, 4938 markings/sec, 370 secs
lola: STP completed || 2 tries, 1016218 fired transitions, 375 secs || 1605735 markings, 78753313 edges, 4458 markings/sec, 375 secs
lola: STP completed || 2 tries, 1029633 fired transitions, 380 secs || 1627589 markings, 79780434 edges, 4371 markings/sec, 380 secs
lola: STP completed || 2 tries, 1043016 fired transitions, 385 secs || 1651173 markings, 80818724 edges, 4717 markings/sec, 385 secs
lola: STP completed || 2 tries, 1056598 fired transitions, 390 secs || 1675360 markings, 81883408 edges, 4837 markings/sec, 390 secs
lola: STP completed || 2 tries, 1070137 fired transitions, 395 secs || 1703116 markings, 82957223 edges, 5551 markings/sec, 395 secs
lola: STP completed || 2 tries, 1083712 fired transitions, 400 secs || 1724925 markings, 83997052 edges, 4362 markings/sec, 400 secs
lola: STP completed || 2 tries, 1097334 fired transitions, 405 secs || 1744739 markings, 85027502 edges, 3963 markings/sec, 405 secs
lola: STP completed || 2 tries, 1110975 fired transitions, 410 secs || 1765467 markings, 86068145 edges, 4146 markings/sec, 410 secs
lola: STP completed || 2 tries, 1124509 fired transitions, 415 secs || 1785787 markings, 87109637 edges, 4064 markings/sec, 415 secs
lola: STP completed || 2 tries, 1137974 fired transitions, 420 secs || 1810820 markings, 88173589 edges, 5007 markings/sec, 420 secs
lola: STP completed || 2 tries, 1151461 fired transitions, 425 secs || 1836437 markings, 89250292 edges, 5123 markings/sec, 425 secs
lola: STP completed || 2 tries, 1165047 fired transitions, 430 secs || 1860637 markings, 90306503 edges, 4840 markings/sec, 430 secs
lola: STP completed || 2 tries, 1178574 fired transitions, 435 secs || 1884950 markings, 91376714 edges, 4863 markings/sec, 435 secs
lola: STP completed || 2 tries, 1192211 fired transitions, 440 secs || 1907316 markings, 92413857 edges, 4473 markings/sec, 440 secs
lola: STP completed || 2 tries, 1205791 fired transitions, 445 secs || 1928737 markings, 93460032 edges, 4284 markings/sec, 445 secs
lola: STP completed || 2 tries, 1219314 fired transitions, 450 secs || 1948698 markings, 94491919 edges, 3992 markings/sec, 450 secs
lola: STP completed || 2 tries, 1232833 fired transitions, 455 secs || 1968221 markings, 95513747 edges, 3905 markings/sec, 455 secs
lola: STP completed || 2 tries, 1246418 fired transitions, 460 secs || 1988890 markings, 96540675 edges, 4134 markings/sec, 460 secs
lola: STP completed || 2 tries, 1259979 fired transitions, 465 secs || 2007902 markings, 97559887 edges, 3802 markings/sec, 465 secs
lola: STP completed || 2 tries, 1273473 fired transitions, 470 secs || 2026949 markings, 98579511 edges, 3809 markings/sec, 470 secs
lola: STP completed || 2 tries, 1287121 fired transitions, 475 secs || 2046545 markings, 99603277 edges, 3919 markings/sec, 475 secs
lola: STP completed || 2 tries, 1300743 fired transitions, 480 secs || 2070506 markings, 100660136 edges, 4792 markings/sec, 480 secs
lola: STP completed || 2 tries, 1314317 fired transitions, 485 secs || 2093553 markings, 101705810 edges, 4609 markings/sec, 485 secs
lola: STP completed || 2 tries, 1327846 fired transitions, 490 secs || 2119277 markings, 102774804 edges, 5145 markings/sec, 490 secs
lola: STP completed || 2 tries, 1341192 fired transitions, 495 secs || 2143321 markings, 103825434 edges, 4809 markings/sec, 495 secs
lola: STP completed || 2 tries, 1354593 fired transitions, 500 secs || 2168454 markings, 104876005 edges, 5027 markings/sec, 500 secs
lola: STP completed || 2 tries, 1368157 fired transitions, 505 secs || 2191589 markings, 105913982 edges, 4627 markings/sec, 505 secs
lola: STP completed || 2 tries, 1381747 fired transitions, 510 secs || 2216498 markings, 106964120 edges, 4982 markings/sec, 510 secs
lola: STP completed || 2 tries, 1395346 fired transitions, 515 secs || 2237773 markings, 108009708 edges, 4255 markings/sec, 515 secs
lola: STP completed || 2 tries, 1409002 fired transitions, 520 secs || 2257525 markings, 109039162 edges, 3950 markings/sec, 520 secs
lola: STP completed || 2 tries, 1422624 fired transitions, 525 secs || 2277266 markings, 110067822 edges, 3948 markings/sec, 525 secs
lola: STP completed || 2 tries, 1436216 fired transitions, 530 secs || 2297473 markings, 111089824 edges, 4041 markings/sec, 530 secs
lola: STP completed || 2 tries, 1449781 fired transitions, 535 secs || 2317432 markings, 112115101 edges, 3992 markings/sec, 535 secs
lola: STP completed || 2 tries, 1463221 fired transitions, 540 secs || 2336440 markings, 113111825 edges, 3802 markings/sec, 540 secs
lola: STP completed || 2 tries, 1476589 fired transitions, 545 secs || 2356521 markings, 114127200 edges, 4016 markings/sec, 545 secs
lola: STP completed || 2 tries, 1490042 fired transitions, 550 secs || 2376025 markings, 115137331 edges, 3901 markings/sec, 550 secs
lola: STP completed || 2 tries, 1503511 fired transitions, 555 secs || 2395636 markings, 116146014 edges, 3922 markings/sec, 555 secs
lola: STP completed || 2 tries, 1516910 fired transitions, 560 secs || 2415921 markings, 117164921 edges, 4057 markings/sec, 560 secs
lola: STP completed || 2 tries, 1530355 fired transitions, 565 secs || 2439287 markings, 118213855 edges, 4673 markings/sec, 565 secs
lola: STP completed || 2 tries, 1543842 fired transitions, 570 secs || 2461555 markings, 119244424 edges, 4454 markings/sec, 570 secs
lola: STP completed || 2 tries, 1557330 fired transitions, 575 secs || 2484393 markings, 120279855 edges, 4568 markings/sec, 575 secs
lola: STP completed || 2 tries, 1570768 fired transitions, 580 secs || 2509552 markings, 121320385 edges, 5032 markings/sec, 580 secs
lola: STP completed || 2 tries, 1584202 fired transitions, 585 secs || 2538775 markings, 122378278 edges, 5845 markings/sec, 585 secs
lola: STP completed || 2 tries, 1597629 fired transitions, 590 secs || 2558631 markings, 123392613 edges, 3971 markings/sec, 590 secs
lola: STP completed || 2 tries, 1611112 fired transitions, 595 secs || 2578330 markings, 124409355 edges, 3940 markings/sec, 595 secs
lola: STP completed || 2 tries, 1624531 fired transitions, 600 secs || 2598080 markings, 125429916 edges, 3950 markings/sec, 600 secs
lola: STP completed || 2 tries, 1637978 fired transitions, 605 secs || 2622567 markings, 126469566 edges, 4897 markings/sec, 605 secs
lola: STP completed || 2 tries, 1651412 fired transitions, 610 secs || 2644354 markings, 127495386 edges, 4357 markings/sec, 610 secs
lola: STP completed || 2 tries, 1664838 fired transitions, 615 secs || 2666804 markings, 128525072 edges, 4490 markings/sec, 615 secs
lola: STP completed || 2 tries, 1678244 fired transitions, 620 secs || 2689384 markings, 129557024 edges, 4516 markings/sec, 620 secs
lola: STP completed || 2 tries, 1691666 fired transitions, 625 secs || 2714108 markings, 130597798 edges, 4945 markings/sec, 625 secs
lola: STP completed || 2 tries, 1705133 fired transitions, 630 secs || 2734553 markings, 131606788 edges, 4089 markings/sec, 630 secs
lola: STP completed || 2 tries, 1718538 fired transitions, 635 secs || 2758527 markings, 132641326 edges, 4795 markings/sec, 635 secs
lola: STP completed || 2 tries, 1731964 fired transitions, 640 secs || 2783587 markings, 133690588 edges, 5012 markings/sec, 640 secs
lola: STP completed || 2 tries, 1745362 fired transitions, 645 secs || 2803640 markings, 134701723 edges, 4011 markings/sec, 645 secs
lola: STP completed || 2 tries, 1758738 fired transitions, 650 secs || 2828246 markings, 135747935 edges, 4921 markings/sec, 650 secs
lola: STP completed || 2 tries, 1772159 fired transitions, 655 secs || 2854852 markings, 136803896 edges, 5321 markings/sec, 655 secs
lola: STP completed || 2 tries, 1785604 fired transitions, 660 secs || 2876122 markings, 137819920 edges, 4254 markings/sec, 660 secs
lola: STP completed || 2 tries, 1799072 fired transitions, 665 secs || 2902808 markings, 138873467 edges, 5337 markings/sec, 665 secs
lola: STP completed || 2 tries, 1812442 fired transitions, 670 secs || 2923259 markings, 139886250 edges, 4090 markings/sec, 670 secs
lola: STP completed || 2 tries, 1825869 fired transitions, 675 secs || 2944540 markings, 140903265 edges, 4256 markings/sec, 675 secs
lola: STP completed || 2 tries, 1839293 fired transitions, 680 secs || 2966480 markings, 141925522 edges, 4388 markings/sec, 680 secs
lola: STP completed || 2 tries, 1852723 fired transitions, 685 secs || 2989499 markings, 142957512 edges, 4604 markings/sec, 685 secs
lola: STP completed || 2 tries, 1866146 fired transitions, 690 secs || 3014371 markings, 143999854 edges, 4974 markings/sec, 690 secs
lola: STP completed || 2 tries, 1879629 fired transitions, 695 secs || 3041085 markings, 145052101 edges, 5343 markings/sec, 695 secs
lola: STP completed || 2 tries, 1893021 fired transitions, 700 secs || 3064018 markings, 146086397 edges, 4587 markings/sec, 700 secs
lola: STP completed || 2 tries, 1906464 fired transitions, 705 secs || 3087192 markings, 147116958 edges, 4635 markings/sec, 705 secs
lola: STP completed || 2 tries, 1919980 fired transitions, 710 secs || 3108745 markings, 148133811 edges, 4311 markings/sec, 710 secs
lola: STP completed || 2 tries, 1933559 fired transitions, 715 secs || 3132043 markings, 149166365 edges, 4660 markings/sec, 715 secs
lola: STP completed || 2 tries, 1947181 fired transitions, 720 secs || 3154346 markings, 150195132 edges, 4461 markings/sec, 720 secs
lola: STP completed || 2 tries, 1960577 fired transitions, 725 secs || 3178929 markings, 151227411 edges, 4917 markings/sec, 725 secs
lola: STP completed || 2 tries, 1974073 fired transitions, 730 secs || 3204380 markings, 152270263 edges, 5090 markings/sec, 730 secs
lola: STP completed || 2 tries, 1987706 fired transitions, 735 secs || 3227453 markings, 153299620 edges, 4615 markings/sec, 735 secs
lola: STP completed || 3 tries, 2001275 fired transitions, 740 secs || 3250086 markings, 154332488 edges, 4527 markings/sec, 740 secs
lola: STP completed || 3 tries, 2014822 fired transitions, 745 secs || 3269806 markings, 155350548 edges, 3944 markings/sec, 745 secs
lola: STP completed || 3 tries, 2028417 fired transitions, 750 secs || 3291320 markings, 156375355 edges, 4303 markings/sec, 750 secs
lola: STP completed || 3 tries, 2041965 fired transitions, 755 secs || 3313883 markings, 157402832 edges, 4513 markings/sec, 755 secs
lola: STP completed || 3 tries, 2055428 fired transitions, 760 secs || 3334060 markings, 158420625 edges, 4035 markings/sec, 760 secs
lola: STP completed || 3 tries, 2068877 fired transitions, 765 secs || 3355151 markings, 159446738 edges, 4218 markings/sec, 765 secs
lola: STP completed || 3 tries, 2082434 fired transitions, 770 secs || 3378558 markings, 160483630 edges, 4681 markings/sec, 770 secs
lola: STP completed || 3 tries, 2095939 fired transitions, 775 secs || 3402433 markings, 161522846 edges, 4775 markings/sec, 775 secs
lola: STP completed || 3 tries, 2109497 fired transitions, 780 secs || 3430136 markings, 162579037 edges, 5541 markings/sec, 780 secs
lola: STP completed || 3 tries, 2123035 fired transitions, 785 secs || 3454013 markings, 163615604 edges, 4775 markings/sec, 785 secs
lola: STP completed || 3 tries, 2136570 fired transitions, 790 secs || 3481288 markings, 164678044 edges, 5455 markings/sec, 790 secs
lola: STP completed || 3 tries, 2150080 fired transitions, 795 secs || 3505953 markings, 165718401 edges, 4933 markings/sec, 795 secs
lola: STP completed || 3 tries, 2163732 fired transitions, 800 secs || 3531809 markings, 166778454 edges, 5171 markings/sec, 800 secs
lola: STP completed || 3 tries, 2177390 fired transitions, 805 secs || 3558912 markings, 167834710 edges, 5421 markings/sec, 805 secs
lola: STP completed || 3 tries, 2190983 fired transitions, 810 secs || 3584697 markings, 168881284 edges, 5157 markings/sec, 810 secs
lola: STP completed || 3 tries, 2204444 fired transitions, 815 secs || 3609712 markings, 169927750 edges, 5003 markings/sec, 815 secs
lola: STP completed || 3 tries, 2217992 fired transitions, 820 secs || 3633215 markings, 170965250 edges, 4701 markings/sec, 820 secs
lola: STP completed || 3 tries, 2231521 fired transitions, 825 secs || 3654966 markings, 171987811 edges, 4350 markings/sec, 825 secs
lola: STP completed || 3 tries, 2245029 fired transitions, 830 secs || 3680486 markings, 173042065 edges, 5104 markings/sec, 830 secs
lola: STP completed || 3 tries, 2258611 fired transitions, 835 secs || 3703434 markings, 174074425 edges, 4590 markings/sec, 835 secs
lola: STP completed || 3 tries, 2272170 fired transitions, 840 secs || 3724607 markings, 175093988 edges, 4235 markings/sec, 840 secs
lola: STP completed || 3 tries, 2285689 fired transitions, 845 secs || 3747453 markings, 176126523 edges, 4569 markings/sec, 845 secs
lola: STP completed || 3 tries, 2299278 fired transitions, 850 secs || 3775911 markings, 177206774 edges, 5692 markings/sec, 850 secs
lola: STP completed || 3 tries, 2312669 fired transitions, 855 secs || 3795745 markings, 178223461 edges, 3967 markings/sec, 855 secs
lola: STP completed || 3 tries, 2326265 fired transitions, 860 secs || 3815755 markings, 179264680 edges, 4002 markings/sec, 860 secs
lola: STP completed || 3 tries, 2339790 fired transitions, 865 secs || 3839236 markings, 180320751 edges, 4696 markings/sec, 865 secs
lola: STP completed || 3 tries, 2353162 fired transitions, 870 secs || 3866458 markings, 181371027 edges, 5444 markings/sec, 870 secs
lola: STP completed || 3 tries, 2366611 fired transitions, 875 secs || 3887921 markings, 182405651 edges, 4293 markings/sec, 875 secs
lola: STP completed || 3 tries, 2380216 fired transitions, 880 secs || 3914797 markings, 183485460 edges, 5375 markings/sec, 880 secs
lola: STP completed || 3 tries, 2393831 fired transitions, 885 secs || 3934601 markings, 184498519 edges, 3961 markings/sec, 885 secs
lola: STP completed || 3 tries, 2407450 fired transitions, 890 secs || 3958614 markings, 185547803 edges, 4803 markings/sec, 890 secs
lola: STP completed || 3 tries, 2421062 fired transitions, 895 secs || 3981549 markings, 186601414 edges, 4587 markings/sec, 895 secs
lola: STP completed || 3 tries, 2434588 fired transitions, 900 secs || 4004970 markings, 187645466 edges, 4684 markings/sec, 900 secs
lola: STP completed || 3 tries, 2448173 fired transitions, 905 secs || 4030645 markings, 188706953 edges, 5135 markings/sec, 905 secs
lola: STP completed || 3 tries, 2461853 fired transitions, 910 secs || 4053107 markings, 189755146 edges, 4492 markings/sec, 910 secs
lola: STP completed || 3 tries, 2475391 fired transitions, 915 secs || 4074424 markings, 190800078 edges, 4263 markings/sec, 915 secs
lola: STP completed || 3 tries, 2488959 fired transitions, 920 secs || 4096673 markings, 191850541 edges, 4450 markings/sec, 920 secs
lola: STP completed || 3 tries, 2502555 fired transitions, 925 secs || 4118705 markings, 192899997 edges, 4406 markings/sec, 925 secs
lola: STP completed || 3 tries, 2516141 fired transitions, 930 secs || 4140351 markings, 193948906 edges, 4329 markings/sec, 930 secs
lola: STP completed || 3 tries, 2529668 fired transitions, 935 secs || 4162228 markings, 194996082 edges, 4375 markings/sec, 935 secs
lola: STP completed || 3 tries, 2543141 fired transitions, 940 secs || 4184970 markings, 196041842 edges, 4548 markings/sec, 940 secs
lola: STP completed || 3 tries, 2556716 fired transitions, 945 secs || 4205357 markings, 197080794 edges, 4077 markings/sec, 945 secs
lola: STP completed || 3 tries, 2570217 fired transitions, 950 secs || 4226859 markings, 198125810 edges, 4300 markings/sec, 950 secs
lola: STP completed || 3 tries, 2583809 fired transitions, 955 secs || 4248407 markings, 199174141 edges, 4310 markings/sec, 955 secs
lola: STP completed || 3 tries, 2597355 fired transitions, 960 secs || 4271144 markings, 200224145 edges, 4547 markings/sec, 960 secs
lola: STP completed || 3 tries, 2610894 fired transitions, 965 secs || 4295766 markings, 201281092 edges, 4924 markings/sec, 965 secs
lola: STP completed || 3 tries, 2624463 fired transitions, 970 secs || 4318475 markings, 202337782 edges, 4542 markings/sec, 970 secs
lola: STP completed || 3 tries, 2638090 fired transitions, 975 secs || 4339679 markings, 203391967 edges, 4241 markings/sec, 975 secs
lola: STP completed || 3 tries, 2651664 fired transitions, 980 secs || 4364590 markings, 204455173 edges, 4982 markings/sec, 980 secs
lola: STP completed || 3 tries, 2665276 fired transitions, 985 secs || 4392521 markings, 205530162 edges, 5586 markings/sec, 985 secs
lola: STP completed || 3 tries, 2678814 fired transitions, 990 secs || 4417690 markings, 206593011 edges, 5034 markings/sec, 990 secs
lola: STP completed || 3 tries, 2692466 fired transitions, 995 secs || 4445222 markings, 207665724 edges, 5506 markings/sec, 995 secs
lola: STP completed || 3 tries, 2706038 fired transitions, 1000 secs || 4467083 markings, 208720074 edges, 4372 markings/sec, 1000 secs
lola: STP completed || 3 tries, 2719583 fired transitions, 1005 secs || 4487287 markings, 209732139 edges, 4041 markings/sec, 1005 secs
lola: STP completed || 3 tries, 2733123 fired transitions, 1010 secs || 4513947 markings, 210796382 edges, 5332 markings/sec, 1010 secs
lola: STP completed || 3 tries, 2746663 fired transitions, 1015 secs || 4540217 markings, 211873371 edges, 5254 markings/sec, 1015 secs
lola: STP completed || 3 tries, 2760193 fired transitions, 1020 secs || 4560986 markings, 212921681 edges, 4154 markings/sec, 1020 secs
lola: STP completed || 3 tries, 2773757 fired transitions, 1025 secs || 4583739 markings, 213962998 edges, 4551 markings/sec, 1025 secs
lola: STP completed || 3 tries, 2787262 fired transitions, 1030 secs || 4605247 markings, 215002430 edges, 4302 markings/sec, 1030 secs
lola: STP completed || 3 tries, 2800843 fired transitions, 1035 secs || 4631511 markings, 216073155 edges, 5253 markings/sec, 1035 secs
lola: STP completed || 3 tries, 2814437 fired transitions, 1040 secs || 4657866 markings, 217138559 edges, 5271 markings/sec, 1040 secs
lola: STP completed || 3 tries, 2827989 fired transitions, 1045 secs || 4683706 markings, 218214737 edges, 5168 markings/sec, 1045 secs
lola: STP completed || 3 tries, 2841560 fired transitions, 1050 secs || 4706825 markings, 219273267 edges, 4624 markings/sec, 1050 secs
lola: STP completed || 3 tries, 2855044 fired transitions, 1055 secs || 4730312 markings, 220330867 edges, 4697 markings/sec, 1055 secs
lola: STP completed || 3 tries, 2868555 fired transitions, 1060 secs || 4753815 markings, 221374785 edges, 4701 markings/sec, 1060 secs
lola: STP completed || 3 tries, 2882040 fired transitions, 1065 secs || 4780328 markings, 222446158 edges, 5303 markings/sec, 1065 secs
lola: STP completed || 3 tries, 2895571 fired transitions, 1070 secs || 4801253 markings, 223490859 edges, 4185 markings/sec, 1070 secs
lola: STP completed || 3 tries, 2909114 fired transitions, 1075 secs || 4825760 markings, 224556245 edges, 4901 markings/sec, 1075 secs
lola: STP completed || 3 tries, 2922720 fired transitions, 1080 secs || 4851868 markings, 225628214 edges, 5222 markings/sec, 1080 secs
lola: STP completed || 3 tries, 2936281 fired transitions, 1085 secs || 4879193 markings, 226696390 edges, 5465 markings/sec, 1085 secs
lola: STP completed || 3 tries, 2949693 fired transitions, 1090 secs || 4901615 markings, 227743271 edges, 4484 markings/sec, 1090 secs
lola: STP completed || 3 tries, 2963267 fired transitions, 1095 secs || 4926041 markings, 228801930 edges, 4885 markings/sec, 1095 secs
lola: STP completed || 3 tries, 2976802 fired transitions, 1100 secs || 4949566 markings, 229863091 edges, 4705 markings/sec, 1100 secs
lola: STP completed || 3 tries, 2990356 fired transitions, 1105 secs || 4972755 markings, 230914500 edges, 4638 markings/sec, 1105 secs
lola: STP completed || 4 tries, 3003938 fired transitions, 1110 secs || 4996068 markings, 231973100 edges, 4663 markings/sec, 1110 secs
lola: STP completed || 4 tries, 3017590 fired transitions, 1115 secs || 5022823 markings, 233047433 edges, 5351 markings/sec, 1115 secs
lola: STP completed || 4 tries, 3031147 fired transitions, 1120 secs || 5049290 markings, 234118379 edges, 5293 markings/sec, 1120 secs
lola: STP completed || 4 tries, 3044709 fired transitions, 1125 secs || 5071769 markings, 235172345 edges, 4496 markings/sec, 1125 secs
lola: STP completed || 4 tries, 3058327 fired transitions, 1130 secs || 5097593 markings, 236237333 edges, 5165 markings/sec, 1130 secs
lola: STP completed || 4 tries, 3071861 fired transitions, 1135 secs || 5124049 markings, 237308189 edges, 5291 markings/sec, 1135 secs
lola: STP completed || 4 tries, 3085451 fired transitions, 1140 secs || 5147077 markings, 238355950 edges, 4606 markings/sec, 1140 secs
lola: STP completed || 4 tries, 3099072 fired transitions, 1145 secs || 5173228 markings, 239429584 edges, 5230 markings/sec, 1145 secs
lola: STP completed || 4 tries, 3112609 fired transitions, 1150 secs || 5200206 markings, 240504468 edges, 5396 markings/sec, 1150 secs
lola: STP completed || 4 tries, 3126157 fired transitions, 1155 secs || 5226939 markings, 241572667 edges, 5347 markings/sec, 1155 secs
lola: STP completed || 4 tries, 3139667 fired transitions, 1160 secs || 5249358 markings, 242630108 edges, 4484 markings/sec, 1160 secs
lola: STP completed || 4 tries, 3153262 fired transitions, 1165 secs || 5278237 markings, 243712177 edges, 5776 markings/sec, 1165 secs
lola: STP completed || 4 tries, 3166863 fired transitions, 1170 secs || 5303706 markings, 244781811 edges, 5094 markings/sec, 1170 secs
lola: STP completed || 4 tries, 3180432 fired transitions, 1175 secs || 5327909 markings, 245834640 edges, 4841 markings/sec, 1175 secs
lola: STP completed || 4 tries, 3194002 fired transitions, 1180 secs || 5350757 markings, 246891475 edges, 4570 markings/sec, 1180 secs
lola: STP completed || 4 tries, 3207669 fired transitions, 1185 secs || 5373609 markings, 247942260 edges, 4570 markings/sec, 1185 secs
lola: STP completed || 4 tries, 3221253 fired transitions, 1190 secs || 5398878 markings, 249003799 edges, 5054 markings/sec, 1190 secs
lola: STP completed || 4 tries, 3234806 fired transitions, 1195 secs || 5425000 markings, 250078285 edges, 5224 markings/sec, 1195 secs
lola: STP completed || 4 tries, 3248297 fired transitions, 1200 secs || 5451130 markings, 251147974 edges, 5226 markings/sec, 1200 secs
lola: STP completed || 4 tries, 3261805 fired transitions, 1205 secs || 5479278 markings, 252211488 edges, 5630 markings/sec, 1205 secs
lola: STP completed || 4 tries, 3275093 fired transitions, 1210 secs || 5503430 markings, 253235177 edges, 4830 markings/sec, 1210 secs
lola: STP completed || 4 tries, 3288250 fired transitions, 1215 secs || 5533738 markings, 254288465 edges, 6062 markings/sec, 1215 secs
lola: STP completed || 4 tries, 3301516 fired transitions, 1220 secs || 5555371 markings, 255303942 edges, 4327 markings/sec, 1220 secs
lola: STP completed || 4 tries, 3315024 fired transitions, 1225 secs || 5579536 markings, 256348775 edges, 4833 markings/sec, 1225 secs
lola: STP completed || 4 tries, 3328630 fired transitions, 1230 secs || 5604177 markings, 257410964 edges, 4928 markings/sec, 1230 secs
lola: STP completed || 4 tries, 3342282 fired transitions, 1235 secs || 5629594 markings, 258473106 edges, 5083 markings/sec, 1235 secs
lola: STP completed || 4 tries, 3355759 fired transitions, 1240 secs || 5654752 markings, 259532319 edges, 5032 markings/sec, 1240 secs
lola: STP completed || 4 tries, 3369424 fired transitions, 1245 secs || 5681813 markings, 260597888 edges, 5412 markings/sec, 1245 secs
lola: STP completed || 4 tries, 3382999 fired transitions, 1250 secs || 5701338 markings, 261610956 edges, 3905 markings/sec, 1250 secs
lola: STP completed || 4 tries, 3396606 fired transitions, 1255 secs || 5724442 markings, 262655898 edges, 4621 markings/sec, 1255 secs
lola: STP completed || 4 tries, 3410188 fired transitions, 1260 secs || 5750216 markings, 263713030 edges, 5155 markings/sec, 1260 secs
lola: STP completed || 4 tries, 3423761 fired transitions, 1265 secs || 5773340 markings, 264772223 edges, 4625 markings/sec, 1265 secs
lola: STP completed || 4 tries, 3437315 fired transitions, 1270 secs || 5797843 markings, 265826729 edges, 4901 markings/sec, 1270 secs
lola: STP completed || 4 tries, 3450977 fired transitions, 1275 secs || 5825505 markings, 266898951 edges, 5532 markings/sec, 1275 secs
lola: STP completed || 4 tries, 3464610 fired transitions, 1280 secs || 5847460 markings, 267933520 edges, 4391 markings/sec, 1280 secs
lola: STP completed || 4 tries, 3478284 fired transitions, 1285 secs || 5874465 markings, 269007245 edges, 5401 markings/sec, 1285 secs
lola: STP completed || 4 tries, 3491911 fired transitions, 1290 secs || 5898556 markings, 270058743 edges, 4818 markings/sec, 1290 secs
lola: STP completed || 4 tries, 3505450 fired transitions, 1295 secs || 5921447 markings, 271115916 edges, 4578 markings/sec, 1295 secs
lola: STP completed || 4 tries, 3519141 fired transitions, 1300 secs || 5943828 markings, 272151948 edges, 4476 markings/sec, 1300 secs
lola: STP completed || 4 tries, 3532665 fired transitions, 1305 secs || 5968889 markings, 273202528 edges, 5012 markings/sec, 1305 secs
lola: STP completed || 4 tries, 3546287 fired transitions, 1310 secs || 5994411 markings, 274265852 edges, 5104 markings/sec, 1310 secs
lola: STP completed || 4 tries, 3559956 fired transitions, 1315 secs || 6020125 markings, 275338392 edges, 5143 markings/sec, 1315 secs
lola: STP completed || 4 tries, 3573544 fired transitions, 1320 secs || 6043505 markings, 276380567 edges, 4676 markings/sec, 1320 secs
lola: STP completed || 4 tries, 3587246 fired transitions, 1325 secs || 6067514 markings, 277439406 edges, 4802 markings/sec, 1325 secs
lola: STP completed || 4 tries, 3600856 fired transitions, 1330 secs || 6095707 markings, 278518623 edges, 5639 markings/sec, 1330 secs
lola: STP completed || 4 tries, 3614537 fired transitions, 1335 secs || 6117924 markings, 279553692 edges, 4443 markings/sec, 1335 secs
lola: STP completed || 4 tries, 3628184 fired transitions, 1340 secs || 6145139 markings, 280629241 edges, 5443 markings/sec, 1340 secs
lola: STP completed || 4 tries, 3641727 fired transitions, 1345 secs || 6168356 markings, 281676081 edges, 4643 markings/sec, 1345 secs
lola: STP completed || 4 tries, 3655294 fired transitions, 1350 secs || 6188690 markings, 282556296 edges, 4067 markings/sec, 1350 secs
lola: STP completed || 4 tries, 3668841 fired transitions, 1355 secs || 6210383 markings, 283605351 edges, 4339 markings/sec, 1355 secs
lola: STP completed || 4 tries, 3682447 fired transitions, 1360 secs || 6233750 markings, 284644989 edges, 4673 markings/sec, 1360 secs
lola: STP completed || 4 tries, 3695993 fired transitions, 1365 secs || 6258165 markings, 285704173 edges, 4883 markings/sec, 1365 secs
lola: STP completed || 4 tries, 3709531 fired transitions, 1370 secs || 6283334 markings, 286764366 edges, 5034 markings/sec, 1370 secs
lola: STP completed || 4 tries, 3722935 fired transitions, 1375 secs || 6305267 markings, 287785099 edges, 4387 markings/sec, 1375 secs
lola: STP completed || 4 tries, 3736371 fired transitions, 1380 secs || 6328816 markings, 288819828 edges, 4710 markings/sec, 1380 secs
lola: STP completed || 4 tries, 3749805 fired transitions, 1385 secs || 6349688 markings, 289831423 edges, 4174 markings/sec, 1385 secs
lola: STP completed || 4 tries, 3763301 fired transitions, 1390 secs || 6370827 markings, 290862462 edges, 4228 markings/sec, 1390 secs
lola: STP completed || 4 tries, 3776682 fired transitions, 1395 secs || 6396202 markings, 291910088 edges, 5075 markings/sec, 1395 secs
lola: STP completed || 4 tries, 3790151 fired transitions, 1400 secs || 6419648 markings, 292943876 edges, 4689 markings/sec, 1400 secs
lola: STP completed || 4 tries, 3803545 fired transitions, 1405 secs || 6448404 markings, 293997196 edges, 5751 markings/sec, 1405 secs
lola: STP completed || 4 tries, 3816896 fired transitions, 1410 secs || 6475590 markings, 295052880 edges, 5437 markings/sec, 1410 secs
lola: STP completed || 4 tries, 3830323 fired transitions, 1415 secs || 6501792 markings, 296102016 edges, 5240 markings/sec, 1415 secs
lola: STP completed || 4 tries, 3843691 fired transitions, 1420 secs || 6530272 markings, 297165556 edges, 5696 markings/sec, 1420 secs
lola: STP completed || 4 tries, 3857108 fired transitions, 1425 secs || 6555278 markings, 298212891 edges, 5001 markings/sec, 1425 secs
lola: STP completed || 4 tries, 3870567 fired transitions, 1430 secs || 6578419 markings, 299238304 edges, 4628 markings/sec, 1430 secs
lola: STP completed || 4 tries, 3884004 fired transitions, 1435 secs || 6602822 markings, 300275416 edges, 4881 markings/sec, 1435 secs
lola: STP completed || 4 tries, 3897425 fired transitions, 1440 secs || 6626167 markings, 301304628 edges, 4669 markings/sec, 1440 secs
lola: STP completed || 4 tries, 3910773 fired transitions, 1445 secs || 6650030 markings, 302342064 edges, 4773 markings/sec, 1445 secs
lola: STP completed || 4 tries, 3924209 fired transitions, 1450 secs || 6674494 markings, 303377709 edges, 4893 markings/sec, 1450 secs
lola: STP completed || 4 tries, 3937603 fired transitions, 1455 secs || 6694348 markings, 304375567 edges, 3971 markings/sec, 1455 secs
lola: STP completed || 4 tries, 3950999 fired transitions, 1460 secs || 6715573 markings, 305381894 edges, 4245 markings/sec, 1460 secs
lola: STP completed || 4 tries, 3964475 fired transitions, 1465 secs || 6741644 markings, 306418870 edges, 5214 markings/sec, 1465 secs
lola: STP completed || 4 tries, 3977932 fired transitions, 1470 secs || 6763910 markings, 307448261 edges, 4453 markings/sec, 1470 secs
lola: STP completed || 4 tries, 3991352 fired transitions, 1475 secs || 6789548 markings, 308498434 edges, 5128 markings/sec, 1475 secs
lola: STP completed || 5 tries, 4004803 fired transitions, 1480 secs || 6811475 markings, 309529393 edges, 4385 markings/sec, 1480 secs
lola: STP completed || 5 tries, 4018282 fired transitions, 1485 secs || 6835601 markings, 310563804 edges, 4825 markings/sec, 1485 secs
lola: STP completed || 5 tries, 4031702 fired transitions, 1490 secs || 6856508 markings, 311591989 edges, 4181 markings/sec, 1490 secs
lola: STP completed || 5 tries, 4045136 fired transitions, 1495 secs || 6879432 markings, 312624955 edges, 4585 markings/sec, 1495 secs
lola: STP completed || 5 tries, 4058556 fired transitions, 1500 secs || 6902763 markings, 313660179 edges, 4666 markings/sec, 1500 secs
lola: STP completed || 5 tries, 4072140 fired transitions, 1505 secs || 6930906 markings, 314721837 edges, 5629 markings/sec, 1505 secs
lola: STP completed || 5 tries, 4085630 fired transitions, 1510 secs || 6957776 markings, 315769945 edges, 5374 markings/sec, 1510 secs
lola: STP completed || 5 tries, 4099149 fired transitions, 1515 secs || 6980760 markings, 316800908 edges, 4597 markings/sec, 1515 secs
lola: STP completed || 5 tries, 4112626 fired transitions, 1520 secs || 7005522 markings, 317850060 edges, 4952 markings/sec, 1520 secs
lola: STP completed || 5 tries, 4126090 fired transitions, 1525 secs || 7036012 markings, 318921209 edges, 6098 markings/sec, 1525 secs
lola: STP completed || 5 tries, 4139612 fired transitions, 1530 secs || 7061476 markings, 319962890 edges, 5093 markings/sec, 1530 secs
lola: STP completed || 5 tries, 4153176 fired transitions, 1535 secs || 7088143 markings, 321014431 edges, 5333 markings/sec, 1535 secs
lola: STP completed || 5 tries, 4166647 fired transitions, 1540 secs || 7109616 markings, 322035606 edges, 4295 markings/sec, 1540 secs
lola: STP completed || 5 tries, 4180157 fired transitions, 1545 secs || 7131416 markings, 323072043 edges, 4360 markings/sec, 1545 secs
lola: STP completed || 5 tries, 4193555 fired transitions, 1550 secs || 7155855 markings, 324125277 edges, 4888 markings/sec, 1550 secs
lola: STP completed || 5 tries, 4207094 fired transitions, 1555 secs || 7180422 markings, 325176756 edges, 4913 markings/sec, 1555 secs
lola: STP completed || 5 tries, 4220543 fired transitions, 1560 secs || 7204417 markings, 326232193 edges, 4799 markings/sec, 1560 secs
lola: STP completed || 5 tries, 4234077 fired transitions, 1565 secs || 7231010 markings, 327287738 edges, 5319 markings/sec, 1565 secs
lola: STP completed || 5 tries, 4247637 fired transitions, 1570 secs || 7252186 markings, 328300462 edges, 4235 markings/sec, 1570 secs
lola: STP completed || 5 tries, 4261158 fired transitions, 1575 secs || 7276920 markings, 329337147 edges, 4947 markings/sec, 1575 secs
lola: STP completed || 5 tries, 4274597 fired transitions, 1580 secs || 7298649 markings, 330359605 edges, 4346 markings/sec, 1580 secs
lola: STP completed || 5 tries, 4288136 fired transitions, 1585 secs || 7319582 markings, 331374958 edges, 4187 markings/sec, 1585 secs
lola: STP completed || 5 tries, 4301634 fired transitions, 1590 secs || 7342457 markings, 332403923 edges, 4575 markings/sec, 1590 secs
lola: STP completed || 5 tries, 4315206 fired transitions, 1595 secs || 7368031 markings, 333460871 edges, 5115 markings/sec, 1595 secs
lola: STP completed || 5 tries, 4328773 fired transitions, 1600 secs || 7394175 markings, 334528018 edges, 5229 markings/sec, 1600 secs
lola: STP completed || 5 tries, 4342276 fired transitions, 1605 secs || 7419255 markings, 335588334 edges, 5016 markings/sec, 1605 secs
lola: STP completed || 5 tries, 4355869 fired transitions, 1610 secs || 7442204 markings, 336628874 edges, 4590 markings/sec, 1610 secs
lola: STP completed || 5 tries, 4369500 fired transitions, 1615 secs || 7464878 markings, 337678394 edges, 4535 markings/sec, 1615 secs
lola: STP completed || 5 tries, 4383130 fired transitions, 1620 secs || 7486056 markings, 338710955 edges, 4236 markings/sec, 1620 secs
lola: STP completed || 5 tries, 4396664 fired transitions, 1625 secs || 7512243 markings, 339780830 edges, 5237 markings/sec, 1625 secs
lola: STP completed || 5 tries, 4410245 fired transitions, 1630 secs || 7535025 markings, 340834049 edges, 4556 markings/sec, 1630 secs
lola: STP completed || 5 tries, 4423809 fired transitions, 1635 secs || 7558691 markings, 341879701 edges, 4733 markings/sec, 1635 secs
lola: STP completed || 5 tries, 4437443 fired transitions, 1640 secs || 7579568 markings, 342917771 edges, 4175 markings/sec, 1640 secs
lola: STP completed || 5 tries, 4451091 fired transitions, 1645 secs || 7603617 markings, 343966855 edges, 4810 markings/sec, 1645 secs
lola: STP completed || 5 tries, 4464675 fired transitions, 1650 secs || 7629485 markings, 345020717 edges, 5174 markings/sec, 1650 secs
lola: STP completed || 5 tries, 4478300 fired transitions, 1655 secs || 7652318 markings, 346078735 edges, 4567 markings/sec, 1655 secs
lola: STP completed || 5 tries, 4491792 fired transitions, 1660 secs || 7676014 markings, 347134016 edges, 4739 markings/sec, 1660 secs
lola: STP completed || 5 tries, 4505423 fired transitions, 1665 secs || 7702163 markings, 348198820 edges, 5230 markings/sec, 1665 secs
lola: STP completed || 5 tries, 4519088 fired transitions, 1670 secs || 7729916 markings, 349266178 edges, 5551 markings/sec, 1670 secs
lola: STP completed || 5 tries, 4532368 fired transitions, 1675 secs || 7752671 markings, 350294798 edges, 4551 markings/sec, 1675 secs
lola: STP completed || 5 tries, 4545941 fired transitions, 1680 secs || 7776229 markings, 351348983 edges, 4712 markings/sec, 1680 secs
lola: STP completed || 5 tries, 4559438 fired transitions, 1685 secs || 7800156 markings, 352418527 edges, 4785 markings/sec, 1685 secs
lola: STP completed || 5 tries, 4573021 fired transitions, 1690 secs || 7824745 markings, 353482335 edges, 4918 markings/sec, 1690 secs
lola: STP completed || 5 tries, 4586614 fired transitions, 1695 secs || 7850949 markings, 354548289 edges, 5241 markings/sec, 1695 secs
lola: STP completed || 5 tries, 4600200 fired transitions, 1700 secs || 7876828 markings, 355615053 edges, 5176 markings/sec, 1700 secs
lola: STP completed || 5 tries, 4613848 fired transitions, 1705 secs || 7905924 markings, 356693186 edges, 5819 markings/sec, 1705 secs
lola: STP completed || 5 tries, 4627358 fired transitions, 1710 secs || 7928169 markings, 357741170 edges, 4449 markings/sec, 1710 secs
lola: STP completed || 5 tries, 4640883 fired transitions, 1715 secs || 7951743 markings, 358791115 edges, 4715 markings/sec, 1715 secs
lola: STP completed || 5 tries, 4654450 fired transitions, 1720 secs || 7975964 markings, 359847716 edges, 4844 markings/sec, 1720 secs
lola: STP completed || 5 tries, 4668113 fired transitions, 1725 secs || 7997159 markings, 360882161 edges, 4239 markings/sec, 1725 secs
lola: STP completed || 5 tries, 4681660 fired transitions, 1730 secs || 8020649 markings, 361935044 edges, 4698 markings/sec, 1730 secs
lola: STP completed || 5 tries, 4695148 fired transitions, 1735 secs || 8047624 markings, 363007209 edges, 5395 markings/sec, 1735 secs
lola: STP completed || 5 tries, 4708697 fired transitions, 1740 secs || 8071788 markings, 364063966 edges, 4833 markings/sec, 1740 secs
lola: STP completed || 5 tries, 4722027 fired transitions, 1745 secs || 8095712 markings, 365107257 edges, 4785 markings/sec, 1745 secs
lola: STP completed || 5 tries, 4735583 fired transitions, 1750 secs || 8121847 markings, 366158855 edges, 5227 markings/sec, 1750 secs
lola: STP completed || 5 tries, 4749186 fired transitions, 1755 secs || 8145094 markings, 367210205 edges, 4649 markings/sec, 1755 secs
lola: STP completed || 5 tries, 4762705 fired transitions, 1760 secs || 8167778 markings, 368252645 edges, 4537 markings/sec, 1760 secs
lola: STP completed || 5 tries, 4776209 fired transitions, 1765 secs || 8187322 markings, 369272111 edges, 3909 markings/sec, 1765 secs
lola: STP completed || 5 tries, 4789831 fired transitions, 1770 secs || 8206608 markings, 370284123 edges, 3857 markings/sec, 1770 secs
lola: STP completed || 5 tries, 4803557 fired transitions, 1775 secs || 8226305 markings, 371296519 edges, 3939 markings/sec, 1775 secs
lola: STP completed || 5 tries, 4817114 fired transitions, 1780 secs || 8246101 markings, 372321191 edges, 3959 markings/sec, 1780 secs
lola: STP completed || 5 tries, 4830604 fired transitions, 1785 secs || 8265510 markings, 373338197 edges, 3882 markings/sec, 1785 secs
lola: STP completed || 5 tries, 4843681 fired transitions, 1790 secs || 8284525 markings, 374321256 edges, 3803 markings/sec, 1790 secs
lola: STP completed || 5 tries, 4857252 fired transitions, 1795 secs || 8304012 markings, 375338413 edges, 3897 markings/sec, 1795 secs
lola: STP completed || 5 tries, 4870785 fired transitions, 1800 secs || 8323696 markings, 376360832 edges, 3937 markings/sec, 1800 secs
lola: STP completed || 5 tries, 4884048 fired transitions, 1805 secs || 8343350 markings, 377368658 edges, 3931 markings/sec, 1805 secs
lola: STP completed || 5 tries, 4897306 fired transitions, 1810 secs || 8363241 markings, 378386648 edges, 3978 markings/sec, 1810 secs
lola: STP completed || 5 tries, 4910868 fired transitions, 1815 secs || 8382899 markings, 379409630 edges, 3932 markings/sec, 1815 secs
lola: STP completed || 5 tries, 4924433 fired transitions, 1820 secs || 8402994 markings, 380428449 edges, 4019 markings/sec, 1820 secs
lola: STP completed || 5 tries, 4938040 fired transitions, 1825 secs || 8422850 markings, 381442582 edges, 3971 markings/sec, 1825 secs
lola: STP completed || 5 tries, 4951604 fired transitions, 1830 secs || 8443248 markings, 382462558 edges, 4080 markings/sec, 1830 secs
lola: STP completed || 5 tries, 4965096 fired transitions, 1835 secs || 8462185 markings, 383477317 edges, 3787 markings/sec, 1835 secs
lola: STP completed || 5 tries, 4978702 fired transitions, 1840 secs || 8481591 markings, 384492127 edges, 3881 markings/sec, 1840 secs
lola: STP completed || 5 tries, 4992286 fired transitions, 1845 secs || 8501953 markings, 385512449 edges, 4072 markings/sec, 1845 secs
lola: STP completed || 6 tries, 5005915 fired transitions, 1850 secs || 8521324 markings, 386534043 edges, 3874 markings/sec, 1850 secs
lola: STP completed || 6 tries, 5019557 fired transitions, 1855 secs || 8541729 markings, 387558732 edges, 4081 markings/sec, 1855 secs
lola: STP completed || 6 tries, 5033167 fired transitions, 1860 secs || 8562383 markings, 388584591 edges, 4131 markings/sec, 1860 secs
lola: STP completed || 6 tries, 5046849 fired transitions, 1865 secs || 8583016 markings, 389606236 edges, 4127 markings/sec, 1865 secs
lola: STP completed || 6 tries, 5060364 fired transitions, 1870 secs || 8602499 markings, 390624107 edges, 3897 markings/sec, 1870 secs
lola: STP completed || 6 tries, 5073935 fired transitions, 1875 secs || 8624214 markings, 391659120 edges, 4343 markings/sec, 1875 secs
lola: STP completed || 6 tries, 5087463 fired transitions, 1880 secs || 8644074 markings, 392688353 edges, 3972 markings/sec, 1880 secs
lola: STP completed || 6 tries, 5101115 fired transitions, 1885 secs || 8665037 markings, 393719421 edges, 4193 markings/sec, 1885 secs
lola: STP completed || 6 tries, 5114607 fired transitions, 1890 secs || 8686089 markings, 394749001 edges, 4210 markings/sec, 1890 secs
lola: STP completed || 6 tries, 5128284 fired transitions, 1895 secs || 8705723 markings, 395764110 edges, 3927 markings/sec, 1895 secs
lola: STP completed || 6 tries, 5141790 fired transitions, 1900 secs || 8725997 markings, 396791714 edges, 4055 markings/sec, 1900 secs
lola: STP completed || 6 tries, 5155317 fired transitions, 1905 secs || 8750979 markings, 397844925 edges, 4996 markings/sec, 1905 secs
lola: STP completed || 6 tries, 5168923 fired transitions, 1910 secs || 8777915 markings, 398913985 edges, 5387 markings/sec, 1910 secs
lola: STP completed || 6 tries, 5182549 fired transitions, 1915 secs || 8800727 markings, 399958848 edges, 4562 markings/sec, 1915 secs
lola: STP completed || 6 tries, 5196062 fired transitions, 1920 secs || 8824694 markings, 401016119 edges, 4793 markings/sec, 1920 secs
lola: STP completed || 6 tries, 5209575 fired transitions, 1925 secs || 8846406 markings, 402050312 edges, 4342 markings/sec, 1925 secs
lola: STP completed || 6 tries, 5223138 fired transitions, 1930 secs || 8874915 markings, 403121428 edges, 5702 markings/sec, 1930 secs
lola: STP completed || 6 tries, 5236620 fired transitions, 1935 secs || 8906273 markings, 404208543 edges, 6272 markings/sec, 1935 secs
lola: STP completed || 6 tries, 5250154 fired transitions, 1940 secs || 8935751 markings, 405289624 edges, 5896 markings/sec, 1940 secs
lola: STP completed || 6 tries, 5263817 fired transitions, 1945 secs || 8956736 markings, 406324505 edges, 4197 markings/sec, 1945 secs
lola: STP completed || 6 tries, 5277328 fired transitions, 1950 secs || 8977843 markings, 407361563 edges, 4221 markings/sec, 1950 secs
lola: STP completed || 6 tries, 5290752 fired transitions, 1955 secs || 9003351 markings, 408424093 edges, 5102 markings/sec, 1955 secs
lola: STP completed || 6 tries, 5304314 fired transitions, 1960 secs || 9033257 markings, 409502332 edges, 5981 markings/sec, 1960 secs
lola: STP completed || 6 tries, 5317861 fired transitions, 1965 secs || 9061867 markings, 410577778 edges, 5722 markings/sec, 1965 secs
lola: STP completed || 6 tries, 5331468 fired transitions, 1970 secs || 9089587 markings, 411650374 edges, 5544 markings/sec, 1970 secs
lola: STP completed || 6 tries, 5345034 fired transitions, 1975 secs || 9120192 markings, 412730188 edges, 6121 markings/sec, 1975 secs
lola: STP completed || 6 tries, 5358666 fired transitions, 1980 secs || 9147507 markings, 413795116 edges, 5463 markings/sec, 1980 secs
lola: STP completed || 6 tries, 5372246 fired transitions, 1985 secs || 9170320 markings, 414845241 edges, 4563 markings/sec, 1985 secs
lola: STP completed || 6 tries, 5385698 fired transitions, 1990 secs || 9198605 markings, 415920701 edges, 5657 markings/sec, 1990 secs
lola: STP completed || 6 tries, 5399187 fired transitions, 1995 secs || 9225489 markings, 416988605 edges, 5377 markings/sec, 1995 secs
lola: STP completed || 6 tries, 5412752 fired transitions, 2000 secs || 9249873 markings, 418044223 edges, 4877 markings/sec, 2000 secs
lola: STP completed || 6 tries, 5426392 fired transitions, 2005 secs || 9275982 markings, 419107107 edges, 5222 markings/sec, 2005 secs
lola: STP completed || 6 tries, 5439906 fired transitions, 2010 secs || 9301539 markings, 420163835 edges, 5111 markings/sec, 2010 secs
lola: STP completed || 6 tries, 5453427 fired transitions, 2015 secs || 9326280 markings, 421214594 edges, 4948 markings/sec, 2015 secs
lola: STP completed || 6 tries, 5466908 fired transitions, 2020 secs || 9352282 markings, 422286637 edges, 5200 markings/sec, 2020 secs
lola: STP completed || 6 tries, 5480481 fired transitions, 2025 secs || 9378105 markings, 423352314 edges, 5165 markings/sec, 2025 secs
lola: STP completed || 6 tries, 5493987 fired transitions, 2030 secs || 9399454 markings, 424392784 edges, 4270 markings/sec, 2030 secs
lola: STP completed || 6 tries, 5507540 fired transitions, 2035 secs || 9422264 markings, 425436751 edges, 4562 markings/sec, 2035 secs
lola: STP completed || 6 tries, 5521067 fired transitions, 2040 secs || 9452824 markings, 426525659 edges, 6112 markings/sec, 2040 secs
lola: STP completed || 6 tries, 5534648 fired transitions, 2045 secs || 9478312 markings, 427585498 edges, 5098 markings/sec, 2045 secs
lola: STP completed || 6 tries, 5548261 fired transitions, 2050 secs || 9507946 markings, 428659095 edges, 5927 markings/sec, 2050 secs
lola: STP completed || 6 tries, 5561852 fired transitions, 2055 secs || 9533345 markings, 429716636 edges, 5080 markings/sec, 2055 secs
lola: STP completed || 6 tries, 5575379 fired transitions, 2060 secs || 9560545 markings, 430781112 edges, 5440 markings/sec, 2060 secs
lola: STP completed || 6 tries, 5589007 fired transitions, 2065 secs || 9586435 markings, 431843058 edges, 5178 markings/sec, 2065 secs
lola: STP completed || 6 tries, 5602668 fired transitions, 2070 secs || 9612953 markings, 432916320 edges, 5304 markings/sec, 2070 secs
lola: STP completed || 6 tries, 5616224 fired transitions, 2075 secs || 9637970 markings, 433975122 edges, 5003 markings/sec, 2075 secs
lola: STP completed || 6 tries, 5629812 fired transitions, 2080 secs || 9665208 markings, 435046123 edges, 5448 markings/sec, 2080 secs
lola: STP completed || 6 tries, 5643352 fired transitions, 2085 secs || 9690633 markings, 436111695 edges, 5085 markings/sec, 2085 secs
lola: STP completed || 6 tries, 5656882 fired transitions, 2090 secs || 9716103 markings, 437183588 edges, 5094 markings/sec, 2090 secs
lola: STP completed || 6 tries, 5670317 fired transitions, 2095 secs || 9745172 markings, 438263759 edges, 5814 markings/sec, 2095 secs
lola: STP completed || 6 tries, 5683867 fired transitions, 2100 secs || 9769277 markings, 439325936 edges, 4821 markings/sec, 2100 secs
lola: STP completed || 6 tries, 5697366 fired transitions, 2105 secs || 9791510 markings, 440367674 edges, 4447 markings/sec, 2105 secs
lola: STP completed || 6 tries, 5710820 fired transitions, 2110 secs || 9816421 markings, 441420623 edges, 4982 markings/sec, 2110 secs
lola: STP completed || 6 tries, 5724353 fired transitions, 2115 secs || 9845909 markings, 442489579 edges, 5898 markings/sec, 2115 secs
lola: STP completed || 6 tries, 5737876 fired transitions, 2120 secs || 9873696 markings, 443555655 edges, 5557 markings/sec, 2120 secs
lola: STP completed || 6 tries, 5751414 fired transitions, 2125 secs || 9894679 markings, 444585638 edges, 4197 markings/sec, 2125 secs
lola: STP completed || 6 tries, 5764978 fired transitions, 2130 secs || 9921011 markings, 445644316 edges, 5266 markings/sec, 2130 secs
lola: STP completed || 6 tries, 5778510 fired transitions, 2135 secs || 9946263 markings, 446695025 edges, 5050 markings/sec, 2135 secs
lola: STP completed || 6 tries, 5792074 fired transitions, 2140 secs || 9971049 markings, 447756653 edges, 4957 markings/sec, 2140 secs
lola: STP completed || 6 tries, 5805631 fired transitions, 2145 secs || 9992362 markings, 448785737 edges, 4263 markings/sec, 2145 secs
lola: STP completed || 6 tries, 5819119 fired transitions, 2150 secs || 10014240 markings, 449834305 edges, 4376 markings/sec, 2150 secs
lola: STP completed || 6 tries, 5832683 fired transitions, 2155 secs || 10036509 markings, 450868433 edges, 4454 markings/sec, 2155 secs
lola: STP completed || 6 tries, 5846265 fired transitions, 2160 secs || 10057325 markings, 451901716 edges, 4163 markings/sec, 2160 secs
lola: STP completed || 6 tries, 5859907 fired transitions, 2165 secs || 10079378 markings, 452934452 edges, 4411 markings/sec, 2165 secs
lola: STP completed || 6 tries, 5873605 fired transitions, 2170 secs || 10102412 markings, 453979120 edges, 4607 markings/sec, 2170 secs
lola: STP completed || 6 tries, 5887156 fired transitions, 2175 secs || 10124120 markings, 455022694 edges, 4342 markings/sec, 2175 secs
lola: STP completed || 6 tries, 5900627 fired transitions, 2180 secs || 10145130 markings, 456059039 edges, 4202 markings/sec, 2180 secs
lola: STP completed || 6 tries, 5914204 fired transitions, 2185 secs || 10165431 markings, 457085886 edges, 4060 markings/sec, 2185 secs
lola: STP completed || 6 tries, 5927761 fired transitions, 2190 secs || 10188635 markings, 458133670 edges, 4641 markings/sec, 2190 secs
lola: STP completed || 6 tries, 5941233 fired transitions, 2195 secs || 10211183 markings, 459176699 edges, 4510 markings/sec, 2195 secs
lola: STP completed || 6 tries, 5954818 fired transitions, 2200 secs || 10232385 markings, 460221782 edges, 4240 markings/sec, 2200 secs
lola: STP completed || 6 tries, 5968418 fired transitions, 2205 secs || 10254043 markings, 461248763 edges, 4332 markings/sec, 2205 secs
lola: STP completed || 6 tries, 5982004 fired transitions, 2210 secs || 10278530 markings, 462295229 edges, 4897 markings/sec, 2210 secs
lola: STP completed || 6 tries, 5995587 fired transitions, 2215 secs || 10301855 markings, 463340295 edges, 4665 markings/sec, 2215 secs
lola: STP completed || 7 tries, 6009147 fired transitions, 2220 secs || 10325707 markings, 464389658 edges, 4770 markings/sec, 2220 secs
lola: STP completed || 7 tries, 6022650 fired transitions, 2225 secs || 10347485 markings, 465431433 edges, 4356 markings/sec, 2225 secs
lola: STP completed || 7 tries, 6036191 fired transitions, 2230 secs || 10370074 markings, 466481499 edges, 4518 markings/sec, 2230 secs
lola: STP completed || 7 tries, 6049787 fired transitions, 2235 secs || 10391567 markings, 467520427 edges, 4299 markings/sec, 2235 secs
lola: STP completed || 7 tries, 6063312 fired transitions, 2240 secs || 10416051 markings, 468582522 edges, 4897 markings/sec, 2240 secs
lola: STP completed || 7 tries, 6076786 fired transitions, 2245 secs || 10438871 markings, 469624072 edges, 4564 markings/sec, 2245 secs
lola: STP completed || 7 tries, 6090239 fired transitions, 2250 secs || 10462839 markings, 470672148 edges, 4794 markings/sec, 2250 secs
lola: STP completed || 7 tries, 6103707 fired transitions, 2255 secs || 10488556 markings, 471736207 edges, 5143 markings/sec, 2255 secs
lola: STP completed || 7 tries, 6117322 fired transitions, 2260 secs || 10513374 markings, 472793869 edges, 4964 markings/sec, 2260 secs
lola: STP completed || 7 tries, 6130869 fired transitions, 2265 secs || 10536552 markings, 473841098 edges, 4636 markings/sec, 2265 secs
lola: STP completed || 7 tries, 6144466 fired transitions, 2270 secs || 10561207 markings, 474896475 edges, 4931 markings/sec, 2270 secs
lola: STP completed || 7 tries, 6157925 fired transitions, 2275 secs || 10583783 markings, 475939084 edges, 4515 markings/sec, 2275 secs
lola: STP completed || 7 tries, 6171395 fired transitions, 2280 secs || 10608670 markings, 476989537 edges, 4977 markings/sec, 2280 secs
lola: STP completed || 7 tries, 6184890 fired transitions, 2285 secs || 10635910 markings, 478058233 edges, 5448 markings/sec, 2285 secs
lola: STP completed || 7 tries, 6198387 fired transitions, 2290 secs || 10661637 markings, 479122874 edges, 5145 markings/sec, 2290 secs
lola: STP completed || 7 tries, 6212049 fired transitions, 2295 secs || 10684611 markings, 480166301 edges, 4595 markings/sec, 2295 secs
lola: STP completed || 7 tries, 6225680 fired transitions, 2300 secs || 10707009 markings, 481207478 edges, 4480 markings/sec, 2300 secs
lola: STP completed || 7 tries, 6239175 fired transitions, 2305 secs || 10734055 markings, 482276082 edges, 5409 markings/sec, 2305 secs
lola: STP completed || 7 tries, 6252675 fired transitions, 2310 secs || 10760414 markings, 483333991 edges, 5272 markings/sec, 2310 secs
lola: STP completed || 7 tries, 6266249 fired transitions, 2315 secs || 10786727 markings, 484392814 edges, 5263 markings/sec, 2315 secs
lola: STP completed || 7 tries, 6279531 fired transitions, 2320 secs || 10811762 markings, 485433840 edges, 5007 markings/sec, 2320 secs
lola: STP completed || 7 tries, 6292893 fired transitions, 2325 secs || 10838876 markings, 486503102 edges, 5423 markings/sec, 2325 secs
lola: STP completed || 7 tries, 6306356 fired transitions, 2330 secs || 10865472 markings, 487564910 edges, 5319 markings/sec, 2330 secs
lola: STP completed || 7 tries, 6319899 fired transitions, 2335 secs || 10890139 markings, 488626556 edges, 4933 markings/sec, 2335 secs
lola: STP completed || 7 tries, 6333502 fired transitions, 2340 secs || 10915101 markings, 489681884 edges, 4992 markings/sec, 2340 secs
lola: STP completed || 7 tries, 6346964 fired transitions, 2345 secs || 10936176 markings, 490709255 edges, 4215 markings/sec, 2345 secs
lola: STP completed || 7 tries, 6360484 fired transitions, 2350 secs || 10965039 markings, 491786316 edges, 5773 markings/sec, 2350 secs
lola: STP completed || 7 tries, 6374055 fired transitions, 2355 secs || 10989126 markings, 492841041 edges, 4817 markings/sec, 2355 secs
lola: STP completed || 7 tries, 6387634 fired transitions, 2360 secs || 11018335 markings, 493911777 edges, 5842 markings/sec, 2360 secs
lola: STP completed || 7 tries, 6401240 fired transitions, 2365 secs || 11044495 markings, 494982801 edges, 5232 markings/sec, 2365 secs
lola: STP completed || 7 tries, 6414799 fired transitions, 2370 secs || 11071207 markings, 496044310 edges, 5342 markings/sec, 2370 secs
lola: STP completed || 7 tries, 6428394 fired transitions, 2375 secs || 11095392 markings, 497100882 edges, 4837 markings/sec, 2375 secs
lola: STP completed || 7 tries, 6441899 fired transitions, 2380 secs || 11119170 markings, 498156911 edges, 4756 markings/sec, 2380 secs
lola: STP completed || 7 tries, 6455455 fired transitions, 2385 secs || 11146642 markings, 499229593 edges, 5494 markings/sec, 2385 secs
lola: STP completed || 7 tries, 6469038 fired transitions, 2390 secs || 11177267 markings, 500317865 edges, 6125 markings/sec, 2390 secs
lola: STP completed || 7 tries, 6482633 fired transitions, 2395 secs || 11205892 markings, 501399599 edges, 5725 markings/sec, 2395 secs
lola: STP completed || 7 tries, 6496219 fired transitions, 2400 secs || 11232528 markings, 502459118 edges, 5327 markings/sec, 2400 secs
lola: STP completed || 7 tries, 6509827 fired transitions, 2405 secs || 11256128 markings, 503505666 edges, 4720 markings/sec, 2405 secs
lola: STP completed || 7 tries, 6523381 fired transitions, 2410 secs || 11277986 markings, 504539879 edges, 4372 markings/sec, 2410 secs
lola: STP completed || 7 tries, 6536724 fired transitions, 2415 secs || 11301098 markings, 505569740 edges, 4622 markings/sec, 2415 secs
lola: STP completed || 7 tries, 6549365 fired transitions, 2420 secs || 11328692 markings, 506582364 edges, 5519 markings/sec, 2420 secs
lola: STP completed || 7 tries, 6562783 fired transitions, 2425 secs || 11350968 markings, 507612629 edges, 4455 markings/sec, 2425 secs
lola: STP completed || 7 tries, 6576025 fired transitions, 2430 secs || 11373596 markings, 508647018 edges, 4526 markings/sec, 2430 secs
lola: STP completed || 7 tries, 6589297 fired transitions, 2435 secs || 11395493 markings, 509672854 edges, 4379 markings/sec, 2435 secs
lola: STP completed || 7 tries, 6602538 fired transitions, 2440 secs || 11419107 markings, 510714196 edges, 4723 markings/sec, 2440 secs
lola: STP completed || 7 tries, 6615776 fired transitions, 2445 secs || 11442983 markings, 511743952 edges, 4775 markings/sec, 2445 secs
lola: STP completed || 7 tries, 6628925 fired transitions, 2450 secs || 11463126 markings, 512751659 edges, 4029 markings/sec, 2450 secs
lola: STP completed || 7 tries, 6642187 fired transitions, 2455 secs || 11482522 markings, 513755006 edges, 3879 markings/sec, 2455 secs
lola: STP completed || 7 tries, 6655580 fired transitions, 2460 secs || 11501900 markings, 514762937 edges, 3876 markings/sec, 2460 secs
lola: STP completed || 7 tries, 6668860 fired transitions, 2465 secs || 11521672 markings, 515769446 edges, 3954 markings/sec, 2465 secs
lola: STP completed || 7 tries, 6682231 fired transitions, 2470 secs || 11541254 markings, 516787102 edges, 3916 markings/sec, 2470 secs
lola: STP completed || 7 tries, 6695335 fired transitions, 2475 secs || 11560398 markings, 517789008 edges, 3829 markings/sec, 2475 secs
lola: STP completed || 7 tries, 6708353 fired transitions, 2480 secs || 11579274 markings, 518778220 edges, 3775 markings/sec, 2480 secs
lola: STP completed || 7 tries, 6720893 fired transitions, 2485 secs || 11598120 markings, 519733790 edges, 3769 markings/sec, 2485 secs
lola: STP completed || 7 tries, 6734321 fired transitions, 2490 secs || 11617529 markings, 520749559 edges, 3882 markings/sec, 2490 secs
lola: STP completed || 7 tries, 6747936 fired transitions, 2495 secs || 11636590 markings, 521770034 edges, 3812 markings/sec, 2495 secs
lola: STP completed || 7 tries, 6761544 fired transitions, 2500 secs || 11656504 markings, 522798968 edges, 3983 markings/sec, 2500 secs
lola: STP completed || 7 tries, 6775214 fired transitions, 2505 secs || 11676700 markings, 523831103 edges, 4039 markings/sec, 2505 secs
lola: STP completed || 7 tries, 6788800 fired transitions, 2510 secs || 11698108 markings, 524874891 edges, 4282 markings/sec, 2510 secs
lola: STP completed || 7 tries, 6802380 fired transitions, 2515 secs || 11719082 markings, 525905320 edges, 4195 markings/sec, 2515 secs
lola: STP completed || 7 tries, 6815986 fired transitions, 2520 secs || 11738962 markings, 526929355 edges, 3976 markings/sec, 2520 secs
lola: STP completed || 7 tries, 6829651 fired transitions, 2525 secs || 11759126 markings, 527958808 edges, 4033 markings/sec, 2525 secs
lola: STP completed || 7 tries, 6843236 fired transitions, 2530 secs || 11779761 markings, 528987524 edges, 4127 markings/sec, 2530 secs
lola: STP completed || 7 tries, 6856836 fired transitions, 2535 secs || 11801559 markings, 530033296 edges, 4360 markings/sec, 2535 secs
lola: STP completed || 7 tries, 6870420 fired transitions, 2540 secs || 11823385 markings, 531077995 edges, 4365 markings/sec, 2540 secs
lola: STP completed || 7 tries, 6884018 fired transitions, 2545 secs || 11846192 markings, 532131644 edges, 4561 markings/sec, 2545 secs
lola: STP completed || 7 tries, 6897652 fired transitions, 2550 secs || 11864788 markings, 533004691 edges, 3719 markings/sec, 2550 secs
lola: STP completed || 7 tries, 6911291 fired transitions, 2555 secs || 11886487 markings, 534039526 edges, 4340 markings/sec, 2555 secs
lola: STP completed || 7 tries, 6924931 fired transitions, 2560 secs || 11908894 markings, 535086777 edges, 4481 markings/sec, 2560 secs
lola: STP completed || 7 tries, 6938449 fired transitions, 2565 secs || 11932094 markings, 536142654 edges, 4640 markings/sec, 2565 secs
lola: STP completed || 7 tries, 6952006 fired transitions, 2570 secs || 11952177 markings, 537167728 edges, 4017 markings/sec, 2570 secs
lola: STP completed || 7 tries, 6965437 fired transitions, 2575 secs || 11971528 markings, 538175480 edges, 3870 markings/sec, 2575 secs
lola: STP completed || 7 tries, 6978799 fired transitions, 2580 secs || 11990838 markings, 539182102 edges, 3862 markings/sec, 2580 secs
lola: STP completed || 7 tries, 6992162 fired transitions, 2585 secs || 12010692 markings, 540190805 edges, 3971 markings/sec, 2585 secs
lola: STP completed || 8 tries, 7005643 fired transitions, 2590 secs || 12030098 markings, 541202573 edges, 3881 markings/sec, 2590 secs
lola: STP completed || 8 tries, 7019255 fired transitions, 2595 secs || 12049614 markings, 542212433 edges, 3903 markings/sec, 2595 secs
lola: STP completed || 8 tries, 7032567 fired transitions, 2600 secs || 12068461 markings, 543209574 edges, 3769 markings/sec, 2600 secs
lola: STP completed || 8 tries, 7045927 fired transitions, 2605 secs || 12088073 markings, 544223652 edges, 3922 markings/sec, 2605 secs
lola: STP completed || 8 tries, 7059267 fired transitions, 2610 secs || 12107851 markings, 545236978 edges, 3956 markings/sec, 2610 secs
lola: STP completed || 8 tries, 7072581 fired transitions, 2615 secs || 12128044 markings, 546258419 edges, 4039 markings/sec, 2615 secs
lola: STP completed || 8 tries, 7085984 fired transitions, 2620 secs || 12147631 markings, 547279882 edges, 3917 markings/sec, 2620 secs
lola: STP completed || 8 tries, 7099433 fired transitions, 2625 secs || 12168722 markings, 548305774 edges, 4218 markings/sec, 2625 secs
lola: STP completed || 8 tries, 7113034 fired transitions, 2630 secs || 12189759 markings, 549339571 edges, 4207 markings/sec, 2630 secs
lola: STP completed || 8 tries, 7126336 fired transitions, 2635 secs || 12210345 markings, 550357100 edges, 4117 markings/sec, 2635 secs
lola: STP completed || 8 tries, 7139869 fired transitions, 2640 secs || 12230921 markings, 551377362 edges, 4115 markings/sec, 2640 secs
lola: STP completed || 8 tries, 7153268 fired transitions, 2645 secs || 12252785 markings, 552402812 edges, 4373 markings/sec, 2645 secs
lola: STP completed || 8 tries, 7166738 fired transitions, 2650 secs || 12274877 markings, 553430209 edges, 4418 markings/sec, 2650 secs
lola: STP completed || 8 tries, 7180121 fired transitions, 2655 secs || 12295170 markings, 554442816 edges, 4059 markings/sec, 2655 secs
lola: STP completed || 8 tries, 7193469 fired transitions, 2660 secs || 12313709 markings, 555419048 edges, 3708 markings/sec, 2660 secs
lola: STP completed || 8 tries, 7206885 fired transitions, 2665 secs || 12333570 markings, 556431302 edges, 3972 markings/sec, 2665 secs
lola: STP completed || 8 tries, 7220258 fired transitions, 2670 secs || 12352286 markings, 557429060 edges, 3743 markings/sec, 2670 secs
lola: STP completed || 8 tries, 7233716 fired transitions, 2675 secs || 12371768 markings, 558432392 edges, 3896 markings/sec, 2675 secs
lola: STP completed || 8 tries, 7247171 fired transitions, 2680 secs || 12391450 markings, 559440768 edges, 3936 markings/sec, 2680 secs
lola: STP completed || 8 tries, 7260590 fired transitions, 2685 secs || 12410335 markings, 560439696 edges, 3777 markings/sec, 2685 secs
lola: STP completed || 8 tries, 7273989 fired transitions, 2690 secs || 12430115 markings, 561452183 edges, 3956 markings/sec, 2690 secs
lola: STP completed || 8 tries, 7287410 fired transitions, 2695 secs || 12449168 markings, 562458646 edges, 3811 markings/sec, 2695 secs
lola: STP completed || 8 tries, 7300753 fired transitions, 2700 secs || 12469197 markings, 563470471 edges, 4006 markings/sec, 2700 secs
lola: STP completed || 8 tries, 7314218 fired transitions, 2705 secs || 12490020 markings, 564502496 edges, 4165 markings/sec, 2705 secs
lola: STP completed || 8 tries, 7327798 fired transitions, 2710 secs || 12511491 markings, 565552714 edges, 4294 markings/sec, 2710 secs
lola: STP completed || 8 tries, 7341335 fired transitions, 2715 secs || 12531998 markings, 566589949 edges, 4101 markings/sec, 2715 secs
lola: STP completed || 8 tries, 7354965 fired transitions, 2720 secs || 12553934 markings, 567644205 edges, 4387 markings/sec, 2720 secs
lola: STP completed || 8 tries, 7368593 fired transitions, 2725 secs || 12574959 markings, 568684281 edges, 4205 markings/sec, 2725 secs
lola: STP completed || 8 tries, 7382180 fired transitions, 2730 secs || 12596290 markings, 569730333 edges, 4266 markings/sec, 2730 secs
lola: STP completed || 8 tries, 7395646 fired transitions, 2735 secs || 12617998 markings, 570774844 edges, 4342 markings/sec, 2735 secs
lola: STP completed || 8 tries, 7409172 fired transitions, 2740 secs || 12640151 markings, 571817587 edges, 4431 markings/sec, 2740 secs
lola: STP completed || 8 tries, 7422853 fired transitions, 2745 secs || 12663031 markings, 572879713 edges, 4576 markings/sec, 2745 secs
lola: STP completed || 8 tries, 7436412 fired transitions, 2750 secs || 12686679 markings, 573941201 edges, 4730 markings/sec, 2750 secs
lola: STP completed || 8 tries, 7449894 fired transitions, 2755 secs || 12710010 markings, 574995598 edges, 4666 markings/sec, 2755 secs
lola: STP completed || 8 tries, 7463259 fired transitions, 2760 secs || 12731965 markings, 576028846 edges, 4391 markings/sec, 2760 secs
lola: STP completed || 8 tries, 7476628 fired transitions, 2765 secs || 12754390 markings, 577052756 edges, 4485 markings/sec, 2765 secs
lola: STP completed || 8 tries, 7489887 fired transitions, 2770 secs || 12777155 markings, 578086044 edges, 4553 markings/sec, 2770 secs
lola: STP completed || 8 tries, 7503224 fired transitions, 2775 secs || 12798681 markings, 579106805 edges, 4305 markings/sec, 2775 secs
lola: STP completed || 8 tries, 7516479 fired transitions, 2780 secs || 12819173 markings, 580121167 edges, 4098 markings/sec, 2780 secs
lola: STP completed || 8 tries, 7529909 fired transitions, 2785 secs || 12843044 markings, 581169601 edges, 4774 markings/sec, 2785 secs
lola: STP completed || 8 tries, 7543241 fired transitions, 2790 secs || 12866329 markings, 582197132 edges, 4657 markings/sec, 2790 secs
lola: STP completed || 8 tries, 7556557 fired transitions, 2795 secs || 12889818 markings, 583240148 edges, 4698 markings/sec, 2795 secs
lola: STP completed || 8 tries, 7569959 fired transitions, 2800 secs || 12911403 markings, 584263689 edges, 4317 markings/sec, 2800 secs
lola: STP completed || 8 tries, 7583317 fired transitions, 2805 secs || 12933505 markings, 585296783 edges, 4420 markings/sec, 2805 secs
lola: STP completed || 8 tries, 7596654 fired transitions, 2810 secs || 12955664 markings, 586330781 edges, 4432 markings/sec, 2810 secs
lola: STP completed || 8 tries, 7609979 fired transitions, 2815 secs || 12978232 markings, 587360651 edges, 4514 markings/sec, 2815 secs
lola: STP completed || 8 tries, 7623389 fired transitions, 2820 secs || 13001911 markings, 588402764 edges, 4736 markings/sec, 2820 secs
lola: STP completed || 8 tries, 7636721 fired transitions, 2825 secs || 13024070 markings, 589427609 edges, 4432 markings/sec, 2825 secs
lola: STP completed || 8 tries, 7650043 fired transitions, 2830 secs || 13050962 markings, 590476161 edges, 5378 markings/sec, 2830 secs
lola: STP completed || 8 tries, 7663434 fired transitions, 2835 secs || 13074213 markings, 591505002 edges, 4650 markings/sec, 2835 secs
lola: STP completed || 8 tries, 7676798 fired transitions, 2840 secs || 13097329 markings, 592539803 edges, 4623 markings/sec, 2840 secs
lola: STP completed || 8 tries, 7690153 fired transitions, 2845 secs || 13120305 markings, 593576888 edges, 4595 markings/sec, 2845 secs
lola: STP completed || 8 tries, 7703593 fired transitions, 2850 secs || 13143109 markings, 594616110 edges, 4561 markings/sec, 2850 secs
lola: STP completed || 8 tries, 7716935 fired transitions, 2855 secs || 13165325 markings, 595641386 edges, 4443 markings/sec, 2855 secs
lola: STP completed || 8 tries, 7730177 fired transitions, 2860 secs || 13185553 markings, 596652853 edges, 4046 markings/sec, 2860 secs
lola: STP completed || 8 tries, 7743524 fired transitions, 2865 secs || 13211419 markings, 597697877 edges, 5173 markings/sec, 2865 secs
lola: STP completed || 8 tries, 7756276 fired transitions, 2870 secs || 13233668 markings, 598728510 edges, 4450 markings/sec, 2870 secs
lola: STP completed || 8 tries, 7769586 fired transitions, 2875 secs || 13256675 markings, 599761581 edges, 4601 markings/sec, 2875 secs
lola: STP completed || 8 tries, 7782990 fired transitions, 2880 secs || 13280325 markings, 600793101 edges, 4730 markings/sec, 2880 secs
lola: STP completed || 8 tries, 7796315 fired transitions, 2885 secs || 13306514 markings, 601834674 edges, 5238 markings/sec, 2885 secs
lola: STP completed || 8 tries, 7809661 fired transitions, 2890 secs || 13328687 markings, 602862000 edges, 4435 markings/sec, 2890 secs
lola: STP completed || 8 tries, 7822962 fired transitions, 2895 secs || 13352018 markings, 603895739 edges, 4666 markings/sec, 2895 secs
lola: STP completed || 8 tries, 7836297 fired transitions, 2900 secs || 13374142 markings, 604912814 edges, 4425 markings/sec, 2900 secs
lola: STP completed || 8 tries, 7849657 fired transitions, 2905 secs || 13397171 markings, 605940305 edges, 4606 markings/sec, 2905 secs
lola: STP completed || 8 tries, 7862990 fired transitions, 2910 secs || 13416917 markings, 606961063 edges, 3949 markings/sec, 2910 secs
lola: STP completed || 8 tries, 7876307 fired transitions, 2915 secs || 13436142 markings, 607971891 edges, 3845 markings/sec, 2915 secs
lola: STP completed || 8 tries, 7889612 fired transitions, 2920 secs || 13455980 markings, 608983039 edges, 3968 markings/sec, 2920 secs
lola: STP completed || 8 tries, 7902929 fired transitions, 2925 secs || 13475862 markings, 609991512 edges, 3976 markings/sec, 2925 secs
lola: STP completed || 8 tries, 7916282 fired transitions, 2930 secs || 13494172 markings, 610992380 edges, 3662 markings/sec, 2930 secs
lola: STP completed || 8 tries, 7929570 fired transitions, 2935 secs || 13517972 markings, 612021723 edges, 4760 markings/sec, 2935 secs
lola: STP completed || 8 tries, 7942856 fired transitions, 2940 secs || 13543117 markings, 613059782 edges, 5029 markings/sec, 2940 secs
lola: STP completed || 8 tries, 7956147 fired transitions, 2945 secs || 13562723 markings, 614072912 edges, 3921 markings/sec, 2945 secs
lola: STP completed || 8 tries, 7969504 fired transitions, 2950 secs || 13582110 markings, 615080102 edges, 3877 markings/sec, 2950 secs
lola: STP completed || 8 tries, 7982848 fired transitions, 2955 secs || 13601403 markings, 616086256 edges, 3859 markings/sec, 2955 secs
lola: STP completed || 8 tries, 7996180 fired transitions, 2960 secs || 13621468 markings, 617090584 edges, 4013 markings/sec, 2960 secs
lola: STP completed || 9 tries, 8009497 fired transitions, 2965 secs || 13641130 markings, 618092844 edges, 3932 markings/sec, 2965 secs
lola: STP completed || 9 tries, 8022754 fired transitions, 2970 secs || 13662284 markings, 619109541 edges, 4231 markings/sec, 2970 secs
lola: STP completed || 9 tries, 8036070 fired transitions, 2975 secs || 13687538 markings, 620156877 edges, 5051 markings/sec, 2975 secs
lola: STP completed || 9 tries, 8049389 fired transitions, 2980 secs || 13711060 markings, 621200102 edges, 4704 markings/sec, 2980 secs
lola: STP completed || 9 tries, 8062728 fired transitions, 2985 secs || 13733706 markings, 622230084 edges, 4529 markings/sec, 2985 secs
lola: STP completed || 9 tries, 8076057 fired transitions, 2990 secs || 13755527 markings, 623253062 edges, 4364 markings/sec, 2990 secs
lola: STP completed || 9 tries, 8089400 fired transitions, 2995 secs || 13777163 markings, 624266115 edges, 4327 markings/sec, 2995 secs
lola: STP completed || 9 tries, 8102742 fired transitions, 3000 secs || 13798763 markings, 625287531 edges, 4320 markings/sec, 3000 secs
lola: STP completed || 9 tries, 8115980 fired transitions, 3005 secs || 13825682 markings, 626338144 edges, 5384 markings/sec, 3005 secs
lola: STP completed || 9 tries, 8129362 fired transitions, 3010 secs || 13849118 markings, 627367586 edges, 4687 markings/sec, 3010 secs
lola: STP completed || 9 tries, 8142783 fired transitions, 3015 secs || 13867527 markings, 628368841 edges, 3682 markings/sec, 3015 secs
lola: STP completed || 9 tries, 8155602 fired transitions, 3020 secs || 13886874 markings, 629380762 edges, 3869 markings/sec, 3020 secs
lola: STP completed || 9 tries, 8168978 fired transitions, 3025 secs || 13906994 markings, 630398488 edges, 4024 markings/sec, 3025 secs
lola: STP completed || 9 tries, 8182350 fired transitions, 3030 secs || 13929650 markings, 631416269 edges, 4531 markings/sec, 3030 secs
lola: STP completed || 9 tries, 8195688 fired transitions, 3035 secs || 13952520 markings, 632435262 edges, 4574 markings/sec, 3035 secs
lola: STP completed || 9 tries, 8209070 fired transitions, 3040 secs || 13978704 markings, 633485870 edges, 5237 markings/sec, 3040 secs
lola: STP completed || 9 tries, 8222432 fired transitions, 3045 secs || 14003833 markings, 634527714 edges, 5026 markings/sec, 3045 secs
lola: STP completed || 9 tries, 8235195 fired transitions, 3050 secs || 14030818 markings, 635576267 edges, 5397 markings/sec, 3050 secs
lola: STP completed || 9 tries, 8248652 fired transitions, 3055 secs || 14055340 markings, 636615511 edges, 4904 markings/sec, 3055 secs
lola: STP completed || 9 tries, 8261985 fired transitions, 3060 secs || 14081740 markings, 637657267 edges, 5280 markings/sec, 3060 secs
lola: STP completed || 9 tries, 8275345 fired transitions, 3065 secs || 14107748 markings, 638692999 edges, 5202 markings/sec, 3065 secs
lola: STP completed || 9 tries, 8288707 fired transitions, 3070 secs || 14130820 markings, 639725643 edges, 4614 markings/sec, 3070 secs
lola: STP completed || 9 tries, 8301989 fired transitions, 3075 secs || 14155111 markings, 640765709 edges, 4858 markings/sec, 3075 secs
lola: STP completed || 9 tries, 8315331 fired transitions, 3080 secs || 14179016 markings, 641797266 edges, 4781 markings/sec, 3080 secs
lola: STP completed || 9 tries, 8328732 fired transitions, 3085 secs || 14202568 markings, 642828663 edges, 4710 markings/sec, 3085 secs
lola: STP completed || 9 tries, 8342078 fired transitions, 3090 secs || 14223346 markings, 643842101 edges, 4156 markings/sec, 3090 secs
lola: STP completed || 9 tries, 8355501 fired transitions, 3095 secs || 14242403 markings, 644850988 edges, 3811 markings/sec, 3095 secs
lola: STP completed || 9 tries, 8369072 fired transitions, 3100 secs || 14266157 markings, 645898302 edges, 4751 markings/sec, 3100 secs
lola: STP completed || 9 tries, 8382457 fired transitions, 3105 secs || 14290602 markings, 646941327 edges, 4889 markings/sec, 3105 secs
lola: STP completed || 9 tries, 8395792 fired transitions, 3110 secs || 14315226 markings, 647984628 edges, 4925 markings/sec, 3110 secs
lola: STP completed || 9 tries, 8409153 fired transitions, 3115 secs || 14335480 markings, 649004343 edges, 4051 markings/sec, 3115 secs
lola: STP completed || 9 tries, 8422458 fired transitions, 3120 secs || 14355305 markings, 650021093 edges, 3965 markings/sec, 3120 secs
lola: STP completed || 9 tries, 8435872 fired transitions, 3125 secs || 14375419 markings, 651043816 edges, 4023 markings/sec, 3125 secs
lola: STP completed || 9 tries, 8449164 fired transitions, 3130 secs || 14399308 markings, 652080974 edges, 4778 markings/sec, 3130 secs
lola: STP completed || 9 tries, 8462415 fired transitions, 3135 secs || 14422874 markings, 653117009 edges, 4713 markings/sec, 3135 secs
lola: STP completed || 9 tries, 8475741 fired transitions, 3140 secs || 14448519 markings, 654155461 edges, 5129 markings/sec, 3140 secs
lola: STP completed || 9 tries, 8489038 fired transitions, 3145 secs || 14469812 markings, 655166845 edges, 4259 markings/sec, 3145 secs
lola: STP completed || 9 tries, 8502404 fired transitions, 3150 secs || 14489757 markings, 656189191 edges, 3989 markings/sec, 3150 secs
lola: STP completed || 9 tries, 8515800 fired transitions, 3155 secs || 14510020 markings, 657208525 edges, 4053 markings/sec, 3155 secs
lola: STP completed || 9 tries, 8529127 fired transitions, 3160 secs || 14530922 markings, 658232123 edges, 4180 markings/sec, 3160 secs
lola: STP completed || 9 tries, 8542518 fired transitions, 3165 secs || 14552705 markings, 659257402 edges, 4357 markings/sec, 3165 secs
lola: STP completed || 9 tries, 8555878 fired transitions, 3170 secs || 14578889 markings, 660299065 edges, 5237 markings/sec, 3170 secs
lola: STP completed || 9 tries, 8569289 fired transitions, 3175 secs || 14602504 markings, 661330509 edges, 4723 markings/sec, 3175 secs
lola: STP completed || 9 tries, 8582631 fired transitions, 3180 secs || 14625526 markings, 662361017 edges, 4604 markings/sec, 3180 secs
lola: STP completed || 9 tries, 8596037 fired transitions, 3185 secs || 14653179 markings, 663415946 edges, 5531 markings/sec, 3185 secs
lola: STP completed || 9 tries, 8609366 fired transitions, 3190 secs || 14676606 markings, 664449356 edges, 4685 markings/sec, 3190 secs
lola: STP completed || 9 tries, 8622650 fired transitions, 3195 secs || 14702393 markings, 665494000 edges, 5157 markings/sec, 3195 secs
lola: STP completed || 9 tries, 8636081 fired transitions, 3200 secs || 14724367 markings, 666520671 edges, 4395 markings/sec, 3200 secs
lola: STP completed || 9 tries, 8649487 fired transitions, 3205 secs || 14745932 markings, 667549408 edges, 4313 markings/sec, 3205 secs
lola: STP completed || 9 tries, 8662835 fired transitions, 3210 secs || 14771175 markings, 668588091 edges, 5049 markings/sec, 3210 secs
lola: STP completed || 9 tries, 8676225 fired transitions, 3215 secs || 14793480 markings, 669612170 edges, 4461 markings/sec, 3215 secs
lola: STP completed || 9 tries, 8689566 fired transitions, 3220 secs || 14812756 markings, 670622383 edges, 3855 markings/sec, 3220 secs
lola: STP completed || 9 tries, 8702964 fired transitions, 3225 secs || 14832064 markings, 671627729 edges, 3862 markings/sec, 3225 secs
lola: STP completed || 9 tries, 8716309 fired transitions, 3230 secs || 14851261 markings, 672630650 edges, 3839 markings/sec, 3230 secs
lola: STP completed || 9 tries, 8729599 fired transitions, 3235 secs || 14870587 markings, 673630555 edges, 3865 markings/sec, 3235 secs
lola: STP completed || 9 tries, 8742937 fired transitions, 3240 secs || 14889756 markings, 674630632 edges, 3834 markings/sec, 3240 secs
lola: STP completed || 9 tries, 8756240 fired transitions, 3245 secs || 14913587 markings, 675666008 edges, 4766 markings/sec, 3245 secs
lola: STP completed || 9 tries, 8769617 fired transitions, 3250 secs || 14932858 markings, 676671473 edges, 3854 markings/sec, 3250 secs
lola: STP completed || 9 tries, 8782985 fired transitions, 3255 secs || 14951370 markings, 677676014 edges, 3702 markings/sec, 3255 secs
lola: STP completed || 9 tries, 8796278 fired transitions, 3260 secs || 14970848 markings, 678685344 edges, 3896 markings/sec, 3260 secs
lola: STP completed || 9 tries, 8809641 fired transitions, 3265 secs || 14990670 markings, 679699944 edges, 3964 markings/sec, 3265 secs
lola: STP completed || 9 tries, 8822955 fired transitions, 3270 secs || 15010040 markings, 680711449 edges, 3874 markings/sec, 3270 secs
lola: STP completed || 9 tries, 8836315 fired transitions, 3275 secs || 15030249 markings, 681726760 edges, 4042 markings/sec, 3275 secs
lola: STP completed || 9 tries, 8849625 fired transitions, 3280 secs || 15053927 markings, 682759445 edges, 4736 markings/sec, 3280 secs
lola: STP completed || 9 tries, 8862939 fired transitions, 3285 secs || 15073643 markings, 683773573 edges, 3943 markings/sec, 3285 secs
lola: STP completed || 9 tries, 8876304 fired transitions, 3290 secs || 15096636 markings, 684807464 edges, 4599 markings/sec, 3290 secs
lola: STP completed || 9 tries, 8889667 fired transitions, 3295 secs || 15119021 markings, 685832574 edges, 4477 markings/sec, 3295 secs
lola: STP completed || 9 tries, 8903003 fired transitions, 3300 secs || 15144994 markings, 686871742 edges, 5195 markings/sec, 3300 secs
lola: STP completed || 9 tries, 8916324 fired transitions, 3305 secs || 15164942 markings, 687884593 edges, 3990 markings/sec, 3305 secs
lola: STP completed || 9 tries, 8929714 fired transitions, 3310 secs || 15186834 markings, 688908889 edges, 4378 markings/sec, 3310 secs
lola: STP completed || 9 tries, 8943200 fired transitions, 3315 secs || 15208348 markings, 689928614 edges, 4303 markings/sec, 3315 secs
lola: STP completed || 9 tries, 8956447 fired transitions, 3320 secs || 15235536 markings, 690980158 edges, 5438 markings/sec, 3320 secs
lola: STP completed || 9 tries, 8969765 fired transitions, 3325 secs || 15255737 markings, 691992408 edges, 4040 markings/sec, 3325 secs
lola: STP completed || 9 tries, 8983057 fired transitions, 3330 secs || 15281476 markings, 693034059 edges, 5148 markings/sec, 3330 secs
lola: STP completed || 9 tries, 8996426 fired transitions, 3335 secs || 15301882 markings, 694058857 edges, 4081 markings/sec, 3335 secs
lola: STP completed || 10 tries, 9009773 fired transitions, 3340 secs || 15323465 markings, 695085298 edges, 4317 markings/sec, 3340 secs
lola: STP completed || 10 tries, 9023190 fired transitions, 3345 secs || 15347487 markings, 696125778 edges, 4804 markings/sec, 3345 secs
lola: STP completed || 10 tries, 9036529 fired transitions, 3350 secs || 15371102 markings, 697163691 edges, 4723 markings/sec, 3350 secs
lola: STP completed || 10 tries, 9049854 fired transitions, 3355 secs || 15396714 markings, 698210914 edges, 5122 markings/sec, 3355 secs
lola: STP completed || 10 tries, 9063138 fired transitions, 3360 secs || 15419128 markings, 699242352 edges, 4483 markings/sec, 3360 secs
lola: STP completed || 10 tries, 9076603 fired transitions, 3365 secs || 15442055 markings, 700269917 edges, 4585 markings/sec, 3365 secs
lola: STP completed || 10 tries, 9090204 fired transitions, 3370 secs || 15469456 markings, 701329151 edges, 5480 markings/sec, 3370 secs
lola: STP completed || 10 tries, 9103745 fired transitions, 3375 secs || 15496896 markings, 702400302 edges, 5488 markings/sec, 3375 secs
lola: STP completed || 10 tries, 9117197 fired transitions, 3380 secs || 15526603 markings, 703476987 edges, 5941 markings/sec, 3380 secs
lola: STP completed || 10 tries, 9130601 fired transitions, 3385 secs || 15551192 markings, 704512878 edges, 4918 markings/sec, 3385 secs
lola: STP completed || 10 tries, 9143928 fired transitions, 3390 secs || 15572916 markings, 705543528 edges, 4345 markings/sec, 3390 secs
lola: STP completed || 10 tries, 9157248 fired transitions, 3395 secs || 15597297 markings, 706584659 edges, 4876 markings/sec, 3395 secs
lola: STP completed || 10 tries, 9170634 fired transitions, 3400 secs || 15622562 markings, 707625654 edges, 5053 markings/sec, 3400 secs
lola: STP completed || 10 tries, 9183977 fired transitions, 3405 secs || 15645575 markings, 708662300 edges, 4603 markings/sec, 3405 secs
lola: STP completed || 10 tries, 9197309 fired transitions, 3410 secs || 15668095 markings, 709695999 edges, 4504 markings/sec, 3410 secs
lola: STP completed || 10 tries, 9210529 fired transitions, 3415 secs || 15696491 markings, 710748512 edges, 5679 markings/sec, 3415 secs
lola: STP completed || 10 tries, 9223875 fired transitions, 3420 secs || 15726938 markings, 711815346 edges, 6089 markings/sec, 3420 secs
lola: STP completed || 10 tries, 9237467 fired transitions, 3425 secs || 15750384 markings, 712861269 edges, 4689 markings/sec, 3425 secs
lola: STP completed || 10 tries, 9250969 fired transitions, 3430 secs || 15777758 markings, 713926754 edges, 5475 markings/sec, 3430 secs
lola: STP completed || 10 tries, 9264409 fired transitions, 3435 secs || 15801622 markings, 714978930 edges, 4773 markings/sec, 3435 secs
lola: STP completed || 10 tries, 9277754 fired transitions, 3440 secs || 15821593 markings, 715994581 edges, 3994 markings/sec, 3440 secs
lola: STP completed || 10 tries, 9291165 fired transitions, 3445 secs || 15841592 markings, 717002056 edges, 4000 markings/sec, 3445 secs
lola: STP completed || 10 tries, 9304549 fired transitions, 3450 secs || 15866502 markings, 718039197 edges, 4982 markings/sec, 3450 secs
lola: STP completed || 10 tries, 9317845 fired transitions, 3455 secs || 15894703 markings, 719103028 edges, 5640 markings/sec, 3455 secs
lola: STP completed || 10 tries, 9331159 fired transitions, 3460 secs || 15921534 markings, 720157151 edges, 5366 markings/sec, 3460 secs
lola: STP completed || 10 tries, 9344539 fired transitions, 3465 secs || 15944666 markings, 721182411 edges, 4626 markings/sec, 3465 secs
lola: STP completed || 10 tries, 9357901 fired transitions, 3470 secs || 15966909 markings, 722208264 edges, 4449 markings/sec, 3470 secs
lola: STP completed || 10 tries, 9371185 fired transitions, 3475 secs || 15993739 markings, 723254347 edges, 5366 markings/sec, 3475 secs
lola: STP completed || 10 tries, 9384531 fired transitions, 3480 secs || 16016757 markings, 724294084 edges, 4604 markings/sec, 3480 secs
lola: STP completed || 10 tries, 9397840 fired transitions, 3485 secs || 16038602 markings, 725315063 edges, 4369 markings/sec, 3485 secs
lola: STP completed || 10 tries, 9411339 fired transitions, 3490 secs || 16062237 markings, 726342465 edges, 4727 markings/sec, 3490 secs
lola: STP completed || 10 tries, 9424748 fired transitions, 3495 secs || 16086569 markings, 727381227 edges, 4866 markings/sec, 3495 secs
lola: STP completed || 10 tries, 9438363 fired transitions, 3500 secs || 16109308 markings, 728436722 edges, 4548 markings/sec, 3500 secs
lola: STP completed || 10 tries, 9451989 fired transitions, 3505 secs || 16129696 markings, 729466964 edges, 4078 markings/sec, 3505 secs
lola: STP completed || 10 tries, 9465540 fired transitions, 3510 secs || 16149595 markings, 730489260 edges, 3980 markings/sec, 3510 secs
lola: STP completed || 10 tries, 9478832 fired transitions, 3515 secs || 16172752 markings, 731514322 edges, 4631 markings/sec, 3515 secs
lola: STP completed || 10 tries, 9492148 fired transitions, 3520 secs || 16196831 markings, 732547464 edges, 4816 markings/sec, 3520 secs
lola: STP completed || 10 tries, 9505510 fired transitions, 3525 secs || 16217762 markings, 733571767 edges, 4186 markings/sec, 3525 secs
lola: STP completed || 10 tries, 9518838 fired transitions, 3530 secs || 16242118 markings, 734604116 edges, 4871 markings/sec, 3530 secs
lola: STP completed || 10 tries, 9532187 fired transitions, 3535 secs || 16266937 markings, 735644838 edges, 4964 markings/sec, 3535 secs
lola: STP completed || 10 tries, 9545541 fired transitions, 3540 secs || 16288391 markings, 736669639 edges, 4291 markings/sec, 3540 secs
lola: STP completed || 10 tries, 9558888 fired transitions, 3545 secs || 16310579 markings, 737698525 edges, 4438 markings/sec, 3545 secs
lola: STP completed || 10 tries, 9572167 fired transitions, 3550 secs || 16332523 markings, 738720469 edges, 4389 markings/sec, 3550 secs
lola: STP completed || 10 tries, 9585503 fired transitions, 3555 secs || 16351801 markings, 739727105 edges, 3856 markings/sec, 3555 secs
lola: STP completed || 10 tries, 9598982 fired transitions, 3560 secs || 16373868 markings, 740749926 edges, 4413 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 6075620 KB
lola: time consumption: 3570 seconds
BK_STOP 1526637982893
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-09a"
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-09a.tgz
mv DLCround-PT-09a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-09a, 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 r064-smll-152649735200090"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;