About the Execution of LoLA for TokenRing-PT-015
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 445.330 | 3570507.00 | 7208247.00 | 8892.40 | [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 19M
-rw-r--r-- 1 mcc users 127K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 420K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.5M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 33K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 98K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 573K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 145K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 479K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.7M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.7M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 30K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 2.6M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TokenRing-PT-015, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743200328
=====================================================================
--------------------
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 TokenRing-PT-015-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527331355366
info: Time: 3600 - MCC
===========================================================================================
prep: translating TokenRing-PT-015 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TokenRing-PT-015 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ TokenRing-PT-015 @ 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: 3872/65536 symbol table entries, 105 collisions
lola: preprocessing...
lola: Size of bit vector: 8192
lola: finding significant places
lola: 256 places, 3616 transitions, 240 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3872 transition conflict sets
lola: TASK
lola: reading formula from TokenRing-PT-015-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 49826 variables and 225716 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 7021 fired transitions, 0 secs || 6653 markings, 23038 edges, 1331 markings/sec, 0 secs
lola: STP completed || 1 tries, 14067 fired transitions, 5 secs || 13367 markings, 48639 edges, 1343 markings/sec, 5 secs
lola: STP completed || 1 tries, 21003 fired transitions, 10 secs || 20146 markings, 75414 edges, 1356 markings/sec, 10 secs
lola: STP completed || 1 tries, 27934 fired transitions, 15 secs || 26848 markings, 108316 edges, 1340 markings/sec, 15 secs
lola: STP completed || 1 tries, 34867 fired transitions, 20 secs || 33565 markings, 140716 edges, 1343 markings/sec, 20 secs
lola: STP completed || 1 tries, 41941 fired transitions, 25 secs || 40496 markings, 167470 edges, 1386 markings/sec, 25 secs
lola: STP completed || 1 tries, 49135 fired transitions, 30 secs || 47012 markings, 199155 edges, 1303 markings/sec, 30 secs
lola: STP completed || 1 tries, 56341 fired transitions, 35 secs || 53488 markings, 227608 edges, 1295 markings/sec, 35 secs
lola: STP completed || 1 tries, 63546 fired transitions, 40 secs || 60060 markings, 258309 edges, 1314 markings/sec, 40 secs
lola: STP completed || 1 tries, 70716 fired transitions, 45 secs || 66827 markings, 291714 edges, 1353 markings/sec, 45 secs
lola: STP completed || 1 tries, 77890 fired transitions, 50 secs || 73576 markings, 327585 edges, 1350 markings/sec, 50 secs
lola: STP completed || 1 tries, 85066 fired transitions, 55 secs || 80278 markings, 365990 edges, 1340 markings/sec, 55 secs
lola: STP completed || 1 tries, 92244 fired transitions, 60 secs || 86977 markings, 404309 edges, 1340 markings/sec, 60 secs
lola: STP completed || 1 tries, 99424 fired transitions, 65 secs || 93747 markings, 438663 edges, 1354 markings/sec, 65 secs
lola: STP completed || 1 tries, 106607 fired transitions, 70 secs || 100522 markings, 473941 edges, 1355 markings/sec, 70 secs
lola: STP completed || 1 tries, 113703 fired transitions, 75 secs || 107361 markings, 500161 edges, 1368 markings/sec, 75 secs
lola: STP completed || 1 tries, 120827 fired transitions, 80 secs || 114194 markings, 530150 edges, 1367 markings/sec, 80 secs
lola: STP completed || 1 tries, 127960 fired transitions, 85 secs || 121016 markings, 562461 edges, 1364 markings/sec, 85 secs
lola: STP completed || 1 tries, 135089 fired transitions, 90 secs || 127860 markings, 594378 edges, 1369 markings/sec, 90 secs
lola: STP completed || 1 tries, 142220 fired transitions, 95 secs || 134675 markings, 627225 edges, 1363 markings/sec, 95 secs
lola: STP completed || 1 tries, 149354 fired transitions, 100 secs || 141471 markings, 663423 edges, 1359 markings/sec, 100 secs
lola: STP completed || 1 tries, 156495 fired transitions, 105 secs || 148214 markings, 703926 edges, 1349 markings/sec, 105 secs
lola: STP completed || 1 tries, 163627 fired transitions, 110 secs || 155092 markings, 735428 edges, 1376 markings/sec, 110 secs
lola: STP completed || 1 tries, 170771 fired transitions, 115 secs || 161963 markings, 766395 edges, 1374 markings/sec, 115 secs
lola: STP completed || 1 tries, 177922 fired transitions, 120 secs || 168800 markings, 799952 edges, 1367 markings/sec, 120 secs
lola: STP completed || 1 tries, 185064 fired transitions, 125 secs || 175673 markings, 831200 edges, 1375 markings/sec, 125 secs
lola: STP completed || 1 tries, 192197 fired transitions, 130 secs || 182495 markings, 865413 edges, 1364 markings/sec, 130 secs
lola: STP completed || 1 tries, 199351 fired transitions, 135 secs || 189257 markings, 899026 edges, 1352 markings/sec, 135 secs
lola: STP completed || 1 tries, 206566 fired transitions, 140 secs || 195745 markings, 933614 edges, 1298 markings/sec, 140 secs
lola: STP completed || 1 tries, 213781 fired transitions, 145 secs || 202193 markings, 971174 edges, 1290 markings/sec, 145 secs
lola: STP completed || 1 tries, 220985 fired transitions, 150 secs || 208718 markings, 1010669 edges, 1305 markings/sec, 150 secs
lola: STP completed || 1 tries, 228171 fired transitions, 155 secs || 215464 markings, 1047340 edges, 1349 markings/sec, 155 secs
lola: STP completed || 1 tries, 235345 fired transitions, 160 secs || 222232 markings, 1080350 edges, 1354 markings/sec, 160 secs
lola: STP completed || 1 tries, 242519 fired transitions, 165 secs || 228929 markings, 1118797 edges, 1339 markings/sec, 165 secs
lola: STP completed || 1 tries, 249701 fired transitions, 170 secs || 235631 markings, 1156312 edges, 1340 markings/sec, 170 secs
lola: STP completed || 1 tries, 256889 fired transitions, 175 secs || 242336 markings, 1193735 edges, 1341 markings/sec, 175 secs
lola: STP completed || 1 tries, 264064 fired transitions, 180 secs || 249083 markings, 1228100 edges, 1349 markings/sec, 180 secs
lola: STP completed || 1 tries, 271239 fired transitions, 185 secs || 255791 markings, 1265939 edges, 1342 markings/sec, 185 secs
lola: STP completed || 1 tries, 278422 fired transitions, 190 secs || 262471 markings, 1305937 edges, 1336 markings/sec, 190 secs
lola: STP completed || 1 tries, 285604 fired transitions, 195 secs || 269181 markings, 1344936 edges, 1342 markings/sec, 195 secs
lola: STP completed || 1 tries, 292785 fired transitions, 200 secs || 275873 markings, 1384761 edges, 1338 markings/sec, 200 secs
lola: STP completed || 1 tries, 299970 fired transitions, 205 secs || 282550 markings, 1427534 edges, 1335 markings/sec, 205 secs
lola: STP completed || 1 tries, 307154 fired transitions, 210 secs || 289226 markings, 1472620 edges, 1335 markings/sec, 210 secs
lola: STP completed || 1 tries, 314343 fired transitions, 215 secs || 295883 markings, 1518620 edges, 1331 markings/sec, 215 secs
lola: STP completed || 1 tries, 321529 fired transitions, 220 secs || 302593 markings, 1562429 edges, 1342 markings/sec, 220 secs
lola: STP completed || 1 tries, 328715 fired transitions, 225 secs || 309335 markings, 1604364 edges, 1348 markings/sec, 225 secs
lola: STP completed || 1 tries, 335896 fired transitions, 230 secs || 316136 markings, 1640622 edges, 1360 markings/sec, 230 secs
lola: STP completed || 1 tries, 343074 fired transitions, 235 secs || 322947 markings, 1676630 edges, 1362 markings/sec, 235 secs
lola: STP completed || 1 tries, 350270 fired transitions, 240 secs || 329826 markings, 1708040 edges, 1376 markings/sec, 240 secs
lola: STP completed || 1 tries, 357468 fired transitions, 245 secs || 336661 markings, 1738916 edges, 1367 markings/sec, 245 secs
lola: STP completed || 1 tries, 364674 fired transitions, 250 secs || 343487 markings, 1770299 edges, 1365 markings/sec, 250 secs
lola: STP completed || 1 tries, 371876 fired transitions, 255 secs || 350304 markings, 1801640 edges, 1363 markings/sec, 255 secs
lola: STP completed || 1 tries, 379082 fired transitions, 260 secs || 357096 markings, 1833751 edges, 1358 markings/sec, 260 secs
lola: STP completed || 1 tries, 386290 fired transitions, 265 secs || 363856 markings, 1867685 edges, 1352 markings/sec, 265 secs
lola: STP completed || 1 tries, 393497 fired transitions, 270 secs || 370619 markings, 1905709 edges, 1353 markings/sec, 270 secs
lola: STP completed || 1 tries, 400708 fired transitions, 275 secs || 377373 markings, 1944332 edges, 1351 markings/sec, 275 secs
lola: STP completed || 1 tries, 407923 fired transitions, 280 secs || 384155 markings, 1981257 edges, 1356 markings/sec, 280 secs
lola: STP completed || 1 tries, 415125 fired transitions, 285 secs || 390996 markings, 2012789 edges, 1368 markings/sec, 285 secs
lola: STP completed || 1 tries, 422326 fired transitions, 290 secs || 397830 markings, 2044278 edges, 1367 markings/sec, 290 secs
lola: STP completed || 1 tries, 429530 fired transitions, 295 secs || 404563 markings, 2080731 edges, 1347 markings/sec, 295 secs
lola: STP completed || 1 tries, 436743 fired transitions, 300 secs || 411260 markings, 2117748 edges, 1339 markings/sec, 300 secs
lola: STP completed || 1 tries, 443953 fired transitions, 305 secs || 418002 markings, 2154048 edges, 1348 markings/sec, 305 secs
lola: STP completed || 1 tries, 451172 fired transitions, 310 secs || 424766 markings, 2191332 edges, 1353 markings/sec, 310 secs
lola: STP completed || 1 tries, 458378 fired transitions, 315 secs || 431598 markings, 2223567 edges, 1366 markings/sec, 315 secs
lola: STP completed || 1 tries, 465586 fired transitions, 320 secs || 438378 markings, 2259668 edges, 1356 markings/sec, 320 secs
lola: STP completed || 1 tries, 472797 fired transitions, 325 secs || 445096 markings, 2299716 edges, 1344 markings/sec, 325 secs
lola: STP completed || 1 tries, 480005 fired transitions, 330 secs || 451830 markings, 2333987 edges, 1347 markings/sec, 330 secs
lola: STP completed || 1 tries, 487220 fired transitions, 335 secs || 458494 markings, 2373231 edges, 1333 markings/sec, 335 secs
lola: STP completed || 1 tries, 494432 fired transitions, 340 secs || 465183 markings, 2411761 edges, 1338 markings/sec, 340 secs
lola: STP completed || 1 tries, 501642 fired transitions, 345 secs || 471867 markings, 2450611 edges, 1337 markings/sec, 345 secs
lola: STP completed || 1 tries, 508856 fired transitions, 350 secs || 478537 markings, 2490511 edges, 1334 markings/sec, 350 secs
lola: STP completed || 1 tries, 516068 fired transitions, 355 secs || 485190 markings, 2533000 edges, 1331 markings/sec, 355 secs
lola: STP completed || 1 tries, 523285 fired transitions, 360 secs || 491804 markings, 2577570 edges, 1323 markings/sec, 360 secs
lola: STP completed || 1 tries, 530508 fired transitions, 365 secs || 498405 markings, 2623299 edges, 1320 markings/sec, 365 secs
lola: STP completed || 1 tries, 537722 fired transitions, 370 secs || 505090 markings, 2664218 edges, 1337 markings/sec, 370 secs
lola: STP completed || 1 tries, 544936 fired transitions, 375 secs || 511832 markings, 2699632 edges, 1348 markings/sec, 375 secs
lola: STP completed || 1 tries, 552150 fired transitions, 380 secs || 518545 markings, 2737635 edges, 1343 markings/sec, 380 secs
lola: STP completed || 1 tries, 559363 fired transitions, 385 secs || 525259 markings, 2776323 edges, 1343 markings/sec, 385 secs
lola: STP completed || 1 tries, 566572 fired transitions, 390 secs || 532016 markings, 2813819 edges, 1351 markings/sec, 390 secs
lola: STP completed || 1 tries, 573253 fired transitions, 395 secs || 538840 markings, 2847684 edges, 1365 markings/sec, 395 secs
lola: STP completed || 1 tries, 580453 fired transitions, 400 secs || 545729 markings, 2879963 edges, 1378 markings/sec, 400 secs
lola: STP completed || 1 tries, 587657 fired transitions, 405 secs || 552550 markings, 2917991 edges, 1364 markings/sec, 405 secs
lola: STP completed || 1 tries, 594867 fired transitions, 410 secs || 559359 markings, 2956732 edges, 1362 markings/sec, 410 secs
lola: STP completed || 1 tries, 602067 fired transitions, 415 secs || 566202 markings, 2993240 edges, 1369 markings/sec, 415 secs
lola: STP completed || 1 tries, 609264 fired transitions, 420 secs || 573028 markings, 3030530 edges, 1365 markings/sec, 420 secs
lola: STP completed || 1 tries, 616234 fired transitions, 425 secs || 579710 markings, 3068828 edges, 1336 markings/sec, 425 secs
lola: STP completed || 1 tries, 623125 fired transitions, 430 secs || 586274 markings, 3112476 edges, 1313 markings/sec, 430 secs
lola: STP completed || 1 tries, 630028 fired transitions, 435 secs || 592846 markings, 3155018 edges, 1314 markings/sec, 435 secs
lola: STP completed || 1 tries, 636924 fired transitions, 440 secs || 599445 markings, 3195838 edges, 1320 markings/sec, 440 secs
lola: STP completed || 1 tries, 643828 fired transitions, 445 secs || 606042 markings, 3235679 edges, 1319 markings/sec, 445 secs
lola: STP completed || 1 tries, 650731 fired transitions, 450 secs || 612658 markings, 3275212 edges, 1323 markings/sec, 450 secs
lola: STP completed || 1 tries, 657623 fired transitions, 455 secs || 619302 markings, 3312220 edges, 1329 markings/sec, 455 secs
lola: STP completed || 1 tries, 664513 fired transitions, 460 secs || 625954 markings, 3347494 edges, 1330 markings/sec, 460 secs
lola: STP completed || 1 tries, 671408 fired transitions, 465 secs || 632581 markings, 3383572 edges, 1325 markings/sec, 465 secs
lola: STP completed || 1 tries, 678299 fired transitions, 470 secs || 639218 markings, 3421014 edges, 1327 markings/sec, 470 secs
lola: STP completed || 1 tries, 685242 fired transitions, 475 secs || 645868 markings, 3460253 edges, 1330 markings/sec, 475 secs
lola: STP completed || 1 tries, 692484 fired transitions, 480 secs || 652731 markings, 3505812 edges, 1373 markings/sec, 480 secs
lola: STP completed || 1 tries, 699737 fired transitions, 485 secs || 659638 markings, 3548405 edges, 1381 markings/sec, 485 secs
lola: STP completed || 1 tries, 706947 fired transitions, 490 secs || 666537 markings, 3587679 edges, 1380 markings/sec, 490 secs
lola: STP completed || 1 tries, 714150 fired transitions, 495 secs || 673414 markings, 3628893 edges, 1375 markings/sec, 495 secs
lola: STP completed || 1 tries, 721321 fired transitions, 500 secs || 680170 markings, 3672863 edges, 1351 markings/sec, 500 secs
lola: STP completed || 1 tries, 728493 fired transitions, 505 secs || 686929 markings, 3716529 edges, 1352 markings/sec, 505 secs
lola: STP completed || 1 tries, 735679 fired transitions, 510 secs || 693710 markings, 3758446 edges, 1356 markings/sec, 510 secs
lola: STP completed || 1 tries, 742842 fired transitions, 515 secs || 700492 markings, 3800569 edges, 1356 markings/sec, 515 secs
lola: STP completed || 1 tries, 749993 fired transitions, 520 secs || 707249 markings, 3844521 edges, 1351 markings/sec, 520 secs
lola: STP completed || 1 tries, 757162 fired transitions, 525 secs || 714000 markings, 3887957 edges, 1350 markings/sec, 525 secs
lola: STP completed || 1 tries, 764321 fired transitions, 530 secs || 720760 markings, 3931963 edges, 1352 markings/sec, 530 secs
lola: STP completed || 1 tries, 771495 fired transitions, 535 secs || 727509 markings, 3977356 edges, 1350 markings/sec, 535 secs
lola: STP completed || 1 tries, 778699 fired transitions, 540 secs || 734227 markings, 4023133 edges, 1344 markings/sec, 540 secs
lola: STP completed || 1 tries, 785907 fired transitions, 545 secs || 740921 markings, 4072502 edges, 1339 markings/sec, 545 secs
lola: STP completed || 1 tries, 793068 fired transitions, 550 secs || 747601 markings, 4123187 edges, 1336 markings/sec, 550 secs
lola: STP completed || 1 tries, 800206 fired transitions, 555 secs || 754319 markings, 4171567 edges, 1344 markings/sec, 555 secs
lola: STP completed || 1 tries, 807390 fired transitions, 560 secs || 761013 markings, 4221907 edges, 1339 markings/sec, 560 secs
lola: STP completed || 1 tries, 814565 fired transitions, 565 secs || 767787 markings, 4266961 edges, 1355 markings/sec, 565 secs
lola: STP completed || 1 tries, 821741 fired transitions, 570 secs || 774604 markings, 4306859 edges, 1363 markings/sec, 570 secs
lola: STP completed || 1 tries, 828952 fired transitions, 575 secs || 781408 markings, 4347559 edges, 1361 markings/sec, 575 secs
lola: STP completed || 1 tries, 836149 fired transitions, 580 secs || 788186 markings, 4389360 edges, 1356 markings/sec, 580 secs
lola: STP completed || 1 tries, 843307 fired transitions, 585 secs || 794946 markings, 4435465 edges, 1352 markings/sec, 585 secs
lola: STP completed || 1 tries, 850394 fired transitions, 590 secs || 801677 markings, 4477241 edges, 1346 markings/sec, 590 secs
lola: STP completed || 1 tries, 857342 fired transitions, 595 secs || 808294 markings, 4520952 edges, 1323 markings/sec, 595 secs
lola: STP completed || 1 tries, 864292 fired transitions, 600 secs || 814991 markings, 4555504 edges, 1339 markings/sec, 600 secs
lola: STP completed || 1 tries, 870983 fired transitions, 605 secs || 821810 markings, 4594539 edges, 1364 markings/sec, 605 secs
lola: STP completed || 1 tries, 878195 fired transitions, 610 secs || 828614 markings, 4635687 edges, 1361 markings/sec, 610 secs
lola: STP completed || 1 tries, 885408 fired transitions, 615 secs || 835400 markings, 4679380 edges, 1357 markings/sec, 615 secs
lola: STP completed || 1 tries, 892617 fired transitions, 620 secs || 842225 markings, 4721586 edges, 1365 markings/sec, 620 secs
lola: STP completed || 1 tries, 899823 fired transitions, 625 secs || 849095 markings, 4757438 edges, 1374 markings/sec, 625 secs
lola: STP completed || 1 tries, 907031 fired transitions, 630 secs || 855935 markings, 4797881 edges, 1368 markings/sec, 630 secs
lola: STP completed || 1 tries, 914231 fired transitions, 635 secs || 862818 markings, 4834245 edges, 1377 markings/sec, 635 secs
lola: STP completed || 1 tries, 921273 fired transitions, 640 secs || 869630 markings, 4866850 edges, 1362 markings/sec, 640 secs
lola: STP completed || 1 tries, 928143 fired transitions, 645 secs || 876278 markings, 4904474 edges, 1330 markings/sec, 645 secs
lola: STP completed || 1 tries, 935011 fired transitions, 650 secs || 882974 markings, 4938193 edges, 1339 markings/sec, 650 secs
lola: STP completed || 1 tries, 941883 fired transitions, 655 secs || 889665 markings, 4972581 edges, 1338 markings/sec, 655 secs
lola: STP completed || 1 tries, 948788 fired transitions, 660 secs || 896314 markings, 5010452 edges, 1330 markings/sec, 660 secs
lola: STP completed || 1 tries, 955725 fired transitions, 665 secs || 902973 markings, 5046615 edges, 1332 markings/sec, 665 secs
lola: STP completed || 1 tries, 962665 fired transitions, 670 secs || 909609 markings, 5084835 edges, 1327 markings/sec, 670 secs
lola: STP completed || 1 tries, 969601 fired transitions, 675 secs || 916239 markings, 5124125 edges, 1326 markings/sec, 675 secs
lola: STP completed || 1 tries, 976542 fired transitions, 680 secs || 922808 markings, 5168714 edges, 1314 markings/sec, 680 secs
lola: STP completed || 1 tries, 983492 fired transitions, 685 secs || 929427 markings, 5210684 edges, 1324 markings/sec, 685 secs
lola: STP completed || 1 tries, 990428 fired transitions, 690 secs || 936084 markings, 5247008 edges, 1331 markings/sec, 690 secs
lola: STP completed || 1 tries, 997361 fired transitions, 695 secs || 942729 markings, 5283687 edges, 1329 markings/sec, 695 secs
lola: STP completed || 2 tries, 1003863 fired transitions, 700 secs || 949513 markings, 5326726 edges, 1357 markings/sec, 700 secs
lola: STP completed || 2 tries, 1011063 fired transitions, 705 secs || 956286 markings, 5369594 edges, 1355 markings/sec, 705 secs
lola: STP completed || 2 tries, 1018264 fired transitions, 710 secs || 963103 markings, 5408723 edges, 1363 markings/sec, 710 secs
lola: STP completed || 2 tries, 1025462 fired transitions, 715 secs || 969913 markings, 5447651 edges, 1362 markings/sec, 715 secs
lola: STP completed || 2 tries, 1032662 fired transitions, 720 secs || 976664 markings, 5491967 edges, 1350 markings/sec, 720 secs
lola: STP completed || 2 tries, 1039863 fired transitions, 725 secs || 983455 markings, 5535006 edges, 1358 markings/sec, 725 secs
lola: STP completed || 2 tries, 1047058 fired transitions, 730 secs || 990231 markings, 5576961 edges, 1355 markings/sec, 730 secs
lola: STP completed || 2 tries, 1054258 fired transitions, 735 secs || 997001 markings, 5619831 edges, 1354 markings/sec, 735 secs
lola: STP completed || 2 tries, 1061460 fired transitions, 740 secs || 1003742 markings, 5665612 edges, 1348 markings/sec, 740 secs
lola: STP completed || 2 tries, 1068663 fired transitions, 745 secs || 1010487 markings, 5711559 edges, 1349 markings/sec, 745 secs
lola: STP completed || 2 tries, 1075868 fired transitions, 750 secs || 1017188 markings, 5761681 edges, 1340 markings/sec, 750 secs
lola: STP completed || 2 tries, 1083078 fired transitions, 755 secs || 1023885 markings, 5813641 edges, 1339 markings/sec, 755 secs
lola: STP completed || 2 tries, 1090278 fired transitions, 760 secs || 1030698 markings, 5854819 edges, 1363 markings/sec, 760 secs
lola: STP completed || 2 tries, 1097487 fired transitions, 765 secs || 1037476 markings, 5900996 edges, 1356 markings/sec, 765 secs
lola: STP completed || 2 tries, 1104687 fired transitions, 770 secs || 1044296 markings, 5942090 edges, 1364 markings/sec, 770 secs
lola: STP completed || 2 tries, 1111893 fired transitions, 775 secs || 1051127 markings, 5983096 edges, 1366 markings/sec, 775 secs
lola: STP completed || 2 tries, 1119087 fired transitions, 780 secs || 1057980 markings, 6018996 edges, 1371 markings/sec, 780 secs
lola: STP completed || 2 tries, 1126282 fired transitions, 785 secs || 1064802 markings, 6057940 edges, 1364 markings/sec, 785 secs
lola: STP completed || 2 tries, 1133483 fired transitions, 790 secs || 1071564 markings, 6101831 edges, 1352 markings/sec, 790 secs
lola: STP completed || 2 tries, 1140685 fired transitions, 795 secs || 1078349 markings, 6143870 edges, 1357 markings/sec, 795 secs
lola: STP completed || 2 tries, 1147886 fired transitions, 800 secs || 1085161 markings, 6183653 edges, 1362 markings/sec, 800 secs
lola: STP completed || 2 tries, 1155021 fired transitions, 805 secs || 1091984 markings, 6224966 edges, 1365 markings/sec, 805 secs
lola: STP completed || 2 tries, 1162132 fired transitions, 810 secs || 1098832 markings, 6263320 edges, 1370 markings/sec, 810 secs
lola: STP completed || 2 tries, 1169241 fired transitions, 815 secs || 1105610 markings, 6306972 edges, 1356 markings/sec, 815 secs
lola: STP completed || 2 tries, 1176351 fired transitions, 820 secs || 1112397 markings, 6349442 edges, 1357 markings/sec, 820 secs
lola: STP completed || 2 tries, 1183510 fired transitions, 825 secs || 1119168 markings, 6397225 edges, 1354 markings/sec, 825 secs
lola: STP completed || 2 tries, 1190806 fired transitions, 830 secs || 1125999 markings, 6446912 edges, 1366 markings/sec, 830 secs
lola: STP completed || 2 tries, 1198104 fired transitions, 835 secs || 1132857 markings, 6493852 edges, 1372 markings/sec, 835 secs
lola: STP completed || 2 tries, 1205380 fired transitions, 840 secs || 1139742 markings, 6539281 edges, 1377 markings/sec, 840 secs
lola: STP completed || 2 tries, 1212619 fired transitions, 845 secs || 1146625 markings, 6585733 edges, 1377 markings/sec, 845 secs
lola: STP completed || 2 tries, 1219862 fired transitions, 850 secs || 1153526 markings, 6630761 edges, 1380 markings/sec, 850 secs
lola: STP completed || 2 tries, 1227031 fired transitions, 855 secs || 1160304 markings, 6676463 edges, 1356 markings/sec, 855 secs
lola: STP completed || 2 tries, 1234232 fired transitions, 860 secs || 1167096 markings, 6719997 edges, 1358 markings/sec, 860 secs
lola: STP completed || 2 tries, 1241432 fired transitions, 865 secs || 1173908 markings, 6760279 edges, 1362 markings/sec, 865 secs
lola: STP completed || 2 tries, 1248627 fired transitions, 870 secs || 1180725 markings, 6798998 edges, 1363 markings/sec, 870 secs
lola: STP completed || 2 tries, 1255829 fired transitions, 875 secs || 1187485 markings, 6843658 edges, 1352 markings/sec, 875 secs
lola: STP completed || 2 tries, 1263034 fired transitions, 880 secs || 1194266 markings, 6887576 edges, 1356 markings/sec, 880 secs
lola: STP completed || 2 tries, 1270237 fired transitions, 885 secs || 1201081 markings, 6929406 edges, 1363 markings/sec, 885 secs
lola: STP completed || 2 tries, 1277435 fired transitions, 890 secs || 1207848 markings, 6973272 edges, 1353 markings/sec, 890 secs
lola: STP completed || 2 tries, 1284635 fired transitions, 895 secs || 1214599 markings, 7017978 edges, 1350 markings/sec, 895 secs
lola: STP completed || 2 tries, 1291839 fired transitions, 900 secs || 1221299 markings, 7067325 edges, 1340 markings/sec, 900 secs
lola: STP completed || 2 tries, 1299047 fired transitions, 905 secs || 1228017 markings, 7117464 edges, 1344 markings/sec, 905 secs
lola: STP completed || 2 tries, 1306255 fired transitions, 910 secs || 1234762 markings, 7164683 edges, 1349 markings/sec, 910 secs
lola: STP completed || 2 tries, 1313463 fired transitions, 915 secs || 1241532 markings, 7212208 edges, 1354 markings/sec, 915 secs
lola: STP completed || 2 tries, 1320617 fired transitions, 920 secs || 1248304 markings, 7252112 edges, 1354 markings/sec, 920 secs
lola: STP completed || 2 tries, 1327564 fired transitions, 925 secs || 1254867 markings, 7296770 edges, 1313 markings/sec, 925 secs
lola: STP completed || 2 tries, 1334507 fired transitions, 930 secs || 1261425 markings, 7341057 edges, 1312 markings/sec, 930 secs
lola: STP completed || 2 tries, 1341452 fired transitions, 935 secs || 1267933 markings, 7390740 edges, 1302 markings/sec, 935 secs
lola: STP completed || 2 tries, 1348394 fired transitions, 940 secs || 1274517 markings, 7434810 edges, 1317 markings/sec, 940 secs
lola: STP completed || 2 tries, 1355344 fired transitions, 945 secs || 1281088 markings, 7478696 edges, 1314 markings/sec, 945 secs
lola: STP completed || 2 tries, 1361890 fired transitions, 950 secs || 1287824 markings, 7526329 edges, 1347 markings/sec, 950 secs
lola: STP completed || 2 tries, 1369103 fired transitions, 955 secs || 1294523 markings, 7576611 edges, 1340 markings/sec, 955 secs
lola: STP completed || 2 tries, 1376318 fired transitions, 960 secs || 1301212 markings, 7627389 edges, 1338 markings/sec, 960 secs
lola: STP completed || 2 tries, 1383524 fired transitions, 965 secs || 1307891 markings, 7673601 edges, 1336 markings/sec, 965 secs
lola: STP completed || 2 tries, 1390736 fired transitions, 970 secs || 1314539 markings, 7723667 edges, 1330 markings/sec, 970 secs
lola: STP completed || 2 tries, 1397947 fired transitions, 975 secs || 1321178 markings, 7775839 edges, 1328 markings/sec, 975 secs
lola: STP completed || 2 tries, 1405160 fired transitions, 980 secs || 1327800 markings, 7827431 edges, 1324 markings/sec, 980 secs
lola: STP completed || 2 tries, 1412372 fired transitions, 985 secs || 1334408 markings, 7882498 edges, 1322 markings/sec, 985 secs
lola: STP completed || 2 tries, 1419588 fired transitions, 990 secs || 1340982 markings, 7940165 edges, 1315 markings/sec, 990 secs
lola: STP completed || 2 tries, 1426739 fired transitions, 995 secs || 1347626 markings, 7973307 edges, 1329 markings/sec, 995 secs
lola: STP completed || 2 tries, 1433774 fired transitions, 1000 secs || 1354223 markings, 8004369 edges, 1319 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1441006 fired transitions, 1005 secs || 1360425 markings, 8031728 edges, 1240 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1448241 fired transitions, 1010 secs || 1367101 markings, 8063910 edges, 1335 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1455463 fired transitions, 1015 secs || 1373840 markings, 8095233 edges, 1348 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1462686 fired transitions, 1020 secs || 1380658 markings, 8130917 edges, 1364 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1469882 fired transitions, 1025 secs || 1387378 markings, 8170167 edges, 1344 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1476921 fired transitions, 1030 secs || 1393900 markings, 8207563 edges, 1304 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1484160 fired transitions, 1035 secs || 1400221 markings, 8242640 edges, 1264 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1491358 fired transitions, 1040 secs || 1407004 markings, 8273156 edges, 1357 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1498587 fired transitions, 1045 secs || 1413743 markings, 8305880 edges, 1348 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1505814 fired transitions, 1050 secs || 1420441 markings, 8342509 edges, 1340 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1512866 fired transitions, 1055 secs || 1427015 markings, 8378870 edges, 1315 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1520214 fired transitions, 1060 secs || 1433912 markings, 8414283 edges, 1379 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1527572 fired transitions, 1065 secs || 1440828 markings, 8448180 edges, 1383 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1534925 fired transitions, 1070 secs || 1447722 markings, 8484637 edges, 1379 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1542291 fired transitions, 1075 secs || 1454558 markings, 8525179 edges, 1367 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1549530 fired transitions, 1080 secs || 1461236 markings, 8563909 edges, 1336 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1556881 fired transitions, 1085 secs || 1468133 markings, 8600008 edges, 1379 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1564241 fired transitions, 1090 secs || 1474977 markings, 8640758 edges, 1369 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1571576 fired transitions, 1095 secs || 1481725 markings, 8681597 edges, 1350 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1578807 fired transitions, 1100 secs || 1488395 markings, 8720700 edges, 1334 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1586154 fired transitions, 1105 secs || 1495210 markings, 8762257 edges, 1363 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1593516 fired transitions, 1110 secs || 1502020 markings, 8807188 edges, 1362 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1600766 fired transitions, 1115 secs || 1508524 markings, 8852163 edges, 1301 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1608124 fired transitions, 1120 secs || 1515256 markings, 8899011 edges, 1346 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1615480 fired transitions, 1125 secs || 1522076 markings, 8937937 edges, 1364 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1622829 fired transitions, 1130 secs || 1528950 markings, 8971256 edges, 1375 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1630176 fired transitions, 1135 secs || 1535749 markings, 9010562 edges, 1360 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1637535 fired transitions, 1140 secs || 1542595 markings, 9046350 edges, 1369 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1644894 fired transitions, 1145 secs || 1549418 markings, 9083327 edges, 1365 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1652250 fired transitions, 1150 secs || 1556213 markings, 9122853 edges, 1359 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1659601 fired transitions, 1155 secs || 1562983 markings, 9165911 edges, 1354 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1666959 fired transitions, 1160 secs || 1569732 markings, 9208392 edges, 1350 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1674317 fired transitions, 1165 secs || 1576506 markings, 9251447 edges, 1355 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1681671 fired transitions, 1170 secs || 1583280 markings, 9292848 edges, 1355 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1689043 fired transitions, 1175 secs || 1590052 markings, 9334263 edges, 1354 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1696418 fired transitions, 1180 secs || 1596879 markings, 9374036 edges, 1365 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1703780 fired transitions, 1185 secs || 1603701 markings, 9412760 edges, 1364 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1711137 fired transitions, 1190 secs || 1610535 markings, 9449136 edges, 1367 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1718483 fired transitions, 1195 secs || 1617351 markings, 9486777 edges, 1363 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1725848 fired transitions, 1200 secs || 1624160 markings, 9524850 edges, 1362 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1733208 fired transitions, 1205 secs || 1630951 markings, 9564788 edges, 1358 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1740567 fired transitions, 1210 secs || 1637710 markings, 9608416 edges, 1352 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1747936 fired transitions, 1215 secs || 1644435 markings, 9654519 edges, 1345 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1755300 fired transitions, 1220 secs || 1651230 markings, 9696161 edges, 1359 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1762666 fired transitions, 1225 secs || 1657993 markings, 9740407 edges, 1353 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1770024 fired transitions, 1230 secs || 1664811 markings, 9778717 edges, 1364 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1777384 fired transitions, 1235 secs || 1671587 markings, 9820246 edges, 1355 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1784748 fired transitions, 1240 secs || 1678324 markings, 9864268 edges, 1347 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1792114 fired transitions, 1245 secs || 1685086 markings, 9908245 edges, 1352 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1799462 fired transitions, 1250 secs || 1691860 markings, 9948417 edges, 1355 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1806822 fired transitions, 1255 secs || 1698591 markings, 9993860 edges, 1346 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1814191 fired transitions, 1260 secs || 1705330 markings, 10039277 edges, 1348 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1821556 fired transitions, 1265 secs || 1712079 markings, 10084674 edges, 1350 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1828914 fired transitions, 1270 secs || 1718813 markings, 10130536 edges, 1347 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1836285 fired transitions, 1275 secs || 1725529 markings, 10177254 edges, 1343 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1843648 fired transitions, 1280 secs || 1732235 markings, 10226839 edges, 1341 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1851012 fired transitions, 1285 secs || 1738910 markings, 10278430 edges, 1335 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1858389 fired transitions, 1290 secs || 1745579 markings, 10330793 edges, 1334 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1865752 fired transitions, 1295 secs || 1752338 markings, 10376508 edges, 1352 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1873116 fired transitions, 1300 secs || 1759158 markings, 10416059 edges, 1364 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1880478 fired transitions, 1305 secs || 1765965 markings, 10456181 edges, 1361 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1887744 fired transitions, 1310 secs || 1772657 markings, 10498021 edges, 1338 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1894986 fired transitions, 1315 secs || 1779298 markings, 10542958 edges, 1328 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1902305 fired transitions, 1320 secs || 1786110 markings, 10579448 edges, 1362 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1909660 fired transitions, 1325 secs || 1792943 markings, 10616513 edges, 1367 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1917017 fired transitions, 1330 secs || 1799770 markings, 10653762 edges, 1365 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1924340 fired transitions, 1335 secs || 1806638 markings, 10690971 edges, 1374 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1931638 fired transitions, 1340 secs || 1813529 markings, 10727666 edges, 1378 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1938934 fired transitions, 1345 secs || 1820408 markings, 10766004 edges, 1376 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1946239 fired transitions, 1350 secs || 1827259 markings, 10805897 edges, 1370 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1953453 fired transitions, 1355 secs || 1834038 markings, 10848981 edges, 1356 markings/sec, 1355 secs
lola: STP completed || 2 tries, 1960564 fired transitions, 1360 secs || 1840730 markings, 10892911 edges, 1338 markings/sec, 1360 secs
lola: STP completed || 2 tries, 1967676 fired transitions, 1365 secs || 1847284 markings, 10934725 edges, 1311 markings/sec, 1365 secs
lola: STP completed || 2 tries, 1974783 fired transitions, 1370 secs || 1854047 markings, 10976164 edges, 1353 markings/sec, 1370 secs
lola: STP completed || 2 tries, 1982092 fired transitions, 1375 secs || 1860920 markings, 11019314 edges, 1375 markings/sec, 1375 secs
lola: STP completed || 2 tries, 1989157 fired transitions, 1380 secs || 1867769 markings, 11054354 edges, 1370 markings/sec, 1380 secs
lola: STP completed || 2 tries, 1996274 fired transitions, 1385 secs || 1874568 markings, 11093033 edges, 1360 markings/sec, 1385 secs
lola: STP completed || 3 tries, 2003379 fired transitions, 1390 secs || 1881396 markings, 11130226 edges, 1366 markings/sec, 1390 secs
lola: STP completed || 3 tries, 2010497 fired transitions, 1395 secs || 1888196 markings, 11170034 edges, 1360 markings/sec, 1395 secs
lola: STP completed || 3 tries, 2017613 fired transitions, 1400 secs || 1894952 markings, 11213471 edges, 1351 markings/sec, 1400 secs
lola: STP completed || 3 tries, 2024739 fired transitions, 1405 secs || 1901674 markings, 11259891 edges, 1344 markings/sec, 1405 secs
lola: STP completed || 3 tries, 2031847 fired transitions, 1410 secs || 1908506 markings, 11296822 edges, 1366 markings/sec, 1410 secs
lola: STP completed || 3 tries, 2038965 fired transitions, 1415 secs || 1915300 markings, 11336585 edges, 1359 markings/sec, 1415 secs
lola: STP completed || 3 tries, 2046074 fired transitions, 1420 secs || 1922097 markings, 11376551 edges, 1359 markings/sec, 1420 secs
lola: STP completed || 3 tries, 2053189 fired transitions, 1425 secs || 1928843 markings, 11420395 edges, 1349 markings/sec, 1425 secs
lola: STP completed || 3 tries, 2060314 fired transitions, 1430 secs || 1935570 markings, 11466392 edges, 1345 markings/sec, 1430 secs
lola: STP completed || 3 tries, 2067440 fired transitions, 1435 secs || 1942014 markings, 11508965 edges, 1289 markings/sec, 1435 secs
lola: STP completed || 3 tries, 2074558 fired transitions, 1440 secs || 1948511 markings, 11547533 edges, 1299 markings/sec, 1440 secs
lola: STP completed || 3 tries, 2081740 fired transitions, 1445 secs || 1955362 markings, 11589649 edges, 1370 markings/sec, 1445 secs
lola: STP completed || 3 tries, 2088962 fired transitions, 1450 secs || 1962204 markings, 11636156 edges, 1368 markings/sec, 1450 secs
lola: STP completed || 3 tries, 2096095 fired transitions, 1455 secs || 1968863 markings, 11682476 edges, 1332 markings/sec, 1455 secs
lola: STP completed || 3 tries, 2103383 fired transitions, 1460 secs || 1975652 markings, 11728553 edges, 1358 markings/sec, 1460 secs
lola: STP completed || 3 tries, 2110618 fired transitions, 1465 secs || 1982493 markings, 11775613 edges, 1368 markings/sec, 1465 secs
lola: STP completed || 3 tries, 2117765 fired transitions, 1470 secs || 1989257 markings, 11824497 edges, 1353 markings/sec, 1470 secs
lola: STP completed || 3 tries, 2124967 fired transitions, 1475 secs || 1996019 markings, 11876787 edges, 1352 markings/sec, 1475 secs
lola: STP completed || 3 tries, 2132069 fired transitions, 1480 secs || 2002684 markings, 11928436 edges, 1333 markings/sec, 1480 secs
lola: STP completed || 3 tries, 2139179 fired transitions, 1485 secs || 2009376 markings, 11979674 edges, 1338 markings/sec, 1485 secs
lola: STP completed || 3 tries, 2146406 fired transitions, 1490 secs || 2016297 markings, 12022021 edges, 1384 markings/sec, 1490 secs
lola: STP completed || 3 tries, 2153533 fired transitions, 1495 secs || 2023164 markings, 12062999 edges, 1373 markings/sec, 1495 secs
lola: STP completed || 3 tries, 2160759 fired transitions, 1500 secs || 2030089 markings, 12103398 edges, 1385 markings/sec, 1500 secs
lola: STP completed || 3 tries, 2167989 fired transitions, 1505 secs || 2036980 markings, 12147705 edges, 1378 markings/sec, 1505 secs
lola: STP completed || 3 tries, 2175099 fired transitions, 1510 secs || 2043770 markings, 12195558 edges, 1358 markings/sec, 1510 secs
lola: STP completed || 3 tries, 2182162 fired transitions, 1515 secs || 2050672 markings, 12232157 edges, 1380 markings/sec, 1515 secs
lola: STP completed || 3 tries, 2189391 fired transitions, 1520 secs || 2057584 markings, 12273502 edges, 1382 markings/sec, 1520 secs
lola: STP completed || 3 tries, 2196626 fired transitions, 1525 secs || 2064454 markings, 12317108 edges, 1374 markings/sec, 1525 secs
lola: STP completed || 3 tries, 2203868 fired transitions, 1530 secs || 2071369 markings, 12357702 edges, 1383 markings/sec, 1530 secs
lola: STP completed || 3 tries, 2211099 fired transitions, 1535 secs || 2078301 markings, 12397433 edges, 1386 markings/sec, 1535 secs
lola: STP completed || 3 tries, 2218327 fired transitions, 1540 secs || 2085157 markings, 12443083 edges, 1371 markings/sec, 1540 secs
lola: STP completed || 3 tries, 2225564 fired transitions, 1545 secs || 2092024 markings, 12488004 edges, 1373 markings/sec, 1545 secs
lola: STP completed || 3 tries, 2232792 fired transitions, 1550 secs || 2098913 markings, 12531336 edges, 1378 markings/sec, 1550 secs
lola: STP completed || 3 tries, 2240025 fired transitions, 1555 secs || 2105778 markings, 12577048 edges, 1373 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2247263 fired transitions, 1560 secs || 2112618 markings, 12625869 edges, 1368 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2254503 fired transitions, 1565 secs || 2119432 markings, 12676603 edges, 1363 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2261752 fired transitions, 1570 secs || 2126246 markings, 12726376 edges, 1363 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2269003 fired transitions, 1575 secs || 2133098 markings, 12774429 edges, 1370 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2276252 fired transitions, 1580 secs || 2139967 markings, 12821702 edges, 1374 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2283486 fired transitions, 1585 secs || 2146869 markings, 12865017 edges, 1380 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2290712 fired transitions, 1590 secs || 2153759 markings, 12907553 edges, 1378 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2297957 fired transitions, 1595 secs || 2160619 markings, 12953142 edges, 1372 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2305191 fired transitions, 1600 secs || 2167513 markings, 12995896 edges, 1379 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2312432 fired transitions, 1605 secs || 2174380 markings, 13042073 edges, 1373 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2319677 fired transitions, 1610 secs || 2181201 markings, 13091363 edges, 1364 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2326926 fired transitions, 1615 secs || 2187997 markings, 13143094 edges, 1359 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2334161 fired transitions, 1620 secs || 2194889 markings, 13185911 edges, 1378 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2341394 fired transitions, 1625 secs || 2201722 markings, 13232574 edges, 1367 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2348631 fired transitions, 1630 secs || 2208597 markings, 13277694 edges, 1375 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2355872 fired transitions, 1635 secs || 2215452 markings, 13324231 edges, 1371 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2363117 fired transitions, 1640 secs || 2222248 markings, 13375965 edges, 1359 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2370369 fired transitions, 1645 secs || 2229054 markings, 13427510 edges, 1361 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2377620 fired transitions, 1650 secs || 2235892 markings, 13477598 edges, 1368 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2384861 fired transitions, 1655 secs || 2242754 markings, 13523893 edges, 1372 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2392089 fired transitions, 1660 secs || 2249588 markings, 13570937 edges, 1367 markings/sec, 1660 secs
lola: STP completed || 3 tries, 2399329 fired transitions, 1665 secs || 2256394 markings, 13622809 edges, 1361 markings/sec, 1665 secs
lola: STP completed || 3 tries, 2406569 fired transitions, 1670 secs || 2263176 markings, 13675287 edges, 1356 markings/sec, 1670 secs
lola: STP completed || 3 tries, 2413810 fired transitions, 1675 secs || 2269981 markings, 13728101 edges, 1361 markings/sec, 1675 secs
lola: STP completed || 3 tries, 2421053 fired transitions, 1680 secs || 2276772 markings, 13780482 edges, 1358 markings/sec, 1680 secs
lola: STP completed || 3 tries, 2428303 fired transitions, 1685 secs || 2283565 markings, 13833256 edges, 1359 markings/sec, 1685 secs
lola: STP completed || 3 tries, 2435547 fired transitions, 1690 secs || 2290338 markings, 13888701 edges, 1355 markings/sec, 1690 secs
lola: STP completed || 3 tries, 2442794 fired transitions, 1695 secs || 2297073 markings, 13946762 edges, 1347 markings/sec, 1695 secs
lola: STP completed || 3 tries, 2450045 fired transitions, 1700 secs || 2303826 markings, 14005625 edges, 1351 markings/sec, 1700 secs
lola: STP completed || 3 tries, 2457290 fired transitions, 1705 secs || 2310743 markings, 14047968 edges, 1383 markings/sec, 1705 secs
lola: STP completed || 3 tries, 2464541 fired transitions, 1710 secs || 2317666 markings, 14090592 edges, 1385 markings/sec, 1710 secs
lola: STP completed || 3 tries, 2471788 fired transitions, 1715 secs || 2324577 markings, 14133293 edges, 1382 markings/sec, 1715 secs
lola: STP completed || 3 tries, 2479034 fired transitions, 1720 secs || 2331461 markings, 14176244 edges, 1377 markings/sec, 1720 secs
lola: STP completed || 3 tries, 2486284 fired transitions, 1725 secs || 2338310 markings, 14223604 edges, 1370 markings/sec, 1725 secs
lola: STP completed || 3 tries, 2493536 fired transitions, 1730 secs || 2345165 markings, 14271857 edges, 1371 markings/sec, 1730 secs
lola: STP completed || 3 tries, 2500788 fired transitions, 1735 secs || 2352010 markings, 14322429 edges, 1369 markings/sec, 1735 secs
lola: STP completed || 3 tries, 2508042 fired transitions, 1740 secs || 2358867 markings, 14369718 edges, 1371 markings/sec, 1740 secs
lola: STP completed || 3 tries, 2515279 fired transitions, 1745 secs || 2365769 markings, 14415028 edges, 1380 markings/sec, 1745 secs
lola: STP completed || 3 tries, 2522523 fired transitions, 1750 secs || 2372630 markings, 14465053 edges, 1372 markings/sec, 1750 secs
lola: STP completed || 3 tries, 2529765 fired transitions, 1755 secs || 2379562 markings, 14507026 edges, 1386 markings/sec, 1755 secs
lola: STP completed || 3 tries, 2537005 fired transitions, 1760 secs || 2386498 markings, 14548005 edges, 1387 markings/sec, 1760 secs
lola: STP completed || 3 tries, 2544252 fired transitions, 1765 secs || 2393395 markings, 14593072 edges, 1379 markings/sec, 1765 secs
lola: STP completed || 3 tries, 2551499 fired transitions, 1770 secs || 2400275 markings, 14640283 edges, 1376 markings/sec, 1770 secs
lola: STP completed || 3 tries, 2558742 fired transitions, 1775 secs || 2407163 markings, 14685433 edges, 1378 markings/sec, 1775 secs
lola: STP completed || 3 tries, 2565968 fired transitions, 1780 secs || 2414135 markings, 14722170 edges, 1394 markings/sec, 1780 secs
lola: STP completed || 3 tries, 2573201 fired transitions, 1785 secs || 2421086 markings, 14761811 edges, 1390 markings/sec, 1785 secs
lola: STP completed || 3 tries, 2580438 fired transitions, 1790 secs || 2427992 markings, 14805947 edges, 1381 markings/sec, 1790 secs
lola: STP completed || 3 tries, 2587680 fired transitions, 1795 secs || 2434891 markings, 14850481 edges, 1380 markings/sec, 1795 secs
lola: STP completed || 3 tries, 2594912 fired transitions, 1800 secs || 2441847 markings, 14890355 edges, 1391 markings/sec, 1800 secs
lola: STP completed || 3 tries, 2602149 fired transitions, 1805 secs || 2448731 markings, 14935523 edges, 1377 markings/sec, 1805 secs
lola: STP completed || 3 tries, 2609385 fired transitions, 1810 secs || 2455642 markings, 14978149 edges, 1382 markings/sec, 1810 secs
lola: STP completed || 3 tries, 2616616 fired transitions, 1815 secs || 2462543 markings, 15021126 edges, 1380 markings/sec, 1815 secs
lola: STP completed || 3 tries, 2623850 fired transitions, 1820 secs || 2469414 markings, 15066695 edges, 1374 markings/sec, 1820 secs
lola: STP completed || 3 tries, 2631085 fired transitions, 1825 secs || 2476246 markings, 15117130 edges, 1366 markings/sec, 1825 secs
lola: STP completed || 3 tries, 2638328 fired transitions, 1830 secs || 2483078 markings, 15167430 edges, 1366 markings/sec, 1830 secs
lola: STP completed || 3 tries, 2645566 fired transitions, 1835 secs || 2489941 markings, 15215841 edges, 1373 markings/sec, 1835 secs
lola: STP completed || 3 tries, 2652804 fired transitions, 1840 secs || 2496861 markings, 15258160 edges, 1384 markings/sec, 1840 secs
lola: STP completed || 3 tries, 2660049 fired transitions, 1845 secs || 2503809 markings, 15297798 edges, 1390 markings/sec, 1845 secs
lola: STP completed || 3 tries, 2667280 fired transitions, 1850 secs || 2510697 markings, 15341612 edges, 1378 markings/sec, 1850 secs
lola: STP completed || 3 tries, 2674520 fired transitions, 1855 secs || 2517588 markings, 15387158 edges, 1378 markings/sec, 1855 secs
lola: STP completed || 3 tries, 2681758 fired transitions, 1860 secs || 2524479 markings, 15431922 edges, 1378 markings/sec, 1860 secs
lola: STP completed || 3 tries, 2688990 fired transitions, 1865 secs || 2531333 markings, 15480035 edges, 1371 markings/sec, 1865 secs
lola: STP completed || 3 tries, 2696239 fired transitions, 1870 secs || 2538166 markings, 15529836 edges, 1367 markings/sec, 1870 secs
lola: STP completed || 3 tries, 2703479 fired transitions, 1875 secs || 2545015 markings, 15577895 edges, 1370 markings/sec, 1875 secs
lola: STP completed || 3 tries, 2710718 fired transitions, 1880 secs || 2551879 markings, 15625434 edges, 1373 markings/sec, 1880 secs
lola: STP completed || 3 tries, 2717948 fired transitions, 1885 secs || 2558782 markings, 15668241 edges, 1381 markings/sec, 1885 secs
lola: STP completed || 3 tries, 2725178 fired transitions, 1890 secs || 2565648 markings, 15713783 edges, 1373 markings/sec, 1890 secs
lola: STP completed || 3 tries, 2732416 fired transitions, 1895 secs || 2572501 markings, 15763287 edges, 1371 markings/sec, 1895 secs
lola: STP completed || 3 tries, 2739654 fired transitions, 1900 secs || 2579328 markings, 15812770 edges, 1365 markings/sec, 1900 secs
lola: STP completed || 3 tries, 2746898 fired transitions, 1905 secs || 2586187 markings, 15860789 edges, 1372 markings/sec, 1905 secs
lola: STP completed || 3 tries, 2754148 fired transitions, 1910 secs || 2593047 markings, 15909726 edges, 1372 markings/sec, 1910 secs
lola: STP completed || 3 tries, 2761377 fired transitions, 1915 secs || 2599904 markings, 15955865 edges, 1371 markings/sec, 1915 secs
lola: STP completed || 3 tries, 2768417 fired transitions, 1920 secs || 2606601 markings, 16006987 edges, 1339 markings/sec, 1920 secs
lola: STP completed || 3 tries, 2775530 fired transitions, 1925 secs || 2613316 markings, 16055755 edges, 1343 markings/sec, 1925 secs
lola: STP completed || 3 tries, 2782588 fired transitions, 1930 secs || 2619900 markings, 16106683 edges, 1317 markings/sec, 1930 secs
lola: STP completed || 3 tries, 2789532 fired transitions, 1935 secs || 2626358 markings, 16160384 edges, 1292 markings/sec, 1935 secs
lola: STP completed || 3 tries, 2796481 fired transitions, 1940 secs || 2632825 markings, 16213976 edges, 1293 markings/sec, 1940 secs
lola: STP completed || 3 tries, 2803429 fired transitions, 1945 secs || 2639319 markings, 16266108 edges, 1299 markings/sec, 1945 secs
lola: STP completed || 3 tries, 2810369 fired transitions, 1950 secs || 2645856 markings, 16314511 edges, 1307 markings/sec, 1950 secs
lola: STP completed || 3 tries, 2817292 fired transitions, 1955 secs || 2652465 markings, 16355114 edges, 1322 markings/sec, 1955 secs
lola: STP completed || 3 tries, 2824224 fired transitions, 1960 secs || 2659044 markings, 16397079 edges, 1316 markings/sec, 1960 secs
lola: STP completed || 3 tries, 2831156 fired transitions, 1965 secs || 2665635 markings, 16438068 edges, 1318 markings/sec, 1965 secs
lola: STP completed || 3 tries, 2838089 fired transitions, 1970 secs || 2672222 markings, 16480374 edges, 1317 markings/sec, 1970 secs
lola: STP completed || 3 tries, 2845023 fired transitions, 1975 secs || 2678779 markings, 16525233 edges, 1311 markings/sec, 1975 secs
lola: STP completed || 3 tries, 2851954 fired transitions, 1980 secs || 2685257 markings, 16574596 edges, 1296 markings/sec, 1980 secs
lola: STP completed || 3 tries, 2858895 fired transitions, 1985 secs || 2691787 markings, 16622515 edges, 1306 markings/sec, 1985 secs
lola: STP completed || 3 tries, 2865774 fired transitions, 1990 secs || 2698379 markings, 16665034 edges, 1318 markings/sec, 1990 secs
lola: STP completed || 3 tries, 2872655 fired transitions, 1995 secs || 2704904 markings, 16713006 edges, 1305 markings/sec, 1995 secs
lola: STP completed || 3 tries, 2879536 fired transitions, 2000 secs || 2711438 markings, 16759076 edges, 1307 markings/sec, 2000 secs
lola: STP completed || 3 tries, 2886417 fired transitions, 2005 secs || 2717951 markings, 16807100 edges, 1303 markings/sec, 2005 secs
lola: STP completed || 3 tries, 2893303 fired transitions, 2010 secs || 2724460 markings, 16855165 edges, 1302 markings/sec, 2010 secs
lola: STP completed || 3 tries, 2900187 fired transitions, 2015 secs || 2730967 markings, 16905116 edges, 1301 markings/sec, 2015 secs
lola: STP completed || 3 tries, 2907071 fired transitions, 2020 secs || 2737416 markings, 16959564 edges, 1290 markings/sec, 2020 secs
lola: STP completed || 3 tries, 2913958 fired transitions, 2025 secs || 2743916 markings, 17010512 edges, 1300 markings/sec, 2025 secs
lola: STP completed || 3 tries, 2920847 fired transitions, 2030 secs || 2750419 markings, 17059744 edges, 1301 markings/sec, 2030 secs
lola: STP completed || 3 tries, 2927730 fired transitions, 2035 secs || 2756946 markings, 17106981 edges, 1305 markings/sec, 2035 secs
lola: STP completed || 3 tries, 2934609 fired transitions, 2040 secs || 2763521 markings, 17151129 edges, 1315 markings/sec, 2040 secs
lola: STP completed || 3 tries, 2941482 fired transitions, 2045 secs || 2770100 markings, 17194018 edges, 1316 markings/sec, 2045 secs
lola: STP completed || 3 tries, 2948363 fired transitions, 2050 secs || 2776647 markings, 17238701 edges, 1309 markings/sec, 2050 secs
lola: STP completed || 3 tries, 2955254 fired transitions, 2055 secs || 2783140 markings, 17289424 edges, 1299 markings/sec, 2055 secs
lola: STP completed || 3 tries, 2962137 fired transitions, 2060 secs || 2789701 markings, 17334579 edges, 1312 markings/sec, 2060 secs
lola: STP completed || 3 tries, 2969025 fired transitions, 2065 secs || 2796209 markings, 17382935 edges, 1302 markings/sec, 2065 secs
lola: STP completed || 3 tries, 2975906 fired transitions, 2070 secs || 2802741 markings, 17430105 edges, 1306 markings/sec, 2070 secs
lola: STP completed || 3 tries, 2982784 fired transitions, 2075 secs || 2809232 markings, 17479863 edges, 1298 markings/sec, 2075 secs
lola: STP completed || 3 tries, 2989670 fired transitions, 2080 secs || 2815739 markings, 17529824 edges, 1301 markings/sec, 2080 secs
lola: STP completed || 3 tries, 2996554 fired transitions, 2085 secs || 2822213 markings, 17583184 edges, 1295 markings/sec, 2085 secs
lola: STP completed || 4 tries, 3003437 fired transitions, 2090 secs || 2828653 markings, 17639904 edges, 1288 markings/sec, 2090 secs
lola: STP completed || 4 tries, 3010317 fired transitions, 2095 secs || 2835191 markings, 17687463 edges, 1308 markings/sec, 2095 secs
lola: STP completed || 4 tries, 3017201 fired transitions, 2100 secs || 2841712 markings, 17735354 edges, 1304 markings/sec, 2100 secs
lola: STP completed || 4 tries, 3024092 fired transitions, 2105 secs || 2848169 markings, 17788336 edges, 1291 markings/sec, 2105 secs
lola: STP completed || 4 tries, 3030985 fired transitions, 2110 secs || 2854649 markings, 17841258 edges, 1296 markings/sec, 2110 secs
lola: STP completed || 4 tries, 3037869 fired transitions, 2115 secs || 2861148 markings, 17891428 edges, 1300 markings/sec, 2115 secs
lola: STP completed || 4 tries, 3044756 fired transitions, 2120 secs || 2867612 markings, 17945034 edges, 1293 markings/sec, 2120 secs
lola: STP completed || 4 tries, 3051286 fired transitions, 2125 secs || 2874255 markings, 18000012 edges, 1329 markings/sec, 2125 secs
lola: STP completed || 4 tries, 3058305 fired transitions, 2130 secs || 2880914 markings, 18055334 edges, 1332 markings/sec, 2130 secs
lola: STP completed || 4 tries, 3065323 fired transitions, 2135 secs || 2887538 markings, 18113228 edges, 1325 markings/sec, 2135 secs
lola: STP completed || 4 tries, 3072344 fired transitions, 2140 secs || 2894117 markings, 18176332 edges, 1316 markings/sec, 2140 secs
lola: STP completed || 4 tries, 3079321 fired transitions, 2145 secs || 2900785 markings, 18230188 edges, 1334 markings/sec, 2145 secs
lola: STP completed || 4 tries, 3086343 fired transitions, 2150 secs || 2907470 markings, 18284197 edges, 1337 markings/sec, 2150 secs
lola: STP completed || 4 tries, 3093368 fired transitions, 2155 secs || 2914231 markings, 18329097 edges, 1352 markings/sec, 2155 secs
lola: STP completed || 4 tries, 3100401 fired transitions, 2160 secs || 2920971 markings, 18375877 edges, 1348 markings/sec, 2160 secs
lola: STP completed || 4 tries, 3107346 fired transitions, 2165 secs || 2927677 markings, 18427140 edges, 1341 markings/sec, 2165 secs
lola: STP completed || 4 tries, 3114393 fired transitions, 2170 secs || 2934384 markings, 18479330 edges, 1341 markings/sec, 2170 secs
lola: STP completed || 4 tries, 3121375 fired transitions, 2175 secs || 2941059 markings, 18531994 edges, 1335 markings/sec, 2175 secs
lola: STP completed || 4 tries, 3128347 fired transitions, 2180 secs || 2947859 markings, 18569597 edges, 1360 markings/sec, 2180 secs
lola: STP completed || 4 tries, 3135401 fired transitions, 2185 secs || 2954660 markings, 18610659 edges, 1360 markings/sec, 2185 secs
lola: STP completed || 4 tries, 3142391 fired transitions, 2190 secs || 2961429 markings, 18655459 edges, 1354 markings/sec, 2190 secs
lola: STP completed || 4 tries, 3149431 fired transitions, 2195 secs || 2968184 markings, 18702626 edges, 1351 markings/sec, 2195 secs
lola: STP completed || 4 tries, 3156426 fired transitions, 2200 secs || 2974942 markings, 18748759 edges, 1352 markings/sec, 2200 secs
lola: STP completed || 4 tries, 3163436 fired transitions, 2205 secs || 2981746 markings, 18792735 edges, 1361 markings/sec, 2205 secs
lola: STP completed || 4 tries, 3170415 fired transitions, 2210 secs || 2988598 markings, 18829530 edges, 1370 markings/sec, 2210 secs
lola: STP completed || 4 tries, 3177429 fired transitions, 2215 secs || 2995408 markings, 18870780 edges, 1362 markings/sec, 2215 secs
lola: STP completed || 4 tries, 3184408 fired transitions, 2220 secs || 3002259 markings, 18909654 edges, 1370 markings/sec, 2220 secs
lola: STP completed || 4 tries, 3191412 fired transitions, 2225 secs || 3009043 markings, 18955009 edges, 1357 markings/sec, 2225 secs
lola: STP completed || 4 tries, 3198386 fired transitions, 2230 secs || 3015833 markings, 18996823 edges, 1358 markings/sec, 2230 secs
lola: STP completed || 4 tries, 3205385 fired transitions, 2235 secs || 3022620 markings, 19038737 edges, 1357 markings/sec, 2235 secs
lola: STP completed || 4 tries, 3212380 fired transitions, 2240 secs || 3029401 markings, 19082493 edges, 1356 markings/sec, 2240 secs
lola: STP completed || 4 tries, 3219449 fired transitions, 2245 secs || 3036140 markings, 19129472 edges, 1348 markings/sec, 2245 secs
lola: STP completed || 4 tries, 3226534 fired transitions, 2250 secs || 3042853 markings, 19179581 edges, 1343 markings/sec, 2250 secs
lola: STP completed || 4 tries, 3233596 fired transitions, 2255 secs || 3049643 markings, 19221319 edges, 1358 markings/sec, 2255 secs
lola: STP completed || 4 tries, 3240620 fired transitions, 2260 secs || 3056426 markings, 19264744 edges, 1357 markings/sec, 2260 secs
lola: STP completed || 4 tries, 3247633 fired transitions, 2265 secs || 3063156 markings, 19313480 edges, 1346 markings/sec, 2265 secs
lola: STP completed || 4 tries, 3254670 fired transitions, 2270 secs || 3069924 markings, 19359060 edges, 1354 markings/sec, 2270 secs
lola: STP completed || 4 tries, 3261665 fired transitions, 2275 secs || 3076684 markings, 19407788 edges, 1352 markings/sec, 2275 secs
lola: STP completed || 4 tries, 3268696 fired transitions, 2280 secs || 3083439 markings, 19458324 edges, 1351 markings/sec, 2280 secs
lola: STP completed || 4 tries, 3275668 fired transitions, 2285 secs || 3090219 markings, 19504171 edges, 1356 markings/sec, 2285 secs
lola: STP completed || 4 tries, 3282693 fired transitions, 2290 secs || 3096985 markings, 19549996 edges, 1353 markings/sec, 2290 secs
lola: STP completed || 4 tries, 3289784 fired transitions, 2295 secs || 3103833 markings, 19583312 edges, 1370 markings/sec, 2295 secs
lola: STP completed || 4 tries, 3296840 fired transitions, 2300 secs || 3110656 markings, 19618765 edges, 1365 markings/sec, 2300 secs
lola: STP completed || 4 tries, 3303947 fired transitions, 2305 secs || 3117458 markings, 19655612 edges, 1360 markings/sec, 2305 secs
lola: STP completed || 4 tries, 3310946 fired transitions, 2310 secs || 3124233 markings, 19693265 edges, 1355 markings/sec, 2310 secs
lola: STP completed || 4 tries, 3318110 fired transitions, 2315 secs || 3130944 markings, 19735227 edges, 1342 markings/sec, 2315 secs
lola: STP completed || 4 tries, 3325259 fired transitions, 2320 secs || 3137690 markings, 19775195 edges, 1349 markings/sec, 2320 secs
lola: STP completed || 4 tries, 3332198 fired transitions, 2325 secs || 3144321 markings, 19811717 edges, 1326 markings/sec, 2325 secs
lola: STP completed || 4 tries, 3339102 fired transitions, 2330 secs || 3150885 markings, 19852630 edges, 1313 markings/sec, 2330 secs
lola: STP completed || 4 tries, 3346005 fired transitions, 2335 secs || 3157452 markings, 19892075 edges, 1313 markings/sec, 2335 secs
lola: STP completed || 4 tries, 3352906 fired transitions, 2340 secs || 3164008 markings, 19932272 edges, 1311 markings/sec, 2340 secs
lola: STP completed || 4 tries, 3359811 fired transitions, 2345 secs || 3170551 markings, 19974021 edges, 1309 markings/sec, 2345 secs
lola: STP completed || 4 tries, 3366718 fired transitions, 2350 secs || 3177046 markings, 20020467 edges, 1299 markings/sec, 2350 secs
lola: STP completed || 4 tries, 3373624 fired transitions, 2355 secs || 3183592 markings, 20064233 edges, 1309 markings/sec, 2355 secs
lola: STP completed || 4 tries, 3380613 fired transitions, 2360 secs || 3190243 markings, 20107461 edges, 1330 markings/sec, 2360 secs
lola: STP completed || 4 tries, 3387517 fired transitions, 2365 secs || 3196845 markings, 20147745 edges, 1320 markings/sec, 2365 secs
lola: STP completed || 4 tries, 3394536 fired transitions, 2370 secs || 3203599 markings, 20184357 edges, 1351 markings/sec, 2370 secs
lola: STP completed || 4 tries, 3401434 fired transitions, 2375 secs || 3210180 markings, 20222577 edges, 1316 markings/sec, 2375 secs
lola: STP completed || 4 tries, 3408633 fired transitions, 2380 secs || 3217057 markings, 20264074 edges, 1375 markings/sec, 2380 secs
lola: STP completed || 4 tries, 3415849 fired transitions, 2385 secs || 3223938 markings, 20306528 edges, 1376 markings/sec, 2385 secs
lola: STP completed || 4 tries, 3422822 fired transitions, 2390 secs || 3230569 markings, 20347082 edges, 1326 markings/sec, 2390 secs
lola: STP completed || 4 tries, 3429896 fired transitions, 2395 secs || 3237265 markings, 20390425 edges, 1339 markings/sec, 2395 secs
lola: STP completed || 4 tries, 3437025 fired transitions, 2400 secs || 3243895 markings, 20438952 edges, 1326 markings/sec, 2400 secs
lola: STP completed || 4 tries, 3444192 fired transitions, 2405 secs || 3250588 markings, 20481770 edges, 1339 markings/sec, 2405 secs
lola: STP completed || 4 tries, 3451356 fired transitions, 2410 secs || 3257259 markings, 20526295 edges, 1334 markings/sec, 2410 secs
lola: STP completed || 4 tries, 3458366 fired transitions, 2415 secs || 3263788 markings, 20570933 edges, 1306 markings/sec, 2415 secs
lola: STP completed || 4 tries, 3465300 fired transitions, 2420 secs || 3270272 markings, 20614401 edges, 1297 markings/sec, 2420 secs
lola: STP completed || 4 tries, 3472236 fired transitions, 2425 secs || 3276708 markings, 20663878 edges, 1287 markings/sec, 2425 secs
lola: STP completed || 4 tries, 3479181 fired transitions, 2430 secs || 3283138 markings, 20712417 edges, 1286 markings/sec, 2430 secs
lola: STP completed || 4 tries, 3486125 fired transitions, 2435 secs || 3289591 markings, 20759240 edges, 1291 markings/sec, 2435 secs
lola: STP completed || 4 tries, 3493073 fired transitions, 2440 secs || 3296088 markings, 20803889 edges, 1299 markings/sec, 2440 secs
lola: STP completed || 4 tries, 3500016 fired transitions, 2445 secs || 3302573 markings, 20849392 edges, 1297 markings/sec, 2445 secs
lola: STP completed || 4 tries, 3507005 fired transitions, 2450 secs || 3309083 markings, 20893577 edges, 1302 markings/sec, 2450 secs
lola: STP completed || 4 tries, 3513991 fired transitions, 2455 secs || 3315621 markings, 20935946 edges, 1308 markings/sec, 2455 secs
lola: STP completed || 4 tries, 3520974 fired transitions, 2460 secs || 3322164 markings, 20978298 edges, 1309 markings/sec, 2460 secs
lola: STP completed || 4 tries, 3528000 fired transitions, 2465 secs || 3328744 markings, 21024509 edges, 1316 markings/sec, 2465 secs
lola: STP completed || 4 tries, 3535112 fired transitions, 2470 secs || 3335475 markings, 21067994 edges, 1346 markings/sec, 2470 secs
lola: STP completed || 4 tries, 3542225 fired transitions, 2475 secs || 3342211 markings, 21112185 edges, 1347 markings/sec, 2475 secs
lola: STP completed || 4 tries, 3549323 fired transitions, 2480 secs || 3348990 markings, 21150712 edges, 1356 markings/sec, 2480 secs
lola: STP completed || 4 tries, 3556419 fired transitions, 2485 secs || 3355752 markings, 21188474 edges, 1352 markings/sec, 2485 secs
lola: STP completed || 4 tries, 3563525 fired transitions, 2490 secs || 3362479 markings, 21229680 edges, 1345 markings/sec, 2490 secs
lola: STP completed || 4 tries, 3570625 fired transitions, 2495 secs || 3369198 markings, 21270696 edges, 1344 markings/sec, 2495 secs
lola: STP completed || 4 tries, 3577729 fired transitions, 2500 secs || 3375915 markings, 21311890 edges, 1343 markings/sec, 2500 secs
lola: STP completed || 4 tries, 3584806 fired transitions, 2505 secs || 3382588 markings, 21355089 edges, 1335 markings/sec, 2505 secs
lola: STP completed || 4 tries, 3591916 fired transitions, 2510 secs || 3389248 markings, 21402354 edges, 1332 markings/sec, 2510 secs
lola: STP completed || 4 tries, 3599007 fired transitions, 2515 secs || 3395930 markings, 21447011 edges, 1336 markings/sec, 2515 secs
lola: STP completed || 4 tries, 3605975 fired transitions, 2520 secs || 3402469 markings, 21488192 edges, 1308 markings/sec, 2520 secs
lola: STP completed || 4 tries, 3612950 fired transitions, 2525 secs || 3408957 markings, 21534347 edges, 1298 markings/sec, 2525 secs
lola: STP completed || 4 tries, 3619919 fired transitions, 2530 secs || 3415483 markings, 21576871 edges, 1305 markings/sec, 2530 secs
lola: STP completed || 4 tries, 3626917 fired transitions, 2535 secs || 3422062 markings, 21621695 edges, 1316 markings/sec, 2535 secs
lola: STP completed || 4 tries, 3633841 fired transitions, 2540 secs || 3428538 markings, 21668408 edges, 1295 markings/sec, 2540 secs
lola: STP completed || 4 tries, 3640762 fired transitions, 2545 secs || 3435005 markings, 21716857 edges, 1293 markings/sec, 2545 secs
lola: STP completed || 4 tries, 3647689 fired transitions, 2550 secs || 3441427 markings, 21769662 edges, 1284 markings/sec, 2550 secs
lola: STP completed || 4 tries, 3654604 fired transitions, 2555 secs || 3447951 markings, 21812876 edges, 1305 markings/sec, 2555 secs
lola: STP completed || 4 tries, 3661527 fired transitions, 2560 secs || 3454453 markings, 21859059 edges, 1300 markings/sec, 2560 secs
lola: STP completed || 4 tries, 3668447 fired transitions, 2565 secs || 3461067 markings, 21901380 edges, 1323 markings/sec, 2565 secs
lola: STP completed || 4 tries, 3675545 fired transitions, 2570 secs || 3467766 markings, 21944844 edges, 1340 markings/sec, 2570 secs
lola: STP completed || 4 tries, 3682648 fired transitions, 2575 secs || 3474428 markings, 21991111 edges, 1332 markings/sec, 2575 secs
lola: STP completed || 4 tries, 3689746 fired transitions, 2580 secs || 3481126 markings, 22034972 edges, 1340 markings/sec, 2580 secs
lola: STP completed || 4 tries, 3696845 fired transitions, 2585 secs || 3487846 markings, 22078201 edges, 1344 markings/sec, 2585 secs
lola: STP completed || 4 tries, 3703941 fired transitions, 2590 secs || 3494514 markings, 22124165 edges, 1334 markings/sec, 2590 secs
lola: STP completed || 4 tries, 3711042 fired transitions, 2595 secs || 3501132 markings, 22174031 edges, 1324 markings/sec, 2595 secs
lola: STP completed || 4 tries, 3718149 fired transitions, 2600 secs || 3507755 markings, 22224784 edges, 1325 markings/sec, 2600 secs
lola: STP completed || 4 tries, 3725251 fired transitions, 2605 secs || 3514409 markings, 22272943 edges, 1331 markings/sec, 2605 secs
lola: STP completed || 4 tries, 3732355 fired transitions, 2610 secs || 3521070 markings, 22321805 edges, 1332 markings/sec, 2610 secs
lola: STP completed || 4 tries, 3739453 fired transitions, 2615 secs || 3527774 markings, 22365795 edges, 1341 markings/sec, 2615 secs
lola: STP completed || 4 tries, 3746561 fired transitions, 2620 secs || 3534426 markings, 22413738 edges, 1330 markings/sec, 2620 secs
lola: STP completed || 4 tries, 3753661 fired transitions, 2625 secs || 3541121 markings, 22459695 edges, 1339 markings/sec, 2625 secs
lola: STP completed || 4 tries, 3760769 fired transitions, 2630 secs || 3547740 markings, 22510713 edges, 1324 markings/sec, 2630 secs
lola: STP completed || 4 tries, 3767871 fired transitions, 2635 secs || 3554364 markings, 22562302 edges, 1325 markings/sec, 2635 secs
lola: STP completed || 4 tries, 3774968 fired transitions, 2640 secs || 3561022 markings, 22610863 edges, 1332 markings/sec, 2640 secs
lola: STP completed || 4 tries, 3782078 fired transitions, 2645 secs || 3567674 markings, 22659736 edges, 1330 markings/sec, 2645 secs
lola: STP completed || 4 tries, 3789187 fired transitions, 2650 secs || 3574269 markings, 22712924 edges, 1319 markings/sec, 2650 secs
lola: STP completed || 4 tries, 3796293 fired transitions, 2655 secs || 3580904 markings, 22763833 edges, 1327 markings/sec, 2655 secs
lola: STP completed || 4 tries, 3803398 fired transitions, 2660 secs || 3587504 markings, 22817611 edges, 1320 markings/sec, 2660 secs
lola: STP completed || 4 tries, 3810506 fired transitions, 2665 secs || 3594073 markings, 22874638 edges, 1314 markings/sec, 2665 secs
lola: STP completed || 4 tries, 3817608 fired transitions, 2670 secs || 3600756 markings, 22923452 edges, 1337 markings/sec, 2670 secs
lola: STP completed || 4 tries, 3824713 fired transitions, 2675 secs || 3607483 markings, 22968530 edges, 1345 markings/sec, 2675 secs
lola: STP completed || 4 tries, 3831885 fired transitions, 2680 secs || 3613941 markings, 23014647 edges, 1292 markings/sec, 2680 secs
lola: STP completed || 4 tries, 3839082 fired transitions, 2685 secs || 3620323 markings, 23060305 edges, 1276 markings/sec, 2685 secs
lola: STP completed || 4 tries, 3846284 fired transitions, 2690 secs || 3626684 markings, 23107984 edges, 1272 markings/sec, 2690 secs
lola: STP completed || 4 tries, 3853482 fired transitions, 2695 secs || 3633180 markings, 23143660 edges, 1299 markings/sec, 2695 secs
lola: STP completed || 4 tries, 3860539 fired transitions, 2700 secs || 3639733 markings, 23181555 edges, 1311 markings/sec, 2700 secs
lola: STP completed || 4 tries, 3867474 fired transitions, 2705 secs || 3646322 markings, 23221249 edges, 1318 markings/sec, 2705 secs
lola: STP completed || 4 tries, 3874406 fired transitions, 2710 secs || 3652904 markings, 23260810 edges, 1316 markings/sec, 2710 secs
lola: STP completed || 4 tries, 3881340 fired transitions, 2715 secs || 3659458 markings, 23303617 edges, 1311 markings/sec, 2715 secs
lola: STP completed || 4 tries, 3888280 fired transitions, 2720 secs || 3666006 markings, 23348582 edges, 1310 markings/sec, 2720 secs
lola: STP completed || 4 tries, 3895264 fired transitions, 2725 secs || 3672607 markings, 23391218 edges, 1320 markings/sec, 2725 secs
lola: STP completed || 4 tries, 3902248 fired transitions, 2730 secs || 3679184 markings, 23434575 edges, 1315 markings/sec, 2730 secs
lola: STP completed || 4 tries, 3909432 fired transitions, 2735 secs || 3685769 markings, 23479792 edges, 1317 markings/sec, 2735 secs
lola: STP completed || 4 tries, 3916622 fired transitions, 2740 secs || 3692499 markings, 23522193 edges, 1346 markings/sec, 2740 secs
lola: STP completed || 4 tries, 3923823 fired transitions, 2745 secs || 3699259 markings, 23559456 edges, 1352 markings/sec, 2745 secs
lola: STP completed || 4 tries, 3930844 fired transitions, 2750 secs || 3705841 markings, 23599593 edges, 1316 markings/sec, 2750 secs
lola: STP completed || 4 tries, 3937842 fired transitions, 2755 secs || 3712409 markings, 23639730 edges, 1314 markings/sec, 2755 secs
lola: STP completed || 4 tries, 3944831 fired transitions, 2760 secs || 3718953 markings, 23681696 edges, 1309 markings/sec, 2760 secs
lola: STP completed || 4 tries, 3951834 fired transitions, 2765 secs || 3725489 markings, 23725059 edges, 1307 markings/sec, 2765 secs
lola: STP completed || 4 tries, 3958835 fired transitions, 2770 secs || 3732083 markings, 23760469 edges, 1319 markings/sec, 2770 secs
lola: STP completed || 4 tries, 3965859 fired transitions, 2775 secs || 3738644 markings, 23800868 edges, 1312 markings/sec, 2775 secs
lola: STP completed || 4 tries, 3973074 fired transitions, 2780 secs || 3745365 markings, 23843052 edges, 1344 markings/sec, 2780 secs
lola: STP completed || 4 tries, 3980285 fired transitions, 2785 secs || 3752061 markings, 23887684 edges, 1339 markings/sec, 2785 secs
lola: STP completed || 4 tries, 3987501 fired transitions, 2790 secs || 3758747 markings, 23932423 edges, 1337 markings/sec, 2790 secs
lola: STP completed || 4 tries, 3994706 fired transitions, 2795 secs || 3765445 markings, 23978999 edges, 1340 markings/sec, 2795 secs
lola: STP completed || 5 tries, 4001915 fired transitions, 2800 secs || 3772150 markings, 24025517 edges, 1341 markings/sec, 2800 secs
lola: STP completed || 5 tries, 4009120 fired transitions, 2805 secs || 3778872 markings, 24069554 edges, 1344 markings/sec, 2805 secs
lola: STP completed || 5 tries, 4016327 fired transitions, 2810 secs || 3785557 markings, 24113656 edges, 1337 markings/sec, 2810 secs
lola: STP completed || 5 tries, 4023534 fired transitions, 2815 secs || 3792252 markings, 24158612 edges, 1339 markings/sec, 2815 secs
lola: STP completed || 5 tries, 4030743 fired transitions, 2820 secs || 3798912 markings, 24206947 edges, 1332 markings/sec, 2820 secs
lola: STP completed || 5 tries, 4037954 fired transitions, 2825 secs || 3805568 markings, 24256537 edges, 1331 markings/sec, 2825 secs
lola: STP completed || 5 tries, 4045164 fired transitions, 2830 secs || 3812202 markings, 24307449 edges, 1327 markings/sec, 2830 secs
lola: STP completed || 5 tries, 4052370 fired transitions, 2835 secs || 3818884 markings, 24351853 edges, 1336 markings/sec, 2835 secs
lola: STP completed || 5 tries, 4059579 fired transitions, 2840 secs || 3825555 markings, 24397833 edges, 1334 markings/sec, 2840 secs
lola: STP completed || 5 tries, 4066788 fired transitions, 2845 secs || 3832212 markings, 24445653 edges, 1331 markings/sec, 2845 secs
lola: STP completed || 5 tries, 4073989 fired transitions, 2850 secs || 3838993 markings, 24480800 edges, 1356 markings/sec, 2850 secs
lola: STP completed || 5 tries, 4081190 fired transitions, 2855 secs || 3845752 markings, 24518230 edges, 1352 markings/sec, 2855 secs
lola: STP completed || 5 tries, 4088233 fired transitions, 2860 secs || 3852360 markings, 24560354 edges, 1322 markings/sec, 2860 secs
lola: STP completed || 5 tries, 4095241 fired transitions, 2865 secs || 3858978 markings, 24600804 edges, 1324 markings/sec, 2865 secs
lola: STP completed || 5 tries, 4102250 fired transitions, 2870 secs || 3865567 markings, 24642269 edges, 1318 markings/sec, 2870 secs
lola: STP completed || 5 tries, 4109253 fired transitions, 2875 secs || 3872152 markings, 24686744 edges, 1317 markings/sec, 2875 secs
lola: STP completed || 5 tries, 4116258 fired transitions, 2880 secs || 3878769 markings, 24728164 edges, 1323 markings/sec, 2880 secs
lola: STP completed || 5 tries, 4123268 fired transitions, 2885 secs || 3885349 markings, 24773581 edges, 1316 markings/sec, 2885 secs
lola: STP completed || 5 tries, 4130277 fired transitions, 2890 secs || 3891946 markings, 24817005 edges, 1319 markings/sec, 2890 secs
lola: STP completed || 5 tries, 4137287 fired transitions, 2895 secs || 3898618 markings, 24850977 edges, 1334 markings/sec, 2895 secs
lola: STP completed || 5 tries, 4144477 fired transitions, 2900 secs || 3905335 markings, 24889387 edges, 1343 markings/sec, 2900 secs
lola: STP completed || 5 tries, 4151690 fired transitions, 2905 secs || 3912083 markings, 24929413 edges, 1350 markings/sec, 2905 secs
lola: STP completed || 5 tries, 4158758 fired transitions, 2910 secs || 3918719 markings, 24969813 edges, 1327 markings/sec, 2910 secs
lola: STP completed || 5 tries, 4165771 fired transitions, 2915 secs || 3925326 markings, 25009770 edges, 1321 markings/sec, 2915 secs
lola: STP completed || 5 tries, 4172790 fired transitions, 2920 secs || 3931916 markings, 25051723 edges, 1318 markings/sec, 2920 secs
lola: STP completed || 5 tries, 4179807 fired transitions, 2925 secs || 3938494 markings, 25094989 edges, 1316 markings/sec, 2925 secs
lola: STP completed || 5 tries, 4186824 fired transitions, 2930 secs || 3945099 markings, 25136108 edges, 1321 markings/sec, 2930 secs
lola: STP completed || 5 tries, 4193868 fired transitions, 2935 secs || 3951752 markings, 25173467 edges, 1331 markings/sec, 2935 secs
lola: STP completed || 5 tries, 4201082 fired transitions, 2940 secs || 3958498 markings, 25213275 edges, 1349 markings/sec, 2940 secs
lola: STP completed || 5 tries, 4208294 fired transitions, 2945 secs || 3965236 markings, 25255412 edges, 1348 markings/sec, 2945 secs
lola: STP completed || 5 tries, 4215505 fired transitions, 2950 secs || 3971950 markings, 25300644 edges, 1343 markings/sec, 2950 secs
lola: STP completed || 5 tries, 4222715 fired transitions, 2955 secs || 3978650 markings, 25347944 edges, 1340 markings/sec, 2955 secs
lola: STP completed || 5 tries, 4229920 fired transitions, 2960 secs || 3985372 markings, 25391879 edges, 1344 markings/sec, 2960 secs
lola: STP completed || 5 tries, 4237139 fired transitions, 2965 secs || 3992085 markings, 25436813 edges, 1343 markings/sec, 2965 secs
lola: STP completed || 5 tries, 4244347 fired transitions, 2970 secs || 3998768 markings, 25486408 edges, 1337 markings/sec, 2970 secs
lola: STP completed || 5 tries, 4251555 fired transitions, 2975 secs || 4005488 markings, 25530591 edges, 1344 markings/sec, 2975 secs
lola: STP completed || 5 tries, 4258761 fired transitions, 2980 secs || 4012201 markings, 25574687 edges, 1343 markings/sec, 2980 secs
lola: STP completed || 5 tries, 4265966 fired transitions, 2985 secs || 4018953 markings, 25615575 edges, 1350 markings/sec, 2985 secs
lola: STP completed || 5 tries, 4273039 fired transitions, 2990 secs || 4025626 markings, 25651695 edges, 1335 markings/sec, 2990 secs
lola: STP completed || 5 tries, 4280046 fired transitions, 2995 secs || 4032232 markings, 25690401 edges, 1321 markings/sec, 2995 secs
lola: STP completed || 5 tries, 4287054 fired transitions, 3000 secs || 4038838 markings, 25728434 edges, 1321 markings/sec, 3000 secs
lola: STP completed || 5 tries, 4294064 fired transitions, 3005 secs || 4045429 markings, 25769770 edges, 1318 markings/sec, 3005 secs
lola: STP completed || 5 tries, 4301077 fired transitions, 3010 secs || 4052030 markings, 25808562 edges, 1320 markings/sec, 3010 secs
lola: STP completed || 5 tries, 4308083 fired transitions, 3015 secs || 4058606 markings, 25850957 edges, 1315 markings/sec, 3015 secs
lola: STP completed || 5 tries, 4315227 fired transitions, 3020 secs || 4065289 markings, 25894985 edges, 1337 markings/sec, 3020 secs
lola: STP completed || 5 tries, 4322420 fired transitions, 3025 secs || 4072035 markings, 25931606 edges, 1349 markings/sec, 3025 secs
lola: STP completed || 5 tries, 4329615 fired transitions, 3030 secs || 4078766 markings, 25966056 edges, 1346 markings/sec, 3030 secs
lola: STP completed || 5 tries, 4336811 fired transitions, 3035 secs || 4085449 markings, 26005812 edges, 1337 markings/sec, 3035 secs
lola: STP completed || 5 tries, 4343998 fired transitions, 3040 secs || 4092144 markings, 26043271 edges, 1339 markings/sec, 3040 secs
lola: STP completed || 5 tries, 4351193 fired transitions, 3045 secs || 4098819 markings, 26082496 edges, 1335 markings/sec, 3045 secs
lola: STP completed || 5 tries, 4358393 fired transitions, 3050 secs || 4105453 markings, 26126601 edges, 1327 markings/sec, 3050 secs
lola: STP completed || 5 tries, 4365593 fired transitions, 3055 secs || 4112141 markings, 26165636 edges, 1338 markings/sec, 3055 secs
lola: STP completed || 5 tries, 4372777 fired transitions, 3060 secs || 4118827 markings, 26203607 edges, 1337 markings/sec, 3060 secs
lola: STP completed || 5 tries, 4379968 fired transitions, 3065 secs || 4125487 markings, 26244459 edges, 1332 markings/sec, 3065 secs
lola: STP completed || 5 tries, 4387158 fired transitions, 3070 secs || 4132128 markings, 26288067 edges, 1328 markings/sec, 3070 secs
lola: STP completed || 5 tries, 4394344 fired transitions, 3075 secs || 4138808 markings, 26328973 edges, 1336 markings/sec, 3075 secs
lola: STP completed || 5 tries, 4401524 fired transitions, 3080 secs || 4145456 markings, 26371917 edges, 1330 markings/sec, 3080 secs
lola: STP completed || 5 tries, 4408698 fired transitions, 3085 secs || 4152083 markings, 26417256 edges, 1325 markings/sec, 3085 secs
lola: STP completed || 5 tries, 4415891 fired transitions, 3090 secs || 4158690 markings, 26464336 edges, 1321 markings/sec, 3090 secs
lola: STP completed || 5 tries, 4423089 fired transitions, 3095 secs || 4165333 markings, 26509183 edges, 1329 markings/sec, 3095 secs
lola: STP completed || 5 tries, 4430156 fired transitions, 3100 secs || 4171886 markings, 26551124 edges, 1311 markings/sec, 3100 secs
lola: STP completed || 5 tries, 4437224 fired transitions, 3105 secs || 4178526 markings, 26589258 edges, 1328 markings/sec, 3105 secs
lola: STP completed || 5 tries, 4444363 fired transitions, 3110 secs || 4185209 markings, 26627669 edges, 1337 markings/sec, 3110 secs
lola: STP completed || 5 tries, 4451498 fired transitions, 3115 secs || 4191823 markings, 26671593 edges, 1323 markings/sec, 3115 secs
lola: STP completed || 5 tries, 4458681 fired transitions, 3120 secs || 4198493 markings, 26713103 edges, 1334 markings/sec, 3120 secs
lola: STP completed || 5 tries, 4465787 fired transitions, 3125 secs || 4205109 markings, 26752979 edges, 1323 markings/sec, 3125 secs
lola: STP completed || 5 tries, 4472894 fired transitions, 3130 secs || 4211672 markings, 26796623 edges, 1313 markings/sec, 3130 secs
lola: STP completed || 5 tries, 4480000 fired transitions, 3135 secs || 4218200 markings, 26843935 edges, 1306 markings/sec, 3135 secs
lola: STP completed || 5 tries, 4487107 fired transitions, 3140 secs || 4224519 markings, 26887887 edges, 1264 markings/sec, 3140 secs
lola: STP completed || 5 tries, 4494204 fired transitions, 3145 secs || 4231179 markings, 26931083 edges, 1332 markings/sec, 3145 secs
lola: STP completed || 5 tries, 4501300 fired transitions, 3150 secs || 4237851 markings, 26974321 edges, 1334 markings/sec, 3150 secs
lola: STP completed || 5 tries, 4508335 fired transitions, 3155 secs || 4244590 markings, 27017685 edges, 1348 markings/sec, 3155 secs
lola: STP completed || 5 tries, 4515419 fired transitions, 3160 secs || 4251274 markings, 27062462 edges, 1337 markings/sec, 3160 secs
lola: STP completed || 5 tries, 4522625 fired transitions, 3165 secs || 4257943 markings, 27110476 edges, 1334 markings/sec, 3165 secs
lola: STP completed || 5 tries, 4529807 fired transitions, 3170 secs || 4264601 markings, 27155302 edges, 1332 markings/sec, 3170 secs
lola: STP completed || 5 tries, 4537007 fired transitions, 3175 secs || 4271246 markings, 27200737 edges, 1329 markings/sec, 3175 secs
lola: STP completed || 5 tries, 4544201 fired transitions, 3180 secs || 4277875 markings, 27246042 edges, 1326 markings/sec, 3180 secs
lola: STP completed || 5 tries, 4551394 fired transitions, 3185 secs || 4284447 markings, 27295065 edges, 1314 markings/sec, 3185 secs
lola: STP completed || 5 tries, 4558589 fired transitions, 3190 secs || 4291002 markings, 27347508 edges, 1311 markings/sec, 3190 secs
lola: STP completed || 5 tries, 4565783 fired transitions, 3195 secs || 4297614 markings, 27396946 edges, 1322 markings/sec, 3195 secs
lola: STP completed || 5 tries, 4572966 fired transitions, 3200 secs || 4304292 markings, 27442674 edges, 1336 markings/sec, 3200 secs
lola: STP completed || 5 tries, 4580152 fired transitions, 3205 secs || 4310980 markings, 27486529 edges, 1338 markings/sec, 3205 secs
lola: STP completed || 5 tries, 4587355 fired transitions, 3210 secs || 4317649 markings, 27532436 edges, 1334 markings/sec, 3210 secs
lola: STP completed || 5 tries, 4594551 fired transitions, 3215 secs || 4324295 markings, 27580832 edges, 1329 markings/sec, 3215 secs
lola: STP completed || 5 tries, 4601743 fired transitions, 3220 secs || 4331005 markings, 27623437 edges, 1342 markings/sec, 3220 secs
lola: STP completed || 5 tries, 4608929 fired transitions, 3225 secs || 4337713 markings, 27666366 edges, 1342 markings/sec, 3225 secs
lola: STP completed || 5 tries, 4616122 fired transitions, 3230 secs || 4344427 markings, 27708456 edges, 1343 markings/sec, 3230 secs
lola: STP completed || 5 tries, 4623200 fired transitions, 3235 secs || 4351090 markings, 27749254 edges, 1333 markings/sec, 3235 secs
lola: STP completed || 5 tries, 4630409 fired transitions, 3240 secs || 4357875 markings, 27793953 edges, 1357 markings/sec, 3240 secs
lola: STP completed || 5 tries, 4637685 fired transitions, 3245 secs || 4364704 markings, 27842252 edges, 1366 markings/sec, 3245 secs
lola: STP completed || 5 tries, 4644678 fired transitions, 3250 secs || 4371269 markings, 27889007 edges, 1313 markings/sec, 3250 secs
lola: STP completed || 5 tries, 4651666 fired transitions, 3255 secs || 4377833 markings, 27935413 edges, 1313 markings/sec, 3255 secs
lola: STP completed || 5 tries, 4658653 fired transitions, 3260 secs || 4384464 markings, 27975966 edges, 1326 markings/sec, 3260 secs
lola: STP completed || 5 tries, 4665646 fired transitions, 3265 secs || 4391065 markings, 28019909 edges, 1320 markings/sec, 3265 secs
lola: STP completed || 5 tries, 4672638 fired transitions, 3270 secs || 4397758 markings, 28057922 edges, 1339 markings/sec, 3270 secs
lola: STP completed || 5 tries, 4679744 fired transitions, 3275 secs || 4404665 markings, 28094154 edges, 1381 markings/sec, 3275 secs
lola: STP completed || 5 tries, 4686856 fired transitions, 3280 secs || 4411520 markings, 28134215 edges, 1371 markings/sec, 3280 secs
lola: STP completed || 5 tries, 4693984 fired transitions, 3285 secs || 4418428 markings, 28170520 edges, 1382 markings/sec, 3285 secs
lola: STP completed || 5 tries, 4701114 fired transitions, 3290 secs || 4425286 markings, 28211918 edges, 1372 markings/sec, 3290 secs
lola: STP completed || 5 tries, 4708252 fired transitions, 3295 secs || 4432126 markings, 28255935 edges, 1368 markings/sec, 3295 secs
lola: STP completed || 5 tries, 4715391 fired transitions, 3300 secs || 4438995 markings, 28297410 edges, 1374 markings/sec, 3300 secs
lola: STP completed || 5 tries, 4722533 fired transitions, 3305 secs || 4445856 markings, 28339539 edges, 1372 markings/sec, 3305 secs
lola: STP completed || 5 tries, 4729679 fired transitions, 3310 secs || 4452695 markings, 28384993 edges, 1368 markings/sec, 3310 secs
lola: STP completed || 5 tries, 4736824 fired transitions, 3315 secs || 4459518 markings, 28431743 edges, 1365 markings/sec, 3315 secs
lola: STP completed || 5 tries, 4743983 fired transitions, 3320 secs || 4466365 markings, 28474167 edges, 1369 markings/sec, 3320 secs
lola: STP completed || 5 tries, 4751122 fired transitions, 3325 secs || 4473228 markings, 28514513 edges, 1373 markings/sec, 3325 secs
lola: STP completed || 5 tries, 4758261 fired transitions, 3330 secs || 4480120 markings, 28553831 edges, 1378 markings/sec, 3330 secs
lola: STP completed || 5 tries, 4765415 fired transitions, 3335 secs || 4486962 markings, 28597968 edges, 1368 markings/sec, 3335 secs
lola: STP completed || 5 tries, 4772570 fired transitions, 3340 secs || 4493806 markings, 28641349 edges, 1369 markings/sec, 3340 secs
lola: STP completed || 5 tries, 4779719 fired transitions, 3345 secs || 4500641 markings, 28687103 edges, 1367 markings/sec, 3345 secs
lola: STP completed || 5 tries, 4786859 fired transitions, 3350 secs || 4507471 markings, 28732953 edges, 1366 markings/sec, 3350 secs
lola: STP completed || 5 tries, 4794006 fired transitions, 3355 secs || 4514314 markings, 28778331 edges, 1369 markings/sec, 3355 secs
lola: STP completed || 5 tries, 4801159 fired transitions, 3360 secs || 4521150 markings, 28823596 edges, 1367 markings/sec, 3360 secs
lola: STP completed || 5 tries, 4808238 fired transitions, 3365 secs || 4527882 markings, 28870875 edges, 1346 markings/sec, 3365 secs
lola: STP completed || 5 tries, 4815274 fired transitions, 3370 secs || 4534502 markings, 28920860 edges, 1324 markings/sec, 3370 secs
lola: STP completed || 5 tries, 4822310 fired transitions, 3375 secs || 4541149 markings, 28965890 edges, 1329 markings/sec, 3375 secs
lola: STP completed || 5 tries, 4829335 fired transitions, 3380 secs || 4547872 markings, 29002949 edges, 1345 markings/sec, 3380 secs
lola: STP completed || 5 tries, 4836362 fired transitions, 3385 secs || 4554610 markings, 29038957 edges, 1348 markings/sec, 3385 secs
lola: STP completed || 5 tries, 4843399 fired transitions, 3390 secs || 4561344 markings, 29077241 edges, 1347 markings/sec, 3390 secs
lola: STP completed || 5 tries, 4850421 fired transitions, 3395 secs || 4568045 markings, 29118141 edges, 1340 markings/sec, 3395 secs
lola: STP completed || 5 tries, 4857456 fired transitions, 3400 secs || 4574742 markings, 29160505 edges, 1339 markings/sec, 3400 secs
lola: STP completed || 5 tries, 4864485 fired transitions, 3405 secs || 4581473 markings, 29198220 edges, 1346 markings/sec, 3405 secs
lola: STP completed || 5 tries, 4871517 fired transitions, 3410 secs || 4588159 markings, 29240178 edges, 1337 markings/sec, 3410 secs
lola: STP completed || 5 tries, 4878552 fired transitions, 3415 secs || 4594838 markings, 29284225 edges, 1336 markings/sec, 3415 secs
lola: STP completed || 5 tries, 4885583 fired transitions, 3420 secs || 4601510 markings, 29330047 edges, 1334 markings/sec, 3420 secs
lola: STP completed || 5 tries, 4892573 fired transitions, 3425 secs || 4608240 markings, 29360457 edges, 1346 markings/sec, 3425 secs
lola: STP completed || 5 tries, 4899564 fired transitions, 3430 secs || 4614959 markings, 29391324 edges, 1344 markings/sec, 3430 secs
lola: STP completed || 5 tries, 4906559 fired transitions, 3435 secs || 4621649 markings, 29423936 edges, 1338 markings/sec, 3435 secs
lola: STP completed || 5 tries, 4913556 fired transitions, 3440 secs || 4628310 markings, 29459219 edges, 1332 markings/sec, 3440 secs
lola: STP completed || 5 tries, 4920547 fired transitions, 3445 secs || 4634950 markings, 29496398 edges, 1328 markings/sec, 3445 secs
lola: STP completed || 5 tries, 4927528 fired transitions, 3450 secs || 4641586 markings, 29533414 edges, 1327 markings/sec, 3450 secs
lola: STP completed || 5 tries, 4934516 fired transitions, 3455 secs || 4648200 markings, 29571334 edges, 1323 markings/sec, 3455 secs
lola: STP completed || 5 tries, 4941502 fired transitions, 3460 secs || 4654822 markings, 29609220 edges, 1324 markings/sec, 3460 secs
lola: STP completed || 5 tries, 4948486 fired transitions, 3465 secs || 4661418 markings, 29649571 edges, 1319 markings/sec, 3465 secs
lola: STP completed || 5 tries, 4955473 fired transitions, 3470 secs || 4667960 markings, 29694570 edges, 1308 markings/sec, 3470 secs
lola: STP completed || 5 tries, 4962464 fired transitions, 3475 secs || 4674540 markings, 29735720 edges, 1316 markings/sec, 3475 secs
lola: STP completed || 5 tries, 4969455 fired transitions, 3480 secs || 4681143 markings, 29775554 edges, 1321 markings/sec, 3480 secs
lola: STP completed || 5 tries, 4976445 fired transitions, 3485 secs || 4687769 markings, 29814393 edges, 1325 markings/sec, 3485 secs
lola: STP completed || 5 tries, 4983420 fired transitions, 3490 secs || 4694420 markings, 29852299 edges, 1330 markings/sec, 3490 secs
lola: STP completed || 5 tries, 4990399 fired transitions, 3495 secs || 4701034 markings, 29893462 edges, 1323 markings/sec, 3495 secs
lola: STP completed || 5 tries, 4997373 fired transitions, 3500 secs || 4707624 markings, 29936567 edges, 1318 markings/sec, 3500 secs
lola: STP completed || 6 tries, 5004342 fired transitions, 3505 secs || 4714237 markings, 29977312 edges, 1323 markings/sec, 3505 secs
lola: STP completed || 6 tries, 5011311 fired transitions, 3510 secs || 4720803 markings, 30021841 edges, 1313 markings/sec, 3510 secs
lola: STP completed || 6 tries, 5018288 fired transitions, 3515 secs || 4727328 markings, 30070014 edges, 1305 markings/sec, 3515 secs
lola: STP completed || 6 tries, 5025267 fired transitions, 3520 secs || 4733857 markings, 30117758 edges, 1306 markings/sec, 3520 secs
lola: STP completed || 6 tries, 5032242 fired transitions, 3525 secs || 4740436 markings, 30162567 edges, 1316 markings/sec, 3525 secs
lola: STP completed || 6 tries, 5039215 fired transitions, 3530 secs || 4747063 markings, 30200377 edges, 1325 markings/sec, 3530 secs
lola: STP completed || 6 tries, 5046196 fired transitions, 3535 secs || 4753648 markings, 30241303 edges, 1317 markings/sec, 3535 secs
lola: STP completed || 6 tries, 5053169 fired transitions, 3540 secs || 4760232 markings, 30281571 edges, 1317 markings/sec, 3540 secs
lola: STP completed || 6 tries, 5060151 fired transitions, 3545 secs || 4766754 markings, 30327576 edges, 1304 markings/sec, 3545 secs
lola: STP completed || 6 tries, 5067133 fired transitions, 3550 secs || 4773340 markings, 30369588 edges, 1317 markings/sec, 3550 secs
lola: STP completed || 6 tries, 5074118 fired transitions, 3555 secs || 4779975 markings, 30408852 edges, 1327 markings/sec, 3555 secs
lola: STP completed || 6 tries, 5081101 fired transitions, 3560 secs || 4786588 markings, 30451004 edges, 1323 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 226512 KB
lola: time consumption: 3570 seconds
BK_STOP 1527334925873
--------------------
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="TokenRing-PT-015"
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/TokenRing-PT-015.tgz
mv TokenRing-PT-015 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 TokenRing-PT-015, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708743200328"
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 ;