About the Execution of LoLA for DLCshifumi-PT-3a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5268.370 | 3570615.00 | 7163557.00 | 7620.10 | [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 936K
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K 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 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 778K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCshifumi-PT-3a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300174
=====================================================================
--------------------
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 DLCshifumi-PT-3a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526704963745
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCshifumi-PT-3a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCshifumi-PT-3a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCshifumi-PT-3a @ 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: 3641/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: Size of bit vector: 544
lola: finding significant places
lola: 544 places, 3097 transitions, 262 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2600 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-3a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 46247 variables and 190529 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 1396 generators (85 in search tree, 1311 by composition)
lola: representing 6.72831E+58 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 7008 fired transitions, 0 secs || 7519 markings, 167576 edges, 1504 markings/sec, 0 secs
lola: STP completed || 1 tries, 14440 fired transitions, 5 secs || 20136 markings, 448345 edges, 2523 markings/sec, 5 secs
lola: STP completed || 1 tries, 21759 fired transitions, 10 secs || 33896 markings, 731843 edges, 2752 markings/sec, 10 secs
lola: STP completed || 1 tries, 29141 fired transitions, 15 secs || 47125 markings, 1013253 edges, 2646 markings/sec, 15 secs
lola: STP completed || 1 tries, 36585 fired transitions, 20 secs || 59609 markings, 1292856 edges, 2497 markings/sec, 20 secs
lola: STP completed || 1 tries, 43981 fired transitions, 25 secs || 74632 markings, 1579886 edges, 3005 markings/sec, 25 secs
lola: STP completed || 1 tries, 51320 fired transitions, 30 secs || 89945 markings, 1868380 edges, 3063 markings/sec, 30 secs
lola: STP completed || 1 tries, 58688 fired transitions, 35 secs || 102595 markings, 2148163 edges, 2530 markings/sec, 35 secs
lola: STP completed || 1 tries, 66177 fired transitions, 40 secs || 115794 markings, 2430572 edges, 2640 markings/sec, 40 secs
lola: STP completed || 1 tries, 73543 fired transitions, 45 secs || 128931 markings, 2712036 edges, 2627 markings/sec, 45 secs
lola: STP completed || 1 tries, 80913 fired transitions, 50 secs || 141804 markings, 2993172 edges, 2575 markings/sec, 50 secs
lola: STP completed || 1 tries, 88304 fired transitions, 55 secs || 154709 markings, 3274182 edges, 2581 markings/sec, 55 secs
lola: STP completed || 1 tries, 95637 fired transitions, 60 secs || 167930 markings, 3556529 edges, 2644 markings/sec, 60 secs
lola: STP completed || 1 tries, 103061 fired transitions, 65 secs || 181152 markings, 3837132 edges, 2644 markings/sec, 65 secs
lola: STP completed || 1 tries, 110417 fired transitions, 70 secs || 193574 markings, 4115190 edges, 2484 markings/sec, 70 secs
lola: STP completed || 1 tries, 117858 fired transitions, 75 secs || 206751 markings, 4397025 edges, 2635 markings/sec, 75 secs
lola: STP completed || 1 tries, 125321 fired transitions, 80 secs || 220400 markings, 4681064 edges, 2730 markings/sec, 80 secs
lola: STP completed || 1 tries, 132630 fired transitions, 85 secs || 237873 markings, 4976160 edges, 3495 markings/sec, 85 secs
lola: STP completed || 1 tries, 140008 fired transitions, 90 secs || 251073 markings, 5258643 edges, 2640 markings/sec, 90 secs
lola: STP completed || 1 tries, 147454 fired transitions, 95 secs || 264049 markings, 5541015 edges, 2595 markings/sec, 95 secs
lola: STP completed || 1 tries, 154922 fired transitions, 100 secs || 276888 markings, 5821324 edges, 2568 markings/sec, 100 secs
lola: STP completed || 1 tries, 162332 fired transitions, 105 secs || 290145 markings, 6103665 edges, 2651 markings/sec, 105 secs
lola: STP completed || 1 tries, 169734 fired transitions, 110 secs || 303368 markings, 6385569 edges, 2645 markings/sec, 110 secs
lola: STP completed || 1 tries, 177159 fired transitions, 115 secs || 315874 markings, 6665622 edges, 2501 markings/sec, 115 secs
lola: STP completed || 1 tries, 184505 fired transitions, 120 secs || 329104 markings, 6947377 edges, 2646 markings/sec, 120 secs
lola: STP completed || 1 tries, 191940 fired transitions, 125 secs || 342346 markings, 7229065 edges, 2648 markings/sec, 125 secs
lola: STP completed || 1 tries, 199264 fired transitions, 130 secs || 355022 markings, 7509167 edges, 2535 markings/sec, 130 secs
lola: STP completed || 1 tries, 206634 fired transitions, 135 secs || 368154 markings, 7790183 edges, 2626 markings/sec, 135 secs
lola: STP completed || 1 tries, 214082 fired transitions, 140 secs || 381363 markings, 8072087 edges, 2642 markings/sec, 140 secs
lola: STP completed || 1 tries, 221478 fired transitions, 145 secs || 394277 markings, 8353742 edges, 2583 markings/sec, 145 secs
lola: STP completed || 1 tries, 228867 fired transitions, 150 secs || 407106 markings, 8634005 edges, 2566 markings/sec, 150 secs
lola: STP completed || 1 tries, 236299 fired transitions, 155 secs || 420294 markings, 8915053 edges, 2638 markings/sec, 155 secs
lola: STP completed || 1 tries, 243702 fired transitions, 160 secs || 433499 markings, 9196285 edges, 2641 markings/sec, 160 secs
lola: STP completed || 1 tries, 251148 fired transitions, 165 secs || 445978 markings, 9476129 edges, 2496 markings/sec, 165 secs
lola: STP completed || 1 tries, 258655 fired transitions, 170 secs || 459249 markings, 9758635 edges, 2654 markings/sec, 170 secs
lola: STP completed || 1 tries, 266128 fired transitions, 175 secs || 472514 markings, 10040934 edges, 2653 markings/sec, 175 secs
lola: STP completed || 1 tries, 273500 fired transitions, 180 secs || 485209 markings, 10321338 edges, 2539 markings/sec, 180 secs
lola: STP completed || 1 tries, 280880 fired transitions, 185 secs || 498369 markings, 10603432 edges, 2632 markings/sec, 185 secs
lola: STP completed || 1 tries, 288280 fired transitions, 190 secs || 511596 markings, 10885092 edges, 2645 markings/sec, 190 secs
lola: STP completed || 1 tries, 295646 fired transitions, 195 secs || 524553 markings, 11167335 edges, 2591 markings/sec, 195 secs
lola: STP completed || 1 tries, 303133 fired transitions, 200 secs || 537377 markings, 11447559 edges, 2565 markings/sec, 200 secs
lola: STP completed || 1 tries, 310591 fired transitions, 205 secs || 550497 markings, 11728203 edges, 2624 markings/sec, 205 secs
lola: STP completed || 1 tries, 318133 fired transitions, 210 secs || 563730 markings, 12009477 edges, 2647 markings/sec, 210 secs
lola: STP completed || 1 tries, 325607 fired transitions, 215 secs || 576191 markings, 12288405 edges, 2492 markings/sec, 215 secs
lola: STP completed || 1 tries, 333060 fired transitions, 220 secs || 589421 markings, 12570424 edges, 2646 markings/sec, 220 secs
lola: STP completed || 1 tries, 340397 fired transitions, 225 secs || 602648 markings, 12851854 edges, 2645 markings/sec, 225 secs
lola: STP completed || 1 tries, 347727 fired transitions, 230 secs || 615337 markings, 13132250 edges, 2538 markings/sec, 230 secs
lola: STP completed || 1 tries, 355237 fired transitions, 235 secs || 628484 markings, 13413815 edges, 2629 markings/sec, 235 secs
lola: STP completed || 1 tries, 362623 fired transitions, 240 secs || 641670 markings, 13694865 edges, 2637 markings/sec, 240 secs
lola: STP completed || 1 tries, 369987 fired transitions, 245 secs || 658065 markings, 13987059 edges, 3279 markings/sec, 245 secs
lola: STP completed || 1 tries, 377523 fired transitions, 250 secs || 676732 markings, 14287191 edges, 3733 markings/sec, 250 secs
lola: STP completed || 1 tries, 384932 fired transitions, 255 secs || 694958 markings, 14588268 edges, 3645 markings/sec, 255 secs
lola: STP completed || 1 tries, 392334 fired transitions, 260 secs || 713840 markings, 14889601 edges, 3776 markings/sec, 260 secs
lola: STP completed || 1 tries, 399759 fired transitions, 265 secs || 732351 markings, 15188748 edges, 3702 markings/sec, 265 secs
lola: STP completed || 1 tries, 407222 fired transitions, 270 secs || 750840 markings, 15489069 edges, 3698 markings/sec, 270 secs
lola: STP completed || 1 tries, 414646 fired transitions, 275 secs || 769399 markings, 15789899 edges, 3712 markings/sec, 275 secs
lola: STP completed || 1 tries, 421990 fired transitions, 280 secs || 787876 markings, 16089421 edges, 3695 markings/sec, 280 secs
lola: STP completed || 1 tries, 429390 fired transitions, 285 secs || 806404 markings, 16389161 edges, 3706 markings/sec, 285 secs
lola: STP completed || 1 tries, 436802 fired transitions, 290 secs || 824829 markings, 16689220 edges, 3685 markings/sec, 290 secs
lola: STP completed || 1 tries, 444160 fired transitions, 295 secs || 843392 markings, 16989377 edges, 3713 markings/sec, 295 secs
lola: STP completed || 1 tries, 451539 fired transitions, 300 secs || 855574 markings, 17270686 edges, 2436 markings/sec, 300 secs
lola: STP completed || 1 tries, 458959 fired transitions, 305 secs || 869405 markings, 17558521 edges, 2766 markings/sec, 305 secs
lola: STP completed || 1 tries, 466326 fired transitions, 310 secs || 881825 markings, 17840188 edges, 2484 markings/sec, 310 secs
lola: STP completed || 1 tries, 473690 fired transitions, 315 secs || 894252 markings, 18122230 edges, 2485 markings/sec, 315 secs
lola: STP completed || 1 tries, 481032 fired transitions, 320 secs || 906470 markings, 18403117 edges, 2444 markings/sec, 320 secs
lola: STP completed || 1 tries, 488513 fired transitions, 325 secs || 918831 markings, 18685038 edges, 2472 markings/sec, 325 secs
lola: STP completed || 1 tries, 495990 fired transitions, 330 secs || 931256 markings, 18966605 edges, 2485 markings/sec, 330 secs
lola: STP completed || 1 tries, 503464 fired transitions, 335 secs || 943595 markings, 19246896 edges, 2468 markings/sec, 335 secs
lola: STP completed || 1 tries, 510872 fired transitions, 340 secs || 955796 markings, 19527262 edges, 2440 markings/sec, 340 secs
lola: STP completed || 1 tries, 518262 fired transitions, 345 secs || 968110 markings, 19808235 edges, 2463 markings/sec, 345 secs
lola: STP completed || 1 tries, 525726 fired transitions, 350 secs || 980437 markings, 20088821 edges, 2465 markings/sec, 350 secs
lola: STP completed || 1 tries, 533075 fired transitions, 355 secs || 992780 markings, 20369816 edges, 2469 markings/sec, 355 secs
lola: STP completed || 1 tries, 540465 fired transitions, 360 secs || 1005180 markings, 20650916 edges, 2480 markings/sec, 360 secs
lola: STP completed || 1 tries, 547860 fired transitions, 365 secs || 1017546 markings, 20931601 edges, 2473 markings/sec, 365 secs
lola: STP completed || 1 tries, 555287 fired transitions, 370 secs || 1029764 markings, 21212838 edges, 2444 markings/sec, 370 secs
lola: STP completed || 1 tries, 562644 fired transitions, 375 secs || 1042132 markings, 21494282 edges, 2474 markings/sec, 375 secs
lola: STP completed || 1 tries, 570131 fired transitions, 380 secs || 1054470 markings, 21774470 edges, 2468 markings/sec, 380 secs
lola: STP completed || 1 tries, 577604 fired transitions, 385 secs || 1066778 markings, 22054868 edges, 2462 markings/sec, 385 secs
lola: STP completed || 1 tries, 585093 fired transitions, 390 secs || 1078909 markings, 22334381 edges, 2426 markings/sec, 390 secs
lola: STP completed || 1 tries, 592505 fired transitions, 395 secs || 1091250 markings, 22614901 edges, 2468 markings/sec, 395 secs
lola: STP completed || 1 tries, 599972 fired transitions, 400 secs || 1103638 markings, 22895620 edges, 2478 markings/sec, 400 secs
lola: STP completed || 1 tries, 607348 fired transitions, 405 secs || 1115974 markings, 23176065 edges, 2467 markings/sec, 405 secs
lola: STP completed || 1 tries, 614794 fired transitions, 410 secs || 1128341 markings, 23456746 edges, 2473 markings/sec, 410 secs
lola: STP completed || 1 tries, 622189 fired transitions, 415 secs || 1140580 markings, 23737045 edges, 2448 markings/sec, 415 secs
lola: STP completed || 1 tries, 629669 fired transitions, 420 secs || 1152862 markings, 24018061 edges, 2456 markings/sec, 420 secs
lola: STP completed || 1 tries, 637083 fired transitions, 425 secs || 1165224 markings, 24298389 edges, 2472 markings/sec, 425 secs
lola: STP completed || 1 tries, 644354 fired transitions, 430 secs || 1177550 markings, 24578334 edges, 2465 markings/sec, 430 secs
lola: STP completed || 1 tries, 651862 fired transitions, 435 secs || 1189665 markings, 24857584 edges, 2423 markings/sec, 435 secs
lola: STP completed || 1 tries, 659262 fired transitions, 440 secs || 1202006 markings, 25138586 edges, 2468 markings/sec, 440 secs
lola: STP completed || 1 tries, 666682 fired transitions, 445 secs || 1214370 markings, 25419579 edges, 2473 markings/sec, 445 secs
lola: STP completed || 1 tries, 674058 fired transitions, 450 secs || 1226732 markings, 25700666 edges, 2472 markings/sec, 450 secs
lola: STP completed || 1 tries, 681482 fired transitions, 455 secs || 1239144 markings, 25982143 edges, 2482 markings/sec, 455 secs
lola: STP completed || 1 tries, 688889 fired transitions, 460 secs || 1251450 markings, 26262598 edges, 2461 markings/sec, 460 secs
lola: STP completed || 1 tries, 696303 fired transitions, 465 secs || 1263626 markings, 26543000 edges, 2435 markings/sec, 465 secs
lola: STP completed || 1 tries, 703785 fired transitions, 470 secs || 1276017 markings, 26823597 edges, 2478 markings/sec, 470 secs
lola: STP completed || 1 tries, 711203 fired transitions, 475 secs || 1288308 markings, 27102883 edges, 2458 markings/sec, 475 secs
lola: STP completed || 1 tries, 718656 fired transitions, 480 secs || 1300529 markings, 27382340 edges, 2444 markings/sec, 480 secs
lola: STP completed || 1 tries, 726103 fired transitions, 485 secs || 1312755 markings, 27662120 edges, 2445 markings/sec, 485 secs
lola: STP completed || 1 tries, 733541 fired transitions, 490 secs || 1325059 markings, 27941968 edges, 2461 markings/sec, 490 secs
lola: STP completed || 1 tries, 740970 fired transitions, 495 secs || 1337375 markings, 28222199 edges, 2463 markings/sec, 495 secs
lola: STP completed || 1 tries, 748405 fired transitions, 500 secs || 1349735 markings, 28502262 edges, 2472 markings/sec, 500 secs
lola: STP completed || 1 tries, 755907 fired transitions, 505 secs || 1361988 markings, 28781860 edges, 2451 markings/sec, 505 secs
lola: STP completed || 1 tries, 763383 fired transitions, 510 secs || 1379050 markings, 29079474 edges, 3412 markings/sec, 510 secs
lola: STP completed || 1 tries, 770780 fired transitions, 515 secs || 1391469 markings, 29362303 edges, 2484 markings/sec, 515 secs
lola: STP completed || 1 tries, 778205 fired transitions, 520 secs || 1405586 markings, 29652068 edges, 2823 markings/sec, 520 secs
lola: STP completed || 1 tries, 785536 fired transitions, 525 secs || 1418013 markings, 29934016 edges, 2485 markings/sec, 525 secs
lola: STP completed || 1 tries, 792871 fired transitions, 530 secs || 1430238 markings, 30215199 edges, 2445 markings/sec, 530 secs
lola: STP completed || 1 tries, 800307 fired transitions, 535 secs || 1442567 markings, 30496394 edges, 2466 markings/sec, 535 secs
lola: STP completed || 1 tries, 807701 fired transitions, 540 secs || 1455016 markings, 30778555 edges, 2490 markings/sec, 540 secs
lola: STP completed || 1 tries, 815164 fired transitions, 545 secs || 1467402 markings, 31060104 edges, 2477 markings/sec, 545 secs
lola: STP completed || 1 tries, 822545 fired transitions, 550 secs || 1479613 markings, 31340231 edges, 2442 markings/sec, 550 secs
lola: STP completed || 1 tries, 829925 fired transitions, 555 secs || 1491916 markings, 31621482 edges, 2461 markings/sec, 555 secs
lola: STP completed || 1 tries, 837299 fired transitions, 560 secs || 1504259 markings, 31902511 edges, 2469 markings/sec, 560 secs
lola: STP completed || 1 tries, 844853 fired transitions, 565 secs || 1516604 markings, 32183577 edges, 2469 markings/sec, 565 secs
lola: STP completed || 1 tries, 852215 fired transitions, 570 secs || 1528997 markings, 32464569 edges, 2479 markings/sec, 570 secs
lola: STP completed || 1 tries, 859654 fired transitions, 575 secs || 1541389 markings, 32745405 edges, 2478 markings/sec, 575 secs
lola: STP completed || 1 tries, 867028 fired transitions, 580 secs || 1553531 markings, 33024784 edges, 2428 markings/sec, 580 secs
lola: STP completed || 1 tries, 874476 fired transitions, 585 secs || 1565898 markings, 33306277 edges, 2473 markings/sec, 585 secs
lola: STP completed || 1 tries, 881885 fired transitions, 590 secs || 1578282 markings, 33587819 edges, 2477 markings/sec, 590 secs
lola: STP completed || 1 tries, 889312 fired transitions, 595 secs || 1590619 markings, 33868440 edges, 2467 markings/sec, 595 secs
lola: STP completed || 1 tries, 896652 fired transitions, 600 secs || 1602804 markings, 34148749 edges, 2437 markings/sec, 600 secs
lola: STP completed || 1 tries, 903914 fired transitions, 605 secs || 1615111 markings, 34429207 edges, 2461 markings/sec, 605 secs
lola: STP completed || 1 tries, 911372 fired transitions, 610 secs || 1627494 markings, 34710059 edges, 2477 markings/sec, 610 secs
lola: STP completed || 1 tries, 918753 fired transitions, 615 secs || 1639817 markings, 34990517 edges, 2465 markings/sec, 615 secs
lola: STP completed || 1 tries, 926064 fired transitions, 620 secs || 1652166 markings, 35270523 edges, 2470 markings/sec, 620 secs
lola: STP completed || 1 tries, 933478 fired transitions, 625 secs || 1664408 markings, 35550401 edges, 2448 markings/sec, 625 secs
lola: STP completed || 1 tries, 940866 fired transitions, 630 secs || 1676641 markings, 35830457 edges, 2447 markings/sec, 630 secs
lola: STP completed || 1 tries, 948366 fired transitions, 635 secs || 1689044 markings, 36111570 edges, 2481 markings/sec, 635 secs
lola: STP completed || 1 tries, 955815 fired transitions, 640 secs || 1701386 markings, 36391897 edges, 2468 markings/sec, 640 secs
lola: STP completed || 1 tries, 963154 fired transitions, 645 secs || 1713542 markings, 36671417 edges, 2431 markings/sec, 645 secs
lola: STP completed || 1 tries, 970548 fired transitions, 650 secs || 1725832 markings, 36951637 edges, 2458 markings/sec, 650 secs
lola: STP completed || 1 tries, 977787 fired transitions, 655 secs || 1738193 markings, 37232929 edges, 2472 markings/sec, 655 secs
lola: STP completed || 1 tries, 985168 fired transitions, 660 secs || 1750545 markings, 37514180 edges, 2470 markings/sec, 660 secs
lola: STP completed || 1 tries, 992596 fired transitions, 665 secs || 1762941 markings, 37795145 edges, 2479 markings/sec, 665 secs
lola: STP completed || 1 tries, 999942 fired transitions, 670 secs || 1775310 markings, 38075927 edges, 2474 markings/sec, 670 secs
lola: STP completed || 2 tries, 1007348 fired transitions, 675 secs || 1787428 markings, 38355669 edges, 2424 markings/sec, 675 secs
lola: STP completed || 2 tries, 1014707 fired transitions, 680 secs || 1799816 markings, 38636639 edges, 2478 markings/sec, 680 secs
lola: STP completed || 2 tries, 1022127 fired transitions, 685 secs || 1812152 markings, 38916742 edges, 2467 markings/sec, 685 secs
lola: STP completed || 2 tries, 1029603 fired transitions, 690 secs || 1824355 markings, 39195616 edges, 2441 markings/sec, 690 secs
lola: STP completed || 2 tries, 1036938 fired transitions, 695 secs || 1836559 markings, 39475318 edges, 2441 markings/sec, 695 secs
lola: STP completed || 2 tries, 1044290 fired transitions, 700 secs || 1848871 markings, 39755388 edges, 2462 markings/sec, 700 secs
lola: STP completed || 2 tries, 1051593 fired transitions, 705 secs || 1861191 markings, 40035667 edges, 2464 markings/sec, 705 secs
lola: STP completed || 2 tries, 1058977 fired transitions, 710 secs || 1873561 markings, 40315932 edges, 2474 markings/sec, 710 secs
lola: STP completed || 2 tries, 1066386 fired transitions, 715 secs || 1885879 markings, 40595943 edges, 2464 markings/sec, 715 secs
lola: STP completed || 2 tries, 1073790 fired transitions, 720 secs || 1897966 markings, 40874561 edges, 2417 markings/sec, 720 secs
lola: STP completed || 2 tries, 1081079 fired transitions, 725 secs || 1914949 markings, 41168460 edges, 3397 markings/sec, 725 secs
lola: STP completed || 2 tries, 1088601 fired transitions, 730 secs || 1934113 markings, 41474010 edges, 3833 markings/sec, 730 secs
lola: STP completed || 2 tries, 1095950 fired transitions, 735 secs || 1952326 markings, 41776307 edges, 3643 markings/sec, 735 secs
lola: STP completed || 2 tries, 1103345 fired transitions, 740 secs || 1970441 markings, 42079399 edges, 3623 markings/sec, 740 secs
lola: STP completed || 2 tries, 1110613 fired transitions, 745 secs || 1988430 markings, 42380818 edges, 3598 markings/sec, 745 secs
lola: STP completed || 2 tries, 1117935 fired transitions, 750 secs || 2006054 markings, 42683321 edges, 3525 markings/sec, 750 secs
lola: STP completed || 2 tries, 1125181 fired transitions, 755 secs || 2024324 markings, 42985323 edges, 3654 markings/sec, 755 secs
lola: STP completed || 2 tries, 1132633 fired transitions, 760 secs || 2042379 markings, 43286018 edges, 3611 markings/sec, 760 secs
lola: STP completed || 2 tries, 1140028 fired transitions, 765 secs || 2060454 markings, 43588561 edges, 3615 markings/sec, 765 secs
lola: STP completed || 2 tries, 1147496 fired transitions, 770 secs || 2078373 markings, 43891489 edges, 3584 markings/sec, 770 secs
lola: STP completed || 2 tries, 1154864 fired transitions, 775 secs || 2097159 markings, 44188011 edges, 3757 markings/sec, 775 secs
lola: STP completed || 2 tries, 1162232 fired transitions, 780 secs || 2115210 markings, 44485760 edges, 3610 markings/sec, 780 secs
lola: STP completed || 2 tries, 1169523 fired transitions, 785 secs || 2133640 markings, 44782534 edges, 3686 markings/sec, 785 secs
lola: STP completed || 2 tries, 1176870 fired transitions, 790 secs || 2151689 markings, 45079422 edges, 3610 markings/sec, 790 secs
lola: STP completed || 2 tries, 1184014 fired transitions, 795 secs || 2169443 markings, 45372248 edges, 3551 markings/sec, 795 secs
lola: STP completed || 2 tries, 1191332 fired transitions, 800 secs || 2187160 markings, 45667688 edges, 3543 markings/sec, 800 secs
lola: STP completed || 2 tries, 1198417 fired transitions, 805 secs || 2203890 markings, 45954385 edges, 3346 markings/sec, 805 secs
lola: STP completed || 2 tries, 1205702 fired transitions, 810 secs || 2221177 markings, 46248902 edges, 3457 markings/sec, 810 secs
lola: STP completed || 2 tries, 1213142 fired transitions, 815 secs || 2239430 markings, 46545021 edges, 3651 markings/sec, 815 secs
lola: STP completed || 2 tries, 1220350 fired transitions, 820 secs || 2256526 markings, 46836306 edges, 3419 markings/sec, 820 secs
lola: STP completed || 2 tries, 1227557 fired transitions, 825 secs || 2273925 markings, 47127306 edges, 3480 markings/sec, 825 secs
lola: STP completed || 2 tries, 1234931 fired transitions, 830 secs || 2291847 markings, 47425572 edges, 3584 markings/sec, 830 secs
lola: STP completed || 2 tries, 1242465 fired transitions, 835 secs || 2310540 markings, 47727508 edges, 3739 markings/sec, 835 secs
lola: STP completed || 2 tries, 1249850 fired transitions, 840 secs || 2328513 markings, 48026643 edges, 3595 markings/sec, 840 secs
lola: STP completed || 2 tries, 1257286 fired transitions, 845 secs || 2346489 markings, 48329265 edges, 3595 markings/sec, 845 secs
lola: STP completed || 2 tries, 1264684 fired transitions, 850 secs || 2365053 markings, 48629978 edges, 3713 markings/sec, 850 secs
lola: STP completed || 2 tries, 1272113 fired transitions, 855 secs || 2383095 markings, 48930549 edges, 3608 markings/sec, 855 secs
lola: STP completed || 2 tries, 1279495 fired transitions, 860 secs || 2401038 markings, 49232277 edges, 3589 markings/sec, 860 secs
lola: STP completed || 2 tries, 1286791 fired transitions, 865 secs || 2419144 markings, 49535950 edges, 3621 markings/sec, 865 secs
lola: STP completed || 2 tries, 1294124 fired transitions, 870 secs || 2437714 markings, 49838839 edges, 3714 markings/sec, 870 secs
lola: STP completed || 2 tries, 1301519 fired transitions, 875 secs || 2456580 markings, 50140635 edges, 3773 markings/sec, 875 secs
lola: STP completed || 2 tries, 1308963 fired transitions, 880 secs || 2475322 markings, 50442738 edges, 3748 markings/sec, 880 secs
lola: STP completed || 2 tries, 1316498 fired transitions, 885 secs || 2494291 markings, 50743141 edges, 3794 markings/sec, 885 secs
lola: STP completed || 2 tries, 1323616 fired transitions, 890 secs || 2512315 markings, 51035056 edges, 3605 markings/sec, 890 secs
lola: STP completed || 2 tries, 1330994 fired transitions, 895 secs || 2530698 markings, 51337613 edges, 3677 markings/sec, 895 secs
lola: STP completed || 2 tries, 1338386 fired transitions, 900 secs || 2548903 markings, 51641625 edges, 3641 markings/sec, 900 secs
lola: STP completed || 2 tries, 1345807 fired transitions, 905 secs || 2566998 markings, 51945380 edges, 3619 markings/sec, 905 secs
lola: STP completed || 2 tries, 1353159 fired transitions, 910 secs || 2586210 markings, 52245856 edges, 3842 markings/sec, 910 secs
lola: STP completed || 2 tries, 1360510 fired transitions, 915 secs || 2604912 markings, 52540465 edges, 3740 markings/sec, 915 secs
lola: STP completed || 2 tries, 1367857 fired transitions, 920 secs || 2622831 markings, 52836297 edges, 3584 markings/sec, 920 secs
lola: STP completed || 2 tries, 1375265 fired transitions, 925 secs || 2641370 markings, 53138294 edges, 3708 markings/sec, 925 secs
lola: STP completed || 2 tries, 1382728 fired transitions, 930 secs || 2659929 markings, 53440783 edges, 3712 markings/sec, 930 secs
lola: STP completed || 2 tries, 1390050 fired transitions, 935 secs || 2678642 markings, 53743442 edges, 3743 markings/sec, 935 secs
lola: STP completed || 2 tries, 1397516 fired transitions, 940 secs || 2696236 markings, 54043548 edges, 3519 markings/sec, 940 secs
lola: STP completed || 2 tries, 1404908 fired transitions, 945 secs || 2709153 markings, 54326954 edges, 2583 markings/sec, 945 secs
lola: STP completed || 2 tries, 1412281 fired transitions, 950 secs || 2724196 markings, 54615298 edges, 3009 markings/sec, 950 secs
lola: STP completed || 2 tries, 1419654 fired transitions, 955 secs || 2736904 markings, 54897297 edges, 2542 markings/sec, 955 secs
lola: STP completed || 2 tries, 1427132 fired transitions, 960 secs || 2752353 markings, 55185537 edges, 3090 markings/sec, 960 secs
lola: STP completed || 2 tries, 1434501 fired transitions, 965 secs || 2765844 markings, 55471601 edges, 2698 markings/sec, 965 secs
lola: STP completed || 2 tries, 1441851 fired transitions, 970 secs || 2779622 markings, 55757537 edges, 2756 markings/sec, 970 secs
lola: STP completed || 2 tries, 1449314 fired transitions, 975 secs || 2795876 markings, 56047730 edges, 3251 markings/sec, 975 secs
lola: STP completed || 2 tries, 1456770 fired transitions, 980 secs || 2808487 markings, 56330218 edges, 2522 markings/sec, 980 secs
lola: STP completed || 2 tries, 1464264 fired transitions, 985 secs || 2823807 markings, 56620254 edges, 3064 markings/sec, 985 secs
lola: STP completed || 2 tries, 1471641 fired transitions, 990 secs || 2837052 markings, 56903271 edges, 2649 markings/sec, 990 secs
lola: STP completed || 2 tries, 1479102 fired transitions, 995 secs || 2850531 markings, 57188919 edges, 2696 markings/sec, 995 secs
lola: STP completed || 2 tries, 1486532 fired transitions, 1000 secs || 2863270 markings, 57470651 edges, 2548 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1493869 fired transitions, 1005 secs || 2879830 markings, 57765675 edges, 3312 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1501345 fired transitions, 1010 secs || 2892761 markings, 58049862 edges, 2586 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1508736 fired transitions, 1015 secs || 2907062 markings, 58335474 edges, 2860 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1516177 fired transitions, 1020 secs || 2921256 markings, 58621032 edges, 2839 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1523645 fired transitions, 1025 secs || 2933910 markings, 58903192 edges, 2531 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1531074 fired transitions, 1030 secs || 2947139 markings, 59184854 edges, 2646 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1538496 fired transitions, 1035 secs || 2964318 markings, 59480290 edges, 3436 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1545948 fired transitions, 1040 secs || 2982535 markings, 59783747 edges, 3643 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1553273 fired transitions, 1045 secs || 2995365 markings, 60068574 edges, 2566 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1560678 fired transitions, 1050 secs || 3009822 markings, 60354348 edges, 2891 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1568105 fired transitions, 1055 secs || 3023221 markings, 60637483 edges, 2680 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1575537 fired transitions, 1060 secs || 3036705 markings, 60923156 edges, 2697 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1582941 fired transitions, 1065 secs || 3050099 markings, 61207334 edges, 2679 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1590314 fired transitions, 1070 secs || 3065776 markings, 61499325 edges, 3135 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1597687 fired transitions, 1075 secs || 3079857 markings, 61785173 edges, 2816 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1605075 fired transitions, 1080 secs || 3093145 markings, 62068139 edges, 2658 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1612511 fired transitions, 1085 secs || 3105796 markings, 62349169 edges, 2530 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1619881 fired transitions, 1090 secs || 3119041 markings, 62631578 edges, 2649 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1627242 fired transitions, 1095 secs || 3132275 markings, 62914011 edges, 2647 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1634646 fired transitions, 1100 secs || 3145087 markings, 63195577 edges, 2562 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1642042 fired transitions, 1105 secs || 3158121 markings, 63477746 edges, 2607 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1649445 fired transitions, 1110 secs || 3171352 markings, 63760406 edges, 2646 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1656839 fired transitions, 1115 secs || 3184590 markings, 64042246 edges, 2648 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1664183 fired transitions, 1120 secs || 3197147 markings, 64323025 edges, 2511 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1671563 fired transitions, 1125 secs || 3212231 markings, 64610228 edges, 3017 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1678938 fired transitions, 1130 secs || 3231068 markings, 64909956 edges, 3767 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1686444 fired transitions, 1135 secs || 3249484 markings, 65209388 edges, 3683 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1693919 fired transitions, 1140 secs || 3268476 markings, 65511349 edges, 3798 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1701250 fired transitions, 1145 secs || 3288417 markings, 65810777 edges, 3988 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1708708 fired transitions, 1150 secs || 3306790 markings, 66110951 edges, 3675 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1716005 fired transitions, 1155 secs || 3326137 markings, 66409777 edges, 3869 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1723395 fired transitions, 1160 secs || 3339030 markings, 66692539 edges, 2579 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1730848 fired transitions, 1165 secs || 3352835 markings, 66979459 edges, 2761 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1738225 fired transitions, 1170 secs || 3365205 markings, 67260076 edges, 2474 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1745600 fired transitions, 1175 secs || 3377539 markings, 67540245 edges, 2467 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1752960 fired transitions, 1180 secs || 3389745 markings, 67819099 edges, 2441 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1760326 fired transitions, 1185 secs || 3401966 markings, 68099346 edges, 2444 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1767767 fired transitions, 1190 secs || 3414233 markings, 68378161 edges, 2453 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1775220 fired transitions, 1195 secs || 3426517 markings, 68657353 edges, 2457 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1782606 fired transitions, 1200 secs || 3438845 markings, 68936987 edges, 2466 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1790043 fired transitions, 1205 secs || 3451064 markings, 69215886 edges, 2444 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1797481 fired transitions, 1210 secs || 3463205 markings, 69493955 edges, 2428 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1804826 fired transitions, 1215 secs || 3475524 markings, 69773472 edges, 2464 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1812277 fired transitions, 1220 secs || 3487704 markings, 70050885 edges, 2436 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1819655 fired transitions, 1225 secs || 3499814 markings, 70329030 edges, 2422 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1827111 fired transitions, 1230 secs || 3516097 markings, 70620515 edges, 3257 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1834525 fired transitions, 1235 secs || 3534692 markings, 70922438 edges, 3719 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1841890 fired transitions, 1240 secs || 3552859 markings, 71224656 edges, 3633 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1849269 fired transitions, 1245 secs || 3571169 markings, 71526497 edges, 3662 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1856665 fired transitions, 1250 secs || 3588974 markings, 71828073 edges, 3561 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1864062 fired transitions, 1255 secs || 3607739 markings, 72131009 edges, 3753 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1871467 fired transitions, 1260 secs || 3626328 markings, 72434257 edges, 3718 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1878864 fired transitions, 1265 secs || 3644570 markings, 72737503 edges, 3648 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1886202 fired transitions, 1270 secs || 3664090 markings, 73042880 edges, 3904 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1893686 fired transitions, 1275 secs || 3682501 markings, 73344885 edges, 3682 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1900987 fired transitions, 1280 secs || 3700928 markings, 73648185 edges, 3685 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1908411 fired transitions, 1285 secs || 3719599 markings, 73950685 edges, 3734 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1915832 fired transitions, 1290 secs || 3738077 markings, 74253494 edges, 3696 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1923204 fired transitions, 1295 secs || 3752657 markings, 74540925 edges, 2916 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1930626 fired transitions, 1300 secs || 3765816 markings, 74823602 edges, 2632 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1938023 fired transitions, 1305 secs || 3778500 markings, 75104744 edges, 2537 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1945439 fired transitions, 1310 secs || 3791718 markings, 75387638 edges, 2644 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1952889 fired transitions, 1315 secs || 3805065 markings, 75670516 edges, 2669 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1960257 fired transitions, 1320 secs || 3817788 markings, 75952022 edges, 2545 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1967669 fired transitions, 1325 secs || 3831007 markings, 76235211 edges, 2644 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1975097 fired transitions, 1330 secs || 3844253 markings, 76518004 edges, 2649 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1982467 fired transitions, 1335 secs || 3857177 markings, 76799692 edges, 2585 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1989795 fired transitions, 1340 secs || 3870025 markings, 77080074 edges, 2570 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1997200 fired transitions, 1345 secs || 3883183 markings, 77361224 edges, 2632 markings/sec, 1345 secs
lola: STP completed || 3 tries, 2004610 fired transitions, 1350 secs || 3896470 markings, 77644294 edges, 2657 markings/sec, 1350 secs
lola: STP completed || 3 tries, 2011989 fired transitions, 1355 secs || 3909030 markings, 77924518 edges, 2512 markings/sec, 1355 secs
lola: STP completed || 3 tries, 2019314 fired transitions, 1360 secs || 3922266 markings, 78206420 edges, 2647 markings/sec, 1360 secs
lola: STP completed || 3 tries, 2026713 fired transitions, 1365 secs || 3935527 markings, 78488591 edges, 2652 markings/sec, 1365 secs
lola: STP completed || 3 tries, 2034075 fired transitions, 1370 secs || 3948178 markings, 78768673 edges, 2530 markings/sec, 1370 secs
lola: STP completed || 3 tries, 2041525 fired transitions, 1375 secs || 3961304 markings, 79050446 edges, 2625 markings/sec, 1375 secs
lola: STP completed || 3 tries, 2048963 fired transitions, 1380 secs || 3974577 markings, 79333700 edges, 2655 markings/sec, 1380 secs
lola: STP completed || 3 tries, 2056431 fired transitions, 1385 secs || 3987502 markings, 79613697 edges, 2585 markings/sec, 1385 secs
lola: STP completed || 3 tries, 2063845 fired transitions, 1390 secs || 4000242 markings, 79892905 edges, 2548 markings/sec, 1390 secs
lola: STP completed || 3 tries, 2071223 fired transitions, 1395 secs || 4013373 markings, 80173880 edges, 2626 markings/sec, 1395 secs
lola: STP completed || 3 tries, 2078666 fired transitions, 1400 secs || 4026630 markings, 80456031 edges, 2651 markings/sec, 1400 secs
lola: STP completed || 3 tries, 2086078 fired transitions, 1405 secs || 4039130 markings, 80734737 edges, 2500 markings/sec, 1405 secs
lola: STP completed || 3 tries, 2093479 fired transitions, 1410 secs || 4052252 markings, 81015102 edges, 2624 markings/sec, 1410 secs
lola: STP completed || 3 tries, 2100829 fired transitions, 1415 secs || 4065456 markings, 81295508 edges, 2641 markings/sec, 1415 secs
lola: STP completed || 3 tries, 2108187 fired transitions, 1420 secs || 4078095 markings, 81574714 edges, 2528 markings/sec, 1420 secs
lola: STP completed || 3 tries, 2115567 fired transitions, 1425 secs || 4091209 markings, 81854850 edges, 2623 markings/sec, 1425 secs
lola: STP completed || 3 tries, 2123042 fired transitions, 1430 secs || 4104300 markings, 82135552 edges, 2618 markings/sec, 1430 secs
lola: STP completed || 3 tries, 2130480 fired transitions, 1435 secs || 4117092 markings, 82415206 edges, 2558 markings/sec, 1435 secs
lola: STP completed || 3 tries, 2137891 fired transitions, 1440 secs || 4129889 markings, 82692561 edges, 2559 markings/sec, 1440 secs
lola: STP completed || 3 tries, 2145278 fired transitions, 1445 secs || 4143039 markings, 82972940 edges, 2630 markings/sec, 1445 secs
lola: STP completed || 3 tries, 2152713 fired transitions, 1450 secs || 4155943 markings, 83252269 edges, 2581 markings/sec, 1450 secs
lola: STP completed || 3 tries, 2160134 fired transitions, 1455 secs || 4168730 markings, 83532973 edges, 2557 markings/sec, 1455 secs
lola: STP completed || 3 tries, 2167564 fired transitions, 1460 secs || 4181927 markings, 83814929 edges, 2639 markings/sec, 1460 secs
lola: STP completed || 3 tries, 2174904 fired transitions, 1465 secs || 4195174 markings, 84096654 edges, 2649 markings/sec, 1465 secs
lola: STP completed || 3 tries, 2182336 fired transitions, 1470 secs || 4207737 markings, 84375978 edges, 2513 markings/sec, 1470 secs
lola: STP completed || 3 tries, 2189778 fired transitions, 1475 secs || 4220900 markings, 84657032 edges, 2633 markings/sec, 1475 secs
lola: STP completed || 3 tries, 2197163 fired transitions, 1480 secs || 4234172 markings, 84939556 edges, 2654 markings/sec, 1480 secs
lola: STP completed || 3 tries, 2204602 fired transitions, 1485 secs || 4246905 markings, 85220724 edges, 2547 markings/sec, 1485 secs
lola: STP completed || 3 tries, 2212058 fired transitions, 1490 secs || 4259969 markings, 85501760 edges, 2613 markings/sec, 1490 secs
lola: STP completed || 3 tries, 2219432 fired transitions, 1495 secs || 4273111 markings, 85781866 edges, 2628 markings/sec, 1495 secs
lola: STP completed || 3 tries, 2226812 fired transitions, 1500 secs || 4285999 markings, 86061841 edges, 2578 markings/sec, 1500 secs
lola: STP completed || 3 tries, 2234288 fired transitions, 1505 secs || 4298787 markings, 86341583 edges, 2558 markings/sec, 1505 secs
lola: STP completed || 3 tries, 2241769 fired transitions, 1510 secs || 4311887 markings, 86621560 edges, 2620 markings/sec, 1510 secs
lola: STP completed || 3 tries, 2249281 fired transitions, 1515 secs || 4325053 markings, 86901508 edges, 2633 markings/sec, 1515 secs
lola: STP completed || 3 tries, 2256674 fired transitions, 1520 secs || 4337357 markings, 87176398 edges, 2461 markings/sec, 1520 secs
lola: STP completed || 3 tries, 2263881 fired transitions, 1525 secs || 4350192 markings, 87449250 edges, 2567 markings/sec, 1525 secs
lola: STP completed || 3 tries, 2271175 fired transitions, 1530 secs || 4362929 markings, 87721435 edges, 2547 markings/sec, 1530 secs
lola: STP completed || 3 tries, 2278372 fired transitions, 1535 secs || 4375318 markings, 87994451 edges, 2478 markings/sec, 1535 secs
lola: STP completed || 3 tries, 2285543 fired transitions, 1540 secs || 4388168 markings, 88268572 edges, 2570 markings/sec, 1540 secs
lola: STP completed || 3 tries, 2292804 fired transitions, 1545 secs || 4400804 markings, 88541964 edges, 2527 markings/sec, 1545 secs
lola: STP completed || 3 tries, 2300175 fired transitions, 1550 secs || 4413498 markings, 88819776 edges, 2539 markings/sec, 1550 secs
lola: STP completed || 3 tries, 2307523 fired transitions, 1555 secs || 4426690 markings, 89101014 edges, 2638 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2315030 fired transitions, 1560 secs || 4439898 markings, 89382410 edges, 2642 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2322475 fired transitions, 1565 secs || 4452337 markings, 89660929 edges, 2488 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2329846 fired transitions, 1570 secs || 4465475 markings, 89941520 edges, 2628 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2337326 fired transitions, 1575 secs || 4478722 markings, 90221707 edges, 2649 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2344711 fired transitions, 1580 secs || 4491273 markings, 90499650 edges, 2510 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2352139 fired transitions, 1585 secs || 4504452 markings, 90780421 edges, 2636 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2359479 fired transitions, 1590 secs || 4517533 markings, 91060800 edges, 2616 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2366853 fired transitions, 1595 secs || 4530178 markings, 91339409 edges, 2529 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2374259 fired transitions, 1600 secs || 4543149 markings, 91618364 edges, 2594 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2381597 fired transitions, 1605 secs || 4556277 markings, 91898128 edges, 2626 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2389018 fired transitions, 1610 secs || 4569067 markings, 92176952 edges, 2558 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2396421 fired transitions, 1615 secs || 4581906 markings, 92457487 edges, 2568 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2403723 fired transitions, 1620 secs || 4595098 markings, 92738622 edges, 2638 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2411130 fired transitions, 1625 secs || 4608310 markings, 93020073 edges, 2642 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2418491 fired transitions, 1630 secs || 4620765 markings, 93299058 edges, 2491 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2425933 fired transitions, 1635 secs || 4633953 markings, 93580396 edges, 2638 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2433324 fired transitions, 1640 secs || 4647239 markings, 93862102 edges, 2657 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2440704 fired transitions, 1645 secs || 4659866 markings, 94141303 edges, 2525 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2448082 fired transitions, 1650 secs || 4673007 markings, 94421902 edges, 2628 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2455480 fired transitions, 1655 secs || 4686057 markings, 94701313 edges, 2610 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2462898 fired transitions, 1660 secs || 4698809 markings, 94980785 edges, 2550 markings/sec, 1660 secs
lola: STP completed || 3 tries, 2470257 fired transitions, 1665 secs || 4711702 markings, 95260044 edges, 2579 markings/sec, 1665 secs
lola: STP completed || 3 tries, 2477621 fired transitions, 1670 secs || 4724854 markings, 95540612 edges, 2630 markings/sec, 1670 secs
lola: STP completed || 3 tries, 2485006 fired transitions, 1675 secs || 4737800 markings, 95820157 edges, 2589 markings/sec, 1675 secs
lola: STP completed || 3 tries, 2492428 fired transitions, 1680 secs || 4750421 markings, 96096779 edges, 2524 markings/sec, 1680 secs
lola: STP completed || 3 tries, 2499852 fired transitions, 1685 secs || 4763536 markings, 96377170 edges, 2623 markings/sec, 1685 secs
lola: STP completed || 3 tries, 2507236 fired transitions, 1690 secs || 4776670 markings, 96656143 edges, 2627 markings/sec, 1690 secs
lola: STP completed || 3 tries, 2514715 fired transitions, 1695 secs || 4789142 markings, 96935750 edges, 2494 markings/sec, 1695 secs
lola: STP completed || 3 tries, 2521970 fired transitions, 1700 secs || 4802340 markings, 97217815 edges, 2640 markings/sec, 1700 secs
lola: STP completed || 3 tries, 2529392 fired transitions, 1705 secs || 4815619 markings, 97498764 edges, 2656 markings/sec, 1705 secs
lola: STP completed || 3 tries, 2536797 fired transitions, 1710 secs || 4828218 markings, 97777118 edges, 2520 markings/sec, 1710 secs
lola: STP completed || 3 tries, 2544145 fired transitions, 1715 secs || 4841360 markings, 98058420 edges, 2628 markings/sec, 1715 secs
lola: STP completed || 3 tries, 2551568 fired transitions, 1720 secs || 4854478 markings, 98339274 edges, 2624 markings/sec, 1720 secs
lola: STP completed || 3 tries, 2558963 fired transitions, 1725 secs || 4867248 markings, 98619085 edges, 2554 markings/sec, 1725 secs
lola: STP completed || 3 tries, 2566341 fired transitions, 1730 secs || 4880162 markings, 98898735 edges, 2583 markings/sec, 1730 secs
lola: STP completed || 3 tries, 2573715 fired transitions, 1735 secs || 4893278 markings, 99178715 edges, 2623 markings/sec, 1735 secs
lola: STP completed || 3 tries, 2581117 fired transitions, 1740 secs || 4906241 markings, 99458292 edges, 2593 markings/sec, 1740 secs
lola: STP completed || 3 tries, 2588571 fired transitions, 1745 secs || 4918917 markings, 99737172 edges, 2535 markings/sec, 1745 secs
lola: STP completed || 3 tries, 2596014 fired transitions, 1750 secs || 4932059 markings, 100017894 edges, 2628 markings/sec, 1750 secs
lola: STP completed || 3 tries, 2603418 fired transitions, 1755 secs || 4945253 markings, 100298480 edges, 2639 markings/sec, 1755 secs
lola: STP completed || 3 tries, 2610751 fired transitions, 1760 secs || 4957635 markings, 100575616 edges, 2476 markings/sec, 1760 secs
lola: STP completed || 3 tries, 2618110 fired transitions, 1765 secs || 4970757 markings, 100855696 edges, 2624 markings/sec, 1765 secs
lola: STP completed || 3 tries, 2625426 fired transitions, 1770 secs || 4984363 markings, 101138127 edges, 2721 markings/sec, 1770 secs
lola: STP completed || 3 tries, 2632812 fired transitions, 1775 secs || 5002980 markings, 101436472 edges, 3723 markings/sec, 1775 secs
lola: STP completed || 3 tries, 2640277 fired transitions, 1780 secs || 5021517 markings, 101736192 edges, 3707 markings/sec, 1780 secs
lola: STP completed || 3 tries, 2647839 fired transitions, 1785 secs || 5040037 markings, 102036142 edges, 3704 markings/sec, 1785 secs
lola: STP completed || 3 tries, 2655258 fired transitions, 1790 secs || 5059278 markings, 102332833 edges, 3848 markings/sec, 1790 secs
lola: STP completed || 3 tries, 2662759 fired transitions, 1795 secs || 5077657 markings, 102631214 edges, 3676 markings/sec, 1795 secs
lola: STP completed || 3 tries, 2670222 fired transitions, 1800 secs || 5096141 markings, 102930568 edges, 3697 markings/sec, 1800 secs
lola: STP completed || 3 tries, 2677707 fired transitions, 1805 secs || 5114542 markings, 103228552 edges, 3680 markings/sec, 1805 secs
lola: STP completed || 3 tries, 2685125 fired transitions, 1810 secs || 5133450 markings, 103526520 edges, 3782 markings/sec, 1810 secs
lola: STP completed || 3 tries, 2692514 fired transitions, 1815 secs || 5151925 markings, 103824291 edges, 3695 markings/sec, 1815 secs
lola: STP completed || 3 tries, 2699876 fired transitions, 1820 secs || 5170182 markings, 104122202 edges, 3651 markings/sec, 1820 secs
lola: STP completed || 3 tries, 2707343 fired transitions, 1825 secs || 5188618 markings, 104424034 edges, 3687 markings/sec, 1825 secs
lola: STP completed || 3 tries, 2714773 fired transitions, 1830 secs || 5206728 markings, 104723118 edges, 3622 markings/sec, 1830 secs
lola: STP completed || 3 tries, 2722237 fired transitions, 1835 secs || 5225344 markings, 105021607 edges, 3723 markings/sec, 1835 secs
lola: STP completed || 3 tries, 2729671 fired transitions, 1840 secs || 5243708 markings, 105319199 edges, 3673 markings/sec, 1840 secs
lola: STP completed || 3 tries, 2737198 fired transitions, 1845 secs || 5263691 markings, 105617771 edges, 3997 markings/sec, 1845 secs
lola: STP completed || 3 tries, 2744556 fired transitions, 1850 secs || 5282804 markings, 105919253 edges, 3823 markings/sec, 1850 secs
lola: STP completed || 3 tries, 2751966 fired transitions, 1855 secs || 5301199 markings, 106218073 edges, 3679 markings/sec, 1855 secs
lola: STP completed || 3 tries, 2759421 fired transitions, 1860 secs || 5319530 markings, 106516870 edges, 3666 markings/sec, 1860 secs
lola: STP completed || 3 tries, 2766747 fired transitions, 1865 secs || 5337986 markings, 106816419 edges, 3691 markings/sec, 1865 secs
lola: STP completed || 3 tries, 2774163 fired transitions, 1870 secs || 5356331 markings, 107113287 edges, 3669 markings/sec, 1870 secs
lola: STP completed || 3 tries, 2781576 fired transitions, 1875 secs || 5374631 markings, 107411830 edges, 3660 markings/sec, 1875 secs
lola: STP completed || 3 tries, 2788978 fired transitions, 1880 secs || 5393095 markings, 107711105 edges, 3693 markings/sec, 1880 secs
lola: STP completed || 3 tries, 2796432 fired transitions, 1885 secs || 5412246 markings, 108011124 edges, 3830 markings/sec, 1885 secs
lola: STP completed || 3 tries, 2803879 fired transitions, 1890 secs || 5430761 markings, 108316732 edges, 3703 markings/sec, 1890 secs
lola: STP completed || 3 tries, 2811414 fired transitions, 1895 secs || 5450296 markings, 108615639 edges, 3907 markings/sec, 1895 secs
lola: STP completed || 3 tries, 2818745 fired transitions, 1900 secs || 5464026 markings, 108899960 edges, 2746 markings/sec, 1900 secs
lola: STP completed || 3 tries, 2826146 fired transitions, 1905 secs || 5477242 markings, 109183392 edges, 2643 markings/sec, 1905 secs
lola: STP completed || 3 tries, 2833537 fired transitions, 1910 secs || 5490184 markings, 109466072 edges, 2588 markings/sec, 1910 secs
lola: STP completed || 3 tries, 2840967 fired transitions, 1915 secs || 5503137 markings, 109748568 edges, 2591 markings/sec, 1915 secs
lola: STP completed || 3 tries, 2848318 fired transitions, 1920 secs || 5516417 markings, 110031596 edges, 2656 markings/sec, 1920 secs
lola: STP completed || 3 tries, 2855753 fired transitions, 1925 secs || 5529709 markings, 110314876 edges, 2658 markings/sec, 1925 secs
lola: STP completed || 3 tries, 2863190 fired transitions, 1930 secs || 5542300 markings, 110596090 edges, 2518 markings/sec, 1930 secs
lola: STP completed || 3 tries, 2870644 fired transitions, 1935 secs || 5555589 markings, 110879168 edges, 2658 markings/sec, 1935 secs
lola: STP completed || 3 tries, 2878075 fired transitions, 1940 secs || 5568867 markings, 111161508 edges, 2656 markings/sec, 1940 secs
lola: STP completed || 3 tries, 2885515 fired transitions, 1945 secs || 5581631 markings, 111443507 edges, 2553 markings/sec, 1945 secs
lola: STP completed || 3 tries, 2892944 fired transitions, 1950 secs || 5594733 markings, 111725881 edges, 2620 markings/sec, 1950 secs
lola: STP completed || 3 tries, 2900400 fired transitions, 1955 secs || 5607949 markings, 112008408 edges, 2643 markings/sec, 1955 secs
lola: STP completed || 3 tries, 2907823 fired transitions, 1960 secs || 5621168 markings, 112291294 edges, 2644 markings/sec, 1960 secs
lola: STP completed || 3 tries, 2915237 fired transitions, 1965 secs || 5633760 markings, 112571167 edges, 2518 markings/sec, 1965 secs
lola: STP completed || 3 tries, 2922735 fired transitions, 1970 secs || 5646939 markings, 112853108 edges, 2636 markings/sec, 1970 secs
lola: STP completed || 3 tries, 2930128 fired transitions, 1975 secs || 5660266 markings, 113135311 edges, 2665 markings/sec, 1975 secs
lola: STP completed || 3 tries, 2937471 fired transitions, 1980 secs || 5673040 markings, 113418246 edges, 2555 markings/sec, 1980 secs
lola: STP completed || 3 tries, 2944854 fired transitions, 1985 secs || 5686285 markings, 113702248 edges, 2649 markings/sec, 1985 secs
lola: STP completed || 3 tries, 2952290 fired transitions, 1990 secs || 5699534 markings, 113985037 edges, 2650 markings/sec, 1990 secs
lola: STP completed || 3 tries, 2959697 fired transitions, 1995 secs || 5712494 markings, 114267344 edges, 2592 markings/sec, 1995 secs
lola: STP completed || 3 tries, 2967092 fired transitions, 2000 secs || 5725372 markings, 114548684 edges, 2576 markings/sec, 2000 secs
lola: STP completed || 3 tries, 2974475 fired transitions, 2005 secs || 5738579 markings, 114831418 edges, 2641 markings/sec, 2005 secs
lola: STP completed || 3 tries, 2981954 fired transitions, 2010 secs || 5751826 markings, 115113446 edges, 2649 markings/sec, 2010 secs
lola: STP completed || 3 tries, 2989337 fired transitions, 2015 secs || 5764440 markings, 115393689 edges, 2523 markings/sec, 2015 secs
lola: STP completed || 3 tries, 2996794 fired transitions, 2020 secs || 5777653 markings, 115675573 edges, 2643 markings/sec, 2020 secs
lola: STP completed || 4 tries, 3004371 fired transitions, 2025 secs || 5790874 markings, 115957042 edges, 2644 markings/sec, 2025 secs
lola: STP completed || 4 tries, 3011744 fired transitions, 2030 secs || 5803573 markings, 116237757 edges, 2540 markings/sec, 2030 secs
lola: STP completed || 4 tries, 3019168 fired transitions, 2035 secs || 5816702 markings, 116520275 edges, 2626 markings/sec, 2035 secs
lola: STP completed || 4 tries, 3026642 fired transitions, 2040 secs || 5829912 markings, 116802573 edges, 2642 markings/sec, 2040 secs
lola: STP completed || 4 tries, 3033995 fired transitions, 2045 secs || 5843002 markings, 117084347 edges, 2618 markings/sec, 2045 secs
lola: STP completed || 4 tries, 3041451 fired transitions, 2050 secs || 5855714 markings, 117364969 edges, 2542 markings/sec, 2050 secs
lola: STP completed || 4 tries, 3048864 fired transitions, 2055 secs || 5868909 markings, 117647355 edges, 2639 markings/sec, 2055 secs
lola: STP completed || 4 tries, 3056229 fired transitions, 2060 secs || 5882257 markings, 117930285 edges, 2670 markings/sec, 2060 secs
lola: STP completed || 4 tries, 3063700 fired transitions, 2065 secs || 5894935 markings, 118211030 edges, 2536 markings/sec, 2065 secs
lola: STP completed || 4 tries, 3071137 fired transitions, 2070 secs || 5908123 markings, 118492976 edges, 2638 markings/sec, 2070 secs
lola: STP completed || 4 tries, 3078658 fired transitions, 2075 secs || 5921264 markings, 118774563 edges, 2628 markings/sec, 2075 secs
lola: STP completed || 4 tries, 3086121 fired transitions, 2080 secs || 5934076 markings, 119055012 edges, 2562 markings/sec, 2080 secs
lola: STP completed || 4 tries, 3093563 fired transitions, 2085 secs || 5947030 markings, 119336557 edges, 2591 markings/sec, 2085 secs
lola: STP completed || 4 tries, 3100999 fired transitions, 2090 secs || 5960246 markings, 119618583 edges, 2643 markings/sec, 2090 secs
lola: STP completed || 4 tries, 3108349 fired transitions, 2095 secs || 5973474 markings, 119899507 edges, 2646 markings/sec, 2095 secs
lola: STP completed || 4 tries, 3115848 fired transitions, 2100 secs || 5985927 markings, 120178367 edges, 2491 markings/sec, 2100 secs
lola: STP completed || 4 tries, 3123224 fired transitions, 2105 secs || 5999096 markings, 120459938 edges, 2634 markings/sec, 2105 secs
lola: STP completed || 4 tries, 3130610 fired transitions, 2110 secs || 6012423 markings, 120742149 edges, 2665 markings/sec, 2110 secs
lola: STP completed || 4 tries, 3137971 fired transitions, 2115 secs || 6025069 markings, 121021925 edges, 2529 markings/sec, 2115 secs
lola: STP completed || 4 tries, 3145358 fired transitions, 2120 secs || 6038244 markings, 121303400 edges, 2635 markings/sec, 2120 secs
lola: STP completed || 4 tries, 3152693 fired transitions, 2125 secs || 6051355 markings, 121584269 edges, 2622 markings/sec, 2125 secs
lola: STP completed || 4 tries, 3160091 fired transitions, 2130 secs || 6064101 markings, 121863995 edges, 2549 markings/sec, 2130 secs
lola: STP completed || 4 tries, 3167555 fired transitions, 2135 secs || 6077070 markings, 122144746 edges, 2594 markings/sec, 2135 secs
lola: STP completed || 4 tries, 3175039 fired transitions, 2140 secs || 6090336 markings, 122428353 edges, 2653 markings/sec, 2140 secs
lola: STP completed || 4 tries, 3182432 fired transitions, 2145 secs || 6103650 markings, 122711566 edges, 2663 markings/sec, 2145 secs
lola: STP completed || 4 tries, 3189873 fired transitions, 2150 secs || 6116147 markings, 122991458 edges, 2499 markings/sec, 2150 secs
lola: STP completed || 4 tries, 3197181 fired transitions, 2155 secs || 6129362 markings, 123274342 edges, 2643 markings/sec, 2155 secs
lola: STP completed || 4 tries, 3204568 fired transitions, 2160 secs || 6142728 markings, 123557712 edges, 2673 markings/sec, 2160 secs
lola: STP completed || 4 tries, 3211924 fired transitions, 2165 secs || 6155443 markings, 123839013 edges, 2543 markings/sec, 2165 secs
lola: STP completed || 4 tries, 3219271 fired transitions, 2170 secs || 6168626 markings, 124121487 edges, 2637 markings/sec, 2170 secs
lola: STP completed || 4 tries, 3226736 fired transitions, 2175 secs || 6181868 markings, 124403608 edges, 2648 markings/sec, 2175 secs
lola: STP completed || 4 tries, 3234136 fired transitions, 2180 secs || 6194819 markings, 124685613 edges, 2590 markings/sec, 2180 secs
lola: STP completed || 4 tries, 3241543 fired transitions, 2185 secs || 6207638 markings, 124965673 edges, 2564 markings/sec, 2185 secs
lola: STP completed || 4 tries, 3248944 fired transitions, 2190 secs || 6220843 markings, 125248426 edges, 2641 markings/sec, 2190 secs
lola: STP completed || 4 tries, 3256380 fired transitions, 2195 secs || 6234152 markings, 125531723 edges, 2662 markings/sec, 2195 secs
lola: STP completed || 4 tries, 3263706 fired transitions, 2200 secs || 6246747 markings, 125811643 edges, 2519 markings/sec, 2200 secs
lola: STP completed || 4 tries, 3271170 fired transitions, 2205 secs || 6259974 markings, 126093809 edges, 2645 markings/sec, 2205 secs
lola: STP completed || 4 tries, 3278525 fired transitions, 2210 secs || 6273236 markings, 126376484 edges, 2652 markings/sec, 2210 secs
lola: STP completed || 4 tries, 3286023 fired transitions, 2215 secs || 6286041 markings, 126658243 edges, 2561 markings/sec, 2215 secs
lola: STP completed || 4 tries, 3293496 fired transitions, 2220 secs || 6299070 markings, 126940010 edges, 2606 markings/sec, 2220 secs
lola: STP completed || 4 tries, 3300961 fired transitions, 2225 secs || 6312276 markings, 127221988 edges, 2641 markings/sec, 2225 secs
lola: STP completed || 4 tries, 3308361 fired transitions, 2230 secs || 6325339 markings, 127502761 edges, 2613 markings/sec, 2230 secs
lola: STP completed || 4 tries, 3315795 fired transitions, 2235 secs || 6337995 markings, 127782421 edges, 2531 markings/sec, 2235 secs
lola: STP completed || 4 tries, 3323225 fired transitions, 2240 secs || 6351123 markings, 128063316 edges, 2626 markings/sec, 2240 secs
lola: STP completed || 4 tries, 3330593 fired transitions, 2245 secs || 6364448 markings, 128345515 edges, 2665 markings/sec, 2245 secs
lola: STP completed || 4 tries, 3338079 fired transitions, 2250 secs || 6377001 markings, 128624929 edges, 2511 markings/sec, 2250 secs
lola: STP completed || 4 tries, 3345514 fired transitions, 2255 secs || 6390142 markings, 128905331 edges, 2628 markings/sec, 2255 secs
lola: STP completed || 4 tries, 3352916 fired transitions, 2260 secs || 6403322 markings, 129186440 edges, 2636 markings/sec, 2260 secs
lola: STP completed || 4 tries, 3360400 fired transitions, 2265 secs || 6416011 markings, 129466553 edges, 2538 markings/sec, 2265 secs
lola: STP completed || 4 tries, 3367909 fired transitions, 2270 secs || 6429101 markings, 129748043 edges, 2618 markings/sec, 2270 secs
lola: STP completed || 4 tries, 3375244 fired transitions, 2275 secs || 6442275 markings, 130029285 edges, 2635 markings/sec, 2275 secs
lola: STP completed || 4 tries, 3382627 fired transitions, 2280 secs || 6455236 markings, 130310058 edges, 2592 markings/sec, 2280 secs
lola: STP completed || 4 tries, 3390068 fired transitions, 2285 secs || 6467957 markings, 130589087 edges, 2544 markings/sec, 2285 secs
lola: STP completed || 4 tries, 3397452 fired transitions, 2290 secs || 6481061 markings, 130869136 edges, 2621 markings/sec, 2290 secs
lola: STP completed || 4 tries, 3404866 fired transitions, 2295 secs || 6494320 markings, 131151357 edges, 2652 markings/sec, 2295 secs
lola: STP completed || 4 tries, 3412214 fired transitions, 2300 secs || 6506923 markings, 131432261 edges, 2521 markings/sec, 2300 secs
lola: STP completed || 4 tries, 3419637 fired transitions, 2305 secs || 6520192 markings, 131714881 edges, 2654 markings/sec, 2305 secs
lola: STP completed || 4 tries, 3427134 fired transitions, 2310 secs || 6533443 markings, 131996848 edges, 2650 markings/sec, 2310 secs
lola: STP completed || 4 tries, 3434523 fired transitions, 2315 secs || 6546195 markings, 132278460 edges, 2550 markings/sec, 2315 secs
lola: STP completed || 4 tries, 3442043 fired transitions, 2320 secs || 6559291 markings, 132560681 edges, 2619 markings/sec, 2320 secs
lola: STP completed || 4 tries, 3449502 fired transitions, 2325 secs || 6572503 markings, 132843145 edges, 2642 markings/sec, 2325 secs
lola: STP completed || 4 tries, 3456956 fired transitions, 2330 secs || 6585666 markings, 133125454 edges, 2633 markings/sec, 2330 secs
lola: STP completed || 4 tries, 3464332 fired transitions, 2335 secs || 6598280 markings, 133404843 edges, 2523 markings/sec, 2335 secs
lola: STP completed || 4 tries, 3471776 fired transitions, 2340 secs || 6611423 markings, 133686174 edges, 2629 markings/sec, 2340 secs
lola: STP completed || 4 tries, 3479167 fired transitions, 2345 secs || 6624720 markings, 133967361 edges, 2659 markings/sec, 2345 secs
lola: STP completed || 4 tries, 3486536 fired transitions, 2350 secs || 6637356 markings, 134248479 edges, 2527 markings/sec, 2350 secs
lola: STP completed || 4 tries, 3493951 fired transitions, 2355 secs || 6650630 markings, 134530927 edges, 2655 markings/sec, 2355 secs
lola: STP completed || 4 tries, 3501400 fired transitions, 2360 secs || 6663727 markings, 134811844 edges, 2619 markings/sec, 2360 secs
lola: STP completed || 4 tries, 3508748 fired transitions, 2365 secs || 6676517 markings, 135092506 edges, 2558 markings/sec, 2365 secs
lola: STP completed || 4 tries, 3516208 fired transitions, 2370 secs || 6689513 markings, 135373772 edges, 2599 markings/sec, 2370 secs
lola: STP completed || 4 tries, 3523654 fired transitions, 2375 secs || 6702736 markings, 135656501 edges, 2645 markings/sec, 2375 secs
lola: STP completed || 4 tries, 3531102 fired transitions, 2380 secs || 6716028 markings, 135939115 edges, 2658 markings/sec, 2380 secs
lola: STP completed || 4 tries, 3538513 fired transitions, 2385 secs || 6728549 markings, 136219326 edges, 2504 markings/sec, 2385 secs
lola: STP completed || 4 tries, 3545945 fired transitions, 2390 secs || 6741708 markings, 136501097 edges, 2632 markings/sec, 2390 secs
lola: STP completed || 4 tries, 3553378 fired transitions, 2395 secs || 6755025 markings, 136782940 edges, 2663 markings/sec, 2395 secs
lola: STP completed || 4 tries, 3560733 fired transitions, 2400 secs || 6767712 markings, 137063394 edges, 2537 markings/sec, 2400 secs
lola: STP completed || 4 tries, 3568175 fired transitions, 2405 secs || 6780898 markings, 137345439 edges, 2637 markings/sec, 2405 secs
lola: STP completed || 4 tries, 3575542 fired transitions, 2410 secs || 6794005 markings, 137626579 edges, 2621 markings/sec, 2410 secs
lola: STP completed || 4 tries, 3582891 fired transitions, 2415 secs || 6806803 markings, 137906208 edges, 2560 markings/sec, 2415 secs
lola: STP completed || 4 tries, 3590383 fired transitions, 2420 secs || 6819723 markings, 138187015 edges, 2584 markings/sec, 2420 secs
lola: STP completed || 4 tries, 3597777 fired transitions, 2425 secs || 6832932 markings, 138468806 edges, 2642 markings/sec, 2425 secs
lola: STP completed || 4 tries, 3605143 fired transitions, 2430 secs || 6846205 markings, 138750952 edges, 2655 markings/sec, 2430 secs
lola: STP completed || 4 tries, 3612480 fired transitions, 2435 secs || 6858691 markings, 139030545 edges, 2497 markings/sec, 2435 secs
lola: STP completed || 4 tries, 3619907 fired transitions, 2440 secs || 6871833 markings, 139311733 edges, 2628 markings/sec, 2440 secs
lola: STP completed || 4 tries, 3627368 fired transitions, 2445 secs || 6885130 markings, 139593104 edges, 2659 markings/sec, 2445 secs
lola: STP completed || 4 tries, 3634772 fired transitions, 2450 secs || 6897693 markings, 139871667 edges, 2513 markings/sec, 2450 secs
lola: STP completed || 4 tries, 3642285 fired transitions, 2455 secs || 6910931 markings, 140153754 edges, 2648 markings/sec, 2455 secs
lola: STP completed || 4 tries, 3649727 fired transitions, 2460 secs || 6924075 markings, 140435422 edges, 2629 markings/sec, 2460 secs
lola: STP completed || 4 tries, 3657232 fired transitions, 2465 secs || 6936843 markings, 140715470 edges, 2554 markings/sec, 2465 secs
lola: STP completed || 4 tries, 3664680 fired transitions, 2470 secs || 6949787 markings, 140995721 edges, 2589 markings/sec, 2470 secs
lola: STP completed || 4 tries, 3672118 fired transitions, 2475 secs || 6962910 markings, 141275987 edges, 2625 markings/sec, 2475 secs
lola: STP completed || 4 tries, 3679461 fired transitions, 2480 secs || 6976022 markings, 141557869 edges, 2622 markings/sec, 2480 secs
lola: STP completed || 4 tries, 3686926 fired transitions, 2485 secs || 6988664 markings, 141836821 edges, 2528 markings/sec, 2485 secs
lola: STP completed || 4 tries, 3694418 fired transitions, 2490 secs || 7001791 markings, 142117715 edges, 2625 markings/sec, 2490 secs
lola: STP completed || 4 tries, 3701819 fired transitions, 2495 secs || 7014986 markings, 142398011 edges, 2639 markings/sec, 2495 secs
lola: STP completed || 4 tries, 3709201 fired transitions, 2500 secs || 7027460 markings, 142676151 edges, 2495 markings/sec, 2500 secs
lola: STP completed || 4 tries, 3716673 fired transitions, 2505 secs || 7040575 markings, 142956090 edges, 2623 markings/sec, 2505 secs
lola: STP completed || 4 tries, 3723949 fired transitions, 2510 secs || 7053809 markings, 143237609 edges, 2647 markings/sec, 2510 secs
lola: STP completed || 4 tries, 3731338 fired transitions, 2515 secs || 7066469 markings, 143517427 edges, 2532 markings/sec, 2515 secs
lola: STP completed || 4 tries, 3738764 fired transitions, 2520 secs || 7079568 markings, 143797786 edges, 2620 markings/sec, 2520 secs
lola: STP completed || 4 tries, 3746222 fired transitions, 2525 secs || 7092747 markings, 144078945 edges, 2636 markings/sec, 2525 secs
lola: STP completed || 4 tries, 3753538 fired transitions, 2530 secs || 7105601 markings, 144359469 edges, 2571 markings/sec, 2530 secs
lola: STP completed || 4 tries, 3760813 fired transitions, 2535 secs || 7118449 markings, 144640201 edges, 2570 markings/sec, 2535 secs
lola: STP completed || 4 tries, 3768144 fired transitions, 2540 secs || 7131637 markings, 144921119 edges, 2638 markings/sec, 2540 secs
lola: STP completed || 4 tries, 3775494 fired transitions, 2545 secs || 7144844 markings, 145201974 edges, 2641 markings/sec, 2545 secs
lola: STP completed || 4 tries, 3782938 fired transitions, 2550 secs || 7157278 markings, 145480441 edges, 2487 markings/sec, 2550 secs
lola: STP completed || 4 tries, 3790409 fired transitions, 2555 secs || 7170395 markings, 145760772 edges, 2623 markings/sec, 2555 secs
lola: STP completed || 4 tries, 3797852 fired transitions, 2560 secs || 7183656 markings, 146041101 edges, 2652 markings/sec, 2560 secs
lola: STP completed || 4 tries, 3805292 fired transitions, 2565 secs || 7196245 markings, 146320540 edges, 2518 markings/sec, 2565 secs
lola: STP completed || 4 tries, 3812669 fired transitions, 2570 secs || 7209394 markings, 146600652 edges, 2630 markings/sec, 2570 secs
lola: STP completed || 4 tries, 3820144 fired transitions, 2575 secs || 7222457 markings, 146880054 edges, 2613 markings/sec, 2575 secs
lola: STP completed || 4 tries, 3827464 fired transitions, 2580 secs || 7235113 markings, 147159555 edges, 2531 markings/sec, 2580 secs
lola: STP completed || 4 tries, 3834747 fired transitions, 2585 secs || 7248177 markings, 147440202 edges, 2613 markings/sec, 2585 secs
lola: STP completed || 4 tries, 3842209 fired transitions, 2590 secs || 7261335 markings, 147720829 edges, 2632 markings/sec, 2590 secs
lola: STP completed || 4 tries, 3849584 fired transitions, 2595 secs || 7274234 markings, 148001257 edges, 2580 markings/sec, 2595 secs
lola: STP completed || 4 tries, 3856950 fired transitions, 2600 secs || 7286988 markings, 148279839 edges, 2551 markings/sec, 2600 secs
lola: STP completed || 4 tries, 3864383 fired transitions, 2605 secs || 7300095 markings, 148559822 edges, 2621 markings/sec, 2605 secs
lola: STP completed || 4 tries, 3871784 fired transitions, 2610 secs || 7313291 markings, 148839926 edges, 2639 markings/sec, 2610 secs
lola: STP completed || 4 tries, 3879264 fired transitions, 2615 secs || 7331678 markings, 149141382 edges, 3677 markings/sec, 2615 secs
lola: STP completed || 4 tries, 3886703 fired transitions, 2620 secs || 7350798 markings, 149441893 edges, 3824 markings/sec, 2620 secs
lola: STP completed || 4 tries, 3894133 fired transitions, 2625 secs || 7369947 markings, 149743459 edges, 3830 markings/sec, 2625 secs
lola: STP completed || 4 tries, 3901489 fired transitions, 2630 secs || 7388628 markings, 150044456 edges, 3736 markings/sec, 2630 secs
lola: STP completed || 4 tries, 3908924 fired transitions, 2635 secs || 7407602 markings, 150349186 edges, 3795 markings/sec, 2635 secs
lola: STP completed || 4 tries, 3916341 fired transitions, 2640 secs || 7426778 markings, 150651823 edges, 3835 markings/sec, 2640 secs
lola: STP completed || 4 tries, 3923745 fired transitions, 2645 secs || 7444827 markings, 150950994 edges, 3610 markings/sec, 2645 secs
lola: STP completed || 4 tries, 3931183 fired transitions, 2650 secs || 7463099 markings, 151252420 edges, 3654 markings/sec, 2650 secs
lola: STP completed || 4 tries, 3938600 fired transitions, 2655 secs || 7481426 markings, 151554209 edges, 3665 markings/sec, 2655 secs
lola: STP completed || 4 tries, 3945976 fired transitions, 2660 secs || 7499884 markings, 151857051 edges, 3692 markings/sec, 2660 secs
lola: STP completed || 4 tries, 3953437 fired transitions, 2665 secs || 7518624 markings, 152157306 edges, 3748 markings/sec, 2665 secs
lola: STP completed || 4 tries, 3960838 fired transitions, 2670 secs || 7537750 markings, 152458472 edges, 3825 markings/sec, 2670 secs
lola: STP completed || 4 tries, 3968246 fired transitions, 2675 secs || 7556602 markings, 152760095 edges, 3770 markings/sec, 2675 secs
lola: STP completed || 4 tries, 3975610 fired transitions, 2680 secs || 7576398 markings, 153061798 edges, 3959 markings/sec, 2680 secs
lola: STP completed || 4 tries, 3983021 fired transitions, 2685 secs || 7596474 markings, 153362739 edges, 4015 markings/sec, 2685 secs
lola: STP completed || 4 tries, 3990440 fired transitions, 2690 secs || 7615473 markings, 153668073 edges, 3800 markings/sec, 2690 secs
lola: STP completed || 4 tries, 3997872 fired transitions, 2695 secs || 7634850 markings, 153969987 edges, 3875 markings/sec, 2695 secs
lola: STP completed || 5 tries, 4005351 fired transitions, 2700 secs || 7653842 markings, 154271583 edges, 3798 markings/sec, 2700 secs
lola: STP completed || 5 tries, 4012729 fired transitions, 2705 secs || 7673151 markings, 154571175 edges, 3862 markings/sec, 2705 secs
lola: STP completed || 5 tries, 4020119 fired transitions, 2710 secs || 7691602 markings, 154870649 edges, 3690 markings/sec, 2710 secs
lola: STP completed || 5 tries, 4027560 fired transitions, 2715 secs || 7710105 markings, 155169455 edges, 3701 markings/sec, 2715 secs
lola: STP completed || 5 tries, 4035095 fired transitions, 2720 secs || 7730272 markings, 155475972 edges, 4033 markings/sec, 2720 secs
lola: STP completed || 5 tries, 4042548 fired transitions, 2725 secs || 7749257 markings, 155778228 edges, 3797 markings/sec, 2725 secs
lola: STP completed || 5 tries, 4050009 fired transitions, 2730 secs || 7768002 markings, 156076966 edges, 3749 markings/sec, 2730 secs
lola: STP completed || 5 tries, 4057380 fired transitions, 2735 secs || 7787622 markings, 156376095 edges, 3924 markings/sec, 2735 secs
lola: STP completed || 5 tries, 4064819 fired transitions, 2740 secs || 7806121 markings, 156676283 edges, 3700 markings/sec, 2740 secs
lola: STP completed || 5 tries, 4072250 fired transitions, 2745 secs || 7824386 markings, 156973938 edges, 3653 markings/sec, 2745 secs
lola: STP completed || 5 tries, 4079596 fired transitions, 2750 secs || 7842833 markings, 157273205 edges, 3689 markings/sec, 2750 secs
lola: STP completed || 5 tries, 4087047 fired transitions, 2755 secs || 7861369 markings, 157572756 edges, 3707 markings/sec, 2755 secs
lola: STP completed || 5 tries, 4094486 fired transitions, 2760 secs || 7879722 markings, 157871871 edges, 3671 markings/sec, 2760 secs
lola: STP completed || 5 tries, 4101997 fired transitions, 2765 secs || 7898219 markings, 158172015 edges, 3699 markings/sec, 2765 secs
lola: STP completed || 5 tries, 4109413 fired transitions, 2770 secs || 7916790 markings, 158471731 edges, 3714 markings/sec, 2770 secs
lola: STP completed || 5 tries, 4116869 fired transitions, 2775 secs || 7935693 markings, 158771664 edges, 3781 markings/sec, 2775 secs
lola: STP completed || 5 tries, 4124278 fired transitions, 2780 secs || 7954147 markings, 159072562 edges, 3691 markings/sec, 2780 secs
lola: STP completed || 5 tries, 4131701 fired transitions, 2785 secs || 7972668 markings, 159375448 edges, 3704 markings/sec, 2785 secs
lola: STP completed || 5 tries, 4139156 fired transitions, 2790 secs || 7991237 markings, 159677602 edges, 3714 markings/sec, 2790 secs
lola: STP completed || 5 tries, 4146535 fired transitions, 2795 secs || 8009885 markings, 159976521 edges, 3730 markings/sec, 2795 secs
lola: STP completed || 5 tries, 4153985 fired transitions, 2800 secs || 8028380 markings, 160275198 edges, 3699 markings/sec, 2800 secs
lola: STP completed || 5 tries, 4161454 fired transitions, 2805 secs || 8046623 markings, 160572139 edges, 3649 markings/sec, 2805 secs
lola: STP completed || 5 tries, 4168821 fired transitions, 2810 secs || 8065070 markings, 160872336 edges, 3689 markings/sec, 2810 secs
lola: STP completed || 5 tries, 4176237 fired transitions, 2815 secs || 8083578 markings, 161171532 edges, 3702 markings/sec, 2815 secs
lola: STP completed || 5 tries, 4183713 fired transitions, 2820 secs || 8101984 markings, 161471313 edges, 3681 markings/sec, 2820 secs
lola: STP completed || 5 tries, 4191157 fired transitions, 2825 secs || 8120462 markings, 161770365 edges, 3696 markings/sec, 2825 secs
lola: STP completed || 5 tries, 4198548 fired transitions, 2830 secs || 8138874 markings, 162070172 edges, 3682 markings/sec, 2830 secs
lola: STP completed || 5 tries, 4206015 fired transitions, 2835 secs || 8157338 markings, 162369514 edges, 3693 markings/sec, 2835 secs
lola: STP completed || 5 tries, 4213476 fired transitions, 2840 secs || 8175751 markings, 162667079 edges, 3683 markings/sec, 2840 secs
lola: STP completed || 5 tries, 4220895 fired transitions, 2845 secs || 8194046 markings, 162965375 edges, 3659 markings/sec, 2845 secs
lola: STP completed || 5 tries, 4228319 fired transitions, 2850 secs || 8212470 markings, 163264038 edges, 3685 markings/sec, 2850 secs
lola: STP completed || 5 tries, 4235720 fired transitions, 2855 secs || 8230870 markings, 163561844 edges, 3680 markings/sec, 2855 secs
lola: STP completed || 5 tries, 4243109 fired transitions, 2860 secs || 8249204 markings, 163859492 edges, 3667 markings/sec, 2860 secs
lola: STP completed || 5 tries, 4250488 fired transitions, 2865 secs || 8267580 markings, 164158093 edges, 3675 markings/sec, 2865 secs
lola: STP completed || 5 tries, 4257839 fired transitions, 2870 secs || 8285944 markings, 164455964 edges, 3673 markings/sec, 2870 secs
lola: STP completed || 5 tries, 4265342 fired transitions, 2875 secs || 8304412 markings, 164755413 edges, 3694 markings/sec, 2875 secs
lola: STP completed || 5 tries, 4272711 fired transitions, 2880 secs || 8323578 markings, 165055320 edges, 3833 markings/sec, 2880 secs
lola: STP completed || 5 tries, 4280141 fired transitions, 2885 secs || 8342836 markings, 165359201 edges, 3852 markings/sec, 2885 secs
lola: STP completed || 5 tries, 4287624 fired transitions, 2890 secs || 8362388 markings, 165667990 edges, 3910 markings/sec, 2890 secs
lola: STP completed || 5 tries, 4295103 fired transitions, 2895 secs || 8381217 markings, 165971755 edges, 3766 markings/sec, 2895 secs
lola: STP completed || 5 tries, 4302553 fired transitions, 2900 secs || 8401419 markings, 166275017 edges, 4040 markings/sec, 2900 secs
lola: STP completed || 5 tries, 4309937 fired transitions, 2905 secs || 8413693 markings, 166558055 edges, 2455 markings/sec, 2905 secs
lola: STP completed || 5 tries, 4317343 fired transitions, 2910 secs || 8427777 markings, 166847473 edges, 2817 markings/sec, 2910 secs
lola: STP completed || 5 tries, 4324790 fired transitions, 2915 secs || 8440193 markings, 167129040 edges, 2483 markings/sec, 2915 secs
lola: STP completed || 5 tries, 4332257 fired transitions, 2920 secs || 8452444 markings, 167410433 edges, 2450 markings/sec, 2920 secs
lola: STP completed || 5 tries, 4339619 fired transitions, 2925 secs || 8464734 markings, 167691068 edges, 2458 markings/sec, 2925 secs
lola: STP completed || 5 tries, 4347084 fired transitions, 2930 secs || 8477115 markings, 167971677 edges, 2476 markings/sec, 2930 secs
lola: STP completed || 5 tries, 4354440 fired transitions, 2935 secs || 8489423 markings, 168251780 edges, 2462 markings/sec, 2935 secs
lola: STP completed || 5 tries, 4361937 fired transitions, 2940 secs || 8501533 markings, 168530722 edges, 2422 markings/sec, 2940 secs
lola: STP completed || 5 tries, 4369326 fired transitions, 2945 secs || 8513842 markings, 168811272 edges, 2462 markings/sec, 2945 secs
lola: STP completed || 5 tries, 4376721 fired transitions, 2950 secs || 8526256 markings, 169092465 edges, 2483 markings/sec, 2950 secs
lola: STP completed || 5 tries, 4384140 fired transitions, 2955 secs || 8538571 markings, 169372656 edges, 2463 markings/sec, 2955 secs
lola: STP completed || 5 tries, 4391505 fired transitions, 2960 secs || 8550957 markings, 169653781 edges, 2477 markings/sec, 2960 secs
lola: STP completed || 5 tries, 4398901 fired transitions, 2965 secs || 8563261 markings, 169934647 edges, 2461 markings/sec, 2965 secs
lola: STP completed || 5 tries, 4406311 fired transitions, 2970 secs || 8575459 markings, 170214571 edges, 2440 markings/sec, 2970 secs
lola: STP completed || 5 tries, 4413835 fired transitions, 2975 secs || 8587889 markings, 170496540 edges, 2486 markings/sec, 2975 secs
lola: STP completed || 5 tries, 4421261 fired transitions, 2980 secs || 8600319 markings, 170778979 edges, 2486 markings/sec, 2980 secs
lola: STP completed || 5 tries, 4428706 fired transitions, 2985 secs || 8612674 markings, 171060598 edges, 2471 markings/sec, 2985 secs
lola: STP completed || 5 tries, 4436136 fired transitions, 2990 secs || 8624903 markings, 171342052 edges, 2446 markings/sec, 2990 secs
lola: STP completed || 5 tries, 4443633 fired transitions, 2995 secs || 8637294 markings, 171624050 edges, 2478 markings/sec, 2995 secs
lola: STP completed || 5 tries, 4451124 fired transitions, 3000 secs || 8649691 markings, 171905682 edges, 2479 markings/sec, 3000 secs
lola: STP completed || 5 tries, 4458478 fired transitions, 3005 secs || 8662078 markings, 172187532 edges, 2477 markings/sec, 3005 secs
lola: STP completed || 5 tries, 4465931 fired transitions, 3010 secs || 8674485 markings, 172468921 edges, 2481 markings/sec, 3010 secs
lola: STP completed || 5 tries, 4473463 fired transitions, 3015 secs || 8686887 markings, 172750175 edges, 2480 markings/sec, 3015 secs
lola: STP completed || 5 tries, 4480874 fired transitions, 3020 secs || 8699080 markings, 173031117 edges, 2439 markings/sec, 3020 secs
lola: STP completed || 5 tries, 4488327 fired transitions, 3025 secs || 8711467 markings, 173313215 edges, 2477 markings/sec, 3025 secs
lola: STP completed || 5 tries, 4495822 fired transitions, 3030 secs || 8723895 markings, 173595141 edges, 2486 markings/sec, 3030 secs
lola: STP completed || 5 tries, 4503344 fired transitions, 3035 secs || 8736299 markings, 173876872 edges, 2481 markings/sec, 3035 secs
lola: STP completed || 5 tries, 4510799 fired transitions, 3040 secs || 8748551 markings, 174158087 edges, 2450 markings/sec, 3040 secs
lola: STP completed || 5 tries, 4518200 fired transitions, 3045 secs || 8760873 markings, 174440187 edges, 2464 markings/sec, 3045 secs
lola: STP completed || 5 tries, 4525630 fired transitions, 3050 secs || 8773238 markings, 174721796 edges, 2473 markings/sec, 3050 secs
lola: STP completed || 5 tries, 4533105 fired transitions, 3055 secs || 8785645 markings, 175003636 edges, 2481 markings/sec, 3055 secs
lola: STP completed || 5 tries, 4540543 fired transitions, 3060 secs || 8798051 markings, 175285140 edges, 2481 markings/sec, 3060 secs
lola: STP completed || 5 tries, 4547958 fired transitions, 3065 secs || 8810422 markings, 175565941 edges, 2474 markings/sec, 3065 secs
lola: STP completed || 5 tries, 4555407 fired transitions, 3070 secs || 8822709 markings, 175847196 edges, 2457 markings/sec, 3070 secs
lola: STP completed || 5 tries, 4562817 fired transitions, 3075 secs || 8834964 markings, 176127906 edges, 2451 markings/sec, 3075 secs
lola: STP completed || 5 tries, 4570235 fired transitions, 3080 secs || 8847342 markings, 176408244 edges, 2476 markings/sec, 3080 secs
lola: STP completed || 5 tries, 4577615 fired transitions, 3085 secs || 8859707 markings, 176689329 edges, 2473 markings/sec, 3085 secs
lola: STP completed || 5 tries, 4585064 fired transitions, 3090 secs || 8871958 markings, 176970147 edges, 2450 markings/sec, 3090 secs
lola: STP completed || 5 tries, 4592568 fired transitions, 3095 secs || 8884221 markings, 177250681 edges, 2453 markings/sec, 3095 secs
lola: STP completed || 5 tries, 4599981 fired transitions, 3100 secs || 8896525 markings, 177530547 edges, 2461 markings/sec, 3100 secs
lola: STP completed || 5 tries, 4607407 fired transitions, 3105 secs || 8908858 markings, 177811258 edges, 2467 markings/sec, 3105 secs
lola: STP completed || 5 tries, 4614763 fired transitions, 3110 secs || 8921232 markings, 178091564 edges, 2475 markings/sec, 3110 secs
lola: STP completed || 5 tries, 4622175 fired transitions, 3115 secs || 8933669 markings, 178373831 edges, 2487 markings/sec, 3115 secs
lola: STP completed || 5 tries, 4629640 fired transitions, 3120 secs || 8945921 markings, 178655869 edges, 2450 markings/sec, 3120 secs
lola: STP completed || 5 tries, 4637051 fired transitions, 3125 secs || 8958250 markings, 178937030 edges, 2466 markings/sec, 3125 secs
lola: STP completed || 5 tries, 4644556 fired transitions, 3130 secs || 8970712 markings, 179219445 edges, 2492 markings/sec, 3130 secs
lola: STP completed || 5 tries, 4652034 fired transitions, 3135 secs || 8983107 markings, 179501458 edges, 2479 markings/sec, 3135 secs
lola: STP completed || 5 tries, 4659514 fired transitions, 3140 secs || 8995388 markings, 179782542 edges, 2456 markings/sec, 3140 secs
lola: STP completed || 5 tries, 4666877 fired transitions, 3145 secs || 9007632 markings, 180063226 edges, 2449 markings/sec, 3145 secs
lola: STP completed || 5 tries, 4674223 fired transitions, 3150 secs || 9019963 markings, 180343835 edges, 2466 markings/sec, 3150 secs
lola: STP completed || 5 tries, 4681638 fired transitions, 3155 secs || 9032297 markings, 180624613 edges, 2467 markings/sec, 3155 secs
lola: STP completed || 5 tries, 4689102 fired transitions, 3160 secs || 9044728 markings, 180906171 edges, 2486 markings/sec, 3160 secs
lola: STP completed || 5 tries, 4696563 fired transitions, 3165 secs || 9057163 markings, 181188425 edges, 2487 markings/sec, 3165 secs
lola: STP completed || 5 tries, 4704012 fired transitions, 3170 secs || 9069415 markings, 181469060 edges, 2450 markings/sec, 3170 secs
lola: STP completed || 5 tries, 4711405 fired transitions, 3175 secs || 9081708 markings, 181750418 edges, 2459 markings/sec, 3175 secs
lola: STP completed || 5 tries, 4718920 fired transitions, 3180 secs || 9094129 markings, 182032188 edges, 2484 markings/sec, 3180 secs
lola: STP completed || 5 tries, 4726281 fired transitions, 3185 secs || 9106516 markings, 182313930 edges, 2477 markings/sec, 3185 secs
lola: STP completed || 5 tries, 4733736 fired transitions, 3190 secs || 9118819 markings, 182595133 edges, 2461 markings/sec, 3190 secs
lola: STP completed || 5 tries, 4741033 fired transitions, 3195 secs || 9130999 markings, 182874358 edges, 2436 markings/sec, 3195 secs
lola: STP completed || 5 tries, 4748410 fired transitions, 3200 secs || 9143318 markings, 183154631 edges, 2464 markings/sec, 3200 secs
lola: STP completed || 5 tries, 4755929 fired transitions, 3205 secs || 9155642 markings, 183435003 edges, 2465 markings/sec, 3205 secs
lola: STP completed || 5 tries, 4763311 fired transitions, 3210 secs || 9168034 markings, 183716013 edges, 2478 markings/sec, 3210 secs
lola: STP completed || 5 tries, 4770720 fired transitions, 3215 secs || 9180383 markings, 183995967 edges, 2470 markings/sec, 3215 secs
lola: STP completed || 5 tries, 4778163 fired transitions, 3220 secs || 9192436 markings, 184274597 edges, 2411 markings/sec, 3220 secs
lola: STP completed || 5 tries, 4785595 fired transitions, 3225 secs || 9204846 markings, 184555498 edges, 2482 markings/sec, 3225 secs
lola: STP completed || 5 tries, 4792978 fired transitions, 3230 secs || 9217195 markings, 184836168 edges, 2470 markings/sec, 3230 secs
lola: STP completed || 5 tries, 4800393 fired transitions, 3235 secs || 9229465 markings, 185116452 edges, 2454 markings/sec, 3235 secs
lola: STP completed || 5 tries, 4807776 fired transitions, 3240 secs || 9241649 markings, 185395955 edges, 2437 markings/sec, 3240 secs
lola: STP completed || 5 tries, 4815085 fired transitions, 3245 secs || 9253938 markings, 185675483 edges, 2458 markings/sec, 3245 secs
lola: STP completed || 5 tries, 4822557 fired transitions, 3250 secs || 9266218 markings, 185954489 edges, 2456 markings/sec, 3250 secs
lola: STP completed || 5 tries, 4829941 fired transitions, 3255 secs || 9278650 markings, 186236683 edges, 2486 markings/sec, 3255 secs
lola: STP completed || 5 tries, 4837389 fired transitions, 3260 secs || 9291082 markings, 186518720 edges, 2486 markings/sec, 3260 secs
lola: STP completed || 5 tries, 4844852 fired transitions, 3265 secs || 9303269 markings, 186799149 edges, 2437 markings/sec, 3265 secs
lola: STP completed || 5 tries, 4852336 fired transitions, 3270 secs || 9315622 markings, 187080653 edges, 2471 markings/sec, 3270 secs
lola: STP completed || 5 tries, 4859738 fired transitions, 3275 secs || 9328038 markings, 187362265 edges, 2483 markings/sec, 3275 secs
lola: STP completed || 5 tries, 4867171 fired transitions, 3280 secs || 9340442 markings, 187643948 edges, 2481 markings/sec, 3280 secs
lola: STP completed || 5 tries, 4874583 fired transitions, 3285 secs || 9352653 markings, 187924280 edges, 2442 markings/sec, 3285 secs
lola: STP completed || 5 tries, 4881951 fired transitions, 3290 secs || 9364938 markings, 188204700 edges, 2457 markings/sec, 3290 secs
lola: STP completed || 5 tries, 4889427 fired transitions, 3295 secs || 9377232 markings, 188484764 edges, 2459 markings/sec, 3295 secs
lola: STP completed || 5 tries, 4896833 fired transitions, 3300 secs || 9389597 markings, 188766034 edges, 2473 markings/sec, 3300 secs
lola: STP completed || 5 tries, 4904262 fired transitions, 3305 secs || 9402013 markings, 189047649 edges, 2483 markings/sec, 3305 secs
lola: STP completed || 5 tries, 4911668 fired transitions, 3310 secs || 9414382 markings, 189328263 edges, 2474 markings/sec, 3310 secs
lola: STP completed || 5 tries, 4919037 fired transitions, 3315 secs || 9426528 markings, 189608530 edges, 2429 markings/sec, 3315 secs
lola: STP completed || 5 tries, 4926497 fired transitions, 3320 secs || 9438928 markings, 189889885 edges, 2480 markings/sec, 3320 secs
lola: STP completed || 5 tries, 4933985 fired transitions, 3325 secs || 9451332 markings, 190172081 edges, 2481 markings/sec, 3325 secs
lola: STP completed || 5 tries, 4941432 fired transitions, 3330 secs || 9463764 markings, 190454246 edges, 2486 markings/sec, 3330 secs
lola: STP completed || 5 tries, 4948835 fired transitions, 3335 secs || 9475972 markings, 190735060 edges, 2442 markings/sec, 3335 secs
lola: STP completed || 5 tries, 4956301 fired transitions, 3340 secs || 9488308 markings, 191015918 edges, 2467 markings/sec, 3340 secs
lola: STP completed || 5 tries, 4963722 fired transitions, 3345 secs || 9500625 markings, 191296520 edges, 2463 markings/sec, 3345 secs
lola: STP completed || 5 tries, 4971157 fired transitions, 3350 secs || 9512995 markings, 191578232 edges, 2474 markings/sec, 3350 secs
lola: STP completed || 5 tries, 4978615 fired transitions, 3355 secs || 9525393 markings, 191859226 edges, 2480 markings/sec, 3355 secs
lola: STP completed || 5 tries, 4986088 fired transitions, 3360 secs || 9537746 markings, 192139524 edges, 2471 markings/sec, 3360 secs
lola: STP completed || 5 tries, 4993458 fired transitions, 3365 secs || 9549863 markings, 192419308 edges, 2423 markings/sec, 3365 secs
lola: STP completed || 6 tries, 5000868 fired transitions, 3370 secs || 9562226 markings, 192699376 edges, 2473 markings/sec, 3370 secs
lola: STP completed || 6 tries, 5008320 fired transitions, 3375 secs || 9574523 markings, 192978852 edges, 2459 markings/sec, 3375 secs
lola: STP completed || 6 tries, 5015820 fired transitions, 3380 secs || 9586694 markings, 193257412 edges, 2434 markings/sec, 3380 secs
lola: STP completed || 6 tries, 5023297 fired transitions, 3385 secs || 9598910 markings, 193536448 edges, 2443 markings/sec, 3385 secs
lola: STP completed || 6 tries, 5030791 fired transitions, 3390 secs || 9611180 markings, 193815602 edges, 2454 markings/sec, 3390 secs
lola: STP completed || 6 tries, 5038272 fired transitions, 3395 secs || 9623556 markings, 194097074 edges, 2475 markings/sec, 3395 secs
lola: STP completed || 6 tries, 5045671 fired transitions, 3400 secs || 9635958 markings, 194378339 edges, 2480 markings/sec, 3400 secs
lola: STP completed || 6 tries, 5053175 fired transitions, 3405 secs || 9648240 markings, 194658423 edges, 2456 markings/sec, 3405 secs
lola: STP completed || 6 tries, 5060548 fired transitions, 3410 secs || 9660415 markings, 194938521 edges, 2435 markings/sec, 3410 secs
lola: STP completed || 6 tries, 5067975 fired transitions, 3415 secs || 9672814 markings, 195219570 edges, 2480 markings/sec, 3415 secs
lola: STP completed || 6 tries, 5075418 fired transitions, 3420 secs || 9685154 markings, 195499949 edges, 2468 markings/sec, 3420 secs
lola: STP completed || 6 tries, 5082792 fired transitions, 3425 secs || 9697402 markings, 195779913 edges, 2450 markings/sec, 3425 secs
lola: STP completed || 6 tries, 5090217 fired transitions, 3430 secs || 9709599 markings, 196059215 edges, 2439 markings/sec, 3430 secs
lola: STP completed || 6 tries, 5097628 fired transitions, 3435 secs || 9721884 markings, 196338388 edges, 2457 markings/sec, 3435 secs
lola: STP completed || 6 tries, 5105028 fired transitions, 3440 secs || 9734203 markings, 196618796 edges, 2464 markings/sec, 3440 secs
lola: STP completed || 6 tries, 5112467 fired transitions, 3445 secs || 9746602 markings, 196899842 edges, 2480 markings/sec, 3445 secs
lola: STP completed || 6 tries, 5119922 fired transitions, 3450 secs || 9758908 markings, 197180034 edges, 2461 markings/sec, 3450 secs
lola: STP completed || 6 tries, 5127377 fired transitions, 3455 secs || 9771046 markings, 197459693 edges, 2428 markings/sec, 3455 secs
lola: STP completed || 6 tries, 5134877 fired transitions, 3460 secs || 9783439 markings, 197740401 edges, 2479 markings/sec, 3460 secs
lola: STP completed || 6 tries, 5142262 fired transitions, 3465 secs || 9795789 markings, 198021131 edges, 2470 markings/sec, 3465 secs
lola: STP completed || 6 tries, 5149627 fired transitions, 3470 secs || 9808053 markings, 198301171 edges, 2453 markings/sec, 3470 secs
lola: STP completed || 6 tries, 5157049 fired transitions, 3475 secs || 9820222 markings, 198580103 edges, 2434 markings/sec, 3475 secs
lola: STP completed || 6 tries, 5164482 fired transitions, 3480 secs || 9832513 markings, 198859508 edges, 2458 markings/sec, 3480 secs
lola: STP completed || 6 tries, 5171942 fired transitions, 3485 secs || 9844809 markings, 199139152 edges, 2459 markings/sec, 3485 secs
lola: STP completed || 6 tries, 5179395 fired transitions, 3490 secs || 9857160 markings, 199419234 edges, 2470 markings/sec, 3490 secs
lola: STP completed || 6 tries, 5186753 fired transitions, 3495 secs || 9869372 markings, 199697962 edges, 2442 markings/sec, 3495 secs
lola: STP completed || 6 tries, 5194152 fired transitions, 3500 secs || 9881476 markings, 199975267 edges, 2421 markings/sec, 3500 secs
lola: STP completed || 6 tries, 5201608 fired transitions, 3505 secs || 9893765 markings, 200253838 edges, 2458 markings/sec, 3505 secs
lola: STP completed || 6 tries, 5209049 fired transitions, 3510 secs || 9905974 markings, 200532351 edges, 2442 markings/sec, 3510 secs
lola: STP completed || 6 tries, 5216445 fired transitions, 3515 secs || 9918078 markings, 200810042 edges, 2421 markings/sec, 3515 secs
lola: STP completed || 6 tries, 5223817 fired transitions, 3520 secs || 9930297 markings, 201087731 edges, 2444 markings/sec, 3520 secs
lola: STP completed || 6 tries, 5231192 fired transitions, 3525 secs || 9942556 markings, 201366175 edges, 2452 markings/sec, 3525 secs
lola: STP completed || 6 tries, 5238652 fired transitions, 3530 secs || 9954809 markings, 201643741 edges, 2451 markings/sec, 3530 secs
lola: STP completed || 6 tries, 5246112 fired transitions, 3535 secs || 9966993 markings, 201923779 edges, 2437 markings/sec, 3535 secs
lola: STP completed || 6 tries, 5253423 fired transitions, 3540 secs || 9979165 markings, 202200458 edges, 2434 markings/sec, 3540 secs
lola: STP completed || 6 tries, 5260699 fired transitions, 3545 secs || 9991237 markings, 202474782 edges, 2414 markings/sec, 3545 secs
lola: STP completed || 6 tries, 5268059 fired transitions, 3550 secs || 10003150 markings, 202748458 edges, 2383 markings/sec, 3550 secs
lola: STP completed || 6 tries, 5275465 fired transitions, 3555 secs || 10015193 markings, 203022270 edges, 2409 markings/sec, 3555 secs
lola: STP completed || 6 tries, 5282833 fired transitions, 3560 secs || 10027393 markings, 203298374 edges, 2440 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 5175792 KB
lola: time consumption: 3570 seconds
BK_STOP 1526708534360
--------------------
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="DLCshifumi-PT-3a"
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/DLCshifumi-PT-3a.tgz
mv DLCshifumi-PT-3a 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 DLCshifumi-PT-3a, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735300174"
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 ;