About the Execution of LoLA for DLCflexbar-PT-4a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3110.670 | 3570658.00 | 7247717.00 | 7358.00 | [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 1.9M
-rw-r--r-- 1 mcc users 3.1K May 29 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 29 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 28 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 28 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 28 09:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 28 07:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.3K May 27 06:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K May 27 06:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 07:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 26 07:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 1.7M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCflexbar-PT-4a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145700404
=====================================================================
--------------------
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 DLCflexbar-PT-4a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1528100437272
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-4a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCflexbar-PT-4a formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ DLCflexbar-PT-4a @ 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: 7542/65536 symbol table entries, 1989 collisions
lola: preprocessing...
lola: Size of bit vector: 927
lola: finding significant places
lola: 927 places, 6615 transitions, 319 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5746 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-4a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 96194 variables and 413755 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 2370 fired transitions, 0 secs
lola: 1443 generators; 301559 candidates remain ( 0%), 0 secs
lola: computed 1798 generators (102 in search tree, 1696 by composition)
lola: representing 3.36707E+70 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 4836 fired transitions, 5 secs || 1418 markings, 100182 edges, 284 markings/sec, 5 secs
lola: STP completed || 1 tries, 7371 fired transitions, 10 secs || 5438 markings, 375673 edges, 804 markings/sec, 10 secs
lola: STP completed || 1 tries, 9940 fired transitions, 15 secs || 11596 markings, 673276 edges, 1232 markings/sec, 15 secs
lola: STP completed || 1 tries, 12455 fired transitions, 20 secs || 17463 markings, 966739 edges, 1173 markings/sec, 20 secs
lola: STP completed || 1 tries, 14995 fired transitions, 25 secs || 25148 markings, 1261250 edges, 1537 markings/sec, 25 secs
lola: STP completed || 1 tries, 17472 fired transitions, 30 secs || 29218 markings, 1541630 edges, 814 markings/sec, 30 secs
lola: STP completed || 1 tries, 20027 fired transitions, 35 secs || 34542 markings, 1831029 edges, 1065 markings/sec, 35 secs
lola: STP completed || 1 tries, 22600 fired transitions, 40 secs || 38644 markings, 2106803 edges, 820 markings/sec, 40 secs
lola: STP completed || 1 tries, 25155 fired transitions, 45 secs || 45026 markings, 2406856 edges, 1276 markings/sec, 45 secs
lola: STP completed || 1 tries, 27665 fired transitions, 50 secs || 52259 markings, 2709930 edges, 1447 markings/sec, 50 secs
lola: STP completed || 1 tries, 30206 fired transitions, 55 secs || 58456 markings, 2994239 edges, 1239 markings/sec, 55 secs
lola: STP completed || 1 tries, 32583 fired transitions, 60 secs || 64266 markings, 3286207 edges, 1162 markings/sec, 60 secs
lola: STP completed || 1 tries, 35164 fired transitions, 65 secs || 68805 markings, 3575384 edges, 908 markings/sec, 65 secs
lola: STP completed || 1 tries, 37732 fired transitions, 70 secs || 73653 markings, 3849923 edges, 970 markings/sec, 70 secs
lola: STP completed || 1 tries, 40273 fired transitions, 75 secs || 78862 markings, 4143621 edges, 1042 markings/sec, 75 secs
lola: STP completed || 1 tries, 42835 fired transitions, 80 secs || 84969 markings, 4443161 edges, 1221 markings/sec, 80 secs
lola: STP completed || 1 tries, 45369 fired transitions, 85 secs || 92070 markings, 4750655 edges, 1420 markings/sec, 85 secs
lola: STP completed || 1 tries, 47949 fired transitions, 90 secs || 99643 markings, 5057232 edges, 1515 markings/sec, 90 secs
lola: STP completed || 1 tries, 50547 fired transitions, 95 secs || 103928 markings, 5334037 edges, 857 markings/sec, 95 secs
lola: STP completed || 1 tries, 53129 fired transitions, 100 secs || 109952 markings, 5634922 edges, 1205 markings/sec, 100 secs
lola: STP completed || 1 tries, 55701 fired transitions, 105 secs || 117341 markings, 5942697 edges, 1478 markings/sec, 105 secs
lola: STP completed || 1 tries, 58243 fired transitions, 110 secs || 122885 markings, 6236743 edges, 1109 markings/sec, 110 secs
lola: STP completed || 1 tries, 60801 fired transitions, 115 secs || 128741 markings, 6522239 edges, 1171 markings/sec, 115 secs
lola: STP completed || 1 tries, 63383 fired transitions, 120 secs || 134059 markings, 6814076 edges, 1064 markings/sec, 120 secs
lola: STP completed || 1 tries, 65951 fired transitions, 125 secs || 140629 markings, 7118781 edges, 1314 markings/sec, 125 secs
lola: STP completed || 1 tries, 68542 fired transitions, 130 secs || 146517 markings, 7418647 edges, 1178 markings/sec, 130 secs
lola: STP completed || 1 tries, 71162 fired transitions, 135 secs || 153631 markings, 7707455 edges, 1423 markings/sec, 135 secs
lola: STP completed || 1 tries, 73715 fired transitions, 140 secs || 157683 markings, 7992109 edges, 810 markings/sec, 140 secs
lola: STP completed || 1 tries, 76294 fired transitions, 145 secs || 162614 markings, 8281261 edges, 986 markings/sec, 145 secs
lola: STP completed || 1 tries, 78858 fired transitions, 150 secs || 167742 markings, 8571285 edges, 1026 markings/sec, 150 secs
lola: STP completed || 1 tries, 81423 fired transitions, 155 secs || 173756 markings, 8868581 edges, 1203 markings/sec, 155 secs
lola: STP completed || 1 tries, 83960 fired transitions, 160 secs || 180944 markings, 9176233 edges, 1438 markings/sec, 160 secs
lola: STP completed || 1 tries, 86499 fired transitions, 165 secs || 187518 markings, 9467703 edges, 1315 markings/sec, 165 secs
lola: STP completed || 1 tries, 89042 fired transitions, 170 secs || 192102 markings, 9753598 edges, 917 markings/sec, 170 secs
lola: STP completed || 1 tries, 91594 fired transitions, 175 secs || 198426 markings, 10051249 edges, 1265 markings/sec, 175 secs
lola: STP completed || 1 tries, 94144 fired transitions, 180 secs || 203201 markings, 10335928 edges, 955 markings/sec, 180 secs
lola: STP completed || 1 tries, 96698 fired transitions, 185 secs || 209255 markings, 10620189 edges, 1211 markings/sec, 185 secs
lola: STP completed || 1 tries, 99232 fired transitions, 190 secs || 213854 markings, 10897542 edges, 920 markings/sec, 190 secs
lola: STP completed || 1 tries, 101808 fired transitions, 195 secs || 218797 markings, 11181671 edges, 989 markings/sec, 195 secs
lola: STP completed || 1 tries, 104378 fired transitions, 200 secs || 224871 markings, 11479203 edges, 1215 markings/sec, 200 secs
lola: STP completed || 1 tries, 106934 fired transitions, 205 secs || 229587 markings, 11766067 edges, 943 markings/sec, 205 secs
lola: STP completed || 1 tries, 109478 fired transitions, 210 secs || 236514 markings, 12064328 edges, 1385 markings/sec, 210 secs
lola: STP completed || 1 tries, 112086 fired transitions, 215 secs || 240914 markings, 12344092 edges, 880 markings/sec, 215 secs
lola: STP completed || 1 tries, 114644 fired transitions, 220 secs || 246506 markings, 12635457 edges, 1118 markings/sec, 220 secs
lola: STP completed || 1 tries, 117243 fired transitions, 225 secs || 253624 markings, 12938035 edges, 1424 markings/sec, 225 secs
lola: STP completed || 1 tries, 119820 fired transitions, 230 secs || 259204 markings, 13225372 edges, 1116 markings/sec, 230 secs
lola: STP completed || 1 tries, 122382 fired transitions, 235 secs || 263563 markings, 13496014 edges, 872 markings/sec, 235 secs
lola: STP completed || 1 tries, 124947 fired transitions, 240 secs || 268197 markings, 13782735 edges, 927 markings/sec, 240 secs
lola: STP completed || 1 tries, 127559 fired transitions, 245 secs || 274166 markings, 14083005 edges, 1194 markings/sec, 245 secs
lola: STP completed || 1 tries, 130045 fired transitions, 250 secs || 281494 markings, 14385710 edges, 1466 markings/sec, 250 secs
lola: STP completed || 1 tries, 132671 fired transitions, 255 secs || 286195 markings, 14676105 edges, 940 markings/sec, 255 secs
lola: STP completed || 1 tries, 135285 fired transitions, 260 secs || 293122 markings, 14985276 edges, 1385 markings/sec, 260 secs
lola: STP completed || 1 tries, 137831 fired transitions, 265 secs || 298030 markings, 15274689 edges, 982 markings/sec, 265 secs
lola: STP completed || 1 tries, 140389 fired transitions, 270 secs || 305268 markings, 15580488 edges, 1448 markings/sec, 270 secs
lola: STP completed || 1 tries, 142984 fired transitions, 275 secs || 312673 markings, 15882942 edges, 1481 markings/sec, 275 secs
lola: STP completed || 1 tries, 145585 fired transitions, 280 secs || 320503 markings, 16180112 edges, 1566 markings/sec, 280 secs
lola: STP completed || 1 tries, 148188 fired transitions, 285 secs || 327290 markings, 16477343 edges, 1357 markings/sec, 285 secs
lola: STP completed || 1 tries, 150719 fired transitions, 290 secs || 333183 markings, 16767548 edges, 1179 markings/sec, 290 secs
lola: STP completed || 1 tries, 153106 fired transitions, 295 secs || 338558 markings, 17056725 edges, 1075 markings/sec, 295 secs
lola: STP completed || 1 tries, 155577 fired transitions, 300 secs || 343726 markings, 17349286 edges, 1034 markings/sec, 300 secs
lola: STP completed || 1 tries, 158023 fired transitions, 305 secs || 350758 markings, 17637581 edges, 1406 markings/sec, 305 secs
lola: STP completed || 1 tries, 160585 fired transitions, 310 secs || 358166 markings, 17941072 edges, 1482 markings/sec, 310 secs
lola: STP completed || 1 tries, 163153 fired transitions, 315 secs || 365089 markings, 18246585 edges, 1385 markings/sec, 315 secs
lola: STP completed || 1 tries, 165730 fired transitions, 320 secs || 373457 markings, 18541441 edges, 1674 markings/sec, 320 secs
lola: STP completed || 1 tries, 168312 fired transitions, 325 secs || 379468 markings, 18836119 edges, 1202 markings/sec, 325 secs
lola: STP completed || 1 tries, 170885 fired transitions, 330 secs || 387308 markings, 19134502 edges, 1568 markings/sec, 330 secs
lola: STP completed || 1 tries, 173499 fired transitions, 335 secs || 393988 markings, 19437673 edges, 1336 markings/sec, 335 secs
lola: STP completed || 1 tries, 176097 fired transitions, 340 secs || 401582 markings, 19734438 edges, 1519 markings/sec, 340 secs
lola: STP completed || 1 tries, 178674 fired transitions, 345 secs || 406885 markings, 20025866 edges, 1061 markings/sec, 345 secs
lola: STP completed || 1 tries, 181233 fired transitions, 350 secs || 413694 markings, 20316382 edges, 1362 markings/sec, 350 secs
lola: STP completed || 1 tries, 183767 fired transitions, 355 secs || 418678 markings, 20606727 edges, 997 markings/sec, 355 secs
lola: STP completed || 1 tries, 186321 fired transitions, 360 secs || 424213 markings, 20896365 edges, 1107 markings/sec, 360 secs
lola: STP completed || 1 tries, 188859 fired transitions, 365 secs || 430962 markings, 21206849 edges, 1350 markings/sec, 365 secs
lola: STP completed || 1 tries, 191492 fired transitions, 370 secs || 436145 markings, 21496769 edges, 1037 markings/sec, 370 secs
lola: STP completed || 1 tries, 194104 fired transitions, 375 secs || 441447 markings, 21791325 edges, 1060 markings/sec, 375 secs
lola: STP completed || 1 tries, 196625 fired transitions, 380 secs || 446476 markings, 22074486 edges, 1006 markings/sec, 380 secs
lola: STP completed || 1 tries, 199223 fired transitions, 385 secs || 452184 markings, 22368663 edges, 1142 markings/sec, 385 secs
lola: STP completed || 1 tries, 201807 fired transitions, 390 secs || 457650 markings, 22667490 edges, 1093 markings/sec, 390 secs
lola: STP completed || 1 tries, 204369 fired transitions, 395 secs || 465479 markings, 22971788 edges, 1566 markings/sec, 395 secs
lola: STP completed || 1 tries, 206953 fired transitions, 400 secs || 470428 markings, 23255952 edges, 990 markings/sec, 400 secs
lola: STP completed || 1 tries, 209500 fired transitions, 405 secs || 475620 markings, 23548328 edges, 1038 markings/sec, 405 secs
lola: STP completed || 1 tries, 212081 fired transitions, 410 secs || 480292 markings, 23832094 edges, 934 markings/sec, 410 secs
lola: STP completed || 1 tries, 214592 fired transitions, 415 secs || 485508 markings, 24129224 edges, 1043 markings/sec, 415 secs
lola: STP completed || 1 tries, 217169 fired transitions, 420 secs || 491647 markings, 24425602 edges, 1228 markings/sec, 420 secs
lola: STP completed || 1 tries, 219760 fired transitions, 425 secs || 499085 markings, 24732948 edges, 1488 markings/sec, 425 secs
lola: STP completed || 1 tries, 222335 fired transitions, 430 secs || 504501 markings, 25024888 edges, 1083 markings/sec, 430 secs
lola: STP completed || 1 tries, 224919 fired transitions, 435 secs || 509995 markings, 25319710 edges, 1099 markings/sec, 435 secs
lola: STP completed || 1 tries, 227507 fired transitions, 440 secs || 515312 markings, 25614484 edges, 1063 markings/sec, 440 secs
lola: STP completed || 1 tries, 230048 fired transitions, 445 secs || 522510 markings, 25920583 edges, 1440 markings/sec, 445 secs
lola: STP completed || 1 tries, 232639 fired transitions, 450 secs || 528792 markings, 26211566 edges, 1256 markings/sec, 450 secs
lola: STP completed || 1 tries, 235211 fired transitions, 455 secs || 533605 markings, 26502676 edges, 963 markings/sec, 455 secs
lola: STP completed || 1 tries, 237786 fired transitions, 460 secs || 538029 markings, 26785774 edges, 885 markings/sec, 460 secs
lola: STP completed || 1 tries, 240358 fired transitions, 465 secs || 543385 markings, 27077620 edges, 1071 markings/sec, 465 secs
lola: STP completed || 1 tries, 242938 fired transitions, 470 secs || 548993 markings, 27376665 edges, 1122 markings/sec, 470 secs
lola: STP completed || 1 tries, 245490 fired transitions, 475 secs || 556504 markings, 27681101 edges, 1502 markings/sec, 475 secs
lola: STP completed || 1 tries, 248063 fired transitions, 480 secs || 562050 markings, 27966307 edges, 1109 markings/sec, 480 secs
lola: STP completed || 1 tries, 250653 fired transitions, 485 secs || 566910 markings, 28256664 edges, 972 markings/sec, 485 secs
lola: STP completed || 1 tries, 253201 fired transitions, 490 secs || 571754 markings, 28542621 edges, 969 markings/sec, 490 secs
lola: STP completed || 1 tries, 255765 fired transitions, 495 secs || 576913 markings, 28836859 edges, 1032 markings/sec, 495 secs
lola: STP completed || 1 tries, 258326 fired transitions, 500 secs || 582961 markings, 29134780 edges, 1210 markings/sec, 500 secs
lola: STP completed || 1 tries, 260847 fired transitions, 505 secs || 589903 markings, 29438775 edges, 1388 markings/sec, 505 secs
lola: STP completed || 1 tries, 263468 fired transitions, 510 secs || 597094 markings, 29744556 edges, 1438 markings/sec, 510 secs
lola: STP completed || 1 tries, 266039 fired transitions, 515 secs || 603404 markings, 30032572 edges, 1262 markings/sec, 515 secs
lola: STP completed || 1 tries, 268601 fired transitions, 520 secs || 608702 markings, 30324449 edges, 1060 markings/sec, 520 secs
lola: STP completed || 1 tries, 271137 fired transitions, 525 secs || 615057 markings, 30627128 edges, 1271 markings/sec, 525 secs
lola: STP completed || 1 tries, 273727 fired transitions, 530 secs || 621690 markings, 30925585 edges, 1327 markings/sec, 530 secs
lola: STP completed || 1 tries, 276309 fired transitions, 535 secs || 628484 markings, 31219689 edges, 1359 markings/sec, 535 secs
lola: STP completed || 1 tries, 278840 fired transitions, 540 secs || 633122 markings, 31506231 edges, 928 markings/sec, 540 secs
lola: STP completed || 1 tries, 281421 fired transitions, 545 secs || 638902 markings, 31806594 edges, 1156 markings/sec, 545 secs
lola: STP completed || 1 tries, 284003 fired transitions, 550 secs || 645018 markings, 32103882 edges, 1223 markings/sec, 550 secs
lola: STP completed || 1 tries, 286591 fired transitions, 555 secs || 651831 markings, 32407691 edges, 1363 markings/sec, 555 secs
lola: STP completed || 1 tries, 289172 fired transitions, 560 secs || 657469 markings, 32697998 edges, 1128 markings/sec, 560 secs
lola: STP completed || 1 tries, 291782 fired transitions, 565 secs || 662596 markings, 32990789 edges, 1025 markings/sec, 565 secs
lola: STP completed || 1 tries, 294383 fired transitions, 570 secs || 666681 markings, 33271295 edges, 817 markings/sec, 570 secs
lola: STP completed || 1 tries, 296952 fired transitions, 575 secs || 673148 markings, 33572527 edges, 1293 markings/sec, 575 secs
lola: STP completed || 1 tries, 299520 fired transitions, 580 secs || 679262 markings, 33871056 edges, 1223 markings/sec, 580 secs
lola: STP completed || 1 tries, 302104 fired transitions, 585 secs || 686151 markings, 34160155 edges, 1378 markings/sec, 585 secs
lola: STP completed || 1 tries, 304683 fired transitions, 590 secs || 691411 markings, 34448647 edges, 1052 markings/sec, 590 secs
lola: STP completed || 1 tries, 307250 fired transitions, 595 secs || 697142 markings, 34745623 edges, 1146 markings/sec, 595 secs
lola: STP completed || 1 tries, 309813 fired transitions, 600 secs || 703379 markings, 35045248 edges, 1247 markings/sec, 600 secs
lola: STP completed || 1 tries, 312411 fired transitions, 605 secs || 707794 markings, 35332574 edges, 883 markings/sec, 605 secs
lola: STP completed || 1 tries, 314972 fired transitions, 610 secs || 714869 markings, 35623043 edges, 1415 markings/sec, 610 secs
lola: STP completed || 1 tries, 317532 fired transitions, 615 secs || 722064 markings, 35921779 edges, 1439 markings/sec, 615 secs
lola: STP completed || 1 tries, 320139 fired transitions, 620 secs || 726277 markings, 36207705 edges, 843 markings/sec, 620 secs
lola: STP completed || 1 tries, 322702 fired transitions, 625 secs || 732412 markings, 36513105 edges, 1227 markings/sec, 625 secs
lola: STP completed || 1 tries, 325311 fired transitions, 630 secs || 739513 markings, 36822053 edges, 1420 markings/sec, 630 secs
lola: STP completed || 1 tries, 327922 fired transitions, 635 secs || 747078 markings, 37129686 edges, 1513 markings/sec, 635 secs
lola: STP completed || 1 tries, 330487 fired transitions, 640 secs || 754927 markings, 37419341 edges, 1570 markings/sec, 640 secs
lola: STP completed || 1 tries, 333067 fired transitions, 645 secs || 761045 markings, 37710899 edges, 1224 markings/sec, 645 secs
lola: STP completed || 1 tries, 335629 fired transitions, 650 secs || 767588 markings, 38009871 edges, 1309 markings/sec, 650 secs
lola: STP completed || 1 tries, 338152 fired transitions, 655 secs || 775515 markings, 38316214 edges, 1585 markings/sec, 655 secs
lola: STP completed || 1 tries, 340735 fired transitions, 660 secs || 779920 markings, 38603054 edges, 881 markings/sec, 660 secs
lola: STP completed || 1 tries, 343312 fired transitions, 665 secs || 787440 markings, 38896193 edges, 1504 markings/sec, 665 secs
lola: STP completed || 1 tries, 345898 fired transitions, 670 secs || 794082 markings, 39198225 edges, 1328 markings/sec, 670 secs
lola: STP completed || 1 tries, 348468 fired transitions, 675 secs || 802033 markings, 39495437 edges, 1590 markings/sec, 675 secs
lola: STP completed || 1 tries, 351052 fired transitions, 680 secs || 809000 markings, 39792380 edges, 1393 markings/sec, 680 secs
lola: STP completed || 1 tries, 353619 fired transitions, 685 secs || 817182 markings, 40092150 edges, 1636 markings/sec, 685 secs
lola: STP completed || 1 tries, 356153 fired transitions, 690 secs || 824110 markings, 40383174 edges, 1386 markings/sec, 690 secs
lola: STP completed || 1 tries, 358781 fired transitions, 695 secs || 832175 markings, 40675764 edges, 1613 markings/sec, 695 secs
lola: STP completed || 1 tries, 361359 fired transitions, 700 secs || 838824 markings, 40967042 edges, 1330 markings/sec, 700 secs
lola: STP completed || 1 tries, 363932 fired transitions, 705 secs || 846366 markings, 41265347 edges, 1508 markings/sec, 705 secs
lola: STP completed || 1 tries, 366540 fired transitions, 710 secs || 853291 markings, 41568822 edges, 1385 markings/sec, 710 secs
lola: STP completed || 1 tries, 369108 fired transitions, 715 secs || 861169 markings, 41871893 edges, 1576 markings/sec, 715 secs
lola: STP completed || 1 tries, 371657 fired transitions, 720 secs || 866162 markings, 42152491 edges, 999 markings/sec, 720 secs
lola: STP completed || 1 tries, 374261 fired transitions, 725 secs || 872540 markings, 42458652 edges, 1276 markings/sec, 725 secs
lola: STP completed || 1 tries, 376811 fired transitions, 730 secs || 879119 markings, 42751975 edges, 1316 markings/sec, 730 secs
lola: STP completed || 1 tries, 379365 fired transitions, 735 secs || 884836 markings, 43047843 edges, 1143 markings/sec, 735 secs
lola: STP completed || 1 tries, 381950 fired transitions, 740 secs || 889326 markings, 43333822 edges, 898 markings/sec, 740 secs
lola: STP completed || 1 tries, 384517 fired transitions, 745 secs || 894096 markings, 43622096 edges, 954 markings/sec, 745 secs
lola: STP completed || 1 tries, 387091 fired transitions, 750 secs || 898256 markings, 43905142 edges, 832 markings/sec, 750 secs
lola: STP completed || 1 tries, 389684 fired transitions, 755 secs || 902926 markings, 44189808 edges, 934 markings/sec, 755 secs
lola: STP completed || 1 tries, 392235 fired transitions, 760 secs || 909362 markings, 44489422 edges, 1287 markings/sec, 760 secs
lola: STP completed || 1 tries, 394754 fired transitions, 765 secs || 916672 markings, 44795435 edges, 1462 markings/sec, 765 secs
lola: STP completed || 1 tries, 397358 fired transitions, 770 secs || 921597 markings, 45080521 edges, 985 markings/sec, 770 secs
lola: STP completed || 1 tries, 399937 fired transitions, 775 secs || 927375 markings, 45374641 edges, 1156 markings/sec, 775 secs
lola: STP completed || 1 tries, 402485 fired transitions, 780 secs || 933911 markings, 45683472 edges, 1307 markings/sec, 780 secs
lola: STP completed || 1 tries, 405042 fired transitions, 785 secs || 940197 markings, 45976066 edges, 1257 markings/sec, 785 secs
lola: STP completed || 1 tries, 407631 fired transitions, 790 secs || 944923 markings, 46261289 edges, 945 markings/sec, 790 secs
lola: STP completed || 1 tries, 410181 fired transitions, 795 secs || 951145 markings, 46563375 edges, 1244 markings/sec, 795 secs
lola: STP completed || 1 tries, 412779 fired transitions, 800 secs || 958312 markings, 46867434 edges, 1433 markings/sec, 800 secs
lola: STP completed || 1 tries, 415372 fired transitions, 805 secs || 966287 markings, 47165891 edges, 1595 markings/sec, 805 secs
lola: STP completed || 1 tries, 417895 fired transitions, 810 secs || 972421 markings, 47454136 edges, 1227 markings/sec, 810 secs
lola: STP completed || 1 tries, 420473 fired transitions, 815 secs || 979765 markings, 47752132 edges, 1469 markings/sec, 815 secs
lola: STP completed || 1 tries, 423046 fired transitions, 820 secs || 985432 markings, 48042336 edges, 1133 markings/sec, 820 secs
lola: STP completed || 1 tries, 425581 fired transitions, 825 secs || 990672 markings, 48332323 edges, 1048 markings/sec, 825 secs
lola: STP completed || 1 tries, 428090 fired transitions, 830 secs || 996326 markings, 48629426 edges, 1131 markings/sec, 830 secs
lola: STP completed || 1 tries, 430654 fired transitions, 835 secs || 1003483 markings, 48937309 edges, 1431 markings/sec, 835 secs
lola: STP completed || 1 tries, 433167 fired transitions, 840 secs || 1009112 markings, 49222838 edges, 1126 markings/sec, 840 secs
lola: STP completed || 1 tries, 435513 fired transitions, 845 secs || 1013968 markings, 49508011 edges, 971 markings/sec, 845 secs
lola: STP completed || 1 tries, 438038 fired transitions, 850 secs || 1020387 markings, 49814446 edges, 1284 markings/sec, 850 secs
lola: STP completed || 1 tries, 440505 fired transitions, 855 secs || 1026789 markings, 50107946 edges, 1280 markings/sec, 855 secs
lola: STP completed || 1 tries, 443029 fired transitions, 860 secs || 1031900 markings, 50390705 edges, 1022 markings/sec, 860 secs
lola: STP completed || 1 tries, 445302 fired transitions, 865 secs || 1037009 markings, 50682837 edges, 1022 markings/sec, 865 secs
lola: STP completed || 1 tries, 447808 fired transitions, 870 secs || 1042021 markings, 50973089 edges, 1002 markings/sec, 870 secs
lola: STP completed || 1 tries, 450304 fired transitions, 875 secs || 1046792 markings, 51258617 edges, 954 markings/sec, 875 secs
lola: STP completed || 1 tries, 452642 fired transitions, 880 secs || 1052245 markings, 51551759 edges, 1091 markings/sec, 880 secs
lola: STP completed || 1 tries, 455157 fired transitions, 885 secs || 1057822 markings, 51849690 edges, 1115 markings/sec, 885 secs
lola: STP completed || 1 tries, 457476 fired transitions, 890 secs || 1065317 markings, 52153313 edges, 1499 markings/sec, 890 secs
lola: STP completed || 1 tries, 459817 fired transitions, 895 secs || 1070316 markings, 52437888 edges, 1000 markings/sec, 895 secs
lola: STP completed || 1 tries, 462436 fired transitions, 900 secs || 1075415 markings, 52727518 edges, 1020 markings/sec, 900 secs
lola: STP completed || 1 tries, 465038 fired transitions, 905 secs || 1082326 markings, 53035315 edges, 1382 markings/sec, 905 secs
lola: STP completed || 1 tries, 467568 fired transitions, 910 secs || 1088755 markings, 53326140 edges, 1286 markings/sec, 910 secs
lola: STP completed || 1 tries, 470179 fired transitions, 915 secs || 1093254 markings, 53610367 edges, 900 markings/sec, 915 secs
lola: STP completed || 1 tries, 472744 fired transitions, 920 secs || 1098161 markings, 53901682 edges, 981 markings/sec, 920 secs
lola: STP completed || 1 tries, 475279 fired transitions, 925 secs || 1103689 markings, 54198463 edges, 1106 markings/sec, 925 secs
lola: STP completed || 1 tries, 477849 fired transitions, 930 secs || 1108348 markings, 54482677 edges, 932 markings/sec, 930 secs
lola: STP completed || 1 tries, 480417 fired transitions, 935 secs || 1113873 markings, 54778066 edges, 1105 markings/sec, 935 secs
lola: STP completed || 1 tries, 482969 fired transitions, 940 secs || 1119947 markings, 55075132 edges, 1215 markings/sec, 940 secs
lola: STP completed || 1 tries, 485550 fired transitions, 945 secs || 1124633 markings, 55359358 edges, 937 markings/sec, 945 secs
lola: STP completed || 1 tries, 488098 fired transitions, 950 secs || 1130180 markings, 55655545 edges, 1109 markings/sec, 950 secs
lola: STP completed || 1 tries, 490624 fired transitions, 955 secs || 1135533 markings, 55949285 edges, 1071 markings/sec, 955 secs
lola: STP completed || 1 tries, 493141 fired transitions, 960 secs || 1142587 markings, 56249247 edges, 1411 markings/sec, 960 secs
lola: STP completed || 1 tries, 495700 fired transitions, 965 secs || 1146647 markings, 56532642 edges, 812 markings/sec, 965 secs
lola: STP completed || 1 tries, 498216 fired transitions, 970 secs || 1152458 markings, 56833073 edges, 1162 markings/sec, 970 secs
lola: STP completed || 1 tries, 500708 fired transitions, 975 secs || 1160457 markings, 57135608 edges, 1600 markings/sec, 975 secs
lola: STP completed || 1 tries, 503241 fired transitions, 980 secs || 1167246 markings, 57439046 edges, 1358 markings/sec, 980 secs
lola: STP completed || 1 tries, 505753 fired transitions, 985 secs || 1175064 markings, 57732820 edges, 1564 markings/sec, 985 secs
lola: STP completed || 1 tries, 508291 fired transitions, 990 secs || 1181716 markings, 58029820 edges, 1330 markings/sec, 990 secs
lola: STP completed || 1 tries, 510650 fired transitions, 995 secs || 1189032 markings, 58332068 edges, 1463 markings/sec, 995 secs
lola: STP completed || 1 tries, 513230 fired transitions, 1000 secs || 1196535 markings, 58639062 edges, 1501 markings/sec, 1000 secs
lola: STP completed || 1 tries, 515813 fired transitions, 1005 secs || 1203232 markings, 58939197 edges, 1339 markings/sec, 1005 secs
lola: STP completed || 1 tries, 518398 fired transitions, 1010 secs || 1207709 markings, 59226890 edges, 895 markings/sec, 1010 secs
lola: STP completed || 1 tries, 521013 fired transitions, 1015 secs || 1213125 markings, 59526636 edges, 1083 markings/sec, 1015 secs
lola: STP completed || 1 tries, 523627 fired transitions, 1020 secs || 1219622 markings, 59824434 edges, 1299 markings/sec, 1020 secs
lola: STP completed || 1 tries, 526220 fired transitions, 1025 secs || 1228245 markings, 60126832 edges, 1725 markings/sec, 1025 secs
lola: STP completed || 1 tries, 528820 fired transitions, 1030 secs || 1236202 markings, 60422122 edges, 1591 markings/sec, 1030 secs
lola: STP completed || 1 tries, 531391 fired transitions, 1035 secs || 1243832 markings, 60730515 edges, 1526 markings/sec, 1035 secs
lola: STP completed || 1 tries, 534004 fired transitions, 1040 secs || 1251121 markings, 61024596 edges, 1458 markings/sec, 1040 secs
lola: STP completed || 1 tries, 536557 fired transitions, 1045 secs || 1257811 markings, 61330611 edges, 1338 markings/sec, 1045 secs
lola: STP completed || 1 tries, 539184 fired transitions, 1050 secs || 1265416 markings, 61631922 edges, 1521 markings/sec, 1050 secs
lola: STP completed || 1 tries, 541765 fired transitions, 1055 secs || 1272745 markings, 61930300 edges, 1466 markings/sec, 1055 secs
lola: STP completed || 1 tries, 544349 fired transitions, 1060 secs || 1277393 markings, 62217455 edges, 930 markings/sec, 1060 secs
lola: STP completed || 1 tries, 546902 fired transitions, 1065 secs || 1284507 markings, 62508020 edges, 1423 markings/sec, 1065 secs
lola: STP completed || 1 tries, 549424 fired transitions, 1070 secs || 1292504 markings, 62799909 edges, 1599 markings/sec, 1070 secs
lola: STP completed || 1 tries, 551994 fired transitions, 1075 secs || 1300266 markings, 63095431 edges, 1552 markings/sec, 1075 secs
lola: STP completed || 1 tries, 554534 fired transitions, 1080 secs || 1307242 markings, 63389084 edges, 1395 markings/sec, 1080 secs
lola: STP completed || 1 tries, 557064 fired transitions, 1085 secs || 1315207 markings, 63678225 edges, 1593 markings/sec, 1085 secs
lola: STP completed || 1 tries, 559584 fired transitions, 1090 secs || 1322697 markings, 63973293 edges, 1498 markings/sec, 1090 secs
lola: STP completed || 1 tries, 562166 fired transitions, 1095 secs || 1329276 markings, 64280980 edges, 1316 markings/sec, 1095 secs
lola: STP completed || 1 tries, 564558 fired transitions, 1100 secs || 1336569 markings, 64587571 edges, 1459 markings/sec, 1100 secs
lola: STP completed || 1 tries, 567159 fired transitions, 1105 secs || 1343010 markings, 64890730 edges, 1288 markings/sec, 1105 secs
lola: STP completed || 1 tries, 569689 fired transitions, 1110 secs || 1350595 markings, 65184173 edges, 1517 markings/sec, 1110 secs
lola: STP completed || 1 tries, 572211 fired transitions, 1115 secs || 1357591 markings, 65482896 edges, 1399 markings/sec, 1115 secs
lola: STP completed || 1 tries, 574735 fired transitions, 1120 secs || 1365493 markings, 65775888 edges, 1580 markings/sec, 1120 secs
lola: STP completed || 1 tries, 577322 fired transitions, 1125 secs || 1372895 markings, 66075968 edges, 1480 markings/sec, 1125 secs
lola: STP completed || 1 tries, 579728 fired transitions, 1130 secs || 1379341 markings, 66382180 edges, 1289 markings/sec, 1130 secs
lola: STP completed || 1 tries, 582295 fired transitions, 1135 secs || 1387700 markings, 66679338 edges, 1672 markings/sec, 1135 secs
lola: STP completed || 1 tries, 584902 fired transitions, 1140 secs || 1395847 markings, 66979025 edges, 1629 markings/sec, 1140 secs
lola: STP completed || 1 tries, 587375 fired transitions, 1145 secs || 1403810 markings, 67276702 edges, 1593 markings/sec, 1145 secs
lola: STP completed || 1 tries, 589899 fired transitions, 1150 secs || 1411101 markings, 67564587 edges, 1458 markings/sec, 1150 secs
lola: STP completed || 1 tries, 592224 fired transitions, 1155 secs || 1418598 markings, 67856666 edges, 1499 markings/sec, 1155 secs
lola: STP completed || 1 tries, 594735 fired transitions, 1160 secs || 1426297 markings, 68155584 edges, 1540 markings/sec, 1160 secs
lola: STP completed || 1 tries, 597292 fired transitions, 1165 secs || 1433123 markings, 68440063 edges, 1365 markings/sec, 1165 secs
lola: STP completed || 1 tries, 599860 fired transitions, 1170 secs || 1440239 markings, 68743173 edges, 1423 markings/sec, 1170 secs
lola: STP completed || 1 tries, 602369 fired transitions, 1175 secs || 1447930 markings, 69046962 edges, 1538 markings/sec, 1175 secs
lola: STP completed || 1 tries, 604882 fired transitions, 1180 secs || 1455612 markings, 69356747 edges, 1536 markings/sec, 1180 secs
lola: STP completed || 1 tries, 607230 fired transitions, 1185 secs || 1462628 markings, 69660071 edges, 1403 markings/sec, 1185 secs
lola: STP completed || 1 tries, 609691 fired transitions, 1190 secs || 1467651 markings, 69946947 edges, 1005 markings/sec, 1190 secs
lola: STP completed || 1 tries, 612038 fired transitions, 1195 secs || 1472456 markings, 70233486 edges, 961 markings/sec, 1195 secs
lola: STP completed || 1 tries, 614573 fired transitions, 1200 secs || 1479034 markings, 70538698 edges, 1316 markings/sec, 1200 secs
lola: STP completed || 1 tries, 617059 fired transitions, 1205 secs || 1483773 markings, 70823812 edges, 948 markings/sec, 1205 secs
lola: STP completed || 1 tries, 619579 fired transitions, 1210 secs || 1488753 markings, 71110706 edges, 996 markings/sec, 1210 secs
lola: STP completed || 1 tries, 622100 fired transitions, 1215 secs || 1495327 markings, 71416256 edges, 1315 markings/sec, 1215 secs
lola: STP completed || 1 tries, 624600 fired transitions, 1220 secs || 1500622 markings, 71705937 edges, 1059 markings/sec, 1220 secs
lola: STP completed || 1 tries, 626974 fired transitions, 1225 secs || 1505988 markings, 71998529 edges, 1073 markings/sec, 1225 secs
lola: STP completed || 1 tries, 629525 fired transitions, 1230 secs || 1511585 markings, 72296912 edges, 1119 markings/sec, 1230 secs
lola: STP completed || 1 tries, 632096 fired transitions, 1235 secs || 1519050 markings, 72601217 edges, 1493 markings/sec, 1235 secs
lola: STP completed || 1 tries, 634370 fired transitions, 1240 secs || 1524644 markings, 72886665 edges, 1119 markings/sec, 1240 secs
lola: STP completed || 1 tries, 636840 fired transitions, 1245 secs || 1529478 markings, 73176371 edges, 967 markings/sec, 1245 secs
lola: STP completed || 1 tries, 639342 fired transitions, 1250 secs || 1536685 markings, 73477720 edges, 1441 markings/sec, 1250 secs
lola: STP completed || 1 tries, 641914 fired transitions, 1255 secs || 1541251 markings, 73765234 edges, 913 markings/sec, 1255 secs
lola: STP completed || 1 tries, 644357 fired transitions, 1260 secs || 1545661 markings, 74052121 edges, 882 markings/sec, 1260 secs
lola: STP completed || 1 tries, 646954 fired transitions, 1265 secs || 1552257 markings, 74353147 edges, 1319 markings/sec, 1265 secs
lola: STP completed || 1 tries, 649496 fired transitions, 1270 secs || 1560189 markings, 74657631 edges, 1586 markings/sec, 1270 secs
lola: STP completed || 1 tries, 652052 fired transitions, 1275 secs || 1566147 markings, 74944954 edges, 1192 markings/sec, 1275 secs
lola: STP completed || 1 tries, 654574 fired transitions, 1280 secs || 1570856 markings, 75234028 edges, 942 markings/sec, 1280 secs
lola: STP completed || 1 tries, 657121 fired transitions, 1285 secs || 1578158 markings, 75528708 edges, 1460 markings/sec, 1285 secs
lola: STP completed || 1 tries, 659670 fired transitions, 1290 secs || 1583181 markings, 75812103 edges, 1005 markings/sec, 1290 secs
lola: STP completed || 1 tries, 662196 fired transitions, 1295 secs || 1588409 markings, 76103865 edges, 1046 markings/sec, 1295 secs
lola: STP completed || 1 tries, 664720 fired transitions, 1300 secs || 1594495 markings, 76399666 edges, 1217 markings/sec, 1300 secs
lola: STP completed || 1 tries, 667253 fired transitions, 1305 secs || 1601103 markings, 76704714 edges, 1322 markings/sec, 1305 secs
lola: STP completed || 1 tries, 669784 fired transitions, 1310 secs || 1606672 markings, 76993953 edges, 1114 markings/sec, 1310 secs
lola: STP completed || 1 tries, 672365 fired transitions, 1315 secs || 1611469 markings, 77281168 edges, 959 markings/sec, 1315 secs
lola: STP completed || 1 tries, 674874 fired transitions, 1320 secs || 1616073 markings, 77566476 edges, 921 markings/sec, 1320 secs
lola: STP completed || 1 tries, 677431 fired transitions, 1325 secs || 1622280 markings, 77870391 edges, 1241 markings/sec, 1325 secs
lola: STP completed || 1 tries, 679981 fired transitions, 1330 secs || 1628365 markings, 78164139 edges, 1217 markings/sec, 1330 secs
lola: STP completed || 1 tries, 682549 fired transitions, 1335 secs || 1632479 markings, 78444319 edges, 823 markings/sec, 1335 secs
lola: STP completed || 1 tries, 685117 fired transitions, 1340 secs || 1638102 markings, 78740012 edges, 1125 markings/sec, 1340 secs
lola: STP completed || 1 tries, 687597 fired transitions, 1345 secs || 1643493 markings, 79033033 edges, 1078 markings/sec, 1345 secs
lola: STP completed || 1 tries, 690192 fired transitions, 1350 secs || 1649567 markings, 79332165 edges, 1215 markings/sec, 1350 secs
lola: STP completed || 1 tries, 692753 fired transitions, 1355 secs || 1656536 markings, 79633082 edges, 1394 markings/sec, 1355 secs
lola: STP completed || 1 tries, 695294 fired transitions, 1360 secs || 1661251 markings, 79923907 edges, 943 markings/sec, 1360 secs
lola: STP completed || 1 tries, 697857 fired transitions, 1365 secs || 1668039 markings, 80232795 edges, 1358 markings/sec, 1365 secs
lola: STP completed || 1 tries, 700438 fired transitions, 1370 secs || 1673115 markings, 80521793 edges, 1015 markings/sec, 1370 secs
lola: STP completed || 1 tries, 702982 fired transitions, 1375 secs || 1680211 markings, 80821801 edges, 1419 markings/sec, 1375 secs
lola: STP completed || 1 tries, 705585 fired transitions, 1380 secs || 1687480 markings, 81125056 edges, 1454 markings/sec, 1380 secs
lola: STP completed || 1 tries, 708159 fired transitions, 1385 secs || 1695371 markings, 81419415 edges, 1578 markings/sec, 1385 secs
lola: STP completed || 1 tries, 710714 fired transitions, 1390 secs || 1702125 markings, 81714083 edges, 1351 markings/sec, 1390 secs
lola: STP completed || 1 tries, 713258 fired transitions, 1395 secs || 1706867 markings, 81998168 edges, 948 markings/sec, 1395 secs
lola: STP completed || 1 tries, 715846 fired transitions, 1400 secs || 1712584 markings, 82293696 edges, 1143 markings/sec, 1400 secs
lola: STP completed || 1 tries, 718371 fired transitions, 1405 secs || 1718344 markings, 82592412 edges, 1152 markings/sec, 1405 secs
lola: STP completed || 1 tries, 720877 fired transitions, 1410 secs || 1725552 markings, 82893499 edges, 1442 markings/sec, 1410 secs
lola: STP completed || 1 tries, 723425 fired transitions, 1415 secs || 1730306 markings, 83176838 edges, 951 markings/sec, 1415 secs
lola: STP completed || 1 tries, 725914 fired transitions, 1420 secs || 1735696 markings, 83468293 edges, 1078 markings/sec, 1420 secs
lola: STP completed || 1 tries, 728438 fired transitions, 1425 secs || 1742314 markings, 83772709 edges, 1324 markings/sec, 1425 secs
lola: STP completed || 1 tries, 730991 fired transitions, 1430 secs || 1749164 markings, 84064866 edges, 1370 markings/sec, 1430 secs
lola: STP completed || 1 tries, 733515 fired transitions, 1435 secs || 1753468 markings, 84347973 edges, 861 markings/sec, 1435 secs
lola: STP completed || 1 tries, 736033 fired transitions, 1440 secs || 1758252 markings, 84637570 edges, 957 markings/sec, 1440 secs
lola: STP completed || 1 tries, 738562 fired transitions, 1445 secs || 1763892 markings, 84933720 edges, 1128 markings/sec, 1445 secs
lola: STP completed || 1 tries, 741091 fired transitions, 1450 secs || 1767963 markings, 85213423 edges, 814 markings/sec, 1450 secs
lola: STP completed || 1 tries, 743622 fired transitions, 1455 secs || 1774268 markings, 85513688 edges, 1261 markings/sec, 1455 secs
lola: STP completed || 1 tries, 746153 fired transitions, 1460 secs || 1780088 markings, 85811813 edges, 1164 markings/sec, 1460 secs
lola: STP completed || 1 tries, 748707 fired transitions, 1465 secs || 1786903 markings, 86110745 edges, 1363 markings/sec, 1465 secs
lola: STP completed || 1 tries, 751231 fired transitions, 1470 secs || 1792987 markings, 86407669 edges, 1217 markings/sec, 1470 secs
lola: STP completed || 1 tries, 753711 fired transitions, 1475 secs || 1797592 markings, 86695244 edges, 921 markings/sec, 1475 secs
lola: STP completed || 1 tries, 756208 fired transitions, 1480 secs || 1804620 markings, 86998600 edges, 1406 markings/sec, 1480 secs
lola: STP completed || 1 tries, 758700 fired transitions, 1485 secs || 1811326 markings, 87298271 edges, 1341 markings/sec, 1485 secs
lola: STP completed || 1 tries, 761230 fired transitions, 1490 secs || 1816832 markings, 87591500 edges, 1101 markings/sec, 1490 secs
lola: STP completed || 1 tries, 763746 fired transitions, 1495 secs || 1825131 markings, 87892628 edges, 1660 markings/sec, 1495 secs
lola: STP completed || 1 tries, 766316 fired transitions, 1500 secs || 1830132 markings, 88171362 edges, 1000 markings/sec, 1500 secs
lola: STP completed || 1 tries, 768861 fired transitions, 1505 secs || 1835676 markings, 88465308 edges, 1109 markings/sec, 1505 secs
lola: STP completed || 1 tries, 771429 fired transitions, 1510 secs || 1841331 markings, 88763908 edges, 1131 markings/sec, 1510 secs
lola: STP completed || 1 tries, 773890 fired transitions, 1515 secs || 1848812 markings, 89066318 edges, 1496 markings/sec, 1515 secs
lola: STP completed || 1 tries, 776425 fired transitions, 1520 secs || 1853565 markings, 89349148 edges, 951 markings/sec, 1520 secs
lola: STP completed || 1 tries, 778982 fired transitions, 1525 secs || 1858811 markings, 89639343 edges, 1049 markings/sec, 1525 secs
lola: STP completed || 1 tries, 781530 fired transitions, 1530 secs || 1865577 markings, 89945308 edges, 1353 markings/sec, 1530 secs
lola: STP completed || 1 tries, 784037 fired transitions, 1535 secs || 1872196 markings, 90236566 edges, 1324 markings/sec, 1535 secs
lola: STP completed || 1 tries, 786549 fired transitions, 1540 secs || 1876614 markings, 90519414 edges, 884 markings/sec, 1540 secs
lola: STP completed || 1 tries, 789121 fired transitions, 1545 secs || 1881427 markings, 90809380 edges, 963 markings/sec, 1545 secs
lola: STP completed || 1 tries, 791660 fired transitions, 1550 secs || 1886993 markings, 91105029 edges, 1113 markings/sec, 1550 secs
lola: STP completed || 1 tries, 794203 fired transitions, 1555 secs || 1891120 markings, 91383894 edges, 825 markings/sec, 1555 secs
lola: STP completed || 1 tries, 796771 fired transitions, 1560 secs || 1897270 markings, 91683046 edges, 1230 markings/sec, 1560 secs
lola: STP completed || 1 tries, 799283 fired transitions, 1565 secs || 1903058 markings, 91980982 edges, 1158 markings/sec, 1565 secs
lola: STP completed || 1 tries, 801825 fired transitions, 1570 secs || 1909946 markings, 92280351 edges, 1378 markings/sec, 1570 secs
lola: STP completed || 1 tries, 804347 fired transitions, 1575 secs || 1914685 markings, 92561231 edges, 948 markings/sec, 1575 secs
lola: STP completed || 1 tries, 806870 fired transitions, 1580 secs || 1920307 markings, 92857205 edges, 1124 markings/sec, 1580 secs
lola: STP completed || 1 tries, 809387 fired transitions, 1585 secs || 1926614 markings, 93157196 edges, 1261 markings/sec, 1585 secs
lola: STP completed || 1 tries, 811977 fired transitions, 1590 secs || 1933361 markings, 93449467 edges, 1349 markings/sec, 1590 secs
lola: STP completed || 1 tries, 814521 fired transitions, 1595 secs || 1938171 markings, 93737613 edges, 962 markings/sec, 1595 secs
lola: STP completed || 1 tries, 817074 fired transitions, 1600 secs || 1942829 markings, 94027023 edges, 932 markings/sec, 1600 secs
lola: STP completed || 1 tries, 819570 fired transitions, 1605 secs || 1947944 markings, 94318111 edges, 1023 markings/sec, 1605 secs
lola: STP completed || 1 tries, 822112 fired transitions, 1610 secs || 1953176 markings, 94605592 edges, 1046 markings/sec, 1610 secs
lola: STP completed || 1 tries, 824628 fired transitions, 1615 secs || 1958100 markings, 94894770 edges, 985 markings/sec, 1615 secs
lola: STP completed || 1 tries, 827188 fired transitions, 1620 secs || 1964818 markings, 95197319 edges, 1344 markings/sec, 1620 secs
lola: STP completed || 1 tries, 829740 fired transitions, 1625 secs || 1969268 markings, 95480900 edges, 890 markings/sec, 1625 secs
lola: STP completed || 1 tries, 832262 fired transitions, 1630 secs || 1974272 markings, 95772489 edges, 1001 markings/sec, 1630 secs
lola: STP completed || 1 tries, 834803 fired transitions, 1635 secs || 1980300 markings, 96074091 edges, 1206 markings/sec, 1635 secs
lola: STP completed || 1 tries, 837394 fired transitions, 1640 secs || 1986887 markings, 96369668 edges, 1317 markings/sec, 1640 secs
lola: STP completed || 1 tries, 839938 fired transitions, 1645 secs || 1991532 markings, 96657803 edges, 929 markings/sec, 1645 secs
lola: STP completed || 1 tries, 842429 fired transitions, 1650 secs || 1997562 markings, 96959971 edges, 1206 markings/sec, 1650 secs
lola: STP completed || 1 tries, 844969 fired transitions, 1655 secs || 2005020 markings, 97259530 edges, 1492 markings/sec, 1655 secs
lola: STP completed || 1 tries, 847532 fired transitions, 1660 secs || 2012258 markings, 97563303 edges, 1448 markings/sec, 1660 secs
lola: STP completed || 1 tries, 850078 fired transitions, 1665 secs || 2019543 markings, 97857022 edges, 1457 markings/sec, 1665 secs
lola: STP completed || 1 tries, 852574 fired transitions, 1670 secs || 2026081 markings, 98150034 edges, 1308 markings/sec, 1670 secs
lola: STP completed || 1 tries, 855140 fired transitions, 1675 secs || 2030986 markings, 98435489 edges, 981 markings/sec, 1675 secs
lola: STP completed || 1 tries, 857616 fired transitions, 1680 secs || 2037034 markings, 98732782 edges, 1210 markings/sec, 1680 secs
lola: STP completed || 1 tries, 860113 fired transitions, 1685 secs || 2043572 markings, 99035755 edges, 1308 markings/sec, 1685 secs
lola: STP completed || 1 tries, 862594 fired transitions, 1690 secs || 2048160 markings, 99319253 edges, 918 markings/sec, 1690 secs
lola: STP completed || 1 tries, 865124 fired transitions, 1695 secs || 2053414 markings, 99608540 edges, 1051 markings/sec, 1695 secs
lola: STP completed || 1 tries, 867640 fired transitions, 1700 secs || 2059906 markings, 99912974 edges, 1298 markings/sec, 1700 secs
lola: STP completed || 1 tries, 870193 fired transitions, 1705 secs || 2066650 markings, 100207963 edges, 1349 markings/sec, 1705 secs
lola: STP completed || 1 tries, 872753 fired transitions, 1710 secs || 2071267 markings, 100497069 edges, 923 markings/sec, 1710 secs
lola: STP completed || 1 tries, 875274 fired transitions, 1715 secs || 2075661 markings, 100779216 edges, 879 markings/sec, 1715 secs
lola: STP completed || 1 tries, 877781 fired transitions, 1720 secs || 2081255 markings, 101075617 edges, 1119 markings/sec, 1720 secs
lola: STP completed || 1 tries, 880305 fired transitions, 1725 secs || 2087470 markings, 101374967 edges, 1243 markings/sec, 1725 secs
lola: STP completed || 1 tries, 882819 fired transitions, 1730 secs || 2095319 markings, 101677830 edges, 1570 markings/sec, 1730 secs
lola: STP completed || 1 tries, 885365 fired transitions, 1735 secs || 2101850 markings, 101983038 edges, 1306 markings/sec, 1735 secs
lola: STP completed || 1 tries, 887914 fired transitions, 1740 secs || 2109208 markings, 102287607 edges, 1472 markings/sec, 1740 secs
lola: STP completed || 1 tries, 890445 fired transitions, 1745 secs || 2114305 markings, 102577388 edges, 1019 markings/sec, 1745 secs
lola: STP completed || 1 tries, 892953 fired transitions, 1750 secs || 2119446 markings, 102873362 edges, 1028 markings/sec, 1750 secs
lola: STP completed || 1 tries, 895475 fired transitions, 1755 secs || 2125758 markings, 103171630 edges, 1262 markings/sec, 1755 secs
lola: STP completed || 1 tries, 897987 fired transitions, 1760 secs || 2132961 markings, 103478349 edges, 1441 markings/sec, 1760 secs
lola: STP completed || 1 tries, 900490 fired transitions, 1765 secs || 2138976 markings, 103771426 edges, 1203 markings/sec, 1765 secs
lola: STP completed || 1 tries, 903024 fired transitions, 1770 secs || 2146321 markings, 104075241 edges, 1469 markings/sec, 1770 secs
lola: STP completed || 1 tries, 905547 fired transitions, 1775 secs || 2152846 markings, 104374344 edges, 1305 markings/sec, 1775 secs
lola: STP completed || 1 tries, 908090 fired transitions, 1780 secs || 2157507 markings, 104663031 edges, 932 markings/sec, 1780 secs
lola: STP completed || 1 tries, 910663 fired transitions, 1785 secs || 2161728 markings, 104947174 edges, 844 markings/sec, 1785 secs
lola: STP completed || 1 tries, 913201 fired transitions, 1790 secs || 2167003 markings, 105240387 edges, 1055 markings/sec, 1790 secs
lola: STP completed || 1 tries, 915739 fired transitions, 1795 secs || 2174518 markings, 105539417 edges, 1503 markings/sec, 1795 secs
lola: STP completed || 1 tries, 918331 fired transitions, 1800 secs || 2181410 markings, 105831054 edges, 1378 markings/sec, 1800 secs
lola: STP completed || 1 tries, 920850 fired transitions, 1805 secs || 2187837 markings, 106119907 edges, 1285 markings/sec, 1805 secs
lola: STP completed || 1 tries, 923399 fired transitions, 1810 secs || 2192889 markings, 106407028 edges, 1010 markings/sec, 1810 secs
lola: STP completed || 1 tries, 925952 fired transitions, 1815 secs || 2198647 markings, 106703807 edges, 1152 markings/sec, 1815 secs
lola: STP completed || 1 tries, 928482 fired transitions, 1820 secs || 2205712 markings, 107008813 edges, 1413 markings/sec, 1820 secs
lola: STP completed || 1 tries, 931071 fired transitions, 1825 secs || 2211465 markings, 107297238 edges, 1151 markings/sec, 1825 secs
lola: STP completed || 1 tries, 933580 fired transitions, 1830 secs || 2216243 markings, 107581741 edges, 956 markings/sec, 1830 secs
lola: STP completed || 1 tries, 936109 fired transitions, 1835 secs || 2222472 markings, 107887242 edges, 1246 markings/sec, 1835 secs
lola: STP completed || 1 tries, 938635 fired transitions, 1840 secs || 2228906 markings, 108181559 edges, 1287 markings/sec, 1840 secs
lola: STP completed || 1 tries, 941166 fired transitions, 1845 secs || 2234359 markings, 108466596 edges, 1091 markings/sec, 1845 secs
lola: STP completed || 1 tries, 943734 fired transitions, 1850 secs || 2239456 markings, 108758125 edges, 1019 markings/sec, 1850 secs
lola: STP completed || 1 tries, 946241 fired transitions, 1855 secs || 2244345 markings, 109047509 edges, 978 markings/sec, 1855 secs
lola: STP completed || 1 tries, 948824 fired transitions, 1860 secs || 2248941 markings, 109332462 edges, 919 markings/sec, 1860 secs
lola: STP completed || 1 tries, 951360 fired transitions, 1865 secs || 2254431 markings, 109622240 edges, 1098 markings/sec, 1865 secs
lola: STP completed || 1 tries, 953869 fired transitions, 1870 secs || 2259748 markings, 109918416 edges, 1063 markings/sec, 1870 secs
lola: STP completed || 1 tries, 956377 fired transitions, 1875 secs || 2267482 markings, 110223815 edges, 1547 markings/sec, 1875 secs
lola: STP completed || 1 tries, 958881 fired transitions, 1880 secs || 2271898 markings, 110506088 edges, 883 markings/sec, 1880 secs
lola: STP completed || 1 tries, 961432 fired transitions, 1885 secs || 2277262 markings, 110796284 edges, 1073 markings/sec, 1885 secs
lola: STP completed || 1 tries, 963922 fired transitions, 1890 secs || 2283036 markings, 111093937 edges, 1155 markings/sec, 1890 secs
lola: STP completed || 1 tries, 966457 fired transitions, 1895 secs || 2290758 markings, 111395448 edges, 1544 markings/sec, 1895 secs
lola: STP completed || 1 tries, 969072 fired transitions, 1900 secs || 2294896 markings, 111679940 edges, 828 markings/sec, 1900 secs
lola: STP completed || 1 tries, 971663 fired transitions, 1905 secs || 2299723 markings, 111967887 edges, 965 markings/sec, 1905 secs
lola: STP completed || 1 tries, 974191 fired transitions, 1910 secs || 2304864 markings, 112255603 edges, 1028 markings/sec, 1910 secs
lola: STP completed || 1 tries, 976745 fired transitions, 1915 secs || 2311422 markings, 112563437 edges, 1312 markings/sec, 1915 secs
lola: STP completed || 1 tries, 979281 fired transitions, 1920 secs || 2316918 markings, 112849004 edges, 1099 markings/sec, 1920 secs
lola: STP completed || 1 tries, 981856 fired transitions, 1925 secs || 2322068 markings, 113138204 edges, 1030 markings/sec, 1925 secs
lola: STP completed || 1 tries, 984381 fired transitions, 1930 secs || 2328447 markings, 113441024 edges, 1276 markings/sec, 1930 secs
lola: STP completed || 1 tries, 986879 fired transitions, 1935 secs || 2334342 markings, 113738054 edges, 1179 markings/sec, 1935 secs
lola: STP completed || 1 tries, 989418 fired transitions, 1940 secs || 2339135 markings, 114021898 edges, 959 markings/sec, 1940 secs
lola: STP completed || 1 tries, 991947 fired transitions, 1945 secs || 2344687 markings, 114318031 edges, 1110 markings/sec, 1945 secs
lola: STP completed || 1 tries, 994506 fired transitions, 1950 secs || 2352039 markings, 114623213 edges, 1470 markings/sec, 1950 secs
lola: STP completed || 1 tries, 997001 fired transitions, 1955 secs || 2357127 markings, 114912220 edges, 1018 markings/sec, 1955 secs
lola: STP completed || 1 tries, 999476 fired transitions, 1960 secs || 2362893 markings, 115207871 edges, 1153 markings/sec, 1960 secs
lola: STP completed || 2 tries, 1002086 fired transitions, 1965 secs || 2367326 markings, 115488919 edges, 887 markings/sec, 1965 secs
lola: STP completed || 2 tries, 1004700 fired transitions, 1970 secs || 2373265 markings, 115788173 edges, 1188 markings/sec, 1970 secs
lola: STP completed || 2 tries, 1007278 fired transitions, 1975 secs || 2380502 markings, 116094588 edges, 1447 markings/sec, 1975 secs
lola: STP completed || 2 tries, 1009847 fired transitions, 1980 secs || 2386232 markings, 116388958 edges, 1146 markings/sec, 1980 secs
lola: STP completed || 2 tries, 1012370 fired transitions, 1985 secs || 2392159 markings, 116673065 edges, 1185 markings/sec, 1985 secs
lola: STP completed || 2 tries, 1014957 fired transitions, 1990 secs || 2397263 markings, 116961191 edges, 1021 markings/sec, 1990 secs
lola: STP completed || 2 tries, 1017488 fired transitions, 1995 secs || 2404040 markings, 117265892 edges, 1355 markings/sec, 1995 secs
lola: STP completed || 2 tries, 1020034 fired transitions, 2000 secs || 2409907 markings, 117563944 edges, 1173 markings/sec, 2000 secs
lola: STP completed || 2 tries, 1022572 fired transitions, 2005 secs || 2417140 markings, 117862786 edges, 1447 markings/sec, 2005 secs
lola: STP completed || 2 tries, 1025094 fired transitions, 2010 secs || 2421098 markings, 118145018 edges, 792 markings/sec, 2010 secs
lola: STP completed || 2 tries, 1027564 fired transitions, 2015 secs || 2427810 markings, 118447176 edges, 1342 markings/sec, 2015 secs
lola: STP completed || 2 tries, 1030109 fired transitions, 2020 secs || 2433832 markings, 118742730 edges, 1204 markings/sec, 2020 secs
lola: STP completed || 2 tries, 1032684 fired transitions, 2025 secs || 2441387 markings, 119041261 edges, 1511 markings/sec, 2025 secs
lola: STP completed || 2 tries, 1035223 fired transitions, 2030 secs || 2446041 markings, 119330054 edges, 931 markings/sec, 2030 secs
lola: STP completed || 2 tries, 1037753 fired transitions, 2035 secs || 2452333 markings, 119629321 edges, 1258 markings/sec, 2035 secs
lola: STP completed || 2 tries, 1040279 fired transitions, 2040 secs || 2459904 markings, 119933853 edges, 1514 markings/sec, 2040 secs
lola: STP completed || 2 tries, 1042810 fired transitions, 2045 secs || 2467442 markings, 120234306 edges, 1508 markings/sec, 2045 secs
lola: STP completed || 2 tries, 1045381 fired transitions, 2050 secs || 2472858 markings, 120519529 edges, 1083 markings/sec, 2050 secs
lola: STP completed || 2 tries, 1047899 fired transitions, 2055 secs || 2477552 markings, 120807774 edges, 939 markings/sec, 2055 secs
lola: STP completed || 2 tries, 1050444 fired transitions, 2060 secs || 2482597 markings, 121100196 edges, 1009 markings/sec, 2060 secs
lola: STP completed || 2 tries, 1053038 fired transitions, 2065 secs || 2489567 markings, 121391408 edges, 1394 markings/sec, 2065 secs
lola: STP completed || 2 tries, 1055592 fired transitions, 2070 secs || 2494607 markings, 121682219 edges, 1008 markings/sec, 2070 secs
lola: STP completed || 2 tries, 1058143 fired transitions, 2075 secs || 2501351 markings, 121980528 edges, 1349 markings/sec, 2075 secs
lola: STP completed || 2 tries, 1060668 fired transitions, 2080 secs || 2508652 markings, 122283064 edges, 1460 markings/sec, 2080 secs
lola: STP completed || 2 tries, 1063220 fired transitions, 2085 secs || 2516238 markings, 122586544 edges, 1517 markings/sec, 2085 secs
lola: STP completed || 2 tries, 1065790 fired transitions, 2090 secs || 2523257 markings, 122877365 edges, 1404 markings/sec, 2090 secs
lola: STP completed || 2 tries, 1068345 fired transitions, 2095 secs || 2530581 markings, 123171638 edges, 1465 markings/sec, 2095 secs
lola: STP completed || 2 tries, 1070866 fired transitions, 2100 secs || 2537472 markings, 123473968 edges, 1378 markings/sec, 2100 secs
lola: STP completed || 2 tries, 1073438 fired transitions, 2105 secs || 2545242 markings, 123769741 edges, 1554 markings/sec, 2105 secs
lola: STP completed || 2 tries, 1076013 fired transitions, 2110 secs || 2552875 markings, 124073881 edges, 1527 markings/sec, 2110 secs
lola: STP completed || 2 tries, 1078563 fired transitions, 2115 secs || 2559316 markings, 124361879 edges, 1288 markings/sec, 2115 secs
lola: STP completed || 2 tries, 1081116 fired transitions, 2120 secs || 2564499 markings, 124658327 edges, 1037 markings/sec, 2120 secs
lola: STP completed || 2 tries, 1083686 fired transitions, 2125 secs || 2570597 markings, 124950339 edges, 1220 markings/sec, 2125 secs
lola: STP completed || 2 tries, 1086224 fired transitions, 2130 secs || 2578441 markings, 125245151 edges, 1569 markings/sec, 2130 secs
lola: STP completed || 2 tries, 1088712 fired transitions, 2135 secs || 2585839 markings, 125552859 edges, 1480 markings/sec, 2135 secs
lola: STP completed || 2 tries, 1091258 fired transitions, 2140 secs || 2592683 markings, 125848987 edges, 1369 markings/sec, 2140 secs
lola: STP completed || 2 tries, 1093825 fired transitions, 2145 secs || 2600839 markings, 126140024 edges, 1631 markings/sec, 2145 secs
lola: STP completed || 2 tries, 1096396 fired transitions, 2150 secs || 2608876 markings, 126432044 edges, 1607 markings/sec, 2150 secs
lola: STP completed || 2 tries, 1098964 fired transitions, 2155 secs || 2613764 markings, 126711753 edges, 978 markings/sec, 2155 secs
lola: STP completed || 2 tries, 1101507 fired transitions, 2160 secs || 2619005 markings, 127003680 edges, 1048 markings/sec, 2160 secs
lola: STP completed || 2 tries, 1104058 fired transitions, 2165 secs || 2625019 markings, 127298794 edges, 1203 markings/sec, 2165 secs
lola: STP completed || 2 tries, 1106572 fired transitions, 2170 secs || 2631611 markings, 127603819 edges, 1318 markings/sec, 2170 secs
lola: STP completed || 2 tries, 1109089 fired transitions, 2175 secs || 2637216 markings, 127892334 edges, 1121 markings/sec, 2175 secs
lola: STP completed || 2 tries, 1111642 fired transitions, 2180 secs || 2641973 markings, 128179569 edges, 951 markings/sec, 2180 secs
lola: STP completed || 2 tries, 1114201 fired transitions, 2185 secs || 2646624 markings, 128465199 edges, 930 markings/sec, 2185 secs
lola: STP completed || 2 tries, 1116723 fired transitions, 2190 secs || 2652861 markings, 128769206 edges, 1247 markings/sec, 2190 secs
lola: STP completed || 2 tries, 1119269 fired transitions, 2195 secs || 2658947 markings, 129062710 edges, 1217 markings/sec, 2195 secs
lola: STP completed || 2 tries, 1121791 fired transitions, 2200 secs || 2663066 markings, 129342818 edges, 824 markings/sec, 2200 secs
lola: STP completed || 2 tries, 1124333 fired transitions, 2205 secs || 2668623 markings, 129637464 edges, 1111 markings/sec, 2205 secs
lola: STP completed || 2 tries, 1126861 fired transitions, 2210 secs || 2674058 markings, 129931131 edges, 1087 markings/sec, 2210 secs
lola: STP completed || 2 tries, 1129460 fired transitions, 2215 secs || 2680014 markings, 130229778 edges, 1191 markings/sec, 2215 secs
lola: STP completed || 2 tries, 1131995 fired transitions, 2220 secs || 2687042 markings, 130530531 edges, 1406 markings/sec, 2220 secs
lola: STP completed || 2 tries, 1134563 fired transitions, 2225 secs || 2691752 markings, 130820662 edges, 942 markings/sec, 2225 secs
lola: STP completed || 2 tries, 1137108 fired transitions, 2230 secs || 2698549 markings, 131129436 edges, 1359 markings/sec, 2230 secs
lola: STP completed || 2 tries, 1139671 fired transitions, 2235 secs || 2703619 markings, 131419011 edges, 1014 markings/sec, 2235 secs
lola: STP completed || 2 tries, 1142092 fired transitions, 2240 secs || 2710635 markings, 131719035 edges, 1403 markings/sec, 2240 secs
lola: STP completed || 2 tries, 1144583 fired transitions, 2245 secs || 2717968 markings, 132023152 edges, 1467 markings/sec, 2245 secs
lola: STP completed || 2 tries, 1147192 fired transitions, 2250 secs || 2725891 markings, 132318796 edges, 1585 markings/sec, 2250 secs
lola: STP completed || 2 tries, 1149785 fired transitions, 2255 secs || 2732688 markings, 132613617 edges, 1359 markings/sec, 2255 secs
lola: STP completed || 2 tries, 1152350 fired transitions, 2260 secs || 2737469 markings, 132898148 edges, 956 markings/sec, 2260 secs
lola: STP completed || 2 tries, 1154940 fired transitions, 2265 secs || 2743130 markings, 133193626 edges, 1132 markings/sec, 2265 secs
lola: STP completed || 2 tries, 1157515 fired transitions, 2270 secs || 2748849 markings, 133492073 edges, 1144 markings/sec, 2270 secs
lola: STP completed || 2 tries, 1160039 fired transitions, 2275 secs || 2756142 markings, 133793032 edges, 1459 markings/sec, 2275 secs
lola: STP completed || 2 tries, 1162557 fired transitions, 2280 secs || 2760898 markings, 134076002 edges, 951 markings/sec, 2280 secs
lola: STP completed || 2 tries, 1165092 fired transitions, 2285 secs || 2766221 markings, 134367213 edges, 1065 markings/sec, 2285 secs
lola: STP completed || 2 tries, 1167620 fired transitions, 2290 secs || 2772909 markings, 134672345 edges, 1338 markings/sec, 2290 secs
lola: STP completed || 2 tries, 1170125 fired transitions, 2295 secs || 2779713 markings, 134964368 edges, 1361 markings/sec, 2295 secs
lola: STP completed || 2 tries, 1172672 fired transitions, 2300 secs || 2784007 markings, 135246882 edges, 859 markings/sec, 2300 secs
lola: STP completed || 2 tries, 1175282 fired transitions, 2305 secs || 2788805 markings, 135536266 edges, 960 markings/sec, 2305 secs
lola: STP completed || 2 tries, 1177831 fired transitions, 2310 secs || 2794434 markings, 135831217 edges, 1126 markings/sec, 2310 secs
lola: STP completed || 2 tries, 1180337 fired transitions, 2315 secs || 2798490 markings, 136110289 edges, 811 markings/sec, 2315 secs
lola: STP completed || 2 tries, 1182869 fired transitions, 2320 secs || 2804713 markings, 136410104 edges, 1245 markings/sec, 2320 secs
lola: STP completed || 2 tries, 1185422 fired transitions, 2325 secs || 2810522 markings, 136707810 edges, 1162 markings/sec, 2325 secs
lola: STP completed || 2 tries, 1187979 fired transitions, 2330 secs || 2817347 markings, 137007133 edges, 1365 markings/sec, 2330 secs
lola: STP completed || 2 tries, 1190494 fired transitions, 2335 secs || 2822012 markings, 137287410 edges, 933 markings/sec, 2335 secs
lola: STP completed || 2 tries, 1193020 fired transitions, 2340 secs || 2827693 markings, 137583570 edges, 1136 markings/sec, 2340 secs
lola: STP completed || 2 tries, 1195561 fired transitions, 2345 secs || 2833936 markings, 137882988 edges, 1249 markings/sec, 2345 secs
lola: STP completed || 2 tries, 1198095 fired transitions, 2350 secs || 2840683 markings, 138175534 edges, 1349 markings/sec, 2350 secs
lola: STP completed || 2 tries, 1200606 fired transitions, 2355 secs || 2845549 markings, 138464062 edges, 973 markings/sec, 2355 secs
lola: STP completed || 2 tries, 1202946 fired transitions, 2360 secs || 2850276 markings, 138754595 edges, 945 markings/sec, 2360 secs
lola: STP completed || 2 tries, 1205495 fired transitions, 2365 secs || 2855337 markings, 139046081 edges, 1012 markings/sec, 2365 secs
lola: STP completed || 2 tries, 1208049 fired transitions, 2370 secs || 2860610 markings, 139334628 edges, 1055 markings/sec, 2370 secs
lola: STP completed || 2 tries, 1210392 fired transitions, 2375 secs || 2865499 markings, 139624615 edges, 978 markings/sec, 2375 secs
lola: STP completed || 2 tries, 1213001 fired transitions, 2380 secs || 2872199 markings, 139928447 edges, 1340 markings/sec, 2380 secs
lola: STP completed || 2 tries, 1215565 fired transitions, 2385 secs || 2876728 markings, 140212886 edges, 906 markings/sec, 2385 secs
lola: STP completed || 2 tries, 1218107 fired transitions, 2390 secs || 2881756 markings, 140505415 edges, 1006 markings/sec, 2390 secs
lola: STP completed || 2 tries, 1220670 fired transitions, 2395 secs || 2887945 markings, 140807051 edges, 1238 markings/sec, 2395 secs
lola: STP completed || 2 tries, 1223231 fired transitions, 2400 secs || 2894284 markings, 141101917 edges, 1268 markings/sec, 2400 secs
lola: STP completed || 2 tries, 1225809 fired transitions, 2405 secs || 2899030 markings, 141391453 edges, 949 markings/sec, 2405 secs
lola: STP completed || 2 tries, 1228436 fired transitions, 2410 secs || 2905055 markings, 141694139 edges, 1205 markings/sec, 2410 secs
lola: STP completed || 2 tries, 1230984 fired transitions, 2415 secs || 2912572 markings, 141994600 edges, 1503 markings/sec, 2415 secs
lola: STP completed || 2 tries, 1233550 fired transitions, 2420 secs || 2919963 markings, 142298326 edges, 1478 markings/sec, 2420 secs
lola: STP completed || 2 tries, 1236163 fired transitions, 2425 secs || 2927178 markings, 142593969 edges, 1443 markings/sec, 2425 secs
lola: STP completed || 2 tries, 1238738 fired transitions, 2430 secs || 2934216 markings, 142895165 edges, 1408 markings/sec, 2430 secs
lola: STP completed || 2 tries, 1241316 fired transitions, 2435 secs || 2939284 markings, 143186570 edges, 1014 markings/sec, 2435 secs
lola: STP completed || 2 tries, 1243890 fired transitions, 2440 secs || 2944554 markings, 143479306 edges, 1054 markings/sec, 2440 secs
lola: STP completed || 2 tries, 1246483 fired transitions, 2445 secs || 2952199 markings, 143785706 edges, 1529 markings/sec, 2445 secs
lola: STP completed || 2 tries, 1249049 fired transitions, 2450 secs || 2958063 markings, 144081175 edges, 1173 markings/sec, 2450 secs
lola: STP completed || 2 tries, 1251609 fired transitions, 2455 secs || 2965090 markings, 144377650 edges, 1405 markings/sec, 2455 secs
lola: STP completed || 2 tries, 1254151 fired transitions, 2460 secs || 2972195 markings, 144670028 edges, 1421 markings/sec, 2460 secs
lola: STP completed || 2 tries, 1256766 fired transitions, 2465 secs || 2976524 markings, 144951249 edges, 866 markings/sec, 2465 secs
lola: STP completed || 2 tries, 1259303 fired transitions, 2470 secs || 2982924 markings, 145254368 edges, 1280 markings/sec, 2470 secs
lola: STP completed || 2 tries, 1261889 fired transitions, 2475 secs || 2988858 markings, 145552816 edges, 1187 markings/sec, 2475 secs
lola: STP completed || 2 tries, 1264512 fired transitions, 2480 secs || 2995851 markings, 145848970 edges, 1399 markings/sec, 2480 secs
lola: STP completed || 2 tries, 1267055 fired transitions, 2485 secs || 2999932 markings, 146129093 edges, 816 markings/sec, 2485 secs
lola: STP completed || 2 tries, 1269594 fired transitions, 2490 secs || 3006083 markings, 146429884 edges, 1230 markings/sec, 2490 secs
lola: STP completed || 2 tries, 1272153 fired transitions, 2495 secs || 3012264 markings, 146726557 edges, 1236 markings/sec, 2495 secs
lola: STP completed || 2 tries, 1274732 fired transitions, 2500 secs || 3018688 markings, 147018435 edges, 1285 markings/sec, 2500 secs
lola: STP completed || 2 tries, 1277387 fired transitions, 2505 secs || 3023659 markings, 147308814 edges, 994 markings/sec, 2505 secs
lola: STP completed || 2 tries, 1279959 fired transitions, 2510 secs || 3028234 markings, 147596698 edges, 915 markings/sec, 2510 secs
lola: STP completed || 2 tries, 1282569 fired transitions, 2515 secs || 3033249 markings, 147885655 edges, 1003 markings/sec, 2515 secs
lola: STP completed || 2 tries, 1285113 fired transitions, 2520 secs || 3038076 markings, 148171990 edges, 965 markings/sec, 2520 secs
lola: STP completed || 2 tries, 1287691 fired transitions, 2525 secs || 3044072 markings, 148471690 edges, 1199 markings/sec, 2525 secs
lola: STP completed || 2 tries, 1290286 fired transitions, 2530 secs || 3050833 markings, 148776348 edges, 1352 markings/sec, 2530 secs
lola: STP completed || 2 tries, 1292777 fired transitions, 2535 secs || 3056570 markings, 149042003 edges, 1147 markings/sec, 2535 secs
lola: STP completed || 2 tries, 1295328 fired transitions, 2540 secs || 3060912 markings, 149320057 edges, 868 markings/sec, 2540 secs
lola: STP completed || 2 tries, 1297866 fired transitions, 2545 secs || 3067068 markings, 149616136 edges, 1231 markings/sec, 2545 secs
lola: STP completed || 2 tries, 1300499 fired transitions, 2550 secs || 3073228 markings, 149905921 edges, 1232 markings/sec, 2550 secs
lola: STP completed || 2 tries, 1303022 fired transitions, 2555 secs || 3079162 markings, 150190308 edges, 1187 markings/sec, 2555 secs
lola: STP completed || 2 tries, 1305547 fired transitions, 2560 secs || 3084069 markings, 150475010 edges, 981 markings/sec, 2560 secs
lola: STP completed || 2 tries, 1308051 fired transitions, 2565 secs || 3088604 markings, 150759096 edges, 907 markings/sec, 2565 secs
lola: STP completed || 2 tries, 1310591 fired transitions, 2570 secs || 3093543 markings, 151045548 edges, 988 markings/sec, 2570 secs
lola: STP completed || 2 tries, 1313057 fired transitions, 2575 secs || 3098953 markings, 151333761 edges, 1082 markings/sec, 2575 secs
lola: STP completed || 2 tries, 1315562 fired transitions, 2580 secs || 3103701 markings, 151619487 edges, 950 markings/sec, 2580 secs
lola: STP completed || 2 tries, 1318103 fired transitions, 2585 secs || 3109964 markings, 151905749 edges, 1253 markings/sec, 2585 secs
lola: STP completed || 2 tries, 1320664 fired transitions, 2590 secs || 3114632 markings, 152186272 edges, 934 markings/sec, 2590 secs
lola: STP completed || 2 tries, 1323128 fired transitions, 2595 secs || 3119614 markings, 152477584 edges, 996 markings/sec, 2595 secs
lola: STP completed || 2 tries, 1325714 fired transitions, 2600 secs || 3125874 markings, 152774773 edges, 1252 markings/sec, 2600 secs
lola: STP completed || 2 tries, 1328240 fired transitions, 2605 secs || 3131865 markings, 153064844 edges, 1198 markings/sec, 2605 secs
lola: STP completed || 2 tries, 1330803 fired transitions, 2610 secs || 3136770 markings, 153353527 edges, 981 markings/sec, 2610 secs
lola: STP completed || 2 tries, 1333316 fired transitions, 2615 secs || 3142669 markings, 153652636 edges, 1180 markings/sec, 2615 secs
lola: STP completed || 2 tries, 1335884 fired transitions, 2620 secs || 3150115 markings, 153950151 edges, 1489 markings/sec, 2620 secs
lola: STP completed || 2 tries, 1338430 fired transitions, 2625 secs || 3157571 markings, 154252294 edges, 1491 markings/sec, 2625 secs
lola: STP completed || 2 tries, 1340936 fired transitions, 2630 secs || 3164774 markings, 154547004 edges, 1441 markings/sec, 2630 secs
lola: STP completed || 2 tries, 1343492 fired transitions, 2635 secs || 3170973 markings, 154838011 edges, 1240 markings/sec, 2635 secs
lola: STP completed || 2 tries, 1346051 fired transitions, 2640 secs || 3175951 markings, 155123593 edges, 996 markings/sec, 2640 secs
lola: STP completed || 2 tries, 1348603 fired transitions, 2645 secs || 3182141 markings, 155422663 edges, 1238 markings/sec, 2645 secs
lola: STP completed || 2 tries, 1351168 fired transitions, 2650 secs || 3188563 markings, 155722993 edges, 1284 markings/sec, 2650 secs
lola: STP completed || 2 tries, 1353744 fired transitions, 2655 secs || 3193046 markings, 156005669 edges, 897 markings/sec, 2655 secs
lola: STP completed || 2 tries, 1356295 fired transitions, 2660 secs || 3198408 markings, 156295643 edges, 1072 markings/sec, 2660 secs
lola: STP completed || 2 tries, 1358909 fired transitions, 2665 secs || 3205217 markings, 156601197 edges, 1362 markings/sec, 2665 secs
lola: STP completed || 2 tries, 1361472 fired transitions, 2670 secs || 3211671 markings, 156894704 edges, 1291 markings/sec, 2670 secs
lola: STP completed || 2 tries, 1363991 fired transitions, 2675 secs || 3216304 markings, 157184473 edges, 927 markings/sec, 2675 secs
lola: STP completed || 2 tries, 1366558 fired transitions, 2680 secs || 3220637 markings, 157465589 edges, 867 markings/sec, 2680 secs
lola: STP completed || 2 tries, 1369097 fired transitions, 2685 secs || 3226276 markings, 157762891 edges, 1128 markings/sec, 2685 secs
lola: STP completed || 2 tries, 1371606 fired transitions, 2690 secs || 3232541 markings, 158060753 edges, 1253 markings/sec, 2690 secs
lola: STP completed || 2 tries, 1374197 fired transitions, 2695 secs || 3240382 markings, 158363583 edges, 1568 markings/sec, 2695 secs
lola: STP completed || 2 tries, 1376767 fired transitions, 2700 secs || 3247062 markings, 158668383 edges, 1336 markings/sec, 2700 secs
lola: STP completed || 2 tries, 1379300 fired transitions, 2705 secs || 3254259 markings, 158971925 edges, 1439 markings/sec, 2705 secs
lola: STP completed || 2 tries, 1381834 fired transitions, 2710 secs || 3259141 markings, 159260535 edges, 976 markings/sec, 2710 secs
lola: STP completed || 2 tries, 1384373 fired transitions, 2715 secs || 3264437 markings, 159558085 edges, 1059 markings/sec, 2715 secs
lola: STP completed || 2 tries, 1386959 fired transitions, 2720 secs || 3270849 markings, 159855888 edges, 1282 markings/sec, 2720 secs
lola: STP completed || 2 tries, 1389510 fired transitions, 2725 secs || 3278019 markings, 160162833 edges, 1434 markings/sec, 2725 secs
lola: STP completed || 2 tries, 1392043 fired transitions, 2730 secs || 3283931 markings, 160454120 edges, 1182 markings/sec, 2730 secs
lola: STP completed || 2 tries, 1394544 fired transitions, 2735 secs || 3291493 markings, 160759043 edges, 1512 markings/sec, 2735 secs
lola: STP completed || 2 tries, 1397096 fired transitions, 2740 secs || 3297708 markings, 161056215 edges, 1243 markings/sec, 2740 secs
lola: STP completed || 2 tries, 1399652 fired transitions, 2745 secs || 3302450 markings, 161345692 edges, 948 markings/sec, 2745 secs
lola: STP completed || 2 tries, 1402206 fired transitions, 2750 secs || 3306647 markings, 161629943 edges, 839 markings/sec, 2750 secs
lola: STP completed || 2 tries, 1404733 fired transitions, 2755 secs || 3311989 markings, 161923563 edges, 1068 markings/sec, 2755 secs
lola: STP completed || 2 tries, 1407274 fired transitions, 2760 secs || 3319518 markings, 162219563 edges, 1506 markings/sec, 2760 secs
lola: STP completed || 2 tries, 1409818 fired transitions, 2765 secs || 3326514 markings, 162513739 edges, 1399 markings/sec, 2765 secs
lola: STP completed || 2 tries, 1412374 fired transitions, 2770 secs || 3332672 markings, 162800640 edges, 1232 markings/sec, 2770 secs
lola: STP completed || 2 tries, 1414920 fired transitions, 2775 secs || 3337879 markings, 163089329 edges, 1041 markings/sec, 2775 secs
lola: STP completed || 2 tries, 1417483 fired transitions, 2780 secs || 3343531 markings, 163385736 edges, 1130 markings/sec, 2780 secs
lola: STP completed || 2 tries, 1420072 fired transitions, 2785 secs || 3350632 markings, 163691295 edges, 1420 markings/sec, 2785 secs
lola: STP completed || 2 tries, 1422591 fired transitions, 2790 secs || 3356286 markings, 163977978 edges, 1131 markings/sec, 2790 secs
lola: STP completed || 2 tries, 1425169 fired transitions, 2795 secs || 3361128 markings, 164262672 edges, 968 markings/sec, 2795 secs
lola: STP completed || 2 tries, 1427664 fired transitions, 2800 secs || 3367496 markings, 164569124 edges, 1274 markings/sec, 2800 secs
lola: STP completed || 2 tries, 1430179 fired transitions, 2805 secs || 3373841 markings, 164862391 edges, 1269 markings/sec, 2805 secs
lola: STP completed || 2 tries, 1432735 fired transitions, 2810 secs || 3379157 markings, 165146737 edges, 1063 markings/sec, 2810 secs
lola: STP completed || 2 tries, 1435304 fired transitions, 2815 secs || 3384263 markings, 165438553 edges, 1021 markings/sec, 2815 secs
lola: STP completed || 2 tries, 1437844 fired transitions, 2820 secs || 3389188 markings, 165727940 edges, 985 markings/sec, 2820 secs
lola: STP completed || 2 tries, 1440435 fired transitions, 2825 secs || 3393822 markings, 166013211 edges, 927 markings/sec, 2825 secs
lola: STP completed || 2 tries, 1442955 fired transitions, 2830 secs || 3399341 markings, 166303430 edges, 1104 markings/sec, 2830 secs
lola: STP completed || 2 tries, 1445561 fired transitions, 2835 secs || 3404750 markings, 166599882 edges, 1082 markings/sec, 2835 secs
lola: STP completed || 2 tries, 1448135 fired transitions, 2840 secs || 3412430 markings, 166905382 edges, 1536 markings/sec, 2840 secs
lola: STP completed || 2 tries, 1450731 fired transitions, 2845 secs || 3416814 markings, 167186928 edges, 877 markings/sec, 2845 secs
lola: STP completed || 2 tries, 1453274 fired transitions, 2850 secs || 3422141 markings, 167476054 edges, 1065 markings/sec, 2850 secs
lola: STP completed || 2 tries, 1455770 fired transitions, 2855 secs || 3427943 markings, 167774589 edges, 1160 markings/sec, 2855 secs
lola: STP completed || 2 tries, 1458279 fired transitions, 2860 secs || 3435548 markings, 168074789 edges, 1521 markings/sec, 2860 secs
lola: STP completed || 2 tries, 1460891 fired transitions, 2865 secs || 3439707 markings, 168359287 edges, 832 markings/sec, 2865 secs
lola: STP completed || 2 tries, 1463446 fired transitions, 2870 secs || 3444508 markings, 168646040 edges, 960 markings/sec, 2870 secs
lola: STP completed || 2 tries, 1465973 fired transitions, 2875 secs || 3449715 markings, 168934308 edges, 1041 markings/sec, 2875 secs
lola: STP completed || 2 tries, 1468505 fired transitions, 2880 secs || 3456328 markings, 169241350 edges, 1323 markings/sec, 2880 secs
lola: STP completed || 2 tries, 1471047 fired transitions, 2885 secs || 3461672 markings, 169525881 edges, 1069 markings/sec, 2885 secs
lola: STP completed || 2 tries, 1473589 fired transitions, 2890 secs || 3466887 markings, 169815408 edges, 1043 markings/sec, 2890 secs
lola: STP completed || 2 tries, 1476125 fired transitions, 2895 secs || 3473271 markings, 170117926 edges, 1277 markings/sec, 2895 secs
lola: STP completed || 2 tries, 1478653 fired transitions, 2900 secs || 3479173 markings, 170415126 edges, 1180 markings/sec, 2900 secs
lola: STP completed || 2 tries, 1481161 fired transitions, 2905 secs || 3483903 markings, 170697482 edges, 946 markings/sec, 2905 secs
lola: STP completed || 2 tries, 1483724 fired transitions, 2910 secs || 3489479 markings, 170993398 edges, 1115 markings/sec, 2910 secs
lola: STP completed || 2 tries, 1486240 fired transitions, 2915 secs || 3496869 markings, 171298028 edges, 1478 markings/sec, 2915 secs
lola: STP completed || 2 tries, 1488805 fired transitions, 2920 secs || 3501839 markings, 171585156 edges, 994 markings/sec, 2920 secs
lola: STP completed || 2 tries, 1491358 fired transitions, 2925 secs || 3507635 markings, 171880693 edges, 1159 markings/sec, 2925 secs
lola: STP completed || 2 tries, 1493906 fired transitions, 2930 secs || 3512070 markings, 172161091 edges, 887 markings/sec, 2930 secs
lola: STP completed || 2 tries, 1496446 fired transitions, 2935 secs || 3518001 markings, 172460464 edges, 1186 markings/sec, 2935 secs
lola: STP completed || 2 tries, 1499044 fired transitions, 2940 secs || 3525293 markings, 172766809 edges, 1458 markings/sec, 2940 secs
lola: STP completed || 2 tries, 1501616 fired transitions, 2945 secs || 3530959 markings, 173060616 edges, 1133 markings/sec, 2945 secs
lola: STP completed || 2 tries, 1504182 fired transitions, 2950 secs || 3536853 markings, 173344515 edges, 1179 markings/sec, 2950 secs
lola: STP completed || 2 tries, 1506781 fired transitions, 2955 secs || 3542026 markings, 173632671 edges, 1035 markings/sec, 2955 secs
lola: STP completed || 2 tries, 1509342 fired transitions, 2960 secs || 3548729 markings, 173936692 edges, 1341 markings/sec, 2960 secs
lola: STP completed || 2 tries, 1511885 fired transitions, 2965 secs || 3554594 markings, 174234416 edges, 1173 markings/sec, 2965 secs
lola: STP completed || 2 tries, 1514492 fired transitions, 2970 secs || 3561818 markings, 174532514 edges, 1445 markings/sec, 2970 secs
lola: STP completed || 2 tries, 1517005 fired transitions, 2975 secs || 3565792 markings, 174814926 edges, 795 markings/sec, 2975 secs
lola: STP completed || 2 tries, 1519524 fired transitions, 2980 secs || 3572493 markings, 175116764 edges, 1340 markings/sec, 2980 secs
lola: STP completed || 2 tries, 1522117 fired transitions, 2985 secs || 3578504 markings, 175411142 edges, 1202 markings/sec, 2985 secs
lola: STP completed || 2 tries, 1524653 fired transitions, 2990 secs || 3586041 markings, 175709150 edges, 1507 markings/sec, 2990 secs
lola: STP completed || 2 tries, 1527187 fired transitions, 2995 secs || 3590695 markings, 175997705 edges, 931 markings/sec, 2995 secs
lola: STP completed || 2 tries, 1529708 fired transitions, 3000 secs || 3596987 markings, 176297230 edges, 1258 markings/sec, 3000 secs
lola: STP completed || 2 tries, 1532288 fired transitions, 3005 secs || 3604556 markings, 176601512 edges, 1514 markings/sec, 3005 secs
lola: STP completed || 2 tries, 1534836 fired transitions, 3010 secs || 3612086 markings, 176901440 edges, 1506 markings/sec, 3010 secs
lola: STP completed || 2 tries, 1537377 fired transitions, 3015 secs || 3617497 markings, 177186067 edges, 1082 markings/sec, 3015 secs
lola: STP completed || 2 tries, 1539973 fired transitions, 3020 secs || 3622188 markings, 177473811 edges, 938 markings/sec, 3020 secs
lola: STP completed || 2 tries, 1542500 fired transitions, 3025 secs || 3627211 markings, 177765898 edges, 1005 markings/sec, 3025 secs
lola: STP completed || 2 tries, 1545043 fired transitions, 3030 secs || 3634163 markings, 178057055 edges, 1390 markings/sec, 3030 secs
lola: STP completed || 2 tries, 1547612 fired transitions, 3035 secs || 3639221 markings, 178347482 edges, 1012 markings/sec, 3035 secs
lola: STP completed || 2 tries, 1550172 fired transitions, 3040 secs || 3645916 markings, 178644986 edges, 1339 markings/sec, 3040 secs
lola: STP completed || 2 tries, 1552719 fired transitions, 3045 secs || 3653211 markings, 178947440 edges, 1459 markings/sec, 3045 secs
lola: STP completed || 2 tries, 1555263 fired transitions, 3050 secs || 3660772 markings, 179250475 edges, 1512 markings/sec, 3050 secs
lola: STP completed || 2 tries, 1557859 fired transitions, 3055 secs || 3667847 markings, 179541358 edges, 1415 markings/sec, 3055 secs
lola: STP completed || 2 tries, 1560368 fired transitions, 3060 secs || 3675150 markings, 179835008 edges, 1461 markings/sec, 3060 secs
lola: STP completed || 2 tries, 1562920 fired transitions, 3065 secs || 3681990 markings, 180137550 edges, 1368 markings/sec, 3065 secs
lola: STP completed || 2 tries, 1565464 fired transitions, 3070 secs || 3689806 markings, 180432896 edges, 1563 markings/sec, 3070 secs
lola: STP completed || 2 tries, 1567988 fired transitions, 3075 secs || 3697423 markings, 180737782 edges, 1523 markings/sec, 3075 secs
lola: STP completed || 2 tries, 1570566 fired transitions, 3080 secs || 3703915 markings, 181025300 edges, 1298 markings/sec, 3080 secs
lola: STP completed || 2 tries, 1573130 fired transitions, 3085 secs || 3709050 markings, 181320657 edges, 1027 markings/sec, 3085 secs
lola: STP completed || 2 tries, 1575703 fired transitions, 3090 secs || 3715136 markings, 181613605 edges, 1217 markings/sec, 3090 secs
lola: STP completed || 2 tries, 1578293 fired transitions, 3095 secs || 3722967 markings, 181907411 edges, 1566 markings/sec, 3095 secs
lola: STP completed || 2 tries, 1580883 fired transitions, 3100 secs || 3730873 markings, 182209264 edges, 1581 markings/sec, 3100 secs
lola: STP completed || 2 tries, 1583444 fired transitions, 3105 secs || 3738320 markings, 182503370 edges, 1489 markings/sec, 3105 secs
lola: STP completed || 2 tries, 1586046 fired transitions, 3110 secs || 3744868 markings, 182800418 edges, 1310 markings/sec, 3110 secs
lola: STP completed || 2 tries, 1588572 fired transitions, 3115 secs || 3749951 markings, 183089537 edges, 1017 markings/sec, 3115 secs
lola: STP completed || 2 tries, 1591131 fired transitions, 3120 secs || 3756425 markings, 183388268 edges, 1295 markings/sec, 3120 secs
lola: STP completed || 2 tries, 1593717 fired transitions, 3125 secs || 3765194 markings, 183689723 edges, 1754 markings/sec, 3125 secs
lola: STP completed || 2 tries, 1596309 fired transitions, 3130 secs || 3772586 markings, 183979924 edges, 1478 markings/sec, 3130 secs
lola: STP completed || 2 tries, 1598906 fired transitions, 3135 secs || 3779697 markings, 184286399 edges, 1422 markings/sec, 3135 secs
lola: STP completed || 2 tries, 1601447 fired transitions, 3140 secs || 3786006 markings, 184585884 edges, 1262 markings/sec, 3140 secs
lola: STP completed || 2 tries, 1603983 fired transitions, 3145 secs || 3793539 markings, 184885835 edges, 1507 markings/sec, 3145 secs
lola: STP completed || 2 tries, 1606544 fired transitions, 3150 secs || 3801241 markings, 185180062 edges, 1540 markings/sec, 3150 secs
lola: STP completed || 2 tries, 1609131 fired transitions, 3155 secs || 3808280 markings, 185477332 edges, 1408 markings/sec, 3155 secs
lola: STP completed || 2 tries, 1611743 fired transitions, 3160 secs || 3815961 markings, 185775014 edges, 1536 markings/sec, 3160 secs
lola: STP completed || 2 tries, 1614318 fired transitions, 3165 secs || 3824068 markings, 186069735 edges, 1621 markings/sec, 3165 secs
lola: STP completed || 2 tries, 1616894 fired transitions, 3170 secs || 3831014 markings, 186368617 edges, 1389 markings/sec, 3170 secs
lola: STP completed || 2 tries, 1619413 fired transitions, 3175 secs || 3838761 markings, 186664186 edges, 1549 markings/sec, 3175 secs
lola: STP completed || 2 tries, 1622052 fired transitions, 3180 secs || 3846986 markings, 186952635 edges, 1645 markings/sec, 3180 secs
lola: STP completed || 2 tries, 1624602 fired transitions, 3185 secs || 3853952 markings, 187237459 edges, 1393 markings/sec, 3185 secs
lola: STP completed || 2 tries, 1627215 fired transitions, 3190 secs || 3860486 markings, 187526916 edges, 1307 markings/sec, 3190 secs
lola: STP completed || 2 tries, 1629771 fired transitions, 3195 secs || 3867715 markings, 187815013 edges, 1446 markings/sec, 3195 secs
lola: STP completed || 2 tries, 1632359 fired transitions, 3200 secs || 3875195 markings, 188110561 edges, 1496 markings/sec, 3200 secs
lola: STP completed || 2 tries, 1634918 fired transitions, 3205 secs || 3881843 markings, 188402434 edges, 1330 markings/sec, 3205 secs
lola: STP completed || 2 tries, 1637438 fired transitions, 3210 secs || 3889414 markings, 188691554 edges, 1514 markings/sec, 3210 secs
lola: STP completed || 2 tries, 1639986 fired transitions, 3215 secs || 3895651 markings, 188975162 edges, 1247 markings/sec, 3215 secs
lola: STP completed || 2 tries, 1642509 fired transitions, 3220 secs || 3902479 markings, 189275396 edges, 1366 markings/sec, 3220 secs
lola: STP completed || 2 tries, 1645065 fired transitions, 3225 secs || 3910158 markings, 189563703 edges, 1536 markings/sec, 3225 secs
lola: STP completed || 2 tries, 1647615 fired transitions, 3230 secs || 3917160 markings, 189864867 edges, 1400 markings/sec, 3230 secs
lola: STP completed || 2 tries, 1650137 fired transitions, 3235 secs || 3922926 markings, 190156626 edges, 1153 markings/sec, 3235 secs
lola: STP completed || 2 tries, 1652686 fired transitions, 3240 secs || 3929440 markings, 190452835 edges, 1303 markings/sec, 3240 secs
lola: STP completed || 2 tries, 1655238 fired transitions, 3245 secs || 3937147 markings, 190749369 edges, 1541 markings/sec, 3245 secs
lola: STP completed || 2 tries, 1657841 fired transitions, 3250 secs || 3944581 markings, 191049993 edges, 1487 markings/sec, 3250 secs
lola: STP completed || 2 tries, 1660391 fired transitions, 3255 secs || 3951971 markings, 191339448 edges, 1478 markings/sec, 3255 secs
lola: STP completed || 2 tries, 1662924 fired transitions, 3260 secs || 3958765 markings, 191642026 edges, 1359 markings/sec, 3260 secs
lola: STP completed || 2 tries, 1665443 fired transitions, 3265 secs || 3964522 markings, 191934691 edges, 1151 markings/sec, 3265 secs
lola: STP completed || 2 tries, 1667978 fired transitions, 3270 secs || 3972056 markings, 192229862 edges, 1507 markings/sec, 3270 secs
lola: STP completed || 2 tries, 1670500 fired transitions, 3275 secs || 3979297 markings, 192538086 edges, 1448 markings/sec, 3275 secs
lola: STP completed || 2 tries, 1673056 fired transitions, 3280 secs || 3987642 markings, 192832927 edges, 1669 markings/sec, 3280 secs
lola: STP completed || 2 tries, 1675600 fired transitions, 3285 secs || 3995300 markings, 193124222 edges, 1532 markings/sec, 3285 secs
lola: STP completed || 2 tries, 1678159 fired transitions, 3290 secs || 4001783 markings, 193424608 edges, 1297 markings/sec, 3290 secs
lola: STP completed || 2 tries, 1680725 fired transitions, 3295 secs || 4009347 markings, 193711996 edges, 1513 markings/sec, 3295 secs
lola: STP completed || 2 tries, 1683296 fired transitions, 3300 secs || 4016783 markings, 194002815 edges, 1487 markings/sec, 3300 secs
lola: STP completed || 2 tries, 1685884 fired transitions, 3305 secs || 4023475 markings, 194300044 edges, 1338 markings/sec, 3305 secs
lola: STP completed || 2 tries, 1688418 fired transitions, 3310 secs || 4029739 markings, 194593232 edges, 1253 markings/sec, 3310 secs
lola: STP completed || 2 tries, 1690959 fired transitions, 3315 secs || 4036412 markings, 194877082 edges, 1335 markings/sec, 3315 secs
lola: STP completed || 2 tries, 1693521 fired transitions, 3320 secs || 4043543 markings, 195180247 edges, 1426 markings/sec, 3320 secs
lola: STP completed || 2 tries, 1696076 fired transitions, 3325 secs || 4050731 markings, 195464551 edges, 1438 markings/sec, 3325 secs
lola: STP completed || 2 tries, 1698581 fired transitions, 3330 secs || 4058885 markings, 195757349 edges, 1631 markings/sec, 3330 secs
lola: STP completed || 2 tries, 1701131 fired transitions, 3335 secs || 4064614 markings, 196048704 edges, 1146 markings/sec, 3335 secs
lola: STP completed || 2 tries, 1703685 fired transitions, 3340 secs || 4071101 markings, 196344641 edges, 1297 markings/sec, 3340 secs
lola: STP completed || 2 tries, 1706213 fired transitions, 3345 secs || 4078163 markings, 196650038 edges, 1412 markings/sec, 3345 secs
lola: STP completed || 2 tries, 1708698 fired transitions, 3350 secs || 4086267 markings, 196949293 edges, 1621 markings/sec, 3350 secs
lola: STP completed || 2 tries, 1711249 fired transitions, 3355 secs || 4093789 markings, 197245229 edges, 1504 markings/sec, 3355 secs
lola: STP completed || 2 tries, 1713788 fired transitions, 3360 secs || 4101759 markings, 197539480 edges, 1594 markings/sec, 3360 secs
lola: STP completed || 2 tries, 1716407 fired transitions, 3365 secs || 4109283 markings, 197827554 edges, 1505 markings/sec, 3365 secs
lola: STP completed || 2 tries, 1718987 fired transitions, 3370 secs || 4117942 markings, 198119256 edges, 1732 markings/sec, 3370 secs
lola: STP completed || 2 tries, 1721501 fired transitions, 3375 secs || 4124727 markings, 198410839 edges, 1357 markings/sec, 3375 secs
lola: STP completed || 2 tries, 1723980 fired transitions, 3380 secs || 4130436 markings, 198708098 edges, 1142 markings/sec, 3380 secs
lola: STP completed || 2 tries, 1726569 fired transitions, 3385 secs || 4137590 markings, 198997358 edges, 1431 markings/sec, 3385 secs
lola: STP completed || 2 tries, 1729125 fired transitions, 3390 secs || 4143576 markings, 199293108 edges, 1197 markings/sec, 3390 secs
lola: STP completed || 2 tries, 1731656 fired transitions, 3395 secs || 4151059 markings, 199582421 edges, 1497 markings/sec, 3395 secs
lola: STP completed || 2 tries, 1734211 fired transitions, 3400 secs || 4158246 markings, 199874274 edges, 1437 markings/sec, 3400 secs
lola: STP completed || 2 tries, 1736724 fired transitions, 3405 secs || 4164997 markings, 200154603 edges, 1350 markings/sec, 3405 secs
lola: STP completed || 2 tries, 1739255 fired transitions, 3410 secs || 4173617 markings, 200441846 edges, 1724 markings/sec, 3410 secs
lola: STP completed || 2 tries, 1741780 fired transitions, 3415 secs || 4180325 markings, 200732097 edges, 1342 markings/sec, 3415 secs
lola: STP completed || 2 tries, 1744305 fired transitions, 3420 secs || 4186736 markings, 201028581 edges, 1282 markings/sec, 3420 secs
lola: STP completed || 2 tries, 1746864 fired transitions, 3425 secs || 4193855 markings, 201328889 edges, 1424 markings/sec, 3425 secs
lola: STP completed || 2 tries, 1749335 fired transitions, 3430 secs || 4201107 markings, 201627031 edges, 1450 markings/sec, 3430 secs
lola: STP completed || 2 tries, 1751898 fired transitions, 3435 secs || 4209051 markings, 201919310 edges, 1589 markings/sec, 3435 secs
lola: STP completed || 2 tries, 1754424 fired transitions, 3440 secs || 4216904 markings, 202217762 edges, 1571 markings/sec, 3440 secs
lola: STP completed || 2 tries, 1756961 fired transitions, 3445 secs || 4223567 markings, 202510298 edges, 1333 markings/sec, 3445 secs
lola: STP completed || 2 tries, 1759524 fired transitions, 3450 secs || 4231597 markings, 202803888 edges, 1606 markings/sec, 3450 secs
lola: STP completed || 2 tries, 1762102 fired transitions, 3455 secs || 4238686 markings, 203102539 edges, 1418 markings/sec, 3455 secs
lola: STP completed || 2 tries, 1764651 fired transitions, 3460 secs || 4246634 markings, 203397009 edges, 1590 markings/sec, 3460 secs
lola: STP completed || 2 tries, 1767208 fired transitions, 3465 secs || 4254225 markings, 203692089 edges, 1518 markings/sec, 3465 secs
lola: STP completed || 2 tries, 1769813 fired transitions, 3470 secs || 4260905 markings, 203995239 edges, 1336 markings/sec, 3470 secs
lola: STP completed || 2 tries, 1772378 fired transitions, 3475 secs || 4268574 markings, 204295624 edges, 1534 markings/sec, 3475 secs
lola: STP completed || 2 tries, 1774926 fired transitions, 3480 secs || 4275969 markings, 204591207 edges, 1479 markings/sec, 3480 secs
lola: STP completed || 2 tries, 1777534 fired transitions, 3485 secs || 4283415 markings, 204892856 edges, 1489 markings/sec, 3485 secs
lola: STP completed || 2 tries, 1780094 fired transitions, 3490 secs || 4290217 markings, 205186823 edges, 1360 markings/sec, 3490 secs
lola: STP completed || 2 tries, 1782651 fired transitions, 3495 secs || 4297770 markings, 205484649 edges, 1511 markings/sec, 3495 secs
lola: STP completed || 2 tries, 1785248 fired transitions, 3500 secs || 4304401 markings, 205777971 edges, 1326 markings/sec, 3500 secs
lola: STP completed || 2 tries, 1787857 fired transitions, 3505 secs || 4312353 markings, 206070289 edges, 1590 markings/sec, 3505 secs
lola: STP completed || 2 tries, 1790471 fired transitions, 3510 secs || 4319125 markings, 206363079 edges, 1354 markings/sec, 3510 secs
lola: STP completed || 2 tries, 1792999 fired transitions, 3515 secs || 4326052 markings, 206664581 edges, 1385 markings/sec, 3515 secs
lola: STP completed || 2 tries, 1795556 fired transitions, 3520 secs || 4333789 markings, 206966363 edges, 1547 markings/sec, 3520 secs
lola: STP completed || 2 tries, 1798140 fired transitions, 3525 secs || 4341297 markings, 207256802 edges, 1502 markings/sec, 3525 secs
lola: STP completed || 2 tries, 1800709 fired transitions, 3530 secs || 4347135 markings, 207545862 edges, 1168 markings/sec, 3530 secs
lola: STP completed || 2 tries, 1803294 fired transitions, 3535 secs || 4354139 markings, 207843992 edges, 1401 markings/sec, 3535 secs
lola: STP completed || 2 tries, 1805869 fired transitions, 3540 secs || 4361391 markings, 208141542 edges, 1450 markings/sec, 3540 secs
lola: STP completed || 2 tries, 1808442 fired transitions, 3545 secs || 4368344 markings, 208430892 edges, 1391 markings/sec, 3545 secs
lola: STP completed || 2 tries, 1811010 fired transitions, 3550 secs || 4374763 markings, 208721737 edges, 1284 markings/sec, 3550 secs
lola: STP completed || 2 tries, 1813625 fired transitions, 3555 secs || 4381779 markings, 209004775 edges, 1403 markings/sec, 3555 secs
lola: STP completed || 2 tries, 1816196 fired transitions, 3560 secs || 4389240 markings, 209298586 edges, 1492 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2969776 KB
lola: time consumption: 3570 seconds
BK_STOP 1528104007930
--------------------
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="DLCflexbar-PT-4a"
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/DLCflexbar-PT-4a.tgz
mv DLCflexbar-PT-4a 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 DLCflexbar-PT-4a, 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 r268-smll-152749145700404"
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 ;