About the Execution of LoLA for TokenRing-COL-015
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 436.190 | 3570638.00 | 7229194.00 | 7998.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 7.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 16K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is TokenRing-COL-015, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-152708743100258
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME TokenRing-COL-015-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527279853133
info: Time: 3600 - MCC
===========================================================================================
prep: translating TokenRing-COL-015 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating TokenRing-COL-015 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking ReachabilityDeadlock @ TokenRing-COL-015 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3872/65536 symbol table entries, 648 collisions
lola: preprocessing...
lola: Size of bit vector: 8192
lola: finding significant places
lola: 256 places, 3616 transitions, 240 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3872 transition conflict sets
lola: TASK
lola: reading formula from TokenRing-COL-015-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 49826 variables and 225716 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 7073 fired transitions, 0 secs || 6893 markings, 21838 edges, 1379 markings/sec, 0 secs
lola: STP completed || 1 tries, 14150 fired transitions, 5 secs || 13749 markings, 50138 edges, 1371 markings/sec, 5 secs
lola: STP completed || 1 tries, 21232 fired transitions, 10 secs || 20613 markings, 76707 edges, 1373 markings/sec, 10 secs
lola: STP completed || 1 tries, 28301 fired transitions, 15 secs || 27465 markings, 104423 edges, 1370 markings/sec, 15 secs
lola: STP completed || 1 tries, 35367 fired transitions, 20 secs || 34275 markings, 135679 edges, 1362 markings/sec, 20 secs
lola: STP completed || 1 tries, 42448 fired transitions, 25 secs || 41047 markings, 171239 edges, 1354 markings/sec, 25 secs
lola: STP completed || 1 tries, 49558 fired transitions, 30 secs || 47878 markings, 201223 edges, 1366 markings/sec, 30 secs
lola: STP completed || 1 tries, 56686 fired transitions, 35 secs || 54726 markings, 229512 edges, 1370 markings/sec, 35 secs
lola: STP completed || 1 tries, 63810 fired transitions, 40 secs || 61557 markings, 260957 edges, 1366 markings/sec, 40 secs
lola: STP completed || 1 tries, 70942 fired transitions, 45 secs || 68357 markings, 293288 edges, 1360 markings/sec, 45 secs
lola: STP completed || 1 tries, 78047 fired transitions, 50 secs || 75196 markings, 322688 edges, 1368 markings/sec, 50 secs
lola: STP completed || 1 tries, 85129 fired transitions, 55 secs || 81996 markings, 355959 edges, 1360 markings/sec, 55 secs
lola: STP completed || 1 tries, 92241 fired transitions, 60 secs || 88804 markings, 391345 edges, 1362 markings/sec, 60 secs
lola: STP completed || 1 tries, 99344 fired transitions, 65 secs || 95629 markings, 424476 edges, 1365 markings/sec, 65 secs
lola: STP completed || 1 tries, 106461 fired transitions, 70 secs || 102433 markings, 460253 edges, 1361 markings/sec, 70 secs
lola: STP completed || 1 tries, 113566 fired transitions, 75 secs || 109237 markings, 496209 edges, 1361 markings/sec, 75 secs
lola: STP completed || 1 tries, 120663 fired transitions, 80 secs || 116004 markings, 536566 edges, 1353 markings/sec, 80 secs
lola: STP completed || 1 tries, 127761 fired transitions, 85 secs || 122764 markings, 577912 edges, 1352 markings/sec, 85 secs
lola: STP completed || 1 tries, 134872 fired transitions, 90 secs || 129548 markings, 618471 edges, 1357 markings/sec, 90 secs
lola: STP completed || 1 tries, 141981 fired transitions, 95 secs || 136398 markings, 652203 edges, 1370 markings/sec, 95 secs
lola: STP completed || 1 tries, 149072 fired transitions, 100 secs || 143309 markings, 679984 edges, 1382 markings/sec, 100 secs
lola: STP completed || 1 tries, 156175 fired transitions, 105 secs || 150200 markings, 710167 edges, 1378 markings/sec, 105 secs
lola: STP completed || 1 tries, 163275 fired transitions, 110 secs || 157037 markings, 744269 edges, 1367 markings/sec, 110 secs
lola: STP completed || 1 tries, 170382 fired transitions, 115 secs || 163913 markings, 773366 edges, 1375 markings/sec, 115 secs
lola: STP completed || 1 tries, 177142 fired transitions, 120 secs || 170867 markings, 804014 edges, 1391 markings/sec, 120 secs
lola: STP completed || 1 tries, 184490 fired transitions, 125 secs || 177841 markings, 840443 edges, 1395 markings/sec, 125 secs
lola: STP completed || 1 tries, 191830 fired transitions, 130 secs || 184857 markings, 875823 edges, 1403 markings/sec, 130 secs
lola: STP completed || 1 tries, 199174 fired transitions, 135 secs || 191835 markings, 911083 edges, 1396 markings/sec, 135 secs
lola: STP completed || 1 tries, 206522 fired transitions, 140 secs || 198800 markings, 947388 edges, 1393 markings/sec, 140 secs
lola: STP completed || 1 tries, 213873 fired transitions, 145 secs || 205756 markings, 986587 edges, 1391 markings/sec, 145 secs
lola: STP completed || 1 tries, 221226 fired transitions, 150 secs || 212659 markings, 1028498 edges, 1381 markings/sec, 150 secs
lola: STP completed || 1 tries, 228573 fired transitions, 155 secs || 219601 markings, 1071632 edges, 1388 markings/sec, 155 secs
lola: STP completed || 1 tries, 235916 fired transitions, 160 secs || 226596 markings, 1106339 edges, 1399 markings/sec, 160 secs
lola: STP completed || 1 tries, 243266 fired transitions, 165 secs || 233585 markings, 1140878 edges, 1398 markings/sec, 165 secs
lola: STP completed || 1 tries, 250611 fired transitions, 170 secs || 240572 markings, 1175407 edges, 1397 markings/sec, 170 secs
lola: STP completed || 1 tries, 257961 fired transitions, 175 secs || 247530 markings, 1213193 edges, 1392 markings/sec, 175 secs
lola: STP completed || 1 tries, 265319 fired transitions, 180 secs || 254415 markings, 1255768 edges, 1377 markings/sec, 180 secs
lola: STP completed || 1 tries, 272670 fired transitions, 185 secs || 261388 markings, 1290550 edges, 1395 markings/sec, 185 secs
lola: STP completed || 1 tries, 280014 fired transitions, 190 secs || 268355 markings, 1326976 edges, 1393 markings/sec, 190 secs
lola: STP completed || 1 tries, 287364 fired transitions, 195 secs || 275297 markings, 1363878 edges, 1388 markings/sec, 195 secs
lola: STP completed || 1 tries, 294723 fired transitions, 200 secs || 282181 markings, 1406751 edges, 1377 markings/sec, 200 secs
lola: STP completed || 1 tries, 302071 fired transitions, 205 secs || 289108 markings, 1447738 edges, 1385 markings/sec, 205 secs
lola: STP completed || 1 tries, 309420 fired transitions, 210 secs || 296054 markings, 1484819 edges, 1389 markings/sec, 210 secs
lola: STP completed || 1 tries, 316773 fired transitions, 215 secs || 302987 markings, 1524179 edges, 1387 markings/sec, 215 secs
lola: STP completed || 1 tries, 324132 fired transitions, 220 secs || 309858 markings, 1566677 edges, 1374 markings/sec, 220 secs
lola: STP completed || 1 tries, 331481 fired transitions, 225 secs || 316776 markings, 1608536 edges, 1384 markings/sec, 225 secs
lola: STP completed || 1 tries, 338838 fired transitions, 230 secs || 323673 markings, 1651006 edges, 1379 markings/sec, 230 secs
lola: STP completed || 1 tries, 346184 fired transitions, 235 secs || 330609 markings, 1693798 edges, 1387 markings/sec, 235 secs
lola: STP completed || 1 tries, 353537 fired transitions, 240 secs || 337482 markings, 1738421 edges, 1375 markings/sec, 240 secs
lola: STP completed || 1 tries, 360894 fired transitions, 245 secs || 344272 markings, 1788189 edges, 1358 markings/sec, 245 secs
lola: STP completed || 1 tries, 368247 fired transitions, 250 secs || 351157 markings, 1836398 edges, 1377 markings/sec, 250 secs
lola: STP completed || 1 tries, 375589 fired transitions, 255 secs || 358087 markings, 1879728 edges, 1386 markings/sec, 255 secs
lola: STP completed || 1 tries, 382922 fired transitions, 260 secs || 365083 markings, 1914587 edges, 1399 markings/sec, 260 secs
lola: STP completed || 1 tries, 390252 fired transitions, 265 secs || 372084 markings, 1947296 edges, 1400 markings/sec, 265 secs
lola: STP completed || 1 tries, 397585 fired transitions, 270 secs || 379070 markings, 1981218 edges, 1397 markings/sec, 270 secs
lola: STP completed || 1 tries, 404920 fired transitions, 275 secs || 385972 markings, 2020899 edges, 1380 markings/sec, 275 secs
lola: STP completed || 1 tries, 412240 fired transitions, 280 secs || 392960 markings, 2054253 edges, 1398 markings/sec, 280 secs
lola: STP completed || 1 tries, 419565 fired transitions, 285 secs || 399935 markings, 2088425 edges, 1395 markings/sec, 285 secs
lola: STP completed || 1 tries, 426901 fired transitions, 290 secs || 406866 markings, 2127671 edges, 1386 markings/sec, 290 secs
lola: STP completed || 1 tries, 434233 fired transitions, 295 secs || 413830 markings, 2165909 edges, 1393 markings/sec, 295 secs
lola: STP completed || 1 tries, 441568 fired transitions, 300 secs || 420765 markings, 2205058 edges, 1387 markings/sec, 300 secs
lola: STP completed || 1 tries, 448904 fired transitions, 305 secs || 427688 markings, 2245595 edges, 1385 markings/sec, 305 secs
lola: STP completed || 1 tries, 456233 fired transitions, 310 secs || 434592 markings, 2288793 edges, 1381 markings/sec, 310 secs
lola: STP completed || 1 tries, 463572 fired transitions, 315 secs || 441443 markings, 2336376 edges, 1370 markings/sec, 315 secs
lola: STP completed || 1 tries, 470912 fired transitions, 320 secs || 448355 markings, 2377586 edges, 1382 markings/sec, 320 secs
lola: STP completed || 1 tries, 478233 fired transitions, 325 secs || 455345 markings, 2411106 edges, 1398 markings/sec, 325 secs
lola: STP completed || 1 tries, 485561 fired transitions, 330 secs || 462300 markings, 2447991 edges, 1391 markings/sec, 330 secs
lola: STP completed || 1 tries, 492890 fired transitions, 335 secs || 469226 markings, 2488078 edges, 1385 markings/sec, 335 secs
lola: STP completed || 1 tries, 500219 fired transitions, 340 secs || 476159 markings, 2527373 edges, 1387 markings/sec, 340 secs
lola: STP completed || 1 tries, 507551 fired transitions, 345 secs || 483090 markings, 2567116 edges, 1386 markings/sec, 345 secs
lola: STP completed || 1 tries, 514878 fired transitions, 350 secs || 490007 markings, 2609718 edges, 1383 markings/sec, 350 secs
lola: STP completed || 1 tries, 522212 fired transitions, 355 secs || 496838 markings, 2658144 edges, 1366 markings/sec, 355 secs
lola: STP completed || 1 tries, 529538 fired transitions, 360 secs || 503750 markings, 2699503 edges, 1382 markings/sec, 360 secs
lola: STP completed || 1 tries, 536866 fired transitions, 365 secs || 510676 markings, 2738700 edges, 1385 markings/sec, 365 secs
lola: STP completed || 1 tries, 544196 fired transitions, 370 secs || 517572 markings, 2780936 edges, 1379 markings/sec, 370 secs
lola: STP completed || 1 tries, 551528 fired transitions, 375 secs || 524416 markings, 2827231 edges, 1369 markings/sec, 375 secs
lola: STP completed || 1 tries, 558855 fired transitions, 380 secs || 531282 markings, 2871878 edges, 1373 markings/sec, 380 secs
lola: STP completed || 1 tries, 566185 fired transitions, 385 secs || 538168 markings, 2915972 edges, 1377 markings/sec, 385 secs
lola: STP completed || 1 tries, 573521 fired transitions, 390 secs || 545039 markings, 2962900 edges, 1374 markings/sec, 390 secs
lola: STP completed || 1 tries, 580853 fired transitions, 395 secs || 551913 markings, 3008482 edges, 1375 markings/sec, 395 secs
lola: STP completed || 1 tries, 588191 fired transitions, 400 secs || 558747 markings, 3056073 edges, 1367 markings/sec, 400 secs
lola: STP completed || 1 tries, 595532 fired transitions, 405 secs || 565538 markings, 3108839 edges, 1358 markings/sec, 405 secs
lola: STP completed || 1 tries, 602866 fired transitions, 410 secs || 572375 markings, 3159773 edges, 1367 markings/sec, 410 secs
lola: STP completed || 1 tries, 610197 fired transitions, 415 secs || 579278 markings, 3200953 edges, 1381 markings/sec, 415 secs
lola: STP completed || 1 tries, 617525 fired transitions, 420 secs || 586178 markings, 3240771 edges, 1380 markings/sec, 420 secs
lola: STP completed || 1 tries, 624853 fired transitions, 425 secs || 593230 markings, 3270166 edges, 1410 markings/sec, 425 secs
lola: STP completed || 1 tries, 632193 fired transitions, 430 secs || 600243 markings, 3301826 edges, 1403 markings/sec, 430 secs
lola: STP completed || 1 tries, 639542 fired transitions, 435 secs || 607244 markings, 3335995 edges, 1400 markings/sec, 435 secs
lola: STP completed || 1 tries, 646881 fired transitions, 440 secs || 614157 markings, 3374586 edges, 1383 markings/sec, 440 secs
lola: STP completed || 1 tries, 654217 fired transitions, 445 secs || 621123 markings, 3405878 edges, 1393 markings/sec, 445 secs
lola: STP completed || 1 tries, 661554 fired transitions, 450 secs || 628072 markings, 3438598 edges, 1390 markings/sec, 450 secs
lola: STP completed || 1 tries, 668892 fired transitions, 455 secs || 635016 markings, 3471143 edges, 1389 markings/sec, 455 secs
lola: STP completed || 1 tries, 676242 fired transitions, 460 secs || 641923 markings, 3508249 edges, 1381 markings/sec, 460 secs
lola: STP completed || 1 tries, 683577 fired transitions, 465 secs || 648780 markings, 3548702 edges, 1371 markings/sec, 465 secs
lola: STP completed || 1 tries, 690914 fired transitions, 470 secs || 655730 markings, 3581489 edges, 1390 markings/sec, 470 secs
lola: STP completed || 1 tries, 698255 fired transitions, 475 secs || 662647 markings, 3617011 edges, 1383 markings/sec, 475 secs
lola: STP completed || 1 tries, 705596 fired transitions, 480 secs || 669554 markings, 3653741 edges, 1381 markings/sec, 480 secs
lola: STP completed || 1 tries, 712936 fired transitions, 485 secs || 676432 markings, 3694731 edges, 1376 markings/sec, 485 secs
lola: STP completed || 1 tries, 720284 fired transitions, 490 secs || 683309 markings, 3733441 edges, 1375 markings/sec, 490 secs
lola: STP completed || 1 tries, 727632 fired transitions, 495 secs || 690199 markings, 3773106 edges, 1378 markings/sec, 495 secs
lola: STP completed || 1 tries, 734984 fired transitions, 500 secs || 697035 markings, 3814709 edges, 1367 markings/sec, 500 secs
lola: STP completed || 1 tries, 742334 fired transitions, 505 secs || 703894 markings, 3858266 edges, 1372 markings/sec, 505 secs
lola: STP completed || 1 tries, 749675 fired transitions, 510 secs || 710677 markings, 3905992 edges, 1357 markings/sec, 510 secs
lola: STP completed || 1 tries, 757018 fired transitions, 515 secs || 717537 markings, 3947379 edges, 1372 markings/sec, 515 secs
lola: STP completed || 1 tries, 764352 fired transitions, 520 secs || 724430 markings, 3984810 edges, 1379 markings/sec, 520 secs
lola: STP completed || 1 tries, 771691 fired transitions, 525 secs || 731360 markings, 4020278 edges, 1386 markings/sec, 525 secs
lola: STP completed || 1 tries, 779029 fired transitions, 530 secs || 738327 markings, 4051302 edges, 1393 markings/sec, 530 secs
lola: STP completed || 1 tries, 786377 fired transitions, 535 secs || 745229 markings, 4088328 edges, 1380 markings/sec, 535 secs
lola: STP completed || 1 tries, 793719 fired transitions, 540 secs || 752126 markings, 4125023 edges, 1379 markings/sec, 540 secs
lola: STP completed || 1 tries, 801065 fired transitions, 545 secs || 759028 markings, 4160225 edges, 1380 markings/sec, 545 secs
lola: STP completed || 1 tries, 808406 fired transitions, 550 secs || 765930 markings, 4197853 edges, 1380 markings/sec, 550 secs
lola: STP completed || 1 tries, 815747 fired transitions, 555 secs || 772810 markings, 4236155 edges, 1376 markings/sec, 555 secs
lola: STP completed || 1 tries, 823067 fired transitions, 560 secs || 779713 markings, 4273476 edges, 1381 markings/sec, 560 secs
lola: STP completed || 1 tries, 830383 fired transitions, 565 secs || 786596 markings, 4314970 edges, 1377 markings/sec, 565 secs
lola: STP completed || 1 tries, 837711 fired transitions, 570 secs || 793447 markings, 4357357 edges, 1370 markings/sec, 570 secs
lola: STP completed || 1 tries, 845032 fired transitions, 575 secs || 800338 markings, 4400417 edges, 1378 markings/sec, 575 secs
lola: STP completed || 1 tries, 852368 fired transitions, 580 secs || 807171 markings, 4447038 edges, 1367 markings/sec, 580 secs
lola: STP completed || 1 tries, 859699 fired transitions, 585 secs || 814064 markings, 4489144 edges, 1379 markings/sec, 585 secs
lola: STP completed || 1 tries, 867045 fired transitions, 590 secs || 820952 markings, 4528229 edges, 1378 markings/sec, 590 secs
lola: STP completed || 1 tries, 874394 fired transitions, 595 secs || 827841 markings, 4568179 edges, 1378 markings/sec, 595 secs
lola: STP completed || 1 tries, 881742 fired transitions, 600 secs || 834661 markings, 4613671 edges, 1364 markings/sec, 600 secs
lola: STP completed || 1 tries, 889089 fired transitions, 605 secs || 841513 markings, 4654096 edges, 1370 markings/sec, 605 secs
lola: STP completed || 1 tries, 896434 fired transitions, 610 secs || 848411 markings, 4692030 edges, 1380 markings/sec, 610 secs
lola: STP completed || 1 tries, 903788 fired transitions, 615 secs || 855246 markings, 4734703 edges, 1367 markings/sec, 615 secs
lola: STP completed || 1 tries, 911137 fired transitions, 620 secs || 862130 markings, 4776993 edges, 1377 markings/sec, 620 secs
lola: STP completed || 1 tries, 918494 fired transitions, 625 secs || 868978 markings, 4820213 edges, 1370 markings/sec, 625 secs
lola: STP completed || 1 tries, 925853 fired transitions, 630 secs || 875796 markings, 4866832 edges, 1364 markings/sec, 630 secs
lola: STP completed || 1 tries, 933210 fired transitions, 635 secs || 882586 markings, 4914508 edges, 1358 markings/sec, 635 secs
lola: STP completed || 1 tries, 940564 fired transitions, 640 secs || 889417 markings, 4963229 edges, 1366 markings/sec, 640 secs
lola: STP completed || 1 tries, 947899 fired transitions, 645 secs || 896225 markings, 5008693 edges, 1362 markings/sec, 645 secs
lola: STP completed || 1 tries, 955232 fired transitions, 650 secs || 903031 markings, 5056767 edges, 1361 markings/sec, 650 secs
lola: STP completed || 1 tries, 962573 fired transitions, 655 secs || 909789 markings, 5108982 edges, 1352 markings/sec, 655 secs
lola: STP completed || 1 tries, 969912 fired transitions, 660 secs || 916586 markings, 5158620 edges, 1359 markings/sec, 660 secs
lola: STP completed || 1 tries, 977251 fired transitions, 665 secs || 923399 markings, 5205058 edges, 1363 markings/sec, 665 secs
lola: STP completed || 1 tries, 984594 fired transitions, 670 secs || 930251 markings, 5245345 edges, 1370 markings/sec, 670 secs
lola: STP completed || 1 tries, 991930 fired transitions, 675 secs || 937108 markings, 5287625 edges, 1371 markings/sec, 675 secs
lola: STP completed || 1 tries, 999275 fired transitions, 680 secs || 944053 markings, 5321069 edges, 1389 markings/sec, 680 secs
lola: STP completed || 2 tries, 1006624 fired transitions, 685 secs || 950982 markings, 5355822 edges, 1386 markings/sec, 685 secs
lola: STP completed || 2 tries, 1013979 fired transitions, 690 secs || 957904 markings, 5392251 edges, 1384 markings/sec, 690 secs
lola: STP completed || 2 tries, 1021334 fired transitions, 695 secs || 964766 markings, 5433676 edges, 1372 markings/sec, 695 secs
lola: STP completed || 2 tries, 1028683 fired transitions, 700 secs || 971653 markings, 5471226 edges, 1377 markings/sec, 700 secs
lola: STP completed || 2 tries, 1036030 fired transitions, 705 secs || 978566 markings, 5506255 edges, 1383 markings/sec, 705 secs
lola: STP completed || 2 tries, 1043376 fired transitions, 710 secs || 985499 markings, 5542104 edges, 1387 markings/sec, 710 secs
lola: STP completed || 2 tries, 1050731 fired transitions, 715 secs || 992407 markings, 5579290 edges, 1382 markings/sec, 715 secs
lola: STP completed || 2 tries, 1058088 fired transitions, 720 secs || 999250 markings, 5620933 edges, 1369 markings/sec, 720 secs
lola: STP completed || 2 tries, 1065443 fired transitions, 725 secs || 1006118 markings, 5663450 edges, 1374 markings/sec, 725 secs
lola: STP completed || 2 tries, 1072798 fired transitions, 730 secs || 1013006 markings, 5702837 edges, 1378 markings/sec, 730 secs
lola: STP completed || 2 tries, 1080149 fired transitions, 735 secs || 1019858 markings, 5743492 edges, 1370 markings/sec, 735 secs
lola: STP completed || 2 tries, 1087503 fired transitions, 740 secs || 1026707 markings, 5785882 edges, 1370 markings/sec, 740 secs
lola: STP completed || 2 tries, 1094858 fired transitions, 745 secs || 1033581 markings, 5826179 edges, 1375 markings/sec, 745 secs
lola: STP completed || 2 tries, 1102222 fired transitions, 750 secs || 1040389 markings, 5870261 edges, 1362 markings/sec, 750 secs
lola: STP completed || 2 tries, 1109584 fired transitions, 755 secs || 1047196 markings, 5914284 edges, 1361 markings/sec, 755 secs
lola: STP completed || 2 tries, 1116945 fired transitions, 760 secs || 1054003 markings, 5961435 edges, 1361 markings/sec, 760 secs
lola: STP completed || 2 tries, 1124306 fired transitions, 765 secs || 1060768 markings, 6012009 edges, 1353 markings/sec, 765 secs
lola: STP completed || 2 tries, 1131655 fired transitions, 770 secs || 1067592 markings, 6056490 edges, 1365 markings/sec, 770 secs
lola: STP completed || 2 tries, 1138998 fired transitions, 775 secs || 1074476 markings, 6095735 edges, 1377 markings/sec, 775 secs
lola: STP completed || 2 tries, 1146337 fired transitions, 780 secs || 1081371 markings, 6134642 edges, 1379 markings/sec, 780 secs
lola: STP completed || 2 tries, 1153671 fired transitions, 785 secs || 1088289 markings, 6175379 edges, 1384 markings/sec, 785 secs
lola: STP completed || 2 tries, 1161017 fired transitions, 790 secs || 1095151 markings, 6220486 edges, 1372 markings/sec, 790 secs
lola: STP completed || 2 tries, 1168352 fired transitions, 795 secs || 1102033 markings, 6267172 edges, 1376 markings/sec, 795 secs
lola: STP completed || 2 tries, 1175687 fired transitions, 800 secs || 1108944 markings, 6308446 edges, 1382 markings/sec, 800 secs
lola: STP completed || 2 tries, 1183027 fired transitions, 805 secs || 1115803 markings, 6354403 edges, 1372 markings/sec, 805 secs
lola: STP completed || 2 tries, 1190361 fired transitions, 810 secs || 1122662 markings, 6399548 edges, 1372 markings/sec, 810 secs
lola: STP completed || 2 tries, 1197698 fired transitions, 815 secs || 1129518 markings, 6446674 edges, 1371 markings/sec, 815 secs
lola: STP completed || 2 tries, 1205036 fired transitions, 820 secs || 1136344 markings, 6495662 edges, 1365 markings/sec, 820 secs
lola: STP completed || 2 tries, 1212379 fired transitions, 825 secs || 1143129 markings, 6549529 edges, 1357 markings/sec, 825 secs
lola: STP completed || 2 tries, 1219635 fired transitions, 830 secs || 1149869 markings, 6597453 edges, 1348 markings/sec, 830 secs
lola: STP completed || 2 tries, 1226706 fired transitions, 835 secs || 1156605 markings, 6637027 edges, 1347 markings/sec, 835 secs
lola: STP completed || 2 tries, 1233783 fired transitions, 840 secs || 1163362 markings, 6673433 edges, 1351 markings/sec, 840 secs
lola: STP completed || 2 tries, 1240928 fired transitions, 845 secs || 1170091 markings, 6712540 edges, 1346 markings/sec, 845 secs
lola: STP completed || 2 tries, 1248060 fired transitions, 850 secs || 1176790 markings, 6754807 edges, 1340 markings/sec, 850 secs
lola: STP completed || 2 tries, 1255204 fired transitions, 855 secs || 1183463 markings, 6797811 edges, 1335 markings/sec, 855 secs
lola: STP completed || 2 tries, 1262342 fired transitions, 860 secs || 1190184 markings, 6837453 edges, 1344 markings/sec, 860 secs
lola: STP completed || 2 tries, 1269484 fired transitions, 865 secs || 1196879 markings, 6879895 edges, 1339 markings/sec, 865 secs
lola: STP completed || 2 tries, 1276623 fired transitions, 870 secs || 1203537 markings, 6924500 edges, 1332 markings/sec, 870 secs
lola: STP completed || 2 tries, 1283774 fired transitions, 875 secs || 1210181 markings, 6971477 edges, 1329 markings/sec, 875 secs
lola: STP completed || 2 tries, 1290928 fired transitions, 880 secs || 1216785 markings, 7021278 edges, 1321 markings/sec, 880 secs
lola: STP completed || 2 tries, 1298071 fired transitions, 885 secs || 1223469 markings, 7063126 edges, 1337 markings/sec, 885 secs
lola: STP completed || 2 tries, 1305225 fired transitions, 890 secs || 1230198 markings, 7101536 edges, 1346 markings/sec, 890 secs
lola: STP completed || 2 tries, 1312370 fired transitions, 895 secs || 1236885 markings, 7143504 edges, 1337 markings/sec, 895 secs
lola: STP completed || 2 tries, 1319524 fired transitions, 900 secs || 1243575 markings, 7184342 edges, 1338 markings/sec, 900 secs
lola: STP completed || 2 tries, 1326666 fired transitions, 905 secs || 1250229 markings, 7229625 edges, 1331 markings/sec, 905 secs
lola: STP completed || 2 tries, 1333814 fired transitions, 910 secs || 1256882 markings, 7275684 edges, 1331 markings/sec, 910 secs
lola: STP completed || 2 tries, 1341129 fired transitions, 915 secs || 1263174 markings, 7319076 edges, 1258 markings/sec, 915 secs
lola: STP completed || 2 tries, 1348496 fired transitions, 920 secs || 1270013 markings, 7363897 edges, 1368 markings/sec, 920 secs
lola: STP completed || 2 tries, 1355859 fired transitions, 925 secs || 1276829 markings, 7411481 edges, 1363 markings/sec, 925 secs
lola: STP completed || 2 tries, 1363220 fired transitions, 930 secs || 1283587 markings, 7463673 edges, 1352 markings/sec, 930 secs
lola: STP completed || 2 tries, 1370601 fired transitions, 935 secs || 1290426 markings, 7509848 edges, 1368 markings/sec, 935 secs
lola: STP completed || 2 tries, 1377984 fired transitions, 940 secs || 1297270 markings, 7552485 edges, 1369 markings/sec, 940 secs
lola: STP completed || 2 tries, 1385361 fired transitions, 945 secs || 1304112 markings, 7597632 edges, 1368 markings/sec, 945 secs
lola: STP completed || 2 tries, 1392740 fired transitions, 950 secs || 1310933 markings, 7644725 edges, 1364 markings/sec, 950 secs
lola: STP completed || 2 tries, 1400123 fired transitions, 955 secs || 1317783 markings, 7689975 edges, 1370 markings/sec, 955 secs
lola: STP completed || 2 tries, 1407503 fired transitions, 960 secs || 1324587 markings, 7739986 edges, 1361 markings/sec, 960 secs
lola: STP completed || 2 tries, 1414894 fired transitions, 965 secs || 1331380 markings, 7790865 edges, 1359 markings/sec, 965 secs
lola: STP completed || 2 tries, 1422268 fired transitions, 970 secs || 1338154 markings, 7845931 edges, 1355 markings/sec, 970 secs
lola: STP completed || 2 tries, 1429657 fired transitions, 975 secs || 1344960 markings, 7894457 edges, 1361 markings/sec, 975 secs
lola: STP completed || 2 tries, 1437051 fired transitions, 980 secs || 1351726 markings, 7942982 edges, 1353 markings/sec, 980 secs
lola: STP completed || 2 tries, 1444441 fired transitions, 985 secs || 1358543 markings, 7992089 edges, 1363 markings/sec, 985 secs
lola: STP completed || 2 tries, 1451811 fired transitions, 990 secs || 1365287 markings, 8045204 edges, 1349 markings/sec, 990 secs
lola: STP completed || 2 tries, 1459198 fired transitions, 995 secs || 1372054 markings, 8096827 edges, 1353 markings/sec, 995 secs
lola: STP completed || 2 tries, 1466579 fired transitions, 1000 secs || 1378854 markings, 8148507 edges, 1360 markings/sec, 1000 secs
lola: STP completed || 2 tries, 1473975 fired transitions, 1005 secs || 1385582 markings, 8205117 edges, 1346 markings/sec, 1005 secs
lola: STP completed || 2 tries, 1481356 fired transitions, 1010 secs || 1392329 markings, 8261802 edges, 1349 markings/sec, 1010 secs
lola: STP completed || 2 tries, 1488723 fired transitions, 1015 secs || 1399046 markings, 8322537 edges, 1343 markings/sec, 1015 secs
lola: STP completed || 2 tries, 1496095 fired transitions, 1020 secs || 1406034 markings, 8353750 edges, 1398 markings/sec, 1020 secs
lola: STP completed || 2 tries, 1503469 fired transitions, 1025 secs || 1412947 markings, 8389140 edges, 1383 markings/sec, 1025 secs
lola: STP completed || 2 tries, 1510837 fired transitions, 1030 secs || 1419878 markings, 8425415 edges, 1386 markings/sec, 1030 secs
lola: STP completed || 2 tries, 1518211 fired transitions, 1035 secs || 1426821 markings, 8460489 edges, 1389 markings/sec, 1035 secs
lola: STP completed || 2 tries, 1525588 fired transitions, 1040 secs || 1433732 markings, 8498730 edges, 1382 markings/sec, 1040 secs
lola: STP completed || 2 tries, 1532966 fired transitions, 1045 secs || 1440614 markings, 8538572 edges, 1376 markings/sec, 1045 secs
lola: STP completed || 2 tries, 1540344 fired transitions, 1050 secs || 1447446 markings, 8583564 edges, 1366 markings/sec, 1050 secs
lola: STP completed || 2 tries, 1547721 fired transitions, 1055 secs || 1454335 markings, 8623216 edges, 1378 markings/sec, 1055 secs
lola: STP completed || 2 tries, 1555098 fired transitions, 1060 secs || 1461249 markings, 8659838 edges, 1383 markings/sec, 1060 secs
lola: STP completed || 2 tries, 1562470 fired transitions, 1065 secs || 1468151 markings, 8696770 edges, 1380 markings/sec, 1065 secs
lola: STP completed || 2 tries, 1569846 fired transitions, 1070 secs || 1475036 markings, 8736632 edges, 1377 markings/sec, 1070 secs
lola: STP completed || 2 tries, 1577227 fired transitions, 1075 secs || 1481868 markings, 8781290 edges, 1366 markings/sec, 1075 secs
lola: STP completed || 2 tries, 1584607 fired transitions, 1080 secs || 1488762 markings, 8821743 edges, 1379 markings/sec, 1080 secs
lola: STP completed || 2 tries, 1591984 fired transitions, 1085 secs || 1495621 markings, 8862152 edges, 1372 markings/sec, 1085 secs
lola: STP completed || 2 tries, 1599364 fired transitions, 1090 secs || 1502446 markings, 8907142 edges, 1365 markings/sec, 1090 secs
lola: STP completed || 2 tries, 1606748 fired transitions, 1095 secs || 1509284 markings, 8950708 edges, 1368 markings/sec, 1095 secs
lola: STP completed || 2 tries, 1614128 fired transitions, 1100 secs || 1516116 markings, 8995845 edges, 1366 markings/sec, 1100 secs
lola: STP completed || 2 tries, 1621501 fired transitions, 1105 secs || 1522883 markings, 9046717 edges, 1353 markings/sec, 1105 secs
lola: STP completed || 2 tries, 1628875 fired transitions, 1110 secs || 1529722 markings, 9090746 edges, 1368 markings/sec, 1110 secs
lola: STP completed || 2 tries, 1636250 fired transitions, 1115 secs || 1536615 markings, 9129254 edges, 1379 markings/sec, 1115 secs
lola: STP completed || 2 tries, 1643621 fired transitions, 1120 secs || 1543507 markings, 9166153 edges, 1378 markings/sec, 1120 secs
lola: STP completed || 2 tries, 1651143 fired transitions, 1125 secs || 1550422 markings, 9204647 edges, 1383 markings/sec, 1125 secs
lola: STP completed || 2 tries, 1658712 fired transitions, 1130 secs || 1557372 markings, 9246268 edges, 1390 markings/sec, 1130 secs
lola: STP completed || 2 tries, 1666278 fired transitions, 1135 secs || 1564286 markings, 9292866 edges, 1383 markings/sec, 1135 secs
lola: STP completed || 2 tries, 1673848 fired transitions, 1140 secs || 1571248 markings, 9332725 edges, 1392 markings/sec, 1140 secs
lola: STP completed || 2 tries, 1681416 fired transitions, 1145 secs || 1578154 markings, 9378143 edges, 1381 markings/sec, 1145 secs
lola: STP completed || 2 tries, 1688982 fired transitions, 1150 secs || 1585101 markings, 9419593 edges, 1389 markings/sec, 1150 secs
lola: STP completed || 2 tries, 1696553 fired transitions, 1155 secs || 1591999 markings, 9465119 edges, 1380 markings/sec, 1155 secs
lola: STP completed || 2 tries, 1704123 fired transitions, 1160 secs || 1598851 markings, 9515100 edges, 1370 markings/sec, 1160 secs
lola: STP completed || 2 tries, 1711690 fired transitions, 1165 secs || 1605721 markings, 9563432 edges, 1374 markings/sec, 1165 secs
lola: STP completed || 2 tries, 1719255 fired transitions, 1170 secs || 1612681 markings, 9604638 edges, 1392 markings/sec, 1170 secs
lola: STP completed || 2 tries, 1726829 fired transitions, 1175 secs || 1619599 markings, 9648311 edges, 1384 markings/sec, 1175 secs
lola: STP completed || 2 tries, 1734395 fired transitions, 1180 secs || 1626534 markings, 9692539 edges, 1387 markings/sec, 1180 secs
lola: STP completed || 2 tries, 1741971 fired transitions, 1185 secs || 1633421 markings, 9738813 edges, 1377 markings/sec, 1185 secs
lola: STP completed || 2 tries, 1749547 fired transitions, 1190 secs || 1640274 markings, 9790312 edges, 1371 markings/sec, 1190 secs
lola: STP completed || 2 tries, 1757118 fired transitions, 1195 secs || 1647164 markings, 9836681 edges, 1378 markings/sec, 1195 secs
lola: STP completed || 2 tries, 1764704 fired transitions, 1200 secs || 1654066 markings, 9883338 edges, 1380 markings/sec, 1200 secs
lola: STP completed || 2 tries, 1772273 fired transitions, 1205 secs || 1660925 markings, 9931257 edges, 1372 markings/sec, 1205 secs
lola: STP completed || 2 tries, 1779847 fired transitions, 1210 secs || 1667783 markings, 9981839 edges, 1372 markings/sec, 1210 secs
lola: STP completed || 2 tries, 1787421 fired transitions, 1215 secs || 1674634 markings, 10033189 edges, 1370 markings/sec, 1215 secs
lola: STP completed || 2 tries, 1794999 fired transitions, 1220 secs || 1681447 markings, 10087868 edges, 1363 markings/sec, 1220 secs
lola: STP completed || 2 tries, 1802568 fired transitions, 1225 secs || 1688448 markings, 10127224 edges, 1400 markings/sec, 1225 secs
lola: STP completed || 2 tries, 1810140 fired transitions, 1230 secs || 1695528 markings, 10159451 edges, 1416 markings/sec, 1230 secs
lola: STP completed || 2 tries, 1817693 fired transitions, 1235 secs || 1702572 markings, 10192454 edges, 1409 markings/sec, 1235 secs
lola: STP completed || 2 tries, 1825260 fired transitions, 1240 secs || 1709581 markings, 10230110 edges, 1402 markings/sec, 1240 secs
lola: STP completed || 2 tries, 1832828 fired transitions, 1245 secs || 1716591 markings, 10268550 edges, 1402 markings/sec, 1245 secs
lola: STP completed || 2 tries, 1840391 fired transitions, 1250 secs || 1723623 markings, 10303231 edges, 1406 markings/sec, 1250 secs
lola: STP completed || 2 tries, 1847969 fired transitions, 1255 secs || 1730578 markings, 10343935 edges, 1391 markings/sec, 1255 secs
lola: STP completed || 2 tries, 1855531 fired transitions, 1260 secs || 1737590 markings, 10380993 edges, 1402 markings/sec, 1260 secs
lola: STP completed || 2 tries, 1863104 fired transitions, 1265 secs || 1744572 markings, 10420694 edges, 1396 markings/sec, 1265 secs
lola: STP completed || 2 tries, 1870677 fired transitions, 1270 secs || 1751522 markings, 10463053 edges, 1390 markings/sec, 1270 secs
lola: STP completed || 2 tries, 1878255 fired transitions, 1275 secs || 1758444 markings, 10509157 edges, 1384 markings/sec, 1275 secs
lola: STP completed || 2 tries, 1885832 fired transitions, 1280 secs || 1765375 markings, 10555258 edges, 1386 markings/sec, 1280 secs
lola: STP completed || 2 tries, 1893396 fired transitions, 1285 secs || 1772343 markings, 10595559 edges, 1394 markings/sec, 1285 secs
lola: STP completed || 2 tries, 1900963 fired transitions, 1290 secs || 1779395 markings, 10629364 edges, 1410 markings/sec, 1290 secs
lola: STP completed || 2 tries, 1908532 fired transitions, 1295 secs || 1786375 markings, 10669102 edges, 1396 markings/sec, 1295 secs
lola: STP completed || 2 tries, 1916103 fired transitions, 1300 secs || 1793392 markings, 10707620 edges, 1403 markings/sec, 1300 secs
lola: STP completed || 2 tries, 1923683 fired transitions, 1305 secs || 1800354 markings, 10747823 edges, 1392 markings/sec, 1305 secs
lola: STP completed || 2 tries, 1931272 fired transitions, 1310 secs || 1807294 markings, 10791320 edges, 1388 markings/sec, 1310 secs
lola: STP completed || 2 tries, 1938855 fired transitions, 1315 secs || 1814195 markings, 10837638 edges, 1380 markings/sec, 1315 secs
lola: STP completed || 2 tries, 1946433 fired transitions, 1320 secs || 1821152 markings, 10880793 edges, 1391 markings/sec, 1320 secs
lola: STP completed || 2 tries, 1954001 fired transitions, 1325 secs || 1828136 markings, 10920054 edges, 1397 markings/sec, 1325 secs
lola: STP completed || 2 tries, 1961571 fired transitions, 1330 secs || 1835137 markings, 10958405 edges, 1400 markings/sec, 1330 secs
lola: STP completed || 2 tries, 1969143 fired transitions, 1335 secs || 1842094 markings, 10999737 edges, 1391 markings/sec, 1335 secs
lola: STP completed || 2 tries, 1976714 fired transitions, 1340 secs || 1848999 markings, 11044986 edges, 1381 markings/sec, 1340 secs
lola: STP completed || 2 tries, 1984281 fired transitions, 1345 secs || 1855961 markings, 11086382 edges, 1392 markings/sec, 1345 secs
lola: STP completed || 2 tries, 1991859 fired transitions, 1350 secs || 1862848 markings, 11133372 edges, 1377 markings/sec, 1350 secs
lola: STP completed || 2 tries, 1999429 fired transitions, 1355 secs || 1869775 markings, 11177833 edges, 1385 markings/sec, 1355 secs
lola: STP completed || 3 tries, 2007006 fired transitions, 1360 secs || 1876649 markings, 11225680 edges, 1375 markings/sec, 1360 secs
lola: STP completed || 3 tries, 2014593 fired transitions, 1365 secs || 1883462 markings, 11278127 edges, 1363 markings/sec, 1365 secs
lola: STP completed || 3 tries, 2022170 fired transitions, 1370 secs || 1890375 markings, 11326300 edges, 1383 markings/sec, 1370 secs
lola: STP completed || 3 tries, 2029749 fired transitions, 1375 secs || 1897263 markings, 11378066 edges, 1378 markings/sec, 1375 secs
lola: STP completed || 3 tries, 2037321 fired transitions, 1380 secs || 1904184 markings, 11422137 edges, 1384 markings/sec, 1380 secs
lola: STP completed || 3 tries, 2044888 fired transitions, 1385 secs || 1911100 markings, 11467522 edges, 1383 markings/sec, 1385 secs
lola: STP completed || 3 tries, 2052442 fired transitions, 1390 secs || 1918149 markings, 11501256 edges, 1410 markings/sec, 1390 secs
lola: STP completed || 3 tries, 2060004 fired transitions, 1395 secs || 1925124 markings, 11541193 edges, 1395 markings/sec, 1395 secs
lola: STP completed || 3 tries, 2067563 fired transitions, 1400 secs || 1932130 markings, 11579847 edges, 1401 markings/sec, 1400 secs
lola: STP completed || 3 tries, 2075122 fired transitions, 1405 secs || 1939116 markings, 11619955 edges, 1397 markings/sec, 1405 secs
lola: STP completed || 3 tries, 2082681 fired transitions, 1410 secs || 1946085 markings, 11662498 edges, 1394 markings/sec, 1410 secs
lola: STP completed || 3 tries, 2090252 fired transitions, 1415 secs || 1952993 markings, 11710598 edges, 1382 markings/sec, 1415 secs
lola: STP completed || 3 tries, 2097817 fired transitions, 1420 secs || 1959957 markings, 11753736 edges, 1393 markings/sec, 1420 secs
lola: STP completed || 3 tries, 2105379 fired transitions, 1425 secs || 1966946 markings, 11792279 edges, 1398 markings/sec, 1425 secs
lola: STP completed || 3 tries, 2112946 fired transitions, 1430 secs || 1973918 markings, 11831879 edges, 1394 markings/sec, 1430 secs
lola: STP completed || 3 tries, 2120510 fired transitions, 1435 secs || 1980870 markings, 11874077 edges, 1390 markings/sec, 1435 secs
lola: STP completed || 3 tries, 2128076 fired transitions, 1440 secs || 1987787 markings, 11919103 edges, 1383 markings/sec, 1440 secs
lola: STP completed || 3 tries, 2135647 fired transitions, 1445 secs || 1994698 markings, 11966961 edges, 1382 markings/sec, 1445 secs
lola: STP completed || 3 tries, 2143210 fired transitions, 1450 secs || 2001651 markings, 12008891 edges, 1391 markings/sec, 1450 secs
lola: STP completed || 3 tries, 2150787 fired transitions, 1455 secs || 2008550 markings, 12055199 edges, 1380 markings/sec, 1455 secs
lola: STP completed || 3 tries, 2158364 fired transitions, 1460 secs || 2015440 markings, 12101473 edges, 1378 markings/sec, 1460 secs
lola: STP completed || 3 tries, 2165936 fired transitions, 1465 secs || 2022337 markings, 12149510 edges, 1379 markings/sec, 1465 secs
lola: STP completed || 3 tries, 2173514 fired transitions, 1470 secs || 2029176 markings, 12202197 edges, 1368 markings/sec, 1470 secs
lola: STP completed || 3 tries, 2181096 fired transitions, 1475 secs || 2036043 markings, 12255138 edges, 1373 markings/sec, 1475 secs
lola: STP completed || 3 tries, 2188667 fired transitions, 1480 secs || 2042950 markings, 12301629 edges, 1381 markings/sec, 1480 secs
lola: STP completed || 3 tries, 2196238 fired transitions, 1485 secs || 2049946 markings, 12341314 edges, 1399 markings/sec, 1485 secs
lola: STP completed || 3 tries, 2203804 fired transitions, 1490 secs || 2056927 markings, 12381772 edges, 1396 markings/sec, 1490 secs
lola: STP completed || 3 tries, 2211376 fired transitions, 1495 secs || 2063870 markings, 12426382 edges, 1389 markings/sec, 1495 secs
lola: STP completed || 3 tries, 2218948 fired transitions, 1500 secs || 2070797 markings, 12473366 edges, 1385 markings/sec, 1500 secs
lola: STP completed || 3 tries, 2226519 fired transitions, 1505 secs || 2077751 markings, 12516749 edges, 1391 markings/sec, 1505 secs
lola: STP completed || 3 tries, 2234100 fired transitions, 1510 secs || 2084659 markings, 12563150 edges, 1382 markings/sec, 1510 secs
lola: STP completed || 3 tries, 2241677 fired transitions, 1515 secs || 2091555 markings, 12609908 edges, 1379 markings/sec, 1515 secs
lola: STP completed || 3 tries, 2249255 fired transitions, 1520 secs || 2098455 markings, 12658533 edges, 1380 markings/sec, 1520 secs
lola: STP completed || 3 tries, 2256838 fired transitions, 1525 secs || 2105298 markings, 12711778 edges, 1369 markings/sec, 1525 secs
lola: STP completed || 3 tries, 2264417 fired transitions, 1530 secs || 2112172 markings, 12763850 edges, 1375 markings/sec, 1530 secs
lola: STP completed || 3 tries, 2271987 fired transitions, 1535 secs || 2119099 markings, 12808711 edges, 1385 markings/sec, 1535 secs
lola: STP completed || 3 tries, 2279561 fired transitions, 1540 secs || 2126024 markings, 12854541 edges, 1385 markings/sec, 1540 secs
lola: STP completed || 3 tries, 2287134 fired transitions, 1545 secs || 2132949 markings, 12899621 edges, 1385 markings/sec, 1545 secs
lola: STP completed || 3 tries, 2294707 fired transitions, 1550 secs || 2139852 markings, 12948136 edges, 1381 markings/sec, 1550 secs
lola: STP completed || 3 tries, 2302286 fired transitions, 1555 secs || 2146720 markings, 12999717 edges, 1374 markings/sec, 1555 secs
lola: STP completed || 3 tries, 2309865 fired transitions, 1560 secs || 2153582 markings, 13053649 edges, 1372 markings/sec, 1560 secs
lola: STP completed || 3 tries, 2317446 fired transitions, 1565 secs || 2160479 markings, 13101938 edges, 1379 markings/sec, 1565 secs
lola: STP completed || 3 tries, 2325029 fired transitions, 1570 secs || 2167322 markings, 13154041 edges, 1369 markings/sec, 1570 secs
lola: STP completed || 3 tries, 2332612 fired transitions, 1575 secs || 2174197 markings, 13203622 edges, 1375 markings/sec, 1575 secs
lola: STP completed || 3 tries, 2340194 fired transitions, 1580 secs || 2181027 markings, 13258519 edges, 1366 markings/sec, 1580 secs
lola: STP completed || 3 tries, 2347778 fired transitions, 1585 secs || 2187857 markings, 13313273 edges, 1366 markings/sec, 1585 secs
lola: STP completed || 3 tries, 2355362 fired transitions, 1590 secs || 2194633 markings, 13372966 edges, 1355 markings/sec, 1590 secs
lola: STP completed || 3 tries, 2362937 fired transitions, 1595 secs || 2201553 markings, 13421155 edges, 1384 markings/sec, 1595 secs
lola: STP completed || 3 tries, 2370508 fired transitions, 1600 secs || 2208541 markings, 13462244 edges, 1398 markings/sec, 1600 secs
lola: STP completed || 3 tries, 2378079 fired transitions, 1605 secs || 2215509 markings, 13504135 edges, 1394 markings/sec, 1605 secs
lola: STP completed || 3 tries, 2385646 fired transitions, 1610 secs || 2222465 markings, 13547792 edges, 1391 markings/sec, 1610 secs
lola: STP completed || 3 tries, 2393218 fired transitions, 1615 secs || 2229361 markings, 13596583 edges, 1379 markings/sec, 1615 secs
lola: STP completed || 3 tries, 2400792 fired transitions, 1620 secs || 2236314 markings, 13640802 edges, 1391 markings/sec, 1620 secs
lola: STP completed || 3 tries, 2408371 fired transitions, 1625 secs || 2243266 markings, 13685412 edges, 1390 markings/sec, 1625 secs
lola: STP completed || 3 tries, 2415950 fired transitions, 1630 secs || 2250158 markings, 13735173 edges, 1378 markings/sec, 1630 secs
lola: STP completed || 3 tries, 2423533 fired transitions, 1635 secs || 2257104 markings, 13780681 edges, 1389 markings/sec, 1635 secs
lola: STP completed || 3 tries, 2431116 fired transitions, 1640 secs || 2263989 markings, 13831044 edges, 1377 markings/sec, 1640 secs
lola: STP completed || 3 tries, 2438700 fired transitions, 1645 secs || 2270846 markings, 13884364 edges, 1371 markings/sec, 1645 secs
lola: STP completed || 3 tries, 2446275 fired transitions, 1650 secs || 2277818 markings, 13927908 edges, 1394 markings/sec, 1650 secs
lola: STP completed || 3 tries, 2453848 fired transitions, 1655 secs || 2284786 markings, 13971258 edges, 1394 markings/sec, 1655 secs
lola: STP completed || 3 tries, 2461427 fired transitions, 1660 secs || 2291774 markings, 14014440 edges, 1398 markings/sec, 1660 secs
lola: STP completed || 3 tries, 2469001 fired transitions, 1665 secs || 2298700 markings, 14060876 edges, 1385 markings/sec, 1665 secs
lola: STP completed || 3 tries, 2476575 fired transitions, 1670 secs || 2305600 markings, 14110419 edges, 1380 markings/sec, 1670 secs
lola: STP completed || 3 tries, 2484144 fired transitions, 1675 secs || 2312501 markings, 14161184 edges, 1380 markings/sec, 1675 secs
lola: STP completed || 3 tries, 2491734 fired transitions, 1680 secs || 2319475 markings, 14204632 edges, 1395 markings/sec, 1680 secs
lola: STP completed || 3 tries, 2499037 fired transitions, 1685 secs || 2326134 markings, 14250201 edges, 1332 markings/sec, 1685 secs
lola: STP completed || 3 tries, 2506277 fired transitions, 1690 secs || 2332675 markings, 14300342 edges, 1308 markings/sec, 1690 secs
lola: STP completed || 3 tries, 2513516 fired transitions, 1695 secs || 2339273 markings, 14345035 edges, 1320 markings/sec, 1695 secs
lola: STP completed || 3 tries, 2520758 fired transitions, 1700 secs || 2345828 markings, 14392964 edges, 1311 markings/sec, 1700 secs
lola: STP completed || 3 tries, 2527994 fired transitions, 1705 secs || 2352377 markings, 14443084 edges, 1310 markings/sec, 1705 secs
lola: STP completed || 3 tries, 2535229 fired transitions, 1710 secs || 2358886 markings, 14494807 edges, 1302 markings/sec, 1710 secs
lola: STP completed || 3 tries, 2542462 fired transitions, 1715 secs || 2365387 markings, 14548530 edges, 1300 markings/sec, 1715 secs
lola: STP completed || 3 tries, 2549705 fired transitions, 1720 secs || 2372005 markings, 14591560 edges, 1324 markings/sec, 1720 secs
lola: STP completed || 3 tries, 2556941 fired transitions, 1725 secs || 2378599 markings, 14636241 edges, 1319 markings/sec, 1725 secs
lola: STP completed || 3 tries, 2564187 fired transitions, 1730 secs || 2385150 markings, 14685517 edges, 1310 markings/sec, 1730 secs
lola: STP completed || 3 tries, 2571430 fired transitions, 1735 secs || 2391737 markings, 14731268 edges, 1317 markings/sec, 1735 secs
lola: STP completed || 3 tries, 2578668 fired transitions, 1740 secs || 2398341 markings, 14775787 edges, 1321 markings/sec, 1740 secs
lola: STP completed || 3 tries, 2585907 fired transitions, 1745 secs || 2404884 markings, 14825883 edges, 1309 markings/sec, 1745 secs
lola: STP completed || 3 tries, 2593145 fired transitions, 1750 secs || 2411420 markings, 14875945 edges, 1307 markings/sec, 1750 secs
lola: STP completed || 3 tries, 2600381 fired transitions, 1755 secs || 2417901 markings, 14931521 edges, 1296 markings/sec, 1755 secs
lola: STP completed || 3 tries, 2607617 fired transitions, 1760 secs || 2424438 markings, 14981309 edges, 1307 markings/sec, 1760 secs
lola: STP completed || 3 tries, 2614852 fired transitions, 1765 secs || 2431001 markings, 15027902 edges, 1313 markings/sec, 1765 secs
lola: STP completed || 3 tries, 2622097 fired transitions, 1770 secs || 2437553 markings, 15076153 edges, 1310 markings/sec, 1770 secs
lola: STP completed || 3 tries, 2629344 fired transitions, 1775 secs || 2444072 markings, 15127600 edges, 1304 markings/sec, 1775 secs
lola: STP completed || 3 tries, 2636591 fired transitions, 1780 secs || 2450558 markings, 15183332 edges, 1297 markings/sec, 1780 secs
lola: STP completed || 3 tries, 2643834 fired transitions, 1785 secs || 2457110 markings, 15232543 edges, 1310 markings/sec, 1785 secs
lola: STP completed || 3 tries, 2651079 fired transitions, 1790 secs || 2463634 markings, 15283656 edges, 1305 markings/sec, 1790 secs
lola: STP completed || 3 tries, 2658319 fired transitions, 1795 secs || 2470129 markings, 15339700 edges, 1299 markings/sec, 1795 secs
lola: STP completed || 3 tries, 2665558 fired transitions, 1800 secs || 2476607 markings, 15394752 edges, 1296 markings/sec, 1800 secs
lola: STP completed || 3 tries, 2672803 fired transitions, 1805 secs || 2483045 markings, 15455752 edges, 1288 markings/sec, 1805 secs
lola: STP completed || 3 tries, 2680022 fired transitions, 1810 secs || 2489823 markings, 15483580 edges, 1356 markings/sec, 1810 secs
lola: STP completed || 3 tries, 2687241 fired transitions, 1815 secs || 2496603 markings, 15511320 edges, 1356 markings/sec, 1815 secs
lola: STP completed || 3 tries, 2694468 fired transitions, 1820 secs || 2503343 markings, 15542498 edges, 1348 markings/sec, 1820 secs
lola: STP completed || 3 tries, 2701694 fired transitions, 1825 secs || 2510039 markings, 15577386 edges, 1339 markings/sec, 1825 secs
lola: STP completed || 3 tries, 2708912 fired transitions, 1830 secs || 2516805 markings, 15608464 edges, 1353 markings/sec, 1830 secs
lola: STP completed || 3 tries, 2716137 fired transitions, 1835 secs || 2523537 markings, 15639261 edges, 1346 markings/sec, 1835 secs
lola: STP completed || 3 tries, 2723411 fired transitions, 1840 secs || 2529885 markings, 15671856 edges, 1270 markings/sec, 1840 secs
lola: STP completed || 3 tries, 2730848 fired transitions, 1845 secs || 2536777 markings, 15704660 edges, 1378 markings/sec, 1845 secs
lola: STP completed || 3 tries, 2738292 fired transitions, 1850 secs || 2543627 markings, 15738892 edges, 1370 markings/sec, 1850 secs
lola: STP completed || 3 tries, 2745730 fired transitions, 1855 secs || 2550494 markings, 15774378 edges, 1373 markings/sec, 1855 secs
lola: STP completed || 3 tries, 2753177 fired transitions, 1860 secs || 2557271 markings, 15810968 edges, 1355 markings/sec, 1860 secs
lola: STP completed || 3 tries, 2760631 fired transitions, 1865 secs || 2564041 markings, 15852627 edges, 1354 markings/sec, 1865 secs
lola: STP completed || 3 tries, 2768088 fired transitions, 1870 secs || 2570818 markings, 15894309 edges, 1355 markings/sec, 1870 secs
lola: STP completed || 3 tries, 2775525 fired transitions, 1875 secs || 2577675 markings, 15933118 edges, 1371 markings/sec, 1875 secs
lola: STP completed || 3 tries, 2782963 fired transitions, 1880 secs || 2584531 markings, 15964655 edges, 1371 markings/sec, 1880 secs
lola: STP completed || 3 tries, 2790398 fired transitions, 1885 secs || 2591387 markings, 15998648 edges, 1371 markings/sec, 1885 secs
lola: STP completed || 3 tries, 2797836 fired transitions, 1890 secs || 2598173 markings, 16038481 edges, 1357 markings/sec, 1890 secs
lola: STP completed || 3 tries, 2805276 fired transitions, 1895 secs || 2604990 markings, 16075927 edges, 1363 markings/sec, 1895 secs
lola: STP completed || 3 tries, 2812718 fired transitions, 1900 secs || 2611795 markings, 16114695 edges, 1361 markings/sec, 1900 secs
lola: STP completed || 3 tries, 2820162 fired transitions, 1905 secs || 2618554 markings, 16155513 edges, 1352 markings/sec, 1905 secs
lola: STP completed || 3 tries, 2827614 fired transitions, 1910 secs || 2625260 markings, 16201081 edges, 1341 markings/sec, 1910 secs
lola: STP completed || 3 tries, 2835054 fired transitions, 1915 secs || 2632044 markings, 16245581 edges, 1357 markings/sec, 1915 secs
lola: STP completed || 3 tries, 2842494 fired transitions, 1920 secs || 2638867 markings, 16283741 edges, 1365 markings/sec, 1920 secs
lola: STP completed || 3 tries, 2849936 fired transitions, 1925 secs || 2645789 markings, 16314768 edges, 1384 markings/sec, 1925 secs
lola: STP completed || 3 tries, 2857388 fired transitions, 1930 secs || 2652663 markings, 16349039 edges, 1375 markings/sec, 1930 secs
lola: STP completed || 3 tries, 2864833 fired transitions, 1935 secs || 2659534 markings, 16383194 edges, 1374 markings/sec, 1935 secs
lola: STP completed || 3 tries, 2872279 fired transitions, 1940 secs || 2666392 markings, 16418352 edges, 1372 markings/sec, 1940 secs
lola: STP completed || 3 tries, 2879731 fired transitions, 1945 secs || 2673184 markings, 16458523 edges, 1358 markings/sec, 1945 secs
lola: STP completed || 3 tries, 2887180 fired transitions, 1950 secs || 2679988 markings, 16498475 edges, 1361 markings/sec, 1950 secs
lola: STP completed || 3 tries, 2894628 fired transitions, 1955 secs || 2686817 markings, 16538732 edges, 1366 markings/sec, 1955 secs
lola: STP completed || 3 tries, 2902075 fired transitions, 1960 secs || 2693615 markings, 16576809 edges, 1360 markings/sec, 1960 secs
lola: STP completed || 3 tries, 2909508 fired transitions, 1965 secs || 2700541 markings, 16611325 edges, 1385 markings/sec, 1965 secs
lola: STP completed || 3 tries, 2916944 fired transitions, 1970 secs || 2707470 markings, 16648293 edges, 1386 markings/sec, 1970 secs
lola: STP completed || 3 tries, 2924389 fired transitions, 1975 secs || 2714330 markings, 16691267 edges, 1372 markings/sec, 1975 secs
lola: STP completed || 3 tries, 2931827 fired transitions, 1980 secs || 2721242 markings, 16728283 edges, 1382 markings/sec, 1980 secs
lola: STP completed || 3 tries, 2939263 fired transitions, 1985 secs || 2728106 markings, 16770721 edges, 1373 markings/sec, 1985 secs
lola: STP completed || 3 tries, 2946699 fired transitions, 1990 secs || 2735011 markings, 16811996 edges, 1381 markings/sec, 1990 secs
lola: STP completed || 3 tries, 2954143 fired transitions, 1995 secs || 2741857 markings, 16854034 edges, 1369 markings/sec, 1995 secs
lola: STP completed || 3 tries, 2961509 fired transitions, 2000 secs || 2748730 markings, 16897463 edges, 1375 markings/sec, 2000 secs
lola: STP completed || 3 tries, 2968822 fired transitions, 2005 secs || 2755575 markings, 16941905 edges, 1369 markings/sec, 2005 secs
lola: STP completed || 3 tries, 2976136 fired transitions, 2010 secs || 2762381 markings, 16991072 edges, 1361 markings/sec, 2010 secs
lola: STP completed || 3 tries, 2983446 fired transitions, 2015 secs || 2769196 markings, 17041981 edges, 1363 markings/sec, 2015 secs
lola: STP completed || 3 tries, 2990758 fired transitions, 2020 secs || 2776090 markings, 17081735 edges, 1379 markings/sec, 2020 secs
lola: STP completed || 3 tries, 2998062 fired transitions, 2025 secs || 2783011 markings, 17120970 edges, 1384 markings/sec, 2025 secs
lola: STP completed || 4 tries, 3005357 fired transitions, 2030 secs || 2789930 markings, 17158216 edges, 1384 markings/sec, 2030 secs
lola: STP completed || 4 tries, 3012653 fired transitions, 2035 secs || 2796803 markings, 17198998 edges, 1375 markings/sec, 2035 secs
lola: STP completed || 4 tries, 3019956 fired transitions, 2040 secs || 2803680 markings, 17239141 edges, 1375 markings/sec, 2040 secs
lola: STP completed || 4 tries, 3027262 fired transitions, 2045 secs || 2810490 markings, 17284672 edges, 1362 markings/sec, 2045 secs
lola: STP completed || 4 tries, 3034563 fired transitions, 2050 secs || 2817327 markings, 17330098 edges, 1367 markings/sec, 2050 secs
lola: STP completed || 4 tries, 3041865 fired transitions, 2055 secs || 2824190 markings, 17371002 edges, 1373 markings/sec, 2055 secs
lola: STP completed || 4 tries, 3049167 fired transitions, 2060 secs || 2831054 markings, 17413359 edges, 1373 markings/sec, 2060 secs
lola: STP completed || 4 tries, 3056474 fired transitions, 2065 secs || 2837856 markings, 17462005 edges, 1360 markings/sec, 2065 secs
lola: STP completed || 4 tries, 3063778 fired transitions, 2070 secs || 2844710 markings, 17504919 edges, 1371 markings/sec, 2070 secs
lola: STP completed || 4 tries, 3071084 fired transitions, 2075 secs || 2851496 markings, 17553152 edges, 1357 markings/sec, 2075 secs
lola: STP completed || 4 tries, 3078393 fired transitions, 2080 secs || 2858283 markings, 17601991 edges, 1357 markings/sec, 2080 secs
lola: STP completed || 4 tries, 3085713 fired transitions, 2085 secs || 2865023 markings, 17656944 edges, 1348 markings/sec, 2085 secs
lola: STP completed || 4 tries, 3093016 fired transitions, 2090 secs || 2871846 markings, 17703375 edges, 1365 markings/sec, 2090 secs
lola: STP completed || 4 tries, 3100318 fired transitions, 2095 secs || 2878782 markings, 17742560 edges, 1387 markings/sec, 2095 secs
lola: STP completed || 4 tries, 3107615 fired transitions, 2100 secs || 2885777 markings, 17774682 edges, 1399 markings/sec, 2100 secs
lola: STP completed || 4 tries, 3114918 fired transitions, 2105 secs || 2892724 markings, 17810339 edges, 1389 markings/sec, 2105 secs
lola: STP completed || 4 tries, 3122223 fired transitions, 2110 secs || 2899685 markings, 17844060 edges, 1392 markings/sec, 2110 secs
lola: STP completed || 4 tries, 3129524 fired transitions, 2115 secs || 2906651 markings, 17879310 edges, 1393 markings/sec, 2115 secs
lola: STP completed || 4 tries, 3136835 fired transitions, 2120 secs || 2913564 markings, 17916743 edges, 1383 markings/sec, 2120 secs
lola: STP completed || 4 tries, 3144149 fired transitions, 2125 secs || 2920427 markings, 17958879 edges, 1373 markings/sec, 2125 secs
lola: STP completed || 4 tries, 3151459 fired transitions, 2130 secs || 2927352 markings, 17999736 edges, 1385 markings/sec, 2130 secs
lola: STP completed || 4 tries, 3158765 fired transitions, 2135 secs || 2934279 markings, 18040178 edges, 1385 markings/sec, 2135 secs
lola: STP completed || 4 tries, 3166066 fired transitions, 2140 secs || 2941170 markings, 18078966 edges, 1378 markings/sec, 2140 secs
lola: STP completed || 4 tries, 3173364 fired transitions, 2145 secs || 2948045 markings, 18119542 edges, 1375 markings/sec, 2145 secs
lola: STP completed || 4 tries, 3180672 fired transitions, 2150 secs || 2954848 markings, 18165425 edges, 1361 markings/sec, 2150 secs
lola: STP completed || 4 tries, 3187970 fired transitions, 2155 secs || 2961694 markings, 18210901 edges, 1369 markings/sec, 2155 secs
lola: STP completed || 4 tries, 3195264 fired transitions, 2160 secs || 2968591 markings, 18249934 edges, 1379 markings/sec, 2160 secs
lola: STP completed || 4 tries, 3202563 fired transitions, 2165 secs || 2975541 markings, 18285840 edges, 1390 markings/sec, 2165 secs
lola: STP completed || 4 tries, 3209874 fired transitions, 2170 secs || 2982478 markings, 18322215 edges, 1387 markings/sec, 2170 secs
lola: STP completed || 4 tries, 3217193 fired transitions, 2175 secs || 2989350 markings, 18364541 edges, 1374 markings/sec, 2175 secs
lola: STP completed || 4 tries, 3224492 fired transitions, 2180 secs || 2996209 markings, 18406947 edges, 1372 markings/sec, 2180 secs
lola: STP completed || 4 tries, 3231811 fired transitions, 2185 secs || 3003054 markings, 18449770 edges, 1369 markings/sec, 2185 secs
lola: STP completed || 4 tries, 3239114 fired transitions, 2190 secs || 3009988 markings, 18486457 edges, 1387 markings/sec, 2190 secs
lola: STP completed || 4 tries, 3246430 fired transitions, 2195 secs || 3016850 markings, 18528210 edges, 1372 markings/sec, 2195 secs
lola: STP completed || 4 tries, 3253743 fired transitions, 2200 secs || 3023743 markings, 18571029 edges, 1379 markings/sec, 2200 secs
lola: STP completed || 4 tries, 3261057 fired transitions, 2205 secs || 3030620 markings, 18612982 edges, 1375 markings/sec, 2205 secs
lola: STP completed || 4 tries, 3268374 fired transitions, 2210 secs || 3037463 markings, 18657107 edges, 1369 markings/sec, 2210 secs
lola: STP completed || 4 tries, 3275695 fired transitions, 2215 secs || 3044256 markings, 18706531 edges, 1359 markings/sec, 2215 secs
lola: STP completed || 4 tries, 3283013 fired transitions, 2220 secs || 3051098 markings, 18755719 edges, 1368 markings/sec, 2220 secs
lola: STP completed || 4 tries, 3290321 fired transitions, 2225 secs || 3057913 markings, 18800593 edges, 1363 markings/sec, 2225 secs
lola: STP completed || 4 tries, 3297623 fired transitions, 2230 secs || 3064726 markings, 18848119 edges, 1363 markings/sec, 2230 secs
lola: STP completed || 4 tries, 3304928 fired transitions, 2235 secs || 3071480 markings, 18899304 edges, 1351 markings/sec, 2235 secs
lola: STP completed || 4 tries, 3312234 fired transitions, 2240 secs || 3078257 markings, 18950204 edges, 1355 markings/sec, 2240 secs
lola: STP completed || 4 tries, 3319540 fired transitions, 2245 secs || 3085057 markings, 18995140 edges, 1360 markings/sec, 2245 secs
lola: STP completed || 4 tries, 3326872 fired transitions, 2250 secs || 3091559 markings, 19037420 edges, 1300 markings/sec, 2250 secs
lola: STP completed || 4 tries, 3334139 fired transitions, 2255 secs || 3098296 markings, 19080176 edges, 1347 markings/sec, 2255 secs
lola: STP completed || 4 tries, 3341404 fired transitions, 2260 secs || 3105088 markings, 19119532 edges, 1358 markings/sec, 2260 secs
lola: STP completed || 4 tries, 3348671 fired transitions, 2265 secs || 3111850 markings, 19160445 edges, 1352 markings/sec, 2265 secs
lola: STP completed || 4 tries, 3355939 fired transitions, 2270 secs || 3118671 markings, 19196424 edges, 1364 markings/sec, 2270 secs
lola: STP completed || 4 tries, 3363215 fired transitions, 2275 secs || 3125464 markings, 19235301 edges, 1359 markings/sec, 2275 secs
lola: STP completed || 4 tries, 3370541 fired transitions, 2280 secs || 3132263 markings, 19276264 edges, 1360 markings/sec, 2280 secs
lola: STP completed || 4 tries, 3377706 fired transitions, 2285 secs || 3138423 markings, 19316595 edges, 1232 markings/sec, 2285 secs
lola: STP completed || 4 tries, 3385118 fired transitions, 2290 secs || 3144939 markings, 19354603 edges, 1303 markings/sec, 2290 secs
lola: STP completed || 4 tries, 3392587 fired transitions, 2295 secs || 3151906 markings, 19395849 edges, 1393 markings/sec, 2295 secs
lola: STP completed || 4 tries, 3399924 fired transitions, 2300 secs || 3158746 markings, 19438325 edges, 1368 markings/sec, 2300 secs
lola: STP completed || 4 tries, 3407096 fired transitions, 2305 secs || 3165413 markings, 19481737 edges, 1333 markings/sec, 2305 secs
lola: STP completed || 4 tries, 3414271 fired transitions, 2310 secs || 3172133 markings, 19524664 edges, 1344 markings/sec, 2310 secs
lola: STP completed || 4 tries, 3421574 fired transitions, 2315 secs || 3178925 markings, 19566878 edges, 1358 markings/sec, 2315 secs
lola: STP completed || 4 tries, 3429085 fired transitions, 2320 secs || 3185947 markings, 19611115 edges, 1404 markings/sec, 2320 secs
lola: STP completed || 4 tries, 3436605 fired transitions, 2325 secs || 3192918 markings, 19657592 edges, 1394 markings/sec, 2325 secs
lola: STP completed || 4 tries, 3444123 fired transitions, 2330 secs || 3199850 markings, 19709369 edges, 1386 markings/sec, 2330 secs
lola: STP completed || 4 tries, 3451636 fired transitions, 2335 secs || 3206817 markings, 19758425 edges, 1393 markings/sec, 2335 secs
lola: STP completed || 4 tries, 3459138 fired transitions, 2340 secs || 3213745 markings, 19808199 edges, 1386 markings/sec, 2340 secs
lola: STP completed || 4 tries, 3466643 fired transitions, 2345 secs || 3220600 markings, 19863263 edges, 1371 markings/sec, 2345 secs
lola: STP completed || 4 tries, 3474140 fired transitions, 2350 secs || 3227529 markings, 19909180 edges, 1386 markings/sec, 2350 secs
lola: STP completed || 4 tries, 3481647 fired transitions, 2355 secs || 3234479 markings, 19952522 edges, 1390 markings/sec, 2355 secs
lola: STP completed || 4 tries, 3489153 fired transitions, 2360 secs || 3241424 markings, 19995601 edges, 1389 markings/sec, 2360 secs
lola: STP completed || 4 tries, 3496658 fired transitions, 2365 secs || 3248400 markings, 20037583 edges, 1395 markings/sec, 2365 secs
lola: STP completed || 4 tries, 3504159 fired transitions, 2370 secs || 3255331 markings, 20081294 edges, 1386 markings/sec, 2370 secs
lola: STP completed || 4 tries, 3511668 fired transitions, 2375 secs || 3262240 markings, 20126392 edges, 1382 markings/sec, 2375 secs
lola: STP completed || 4 tries, 3519183 fired transitions, 2380 secs || 3269134 markings, 20173825 edges, 1379 markings/sec, 2380 secs
lola: STP completed || 4 tries, 3526692 fired transitions, 2385 secs || 3275988 markings, 20224489 edges, 1371 markings/sec, 2385 secs
lola: STP completed || 4 tries, 3534201 fired transitions, 2390 secs || 3282879 markings, 20271803 edges, 1378 markings/sec, 2390 secs
lola: STP completed || 4 tries, 3541705 fired transitions, 2395 secs || 3289777 markings, 20317728 edges, 1380 markings/sec, 2395 secs
lola: STP completed || 4 tries, 3549207 fired transitions, 2400 secs || 3296617 markings, 20365662 edges, 1368 markings/sec, 2400 secs
lola: STP completed || 4 tries, 3556718 fired transitions, 2405 secs || 3303460 markings, 20417051 edges, 1369 markings/sec, 2405 secs
lola: STP completed || 4 tries, 3564230 fired transitions, 2410 secs || 3310369 markings, 20464677 edges, 1382 markings/sec, 2410 secs
lola: STP completed || 4 tries, 3571744 fired transitions, 2415 secs || 3317268 markings, 20516047 edges, 1380 markings/sec, 2415 secs
lola: STP completed || 4 tries, 3579257 fired transitions, 2420 secs || 3324137 markings, 20563169 edges, 1374 markings/sec, 2420 secs
lola: STP completed || 4 tries, 3586774 fired transitions, 2425 secs || 3330950 markings, 20615210 edges, 1363 markings/sec, 2425 secs
lola: STP completed || 4 tries, 3594294 fired transitions, 2430 secs || 3337820 markings, 20665510 edges, 1374 markings/sec, 2430 secs
lola: STP completed || 4 tries, 3601812 fired transitions, 2435 secs || 3344691 markings, 20718010 edges, 1374 markings/sec, 2435 secs
lola: STP completed || 4 tries, 3609334 fired transitions, 2440 secs || 3351550 markings, 20769190 edges, 1372 markings/sec, 2440 secs
lola: STP completed || 4 tries, 3616823 fired transitions, 2445 secs || 3358366 markings, 20824318 edges, 1363 markings/sec, 2445 secs
lola: STP completed || 4 tries, 3624334 fired transitions, 2450 secs || 3365173 markings, 20880731 edges, 1361 markings/sec, 2450 secs
lola: STP completed || 4 tries, 3631857 fired transitions, 2455 secs || 3371973 markings, 20940947 edges, 1360 markings/sec, 2455 secs
lola: STP completed || 4 tries, 3639361 fired transitions, 2460 secs || 3378850 markings, 20992284 edges, 1375 markings/sec, 2460 secs
lola: STP completed || 4 tries, 3646863 fired transitions, 2465 secs || 3385738 markings, 21039770 edges, 1378 markings/sec, 2465 secs
lola: STP completed || 4 tries, 3654367 fired transitions, 2470 secs || 3392616 markings, 21088640 edges, 1376 markings/sec, 2470 secs
lola: STP completed || 4 tries, 3661871 fired transitions, 2475 secs || 3399559 markings, 21134193 edges, 1389 markings/sec, 2475 secs
lola: STP completed || 4 tries, 3669375 fired transitions, 2480 secs || 3406526 markings, 21178188 edges, 1393 markings/sec, 2480 secs
lola: STP completed || 4 tries, 3676874 fired transitions, 2485 secs || 3413526 markings, 21219320 edges, 1400 markings/sec, 2485 secs
lola: STP completed || 4 tries, 3684376 fired transitions, 2490 secs || 3420563 markings, 21253430 edges, 1407 markings/sec, 2490 secs
lola: STP completed || 4 tries, 3691888 fired transitions, 2495 secs || 3427560 markings, 21292967 edges, 1399 markings/sec, 2495 secs
lola: STP completed || 4 tries, 3699399 fired transitions, 2500 secs || 3434529 markings, 21332246 edges, 1394 markings/sec, 2500 secs
lola: STP completed || 4 tries, 3706912 fired transitions, 2505 secs || 3441481 markings, 21373179 edges, 1390 markings/sec, 2505 secs
lola: STP completed || 4 tries, 3714420 fired transitions, 2510 secs || 3448380 markings, 21419935 edges, 1380 markings/sec, 2510 secs
lola: STP completed || 4 tries, 3721924 fired transitions, 2515 secs || 3455357 markings, 21458331 edges, 1395 markings/sec, 2515 secs
lola: STP completed || 4 tries, 3729434 fired transitions, 2520 secs || 3462287 markings, 21500255 edges, 1386 markings/sec, 2520 secs
lola: STP completed || 4 tries, 3736943 fired transitions, 2525 secs || 3469196 markings, 21545866 edges, 1382 markings/sec, 2525 secs
lola: STP completed || 4 tries, 3744445 fired transitions, 2530 secs || 3476113 markings, 21588971 edges, 1383 markings/sec, 2530 secs
lola: STP completed || 4 tries, 3751955 fired transitions, 2535 secs || 3482992 markings, 21635236 edges, 1376 markings/sec, 2535 secs
lola: STP completed || 4 tries, 3759469 fired transitions, 2540 secs || 3489829 markings, 21687692 edges, 1367 markings/sec, 2540 secs
lola: STP completed || 4 tries, 3766974 fired transitions, 2545 secs || 3496734 markings, 21733300 edges, 1381 markings/sec, 2545 secs
lola: STP completed || 4 tries, 3774475 fired transitions, 2550 secs || 3503703 markings, 21771993 edges, 1394 markings/sec, 2550 secs
lola: STP completed || 4 tries, 3781977 fired transitions, 2555 secs || 3510607 markings, 21815505 edges, 1381 markings/sec, 2555 secs
lola: STP completed || 4 tries, 3789489 fired transitions, 2560 secs || 3517514 markings, 21858837 edges, 1381 markings/sec, 2560 secs
lola: STP completed || 4 tries, 3796997 fired transitions, 2565 secs || 3524441 markings, 21903303 edges, 1385 markings/sec, 2565 secs
lola: STP completed || 4 tries, 3804506 fired transitions, 2570 secs || 3531334 markings, 21948929 edges, 1379 markings/sec, 2570 secs
lola: STP completed || 4 tries, 3812019 fired transitions, 2575 secs || 3538164 markings, 22000901 edges, 1366 markings/sec, 2575 secs
lola: STP completed || 4 tries, 3819527 fired transitions, 2580 secs || 3545075 markings, 22047154 edges, 1382 markings/sec, 2580 secs
lola: STP completed || 4 tries, 3827032 fired transitions, 2585 secs || 3551984 markings, 22090954 edges, 1382 markings/sec, 2585 secs
lola: STP completed || 4 tries, 3834537 fired transitions, 2590 secs || 3558878 markings, 22137557 edges, 1379 markings/sec, 2590 secs
lola: STP completed || 4 tries, 3842046 fired transitions, 2595 secs || 3565726 markings, 22188131 edges, 1370 markings/sec, 2595 secs
lola: STP completed || 4 tries, 3849559 fired transitions, 2600 secs || 3572595 markings, 22235853 edges, 1374 markings/sec, 2600 secs
lola: STP completed || 4 tries, 3857067 fired transitions, 2605 secs || 3579424 markings, 22287641 edges, 1366 markings/sec, 2605 secs
lola: STP completed || 4 tries, 3864461 fired transitions, 2610 secs || 3586011 markings, 22338538 edges, 1317 markings/sec, 2610 secs
lola: STP completed || 4 tries, 3871853 fired transitions, 2615 secs || 3592671 markings, 22393355 edges, 1332 markings/sec, 2615 secs
lola: STP completed || 4 tries, 3879242 fired transitions, 2620 secs || 3599466 markings, 22437816 edges, 1359 markings/sec, 2620 secs
lola: STP completed || 4 tries, 3886367 fired transitions, 2625 secs || 3606375 markings, 22468486 edges, 1382 markings/sec, 2625 secs
lola: STP completed || 4 tries, 3893443 fired transitions, 2630 secs || 3613231 markings, 22504409 edges, 1371 markings/sec, 2630 secs
lola: STP completed || 4 tries, 3900897 fired transitions, 2635 secs || 3620366 markings, 22539068 edges, 1427 markings/sec, 2635 secs
lola: STP completed || 4 tries, 3908349 fired transitions, 2640 secs || 3627504 markings, 22576051 edges, 1428 markings/sec, 2640 secs
lola: STP completed || 4 tries, 3915804 fired transitions, 2645 secs || 3634573 markings, 22617319 edges, 1414 markings/sec, 2645 secs
lola: STP completed || 4 tries, 3923259 fired transitions, 2650 secs || 3641638 markings, 22658353 edges, 1413 markings/sec, 2650 secs
lola: STP completed || 4 tries, 3930715 fired transitions, 2655 secs || 3648749 markings, 22700925 edges, 1422 markings/sec, 2655 secs
lola: STP completed || 4 tries, 3937941 fired transitions, 2660 secs || 3655712 markings, 22739332 edges, 1393 markings/sec, 2660 secs
lola: STP completed || 4 tries, 3945036 fired transitions, 2665 secs || 3662580 markings, 22773290 edges, 1374 markings/sec, 2665 secs
lola: STP completed || 4 tries, 3952304 fired transitions, 2670 secs || 3669555 markings, 22810206 edges, 1395 markings/sec, 2670 secs
lola: STP completed || 4 tries, 3959744 fired transitions, 2675 secs || 3676642 markings, 22854090 edges, 1417 markings/sec, 2675 secs
lola: STP completed || 4 tries, 3967177 fired transitions, 2680 secs || 3683779 markings, 22892728 edges, 1427 markings/sec, 2680 secs
lola: STP completed || 4 tries, 3974615 fired transitions, 2685 secs || 3690844 markings, 22936665 edges, 1413 markings/sec, 2685 secs
lola: STP completed || 4 tries, 3982052 fired transitions, 2690 secs || 3697973 markings, 22978622 edges, 1426 markings/sec, 2690 secs
lola: STP completed || 4 tries, 3989494 fired transitions, 2695 secs || 3705035 markings, 23022372 edges, 1412 markings/sec, 2695 secs
lola: STP completed || 4 tries, 3996941 fired transitions, 2700 secs || 3712138 markings, 23066926 edges, 1421 markings/sec, 2700 secs
lola: STP completed || 5 tries, 4004381 fired transitions, 2705 secs || 3719137 markings, 23116458 edges, 1400 markings/sec, 2705 secs
lola: STP completed || 5 tries, 4011826 fired transitions, 2710 secs || 3726175 markings, 23166388 edges, 1408 markings/sec, 2710 secs
lola: STP completed || 5 tries, 4019261 fired transitions, 2715 secs || 3733261 markings, 23212895 edges, 1417 markings/sec, 2715 secs
lola: STP completed || 5 tries, 4026696 fired transitions, 2720 secs || 3740365 markings, 23255021 edges, 1421 markings/sec, 2720 secs
lola: STP completed || 5 tries, 4034128 fired transitions, 2725 secs || 3747498 markings, 23296705 edges, 1427 markings/sec, 2725 secs
lola: STP completed || 5 tries, 4041568 fired transitions, 2730 secs || 3754663 markings, 23333184 edges, 1433 markings/sec, 2730 secs
lola: STP completed || 5 tries, 4049013 fired transitions, 2735 secs || 3761801 markings, 23372737 edges, 1428 markings/sec, 2735 secs
lola: STP completed || 5 tries, 4056454 fired transitions, 2740 secs || 3768877 markings, 23415947 edges, 1415 markings/sec, 2740 secs
lola: STP completed || 5 tries, 4063893 fired transitions, 2745 secs || 3776005 markings, 23454178 edges, 1426 markings/sec, 2745 secs
lola: STP completed || 5 tries, 4071065 fired transitions, 2750 secs || 3782828 markings, 23496499 edges, 1365 markings/sec, 2750 secs
lola: STP completed || 5 tries, 4078150 fired transitions, 2755 secs || 3789633 markings, 23537020 edges, 1361 markings/sec, 2755 secs
lola: STP completed || 5 tries, 4085246 fired transitions, 2760 secs || 3796370 markings, 23578723 edges, 1347 markings/sec, 2760 secs
lola: STP completed || 5 tries, 4092342 fired transitions, 2765 secs || 3803142 markings, 23621229 edges, 1354 markings/sec, 2765 secs
lola: STP completed || 5 tries, 4099438 fired transitions, 2770 secs || 3809882 markings, 23665013 edges, 1348 markings/sec, 2770 secs
lola: STP completed || 5 tries, 4106541 fired transitions, 2775 secs || 3816586 markings, 23713115 edges, 1341 markings/sec, 2775 secs
lola: STP completed || 5 tries, 4113637 fired transitions, 2780 secs || 3823297 markings, 23763378 edges, 1342 markings/sec, 2780 secs
lola: STP completed || 5 tries, 4120737 fired transitions, 2785 secs || 3830075 markings, 23804743 edges, 1356 markings/sec, 2785 secs
lola: STP completed || 5 tries, 4127838 fired transitions, 2790 secs || 3836892 markings, 23844345 edges, 1363 markings/sec, 2790 secs
lola: STP completed || 5 tries, 4135285 fired transitions, 2795 secs || 3843975 markings, 23887756 edges, 1417 markings/sec, 2795 secs
lola: STP completed || 5 tries, 4142742 fired transitions, 2800 secs || 3851010 markings, 23935977 edges, 1407 markings/sec, 2800 secs
lola: STP completed || 5 tries, 4150193 fired transitions, 2805 secs || 3858051 markings, 23982633 edges, 1408 markings/sec, 2805 secs
lola: STP completed || 5 tries, 4157647 fired transitions, 2810 secs || 3865120 markings, 24027348 edges, 1414 markings/sec, 2810 secs
lola: STP completed || 5 tries, 4165089 fired transitions, 2815 secs || 3872189 markings, 24073704 edges, 1414 markings/sec, 2815 secs
lola: STP completed || 5 tries, 4172543 fired transitions, 2820 secs || 3879188 markings, 24125674 edges, 1400 markings/sec, 2820 secs
lola: STP completed || 5 tries, 4179995 fired transitions, 2825 secs || 3886212 markings, 24174719 edges, 1405 markings/sec, 2825 secs
lola: STP completed || 5 tries, 4187451 fired transitions, 2830 secs || 3893227 markings, 24223705 edges, 1403 markings/sec, 2830 secs
lola: STP completed || 5 tries, 4194909 fired transitions, 2835 secs || 3900267 markings, 24275171 edges, 1408 markings/sec, 2835 secs
lola: STP completed || 5 tries, 4202367 fired transitions, 2840 secs || 3907221 markings, 24329127 edges, 1391 markings/sec, 2840 secs
lola: STP completed || 5 tries, 4209832 fired transitions, 2845 secs || 3914192 markings, 24385110 edges, 1394 markings/sec, 2845 secs
lola: STP completed || 5 tries, 4217276 fired transitions, 2850 secs || 3921192 markings, 24440235 edges, 1400 markings/sec, 2850 secs
lola: STP completed || 5 tries, 4224730 fired transitions, 2855 secs || 3928240 markings, 24486034 edges, 1410 markings/sec, 2855 secs
lola: STP completed || 5 tries, 4232173 fired transitions, 2860 secs || 3935330 markings, 24530370 edges, 1418 markings/sec, 2860 secs
lola: STP completed || 5 tries, 4239484 fired transitions, 2865 secs || 3942331 markings, 24569857 edges, 1400 markings/sec, 2865 secs
lola: STP completed || 5 tries, 4246556 fired transitions, 2870 secs || 3949101 markings, 24608835 edges, 1354 markings/sec, 2870 secs
lola: STP completed || 5 tries, 4253632 fired transitions, 2875 secs || 3955868 markings, 24649611 edges, 1353 markings/sec, 2875 secs
lola: STP completed || 5 tries, 4260709 fired transitions, 2880 secs || 3962589 markings, 24694173 edges, 1344 markings/sec, 2880 secs
lola: STP completed || 5 tries, 4267887 fired transitions, 2885 secs || 3969425 markings, 24740929 edges, 1367 markings/sec, 2885 secs
lola: STP completed || 5 tries, 4275315 fired transitions, 2890 secs || 3976501 markings, 24783900 edges, 1415 markings/sec, 2890 secs
lola: STP completed || 5 tries, 4282749 fired transitions, 2895 secs || 3983519 markings, 24831905 edges, 1404 markings/sec, 2895 secs
lola: STP completed || 5 tries, 4290183 fired transitions, 2900 secs || 3990542 markings, 24880404 edges, 1405 markings/sec, 2900 secs
lola: STP completed || 5 tries, 4297618 fired transitions, 2905 secs || 3997534 markings, 24930384 edges, 1398 markings/sec, 2905 secs
lola: STP completed || 5 tries, 4304939 fired transitions, 2910 secs || 4004390 markings, 24985757 edges, 1371 markings/sec, 2910 secs
lola: STP completed || 5 tries, 4312014 fired transitions, 2915 secs || 4011074 markings, 25033102 edges, 1337 markings/sec, 2915 secs
lola: STP completed || 5 tries, 4319091 fired transitions, 2920 secs || 4017796 markings, 25077815 edges, 1344 markings/sec, 2920 secs
lola: STP completed || 5 tries, 4326165 fired transitions, 2925 secs || 4024551 markings, 25118730 edges, 1351 markings/sec, 2925 secs
lola: STP completed || 5 tries, 4333249 fired transitions, 2930 secs || 4031251 markings, 25164952 edges, 1340 markings/sec, 2930 secs
lola: STP completed || 5 tries, 4340329 fired transitions, 2935 secs || 4037987 markings, 25208840 edges, 1347 markings/sec, 2935 secs
lola: STP completed || 5 tries, 4347406 fired transitions, 2940 secs || 4044674 markings, 25256064 edges, 1337 markings/sec, 2940 secs
lola: STP completed || 5 tries, 4354487 fired transitions, 2945 secs || 4051317 markings, 25307597 edges, 1329 markings/sec, 2945 secs
lola: STP completed || 5 tries, 4361566 fired transitions, 2950 secs || 4057986 markings, 25358272 edges, 1334 markings/sec, 2950 secs
lola: STP completed || 5 tries, 4368637 fired transitions, 2955 secs || 4064690 markings, 25404354 edges, 1341 markings/sec, 2955 secs
lola: STP completed || 5 tries, 4375717 fired transitions, 2960 secs || 4071370 markings, 25451896 edges, 1336 markings/sec, 2960 secs
lola: STP completed || 5 tries, 4382807 fired transitions, 2965 secs || 4078022 markings, 25502107 edges, 1330 markings/sec, 2965 secs
lola: STP completed || 5 tries, 4389892 fired transitions, 2970 secs || 4084669 markings, 25553647 edges, 1329 markings/sec, 2970 secs
lola: STP completed || 5 tries, 4396974 fired transitions, 2975 secs || 4091317 markings, 25605245 edges, 1330 markings/sec, 2975 secs
lola: STP completed || 5 tries, 4404052 fired transitions, 2980 secs || 4097924 markings, 25660139 edges, 1321 markings/sec, 2980 secs
lola: STP completed || 5 tries, 4411139 fired transitions, 2985 secs || 4104523 markings, 25719146 edges, 1320 markings/sec, 2985 secs
lola: STP completed || 5 tries, 4418223 fired transitions, 2990 secs || 4111210 markings, 25766776 edges, 1337 markings/sec, 2990 secs
lola: STP completed || 5 tries, 4425305 fired transitions, 2995 secs || 4117916 markings, 25811919 edges, 1341 markings/sec, 2995 secs
lola: STP completed || 5 tries, 4432393 fired transitions, 3000 secs || 4124678 markings, 25850798 edges, 1352 markings/sec, 3000 secs
lola: STP completed || 5 tries, 4439478 fired transitions, 3005 secs || 4131387 markings, 25893835 edges, 1342 markings/sec, 3005 secs
lola: STP completed || 5 tries, 4446563 fired transitions, 3010 secs || 4138136 markings, 25935956 edges, 1350 markings/sec, 3010 secs
lola: STP completed || 5 tries, 4453653 fired transitions, 3015 secs || 4144836 markings, 25980867 edges, 1340 markings/sec, 3015 secs
lola: STP completed || 5 tries, 4460735 fired transitions, 3020 secs || 4151473 markings, 26030510 edges, 1327 markings/sec, 3020 secs
lola: STP completed || 5 tries, 4467823 fired transitions, 3025 secs || 4158161 markings, 26077032 edges, 1338 markings/sec, 3025 secs
lola: STP completed || 5 tries, 4474908 fired transitions, 3030 secs || 4164899 markings, 26119399 edges, 1348 markings/sec, 3030 secs
lola: STP completed || 5 tries, 4481992 fired transitions, 3035 secs || 4171586 markings, 26164254 edges, 1337 markings/sec, 3035 secs
lola: STP completed || 5 tries, 4489079 fired transitions, 3040 secs || 4178245 markings, 26212488 edges, 1332 markings/sec, 3040 secs
lola: STP completed || 5 tries, 4496170 fired transitions, 3045 secs || 4184919 markings, 26260339 edges, 1335 markings/sec, 3045 secs
lola: STP completed || 5 tries, 4503255 fired transitions, 3050 secs || 4191587 markings, 26307872 edges, 1334 markings/sec, 3050 secs
lola: STP completed || 5 tries, 4510347 fired transitions, 3055 secs || 4198222 markings, 26358474 edges, 1327 markings/sec, 3055 secs
lola: STP completed || 5 tries, 4517588 fired transitions, 3060 secs || 4204964 markings, 26415147 edges, 1348 markings/sec, 3060 secs
lola: STP completed || 5 tries, 4524883 fired transitions, 3065 secs || 4211835 markings, 26462404 edges, 1374 markings/sec, 3065 secs
lola: STP completed || 5 tries, 4532327 fired transitions, 3070 secs || 4218872 markings, 26508104 edges, 1407 markings/sec, 3070 secs
lola: STP completed || 5 tries, 4539766 fired transitions, 3075 secs || 4225999 markings, 26548226 edges, 1425 markings/sec, 3075 secs
lola: STP completed || 5 tries, 4547187 fired transitions, 3080 secs || 4233112 markings, 26586780 edges, 1423 markings/sec, 3080 secs
lola: STP completed || 5 tries, 4554630 fired transitions, 3085 secs || 4240190 markings, 26629947 edges, 1416 markings/sec, 3085 secs
lola: STP completed || 5 tries, 4561759 fired transitions, 3090 secs || 4246942 markings, 26673456 edges, 1350 markings/sec, 3090 secs
lola: STP completed || 5 tries, 4568854 fired transitions, 3095 secs || 4253687 markings, 26715236 edges, 1349 markings/sec, 3095 secs
lola: STP completed || 5 tries, 4575942 fired transitions, 3100 secs || 4260492 markings, 26752021 edges, 1361 markings/sec, 3100 secs
lola: STP completed || 5 tries, 4583037 fired transitions, 3105 secs || 4267241 markings, 26794041 edges, 1350 markings/sec, 3105 secs
lola: STP completed || 5 tries, 4590132 fired transitions, 3110 secs || 4274018 markings, 26835107 edges, 1355 markings/sec, 3110 secs
lola: STP completed || 5 tries, 4597228 fired transitions, 3115 secs || 4280748 markings, 26877166 edges, 1346 markings/sec, 3115 secs
lola: STP completed || 5 tries, 4604338 fired transitions, 3120 secs || 4287505 markings, 26920438 edges, 1351 markings/sec, 3120 secs
lola: STP completed || 5 tries, 4611439 fired transitions, 3125 secs || 4294244 markings, 26964421 edges, 1348 markings/sec, 3125 secs
lola: STP completed || 5 tries, 4618538 fired transitions, 3130 secs || 4300927 markings, 27013387 edges, 1337 markings/sec, 3130 secs
lola: STP completed || 5 tries, 4625638 fired transitions, 3135 secs || 4307643 markings, 27063128 edges, 1343 markings/sec, 3135 secs
lola: STP completed || 5 tries, 4632720 fired transitions, 3140 secs || 4314361 markings, 27107161 edges, 1344 markings/sec, 3140 secs
lola: STP completed || 5 tries, 4639805 fired transitions, 3145 secs || 4321060 markings, 27154339 edges, 1340 markings/sec, 3145 secs
lola: STP completed || 5 tries, 4646895 fired transitions, 3150 secs || 4327711 markings, 27205032 edges, 1330 markings/sec, 3150 secs
lola: STP completed || 5 tries, 4653982 fired transitions, 3155 secs || 4334372 markings, 27257026 edges, 1332 markings/sec, 3155 secs
lola: STP completed || 5 tries, 4661062 fired transitions, 3160 secs || 4341116 markings, 27299595 edges, 1349 markings/sec, 3160 secs
lola: STP completed || 5 tries, 4668141 fired transitions, 3165 secs || 4347859 markings, 27342466 edges, 1349 markings/sec, 3165 secs
lola: STP completed || 5 tries, 4675227 fired transitions, 3170 secs || 4354609 markings, 27383896 edges, 1350 markings/sec, 3170 secs
lola: STP completed || 5 tries, 4682644 fired transitions, 3175 secs || 4361605 markings, 27430797 edges, 1399 markings/sec, 3175 secs
lola: STP completed || 5 tries, 4690091 fired transitions, 3180 secs || 4368582 markings, 27481003 edges, 1395 markings/sec, 3180 secs
lola: STP completed || 5 tries, 4697530 fired transitions, 3185 secs || 4375594 markings, 27530140 edges, 1402 markings/sec, 3185 secs
lola: STP completed || 5 tries, 4704977 fired transitions, 3190 secs || 4382676 markings, 27573132 edges, 1416 markings/sec, 3190 secs
lola: STP completed || 5 tries, 4712426 fired transitions, 3195 secs || 4389737 markings, 27617947 edges, 1412 markings/sec, 3195 secs
lola: STP completed || 5 tries, 4719879 fired transitions, 3200 secs || 4396737 markings, 27668421 edges, 1400 markings/sec, 3200 secs
lola: STP completed || 5 tries, 4727329 fired transitions, 3205 secs || 4403799 markings, 27712395 edges, 1412 markings/sec, 3205 secs
lola: STP completed || 5 tries, 4734779 fired transitions, 3210 secs || 4410825 markings, 27760005 edges, 1405 markings/sec, 3210 secs
lola: STP completed || 5 tries, 4742235 fired transitions, 3215 secs || 4417825 markings, 27808955 edges, 1400 markings/sec, 3215 secs
lola: STP completed || 5 tries, 4749679 fired transitions, 3220 secs || 4424875 markings, 27857770 edges, 1410 markings/sec, 3220 secs
lola: STP completed || 5 tries, 4757133 fired transitions, 3225 secs || 4431874 markings, 27906561 edges, 1400 markings/sec, 3225 secs
lola: STP completed || 5 tries, 4764590 fired transitions, 3230 secs || 4438888 markings, 27957374 edges, 1403 markings/sec, 3230 secs
lola: STP completed || 5 tries, 4772043 fired transitions, 3235 secs || 4445882 markings, 28009035 edges, 1399 markings/sec, 3235 secs
lola: STP completed || 5 tries, 4779485 fired transitions, 3240 secs || 4452798 markings, 28065340 edges, 1383 markings/sec, 3240 secs
lola: STP completed || 5 tries, 4786939 fired transitions, 3245 secs || 4459782 markings, 28121250 edges, 1397 markings/sec, 3245 secs
lola: STP completed || 5 tries, 4794375 fired transitions, 3250 secs || 4466788 markings, 28173479 edges, 1401 markings/sec, 3250 secs
lola: STP completed || 5 tries, 4801816 fired transitions, 3255 secs || 4473765 markings, 28225216 edges, 1395 markings/sec, 3255 secs
lola: STP completed || 5 tries, 4809248 fired transitions, 3260 secs || 4480748 markings, 28276053 edges, 1397 markings/sec, 3260 secs
lola: STP completed || 5 tries, 4816686 fired transitions, 3265 secs || 4487701 markings, 28331356 edges, 1391 markings/sec, 3265 secs
lola: STP completed || 5 tries, 4824130 fired transitions, 3270 secs || 4494647 markings, 28385752 edges, 1389 markings/sec, 3270 secs
lola: STP completed || 5 tries, 4831569 fired transitions, 3275 secs || 4501585 markings, 28443626 edges, 1388 markings/sec, 3275 secs
lola: STP completed || 5 tries, 4839009 fired transitions, 3280 secs || 4508508 markings, 28502568 edges, 1385 markings/sec, 3280 secs
lola: STP completed || 5 tries, 4846450 fired transitions, 3285 secs || 4515475 markings, 28554996 edges, 1393 markings/sec, 3285 secs
lola: STP completed || 5 tries, 4853898 fired transitions, 3290 secs || 4522391 markings, 28610873 edges, 1383 markings/sec, 3290 secs
lola: STP completed || 5 tries, 4861344 fired transitions, 3295 secs || 4529389 markings, 28660302 edges, 1400 markings/sec, 3295 secs
lola: STP completed || 5 tries, 4868459 fired transitions, 3300 secs || 4536097 markings, 28707548 edges, 1342 markings/sec, 3300 secs
lola: STP completed || 5 tries, 4875548 fired transitions, 3305 secs || 4542766 markings, 28756615 edges, 1334 markings/sec, 3305 secs
lola: STP completed || 5 tries, 4882635 fired transitions, 3310 secs || 4549539 markings, 28796765 edges, 1355 markings/sec, 3310 secs
lola: STP completed || 5 tries, 4889736 fired transitions, 3315 secs || 4556281 markings, 28838515 edges, 1348 markings/sec, 3315 secs
lola: STP completed || 5 tries, 4896831 fired transitions, 3320 secs || 4563002 markings, 28883953 edges, 1344 markings/sec, 3320 secs
lola: STP completed || 5 tries, 4903925 fired transitions, 3325 secs || 4569698 markings, 28930113 edges, 1339 markings/sec, 3325 secs
lola: STP completed || 5 tries, 4911021 fired transitions, 3330 secs || 4576444 markings, 28971386 edges, 1349 markings/sec, 3330 secs
lola: STP completed || 5 tries, 4918111 fired transitions, 3335 secs || 4583165 markings, 29015223 edges, 1344 markings/sec, 3335 secs
lola: STP completed || 5 tries, 4925205 fired transitions, 3340 secs || 4589838 markings, 29063809 edges, 1335 markings/sec, 3340 secs
lola: STP completed || 5 tries, 4932297 fired transitions, 3345 secs || 4596575 markings, 29110632 edges, 1347 markings/sec, 3345 secs
lola: STP completed || 5 tries, 4939404 fired transitions, 3350 secs || 4603266 markings, 29156931 edges, 1338 markings/sec, 3350 secs
lola: STP completed || 5 tries, 4946499 fired transitions, 3355 secs || 4609956 markings, 29205072 edges, 1338 markings/sec, 3355 secs
lola: STP completed || 5 tries, 4953596 fired transitions, 3360 secs || 4616652 markings, 29254151 edges, 1339 markings/sec, 3360 secs
lola: STP completed || 5 tries, 4960700 fired transitions, 3365 secs || 4623271 markings, 29306645 edges, 1324 markings/sec, 3365 secs
lola: STP completed || 5 tries, 4967802 fired transitions, 3370 secs || 4629923 markings, 29360197 edges, 1330 markings/sec, 3370 secs
lola: STP completed || 5 tries, 4974891 fired transitions, 3375 secs || 4636594 markings, 29412666 edges, 1334 markings/sec, 3375 secs
lola: STP completed || 5 tries, 4981984 fired transitions, 3380 secs || 4643307 markings, 29458976 edges, 1343 markings/sec, 3380 secs
lola: STP completed || 5 tries, 4989073 fired transitions, 3385 secs || 4650018 markings, 29505103 edges, 1342 markings/sec, 3385 secs
lola: STP completed || 5 tries, 4996157 fired transitions, 3390 secs || 4656661 markings, 29556107 edges, 1329 markings/sec, 3390 secs
lola: STP completed || 6 tries, 5003242 fired transitions, 3395 secs || 4663339 markings, 29603238 edges, 1336 markings/sec, 3395 secs
lola: STP completed || 6 tries, 5010325 fired transitions, 3400 secs || 4669985 markings, 29655422 edges, 1329 markings/sec, 3400 secs
lola: STP completed || 6 tries, 5017405 fired transitions, 3405 secs || 4676628 markings, 29707570 edges, 1329 markings/sec, 3405 secs
lola: STP completed || 6 tries, 5024491 fired transitions, 3410 secs || 4683252 markings, 29762106 edges, 1325 markings/sec, 3410 secs
lola: STP completed || 6 tries, 5031576 fired transitions, 3415 secs || 4689845 markings, 29821556 edges, 1319 markings/sec, 3415 secs
lola: STP completed || 6 tries, 5038659 fired transitions, 3420 secs || 4696513 markings, 29871022 edges, 1334 markings/sec, 3420 secs
lola: STP completed || 6 tries, 5045748 fired transitions, 3425 secs || 4703162 markings, 29920917 edges, 1330 markings/sec, 3425 secs
lola: STP completed || 6 tries, 5052838 fired transitions, 3430 secs || 4709778 markings, 29973396 edges, 1323 markings/sec, 3430 secs
lola: STP completed || 6 tries, 5059928 fired transitions, 3435 secs || 4716400 markings, 30026360 edges, 1324 markings/sec, 3435 secs
lola: STP completed || 6 tries, 5067014 fired transitions, 3440 secs || 4723127 markings, 30070969 edges, 1345 markings/sec, 3440 secs
lola: STP completed || 6 tries, 5074117 fired transitions, 3445 secs || 4729815 markings, 30118604 edges, 1338 markings/sec, 3445 secs
lola: STP completed || 6 tries, 5081490 fired transitions, 3450 secs || 4736732 markings, 30171377 edges, 1383 markings/sec, 3450 secs
lola: STP completed || 6 tries, 5088940 fired transitions, 3455 secs || 4743742 markings, 30220204 edges, 1402 markings/sec, 3455 secs
lola: STP completed || 6 tries, 5096394 fired transitions, 3460 secs || 4750749 markings, 30271517 edges, 1401 markings/sec, 3460 secs
lola: STP completed || 6 tries, 5103856 fired transitions, 3465 secs || 4757695 markings, 30325347 edges, 1389 markings/sec, 3465 secs
lola: STP completed || 6 tries, 5111318 fired transitions, 3470 secs || 4764657 markings, 30381482 edges, 1392 markings/sec, 3470 secs
lola: STP completed || 6 tries, 5118768 fired transitions, 3475 secs || 4771632 markings, 30438189 edges, 1395 markings/sec, 3475 secs
lola: STP completed || 6 tries, 5126208 fired transitions, 3480 secs || 4778567 markings, 30495038 edges, 1387 markings/sec, 3480 secs
lola: STP completed || 6 tries, 5133651 fired transitions, 3485 secs || 4785491 markings, 30555866 edges, 1385 markings/sec, 3485 secs
lola: STP completed || 6 tries, 5141098 fired transitions, 3490 secs || 4792411 markings, 30613240 edges, 1384 markings/sec, 3490 secs
lola: STP completed || 6 tries, 5148549 fired transitions, 3495 secs || 4799402 markings, 30664325 edges, 1398 markings/sec, 3495 secs
lola: STP completed || 6 tries, 5156009 fired transitions, 3500 secs || 4806342 markings, 30719689 edges, 1388 markings/sec, 3500 secs
lola: STP completed || 6 tries, 5163455 fired transitions, 3505 secs || 4813257 markings, 30778252 edges, 1383 markings/sec, 3505 secs
lola: STP completed || 6 tries, 5170913 fired transitions, 3510 secs || 4820191 markings, 30832787 edges, 1387 markings/sec, 3510 secs
lola: STP completed || 6 tries, 5178370 fired transitions, 3515 secs || 4827122 markings, 30889167 edges, 1386 markings/sec, 3515 secs
lola: STP completed || 6 tries, 5185819 fired transitions, 3520 secs || 4834062 markings, 30947740 edges, 1388 markings/sec, 3520 secs
lola: STP completed || 6 tries, 5193270 fired transitions, 3525 secs || 4840953 markings, 31008699 edges, 1378 markings/sec, 3525 secs
lola: STP completed || 6 tries, 5200732 fired transitions, 3530 secs || 4847858 markings, 31067656 edges, 1381 markings/sec, 3530 secs
lola: STP completed || 6 tries, 5208188 fired transitions, 3535 secs || 4854751 markings, 31130280 edges, 1379 markings/sec, 3535 secs
lola: STP completed || 6 tries, 5215652 fired transitions, 3540 secs || 4861642 markings, 31194855 edges, 1378 markings/sec, 3540 secs
lola: STP completed || 6 tries, 5223093 fired transitions, 3545 secs || 4868616 markings, 31251528 edges, 1395 markings/sec, 3545 secs
lola: STP completed || 6 tries, 5230518 fired transitions, 3550 secs || 4875783 markings, 31286392 edges, 1433 markings/sec, 3550 secs
lola: STP completed || 6 tries, 5237951 fired transitions, 3555 secs || 4882880 markings, 31326551 edges, 1419 markings/sec, 3555 secs
lola: STP completed || 6 tries, 5245387 fired transitions, 3560 secs || 4890036 markings, 31364522 edges, 1431 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 237132 KB
lola: time consumption: 3570 seconds
BK_STOP 1527283423771
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-COL-015"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-015.tgz
mv TokenRing-COL-015 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is TokenRing-COL-015, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-152708743100258"
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 ;