About the Execution of Irma.struct for Philosophers-PT-005000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.970 | 3512366.00 | 7105251.00 | 2865.10 | ? | normal |
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 60M
-rw-r--r-- 1 mcc users 1.2M May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.8M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 5.6M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 684K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.7M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.0M May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 6.4M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 1.7M May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 7.1M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 540K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 21M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is Philosophers-PT-005000, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-csrt-152666474600825
=====================================================================
--------------------
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 Philosophers-PT-005000-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527158139005
BK_STOP 1527161651371
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using Philosophers-PT-005000 as instance name.
Using Philosophers as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': True, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': False}.
Known tools are: [{'Time': 385935, 'Memory': 15938.54, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'gspn'}].
ReachabilityDeadlock lola Philosophers-PT-005000...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
Philosophers-PT-005000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
Philosophers-PT-005000: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Philosophers-PT-005000 @ 3539 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 50000/65536 symbol table entries, 20553 collisions
lola: preprocessing...
lola: finding significant places
lola: 25000 places, 25000 transitions, 15000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 35000 transition conflict sets
lola: TASK
lola: reading formula from Philosophers-PT-005000-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1876 bytes per marking, with 8 unused bits
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 600002 variables and 1815004 clauses shipped to Minisat
lola: STP running || 1 tries, 49899 fired transitions, 0 secs
lola: 0 generators;312467500 candidates remain ( 0%), 0 secs
lola: stp: The siphon/trap property does not hold
lola: computed 5000 generators (2 in search tree, 4998 by composition)
lola: representing 10000 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 89581 fired transitions, 5 secs || 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: STP completed || 1 tries, 132484 fired transitions, 10 secs || 5731 markings, 12063 edges, 1146 markings/sec, 10 secs
lola: STP completed || 1 tries, 194795 fired transitions, 15 secs || 12236 markings, 26360 edges, 1301 markings/sec, 15 secs
lola: STP completed || 1 tries, 252690 fired transitions, 20 secs || 18615 markings, 41003 edges, 1276 markings/sec, 20 secs
lola: STP completed || 1 tries, 314326 fired transitions, 25 secs || 24921 markings, 55698 edges, 1261 markings/sec, 25 secs
lola: STP completed || 1 tries, 340812 fired transitions, 30 secs || 31227 markings, 70509 edges, 1261 markings/sec, 30 secs
lola: STP completed || 1 tries, 364812 fired transitions, 35 secs || 38175 markings, 84857 edges, 1390 markings/sec, 35 secs
lola: STP completed || 1 tries, 389814 fired transitions, 40 secs || 45093 markings, 99840 edges, 1384 markings/sec, 40 secs
lola: STP completed || 1 tries, 416801 fired transitions, 45 secs || 51425 markings, 115252 edges, 1266 markings/sec, 45 secs
lola: STP completed || 1 tries, 442469 fired transitions, 50 secs || 58063 markings, 130002 edges, 1328 markings/sec, 50 secs
lola: STP completed || 1 tries, 465396 fired transitions, 55 secs || 64303 markings, 144812 edges, 1248 markings/sec, 55 secs
lola: STP completed || 1 tries, 489047 fired transitions, 60 secs || 70505 markings, 159842 edges, 1240 markings/sec, 60 secs
lola: STP completed || 1 tries, 513361 fired transitions, 65 secs || 76910 markings, 175030 edges, 1281 markings/sec, 65 secs
lola: STP completed || 1 tries, 536715 fired transitions, 70 secs || 83581 markings, 189372 edges, 1334 markings/sec, 70 secs
lola: STP completed || 1 tries, 555910 fired transitions, 75 secs || 89734 markings, 204242 edges, 1231 markings/sec, 75 secs
lola: STP completed || 1 tries, 565947 fired transitions, 80 secs || 95719 markings, 219254 edges, 1197 markings/sec, 80 secs
lola: STP completed || 1 tries, 575586 fired transitions, 85 secs || 102740 markings, 233582 edges, 1404 markings/sec, 85 secs
lola: STP completed || 1 tries, 585288 fired transitions, 90 secs || 108890 markings, 248740 edges, 1230 markings/sec, 90 secs
lola: STP completed || 1 tries, 594952 fired transitions, 95 secs || 115301 markings, 263368 edges, 1282 markings/sec, 95 secs
lola: STP completed || 1 tries, 604970 fired transitions, 100 secs || 122036 markings, 278530 edges, 1347 markings/sec, 100 secs
lola: STP completed || 1 tries, 611542 fired transitions, 105 secs || 125868 markings, 288016 edges, 766 markings/sec, 105 secs
lola: STP completed || 1 tries, 621559 fired transitions, 110 secs || 131980 markings, 302132 edges, 1222 markings/sec, 110 secs
lola: STP completed || 1 tries, 631471 fired transitions, 115 secs || 137915 markings, 315668 edges, 1187 markings/sec, 115 secs
lola: STP completed || 1 tries, 641397 fired transitions, 120 secs || 143977 markings, 329235 edges, 1212 markings/sec, 120 secs
lola: STP completed || 1 tries, 650968 fired transitions, 125 secs || 150026 markings, 344018 edges, 1210 markings/sec, 125 secs
lola: STP completed || 1 tries, 739302 fired transitions, 130 secs || 156353 markings, 359072 edges, 1265 markings/sec, 130 secs
lola: STP completed || 1 tries, 776280 fired transitions, 135 secs || 162904 markings, 373612 edges, 1310 markings/sec, 135 secs
lola: STP completed || 1 tries, 816587 fired transitions, 140 secs || 170212 markings, 387957 edges, 1462 markings/sec, 140 secs
lola: STP completed || 1 tries, 853292 fired transitions, 145 secs || 177765 markings, 402534 edges, 1511 markings/sec, 145 secs
lola: STP completed || 1 tries, 877446 fired transitions, 150 secs || 181566 markings, 411357 edges, 760 markings/sec, 150 secs
lola: STP completed || 1 tries, 928464 fired transitions, 155 secs || 187215 markings, 425867 edges, 1130 markings/sec, 155 secs
lola: STP completed || 1 tries, 951542 fired transitions, 160 secs || 193784 markings, 442037 edges, 1314 markings/sec, 160 secs
lola: STP completed || 1 tries, 972856 fired transitions, 165 secs || 200080 markings, 455177 edges, 1259 markings/sec, 165 secs
lola: STP completed || 1 tries, 992923 fired transitions, 170 secs || 205387 markings, 467110 edges, 1061 markings/sec, 170 secs
lola: STP completed || 2 tries, 1023502 fired transitions, 175 secs || 211670 markings, 480882 edges, 1257 markings/sec, 175 secs
lola: STP completed || 2 tries, 1035951 fired transitions, 180 secs || 215050 markings, 488634 edges, 676 markings/sec, 180 secs
lola: STP completed || 2 tries, 1047769 fired transitions, 185 secs || 220226 markings, 499991 edges, 1035 markings/sec, 185 secs
lola: STP completed || 2 tries, 1079194 fired transitions, 190 secs || 223502 markings, 507182 edges, 655 markings/sec, 190 secs
lola: STP completed || 2 tries, 1122138 fired transitions, 195 secs || 226624 markings, 514396 edges, 624 markings/sec, 195 secs
lola: STP completed || 2 tries, 1133645 fired transitions, 200 secs || 231100 markings, 525262 edges, 895 markings/sec, 200 secs
lola: STP completed || 2 tries, 1149086 fired transitions, 205 secs || 237626 markings, 539989 edges, 1305 markings/sec, 205 secs
lola: STP completed || 2 tries, 1165267 fired transitions, 210 secs || 243783 markings, 554361 edges, 1231 markings/sec, 210 secs
lola: STP completed || 2 tries, 1182324 fired transitions, 215 secs || 250366 markings, 568836 edges, 1317 markings/sec, 215 secs
lola: STP completed || 2 tries, 1198922 fired transitions, 220 secs || 256672 markings, 583344 edges, 1261 markings/sec, 220 secs
lola: STP completed || 2 tries, 1215907 fired transitions, 225 secs || 263236 markings, 598010 edges, 1313 markings/sec, 225 secs
lola: STP completed || 2 tries, 1231648 fired transitions, 230 secs || 269918 markings, 612166 edges, 1336 markings/sec, 230 secs
lola: STP completed || 2 tries, 1248116 fired transitions, 235 secs || 275960 markings, 626718 edges, 1208 markings/sec, 235 secs
lola: STP completed || 2 tries, 1265227 fired transitions, 240 secs || 282080 markings, 641627 edges, 1224 markings/sec, 240 secs
lola: STP completed || 2 tries, 1282007 fired transitions, 245 secs || 288559 markings, 656925 edges, 1296 markings/sec, 245 secs
lola: STP completed || 2 tries, 1299062 fired transitions, 250 secs || 295422 markings, 671896 edges, 1373 markings/sec, 250 secs
lola: STP completed || 2 tries, 1312601 fired transitions, 255 secs || 302355 markings, 687014 edges, 1387 markings/sec, 255 secs
lola: STP completed || 2 tries, 1319183 fired transitions, 260 secs || 306602 markings, 696364 edges, 849 markings/sec, 260 secs
lola: STP completed || 2 tries, 1326796 fired transitions, 265 secs || 311191 markings, 706228 edges, 918 markings/sec, 265 secs
lola: STP completed || 2 tries, 1337030 fired transitions, 270 secs || 317271 markings, 719917 edges, 1216 markings/sec, 270 secs
lola: STP completed || 2 tries, 1347655 fired transitions, 275 secs || 323634 markings, 733816 edges, 1273 markings/sec, 275 secs
lola: STP completed || 2 tries, 1358110 fired transitions, 280 secs || 329912 markings, 748125 edges, 1256 markings/sec, 280 secs
lola: STP completed || 2 tries, 1368714 fired transitions, 285 secs || 336258 markings, 761864 edges, 1269 markings/sec, 285 secs
lola: STP completed || 2 tries, 1379258 fired transitions, 290 secs || 342608 markings, 776071 edges, 1270 markings/sec, 290 secs
lola: STP completed || 2 tries, 1389941 fired transitions, 295 secs || 349176 markings, 790343 edges, 1314 markings/sec, 295 secs
lola: STP completed || 2 tries, 1400935 fired transitions, 300 secs || 355215 markings, 804426 edges, 1208 markings/sec, 300 secs
lola: STP completed || 2 tries, 1411731 fired transitions, 305 secs || 361649 markings, 817928 edges, 1287 markings/sec, 305 secs
lola: STP completed || 2 tries, 1422505 fired transitions, 310 secs || 368116 markings, 831875 edges, 1293 markings/sec, 310 secs
lola: STP completed || 2 tries, 1433053 fired transitions, 315 secs || 374623 markings, 846223 edges, 1301 markings/sec, 315 secs
lola: STP completed || 2 tries, 1443288 fired transitions, 320 secs || 380871 markings, 860498 edges, 1250 markings/sec, 320 secs
lola: STP completed || 2 tries, 1453592 fired transitions, 325 secs || 387426 markings, 874721 edges, 1311 markings/sec, 325 secs
lola: STP completed || 2 tries, 1464074 fired transitions, 330 secs || 394036 markings, 889508 edges, 1322 markings/sec, 330 secs
lola: STP completed || 2 tries, 1474734 fired transitions, 335 secs || 401136 markings, 904189 edges, 1420 markings/sec, 335 secs
lola: STP completed || 2 tries, 1485285 fired transitions, 340 secs || 408506 markings, 918728 edges, 1474 markings/sec, 340 secs
lola: STP completed || 2 tries, 1495721 fired transitions, 345 secs || 414836 markings, 933253 edges, 1266 markings/sec, 345 secs
lola: STP completed || 2 tries, 1505349 fired transitions, 350 secs || 421196 markings, 947424 edges, 1272 markings/sec, 350 secs
lola: STP completed || 2 tries, 1515278 fired transitions, 355 secs || 427725 markings, 961385 edges, 1306 markings/sec, 355 secs
lola: STP completed || 2 tries, 1525053 fired transitions, 360 secs || 433916 markings, 975429 edges, 1238 markings/sec, 360 secs
lola: STP completed || 2 tries, 1534920 fired transitions, 365 secs || 440064 markings, 989662 edges, 1230 markings/sec, 365 secs
lola: STP completed || 2 tries, 1544857 fired transitions, 370 secs || 446432 markings, 1003287 edges, 1274 markings/sec, 370 secs
lola: STP completed || 2 tries, 1554010 fired transitions, 375 secs || 452408 markings, 1015831 edges, 1195 markings/sec, 375 secs
lola: STP completed || 2 tries, 1559193 fired transitions, 380 secs || 455449 markings, 1023049 edges, 608 markings/sec, 380 secs
lola: STP completed || 2 tries, 1564375 fired transitions, 385 secs || 458695 markings, 1030458 edges, 649 markings/sec, 385 secs
lola: STP completed || 2 tries, 1569533 fired transitions, 390 secs || 462162 markings, 1037732 edges, 693 markings/sec, 390 secs
lola: STP completed || 2 tries, 1574775 fired transitions, 395 secs || 465478 markings, 1045057 edges, 663 markings/sec, 395 secs
lola: STP completed || 2 tries, 1580072 fired transitions, 400 secs || 468597 markings, 1052300 edges, 624 markings/sec, 400 secs
lola: STP completed || 2 tries, 1585398 fired transitions, 405 secs || 471565 markings, 1059858 edges, 594 markings/sec, 405 secs
lola: STP completed || 2 tries, 1590732 fired transitions, 410 secs || 474794 markings, 1067225 edges, 646 markings/sec, 410 secs
lola: STP completed || 2 tries, 1596150 fired transitions, 415 secs || 478177 markings, 1074611 edges, 677 markings/sec, 415 secs
lola: STP completed || 2 tries, 1601688 fired transitions, 420 secs || 481222 markings, 1082239 edges, 609 markings/sec, 420 secs
lola: STP completed || 2 tries, 1607266 fired transitions, 425 secs || 484638 markings, 1089651 edges, 683 markings/sec, 425 secs
lola: STP completed || 2 tries, 1612785 fired transitions, 430 secs || 488002 markings, 1096957 edges, 673 markings/sec, 430 secs
lola: STP completed || 2 tries, 1618199 fired transitions, 435 secs || 491511 markings, 1103767 edges, 702 markings/sec, 435 secs
lola: STP completed || 2 tries, 1623484 fired transitions, 440 secs || 494434 markings, 1110616 edges, 585 markings/sec, 440 secs
lola: STP completed || 2 tries, 1628743 fired transitions, 445 secs || 497169 markings, 1117526 edges, 547 markings/sec, 445 secs
lola: STP completed || 2 tries, 1634103 fired transitions, 450 secs || 500203 markings, 1124545 edges, 607 markings/sec, 450 secs
lola: STP completed || 2 tries, 1639576 fired transitions, 455 secs || 503541 markings, 1131919 edges, 668 markings/sec, 455 secs
lola: STP completed || 2 tries, 1645054 fired transitions, 460 secs || 506554 markings, 1139561 edges, 603 markings/sec, 460 secs
lola: STP completed || 2 tries, 1650541 fired transitions, 465 secs || 509703 markings, 1147023 edges, 630 markings/sec, 465 secs
lola: STP completed || 2 tries, 1656016 fired transitions, 470 secs || 513305 markings, 1154208 edges, 720 markings/sec, 470 secs
lola: STP completed || 2 tries, 1661390 fired transitions, 475 secs || 516352 markings, 1161738 edges, 609 markings/sec, 475 secs
lola: STP completed || 2 tries, 1666604 fired transitions, 480 secs || 519597 markings, 1168984 edges, 649 markings/sec, 480 secs
lola: STP completed || 2 tries, 1671933 fired transitions, 485 secs || 523236 markings, 1176150 edges, 728 markings/sec, 485 secs
lola: STP completed || 2 tries, 1677314 fired transitions, 490 secs || 526461 markings, 1184037 edges, 645 markings/sec, 490 secs
lola: STP completed || 2 tries, 1682613 fired transitions, 495 secs || 530207 markings, 1191076 edges, 749 markings/sec, 495 secs
lola: STP completed || 2 tries, 1687985 fired transitions, 500 secs || 533747 markings, 1198390 edges, 708 markings/sec, 500 secs
lola: STP completed || 2 tries, 1693556 fired transitions, 505 secs || 537314 markings, 1205858 edges, 713 markings/sec, 505 secs
lola: STP completed || 2 tries, 1699212 fired transitions, 510 secs || 541047 markings, 1213391 edges, 747 markings/sec, 510 secs
lola: STP completed || 2 tries, 1704835 fired transitions, 515 secs || 544555 markings, 1221051 edges, 702 markings/sec, 515 secs
lola: STP completed || 2 tries, 1711778 fired transitions, 520 secs || 548668 markings, 1230907 edges, 823 markings/sec, 520 secs
lola: STP completed || 2 tries, 1721297 fired transitions, 525 secs || 556055 markings, 1245279 edges, 1477 markings/sec, 525 secs
lola: STP completed || 2 tries, 1730527 fired transitions, 530 secs || 563455 markings, 1259230 edges, 1480 markings/sec, 530 secs
lola: STP completed || 2 tries, 1739529 fired transitions, 535 secs || 569899 markings, 1273643 edges, 1289 markings/sec, 535 secs
lola: STP completed || 2 tries, 1748771 fired transitions, 540 secs || 576242 markings, 1288388 edges, 1269 markings/sec, 540 secs
lola: STP completed || 2 tries, 1757570 fired transitions, 545 secs || 582004 markings, 1302817 edges, 1152 markings/sec, 545 secs
lola: STP completed || 2 tries, 1766128 fired transitions, 550 secs || 588285 markings, 1317632 edges, 1256 markings/sec, 550 secs
lola: STP completed || 2 tries, 1774751 fired transitions, 555 secs || 595137 markings, 1331600 edges, 1370 markings/sec, 555 secs
lola: STP completed || 2 tries, 1783728 fired transitions, 560 secs || 602524 markings, 1345054 edges, 1477 markings/sec, 560 secs
lola: STP completed || 2 tries, 1793182 fired transitions, 565 secs || 608621 markings, 1359516 edges, 1219 markings/sec, 565 secs
lola: STP completed || 2 tries, 1802409 fired transitions, 570 secs || 614606 markings, 1373737 edges, 1197 markings/sec, 570 secs
lola: STP completed || 2 tries, 1811727 fired transitions, 575 secs || 620344 markings, 1386625 edges, 1148 markings/sec, 575 secs
lola: STP completed || 2 tries, 1821180 fired transitions, 580 secs || 626193 markings, 1400425 edges, 1170 markings/sec, 580 secs
lola: STP completed || 2 tries, 1831299 fired transitions, 585 secs || 632207 markings, 1414081 edges, 1203 markings/sec, 585 secs
lola: STP completed || 2 tries, 1840870 fired transitions, 590 secs || 638103 markings, 1428500 edges, 1179 markings/sec, 590 secs
lola: STP completed || 2 tries, 1850471 fired transitions, 595 secs || 644246 markings, 1443264 edges, 1229 markings/sec, 595 secs
lola: STP completed || 2 tries, 1859991 fired transitions, 600 secs || 651264 markings, 1457851 edges, 1404 markings/sec, 600 secs
lola: STP completed || 2 tries, 1869853 fired transitions, 605 secs || 657425 markings, 1472382 edges, 1232 markings/sec, 605 secs
lola: STP completed || 2 tries, 1879694 fired transitions, 610 secs || 663928 markings, 1487459 edges, 1301 markings/sec, 610 secs
lola: STP completed || 2 tries, 1889388 fired transitions, 615 secs || 670076 markings, 1502949 edges, 1230 markings/sec, 615 secs
lola: STP completed || 2 tries, 1899248 fired transitions, 620 secs || 677325 markings, 1517468 edges, 1450 markings/sec, 620 secs
lola: STP completed || 2 tries, 1909109 fired transitions, 625 secs || 683983 markings, 1532500 edges, 1332 markings/sec, 625 secs
lola: STP completed || 2 tries, 1918817 fired transitions, 630 secs || 690739 markings, 1547783 edges, 1351 markings/sec, 630 secs
lola: STP completed || 2 tries, 1928563 fired transitions, 635 secs || 697244 markings, 1562759 edges, 1301 markings/sec, 635 secs
lola: STP completed || 2 tries, 1938086 fired transitions, 640 secs || 704503 markings, 1577177 edges, 1452 markings/sec, 640 secs
lola: STP completed || 2 tries, 1947361 fired transitions, 645 secs || 711380 markings, 1592111 edges, 1375 markings/sec, 645 secs
lola: STP completed || 2 tries, 1956536 fired transitions, 650 secs || 717660 markings, 1607637 edges, 1256 markings/sec, 650 secs
lola: STP completed || 2 tries, 1965636 fired transitions, 655 secs || 724691 markings, 1622467 edges, 1406 markings/sec, 655 secs
lola: STP completed || 2 tries, 1974494 fired transitions, 660 secs || 731131 markings, 1637296 edges, 1288 markings/sec, 660 secs
lola: STP completed || 2 tries, 1983300 fired transitions, 665 secs || 737690 markings, 1651438 edges, 1312 markings/sec, 665 secs
lola: STP completed || 2 tries, 1992252 fired transitions, 670 secs || 744085 markings, 1665257 edges, 1279 markings/sec, 670 secs
lola: STP completed || 3 tries, 2018497 fired transitions, 675 secs || 750188 markings, 1679267 edges, 1221 markings/sec, 675 secs
lola: STP completed || 3 tries, 2087233 fired transitions, 680 secs || 756713 markings, 1693799 edges, 1305 markings/sec, 680 secs
lola: STP completed || 3 tries, 2123229 fired transitions, 685 secs || 761987 markings, 1704967 edges, 1055 markings/sec, 685 secs
lola: STP completed || 3 tries, 2152239 fired transitions, 690 secs || 765306 markings, 1712299 edges, 664 markings/sec, 690 secs
lola: STP completed || 3 tries, 2184510 fired transitions, 695 secs || 771295 markings, 1726834 edges, 1198 markings/sec, 695 secs
lola: STP completed || 3 tries, 2209693 fired transitions, 700 secs || 777748 markings, 1741723 edges, 1291 markings/sec, 700 secs
lola: STP completed || 3 tries, 2234870 fired transitions, 705 secs || 784023 markings, 1756643 edges, 1255 markings/sec, 705 secs
lola: STP completed || 3 tries, 2258810 fired transitions, 710 secs || 790293 markings, 1771466 edges, 1254 markings/sec, 710 secs
lola: STP completed || 3 tries, 2283527 fired transitions, 715 secs || 797134 markings, 1785628 edges, 1368 markings/sec, 715 secs
lola: STP completed || 3 tries, 2297041 fired transitions, 720 secs || 800131 markings, 1793259 edges, 599 markings/sec, 720 secs
lola: STP completed || 3 tries, 2321215 fired transitions, 725 secs || 806282 markings, 1807695 edges, 1230 markings/sec, 725 secs
lola: STP completed || 3 tries, 2345742 fired transitions, 730 secs || 811887 markings, 1820166 edges, 1121 markings/sec, 730 secs
lola: STP completed || 3 tries, 2374013 fired transitions, 735 secs || 818425 markings, 1834503 edges, 1308 markings/sec, 735 secs
lola: STP completed || 3 tries, 2399108 fired transitions, 740 secs || 824015 markings, 1846380 edges, 1118 markings/sec, 740 secs
lola: STP completed || 3 tries, 2413483 fired transitions, 745 secs || 827310 markings, 1853028 edges, 659 markings/sec, 745 secs
lola: STP completed || 3 tries, 2430410 fired transitions, 750 secs || 830213 markings, 1860440 edges, 581 markings/sec, 750 secs
lola: STP completed || 3 tries, 2454615 fired transitions, 755 secs || 836003 markings, 1874516 edges, 1158 markings/sec, 755 secs
lola: STP completed || 3 tries, 2477977 fired transitions, 760 secs || 842720 markings, 1889259 edges, 1343 markings/sec, 760 secs
lola: STP completed || 3 tries, 2500697 fired transitions, 765 secs || 849753 markings, 1903709 edges, 1407 markings/sec, 765 secs
lola: STP completed || 3 tries, 2521479 fired transitions, 770 secs || 857003 markings, 1917804 edges, 1450 markings/sec, 770 secs
lola: STP completed || 3 tries, 2541780 fired transitions, 775 secs || 863457 markings, 1932426 edges, 1291 markings/sec, 775 secs
lola: STP completed || 3 tries, 2559506 fired transitions, 780 secs || 867352 markings, 1941996 edges, 779 markings/sec, 780 secs
lola: STP completed || 3 tries, 2579516 fired transitions, 785 secs || 873608 markings, 1956260 edges, 1251 markings/sec, 785 secs
lola: STP completed || 3 tries, 2595375 fired transitions, 790 secs || 879515 markings, 1970812 edges, 1181 markings/sec, 790 secs
lola: STP completed || 3 tries, 2609145 fired transitions, 795 secs || 885445 markings, 1985669 edges, 1186 markings/sec, 795 secs
lola: STP completed || 3 tries, 2623275 fired transitions, 800 secs || 891686 markings, 2000479 edges, 1248 markings/sec, 800 secs
lola: STP completed || 3 tries, 2637338 fired transitions, 805 secs || 897682 markings, 2015324 edges, 1199 markings/sec, 805 secs
lola: STP completed || 3 tries, 2652332 fired transitions, 810 secs || 904249 markings, 2029670 edges, 1313 markings/sec, 810 secs
lola: STP completed || 3 tries, 2667658 fired transitions, 815 secs || 910360 markings, 2044710 edges, 1222 markings/sec, 815 secs
lola: STP completed || 3 tries, 2683962 fired transitions, 820 secs || 917058 markings, 2058829 edges, 1340 markings/sec, 820 secs
lola: STP completed || 3 tries, 2701688 fired transitions, 825 secs || 923093 markings, 2073121 edges, 1207 markings/sec, 825 secs
lola: STP completed || 3 tries, 2719844 fired transitions, 830 secs || 929045 markings, 2087837 edges, 1190 markings/sec, 830 secs
lola: STP completed || 3 tries, 2737344 fired transitions, 835 secs || 935412 markings, 2102203 edges, 1273 markings/sec, 835 secs
lola: STP completed || 3 tries, 2753151 fired transitions, 840 secs || 941140 markings, 2117019 edges, 1146 markings/sec, 840 secs
lola: STP completed || 3 tries, 2769131 fired transitions, 845 secs || 947206 markings, 2131819 edges, 1213 markings/sec, 845 secs
lola: STP completed || 3 tries, 2784992 fired transitions, 850 secs || 953757 markings, 2146426 edges, 1310 markings/sec, 850 secs
lola: STP completed || 3 tries, 2799989 fired transitions, 855 secs || 960474 markings, 2160639 edges, 1343 markings/sec, 855 secs
lola: STP completed || 3 tries, 2815808 fired transitions, 860 secs || 966286 markings, 2175229 edges, 1162 markings/sec, 860 secs
lola: STP completed || 3 tries, 2833005 fired transitions, 865 secs || 972266 markings, 2189974 edges, 1196 markings/sec, 865 secs
lola: STP completed || 3 tries, 2848878 fired transitions, 870 secs || 978247 markings, 2204759 edges, 1196 markings/sec, 870 secs
lola: STP completed || 3 tries, 2866018 fired transitions, 875 secs || 984883 markings, 2219505 edges, 1327 markings/sec, 875 secs
lola: STP completed || 3 tries, 2884062 fired transitions, 880 secs || 991283 markings, 2234182 edges, 1280 markings/sec, 880 secs
lola: STP completed || 3 tries, 2902105 fired transitions, 885 secs || 997242 markings, 2249563 edges, 1192 markings/sec, 885 secs
lola: STP completed || 3 tries, 2914632 fired transitions, 890 secs || 1001953 markings, 2258883 edges, 942 markings/sec, 890 secs
lola: STP completed || 3 tries, 2929933 fired transitions, 895 secs || 1008164 markings, 2270264 edges, 1242 markings/sec, 895 secs
lola: STP completed || 3 tries, 2944518 fired transitions, 900 secs || 1013477 markings, 2280923 edges, 1063 markings/sec, 900 secs
lola: STP completed || 3 tries, 2963355 fired transitions, 905 secs || 1020705 markings, 2294926 edges, 1446 markings/sec, 905 secs
lola: STP completed || 3 tries, 2981979 fired transitions, 910 secs || 1027395 markings, 2309437 edges, 1338 markings/sec, 910 secs
lola: STP completed || 4 tries, 3000195 fired transitions, 915 secs || 1034487 markings, 2324100 edges, 1418 markings/sec, 915 secs
lola: STP completed || 4 tries, 3079871 fired transitions, 920 secs || 1040259 markings, 2339697 edges, 1154 markings/sec, 920 secs
lola: STP completed || 4 tries, 3156361 fired transitions, 925 secs || 1046571 markings, 2354917 edges, 1262 markings/sec, 925 secs
lola: STP completed || 4 tries, 3398013 fired transitions, 930 secs || 1053191 markings, 2369958 edges, 1324 markings/sec, 930 secs
lola: STP completed || 4 tries, 3522556 fired transitions, 935 secs || 1059279 markings, 2384899 edges, 1218 markings/sec, 935 secs
lola: STP completed || 4 tries, 3720932 fired transitions, 940 secs || 1065061 markings, 2400232 edges, 1156 markings/sec, 940 secs
lola: STP completed || 4 tries, 3811058 fired transitions, 945 secs || 1071123 markings, 2415410 edges, 1212 markings/sec, 945 secs
lola: STP completed || 5 tries, 4007429 fired transitions, 950 secs || 1077493 markings, 2430532 edges, 1274 markings/sec, 950 secs
lola: STP completed || 5 tries, 4016564 fired transitions, 955 secs || 1083715 markings, 2444228 edges, 1244 markings/sec, 955 secs
lola: STP completed || 5 tries, 4022232 fired transitions, 960 secs || 1086879 markings, 2451550 edges, 633 markings/sec, 960 secs
lola: STP completed || 5 tries, 4031110 fired transitions, 965 secs || 1092499 markings, 2463822 edges, 1124 markings/sec, 965 secs
lola: STP completed || 5 tries, 4041831 fired transitions, 970 secs || 1099609 markings, 2477983 edges, 1422 markings/sec, 970 secs
lola: STP completed || 5 tries, 4047850 fired transitions, 975 secs || 1103343 markings, 2485511 edges, 747 markings/sec, 975 secs
lola: STP completed || 5 tries, 4059041 fired transitions, 980 secs || 1110170 markings, 2500239 edges, 1365 markings/sec, 980 secs
lola: STP completed || 5 tries, 4070176 fired transitions, 985 secs || 1117333 markings, 2514498 edges, 1433 markings/sec, 985 secs
lola: STP completed || 5 tries, 4081233 fired transitions, 990 secs || 1124047 markings, 2529142 edges, 1343 markings/sec, 990 secs
lola: STP completed || 5 tries, 4092685 fired transitions, 995 secs || 1129869 markings, 2544389 edges, 1164 markings/sec, 995 secs
lola: STP completed || 5 tries, 4104155 fired transitions, 1000 secs || 1135821 markings, 2559550 edges, 1190 markings/sec, 1000 secs
lola: STP completed || 5 tries, 4115852 fired transitions, 1005 secs || 1142632 markings, 2573742 edges, 1362 markings/sec, 1005 secs
lola: STP completed || 5 tries, 4127543 fired transitions, 1010 secs || 1149571 markings, 2587629 edges, 1388 markings/sec, 1010 secs
lola: STP completed || 5 tries, 4139332 fired transitions, 1015 secs || 1156089 markings, 2601960 edges, 1304 markings/sec, 1015 secs
lola: STP completed || 5 tries, 4151962 fired transitions, 1020 secs || 1160788 markings, 2614098 edges, 940 markings/sec, 1020 secs
lola: STP completed || 5 tries, 4169434 fired transitions, 1025 secs || 1167152 markings, 2629131 edges, 1273 markings/sec, 1025 secs
lola: STP completed || 5 tries, 4189813 fired transitions, 1030 secs || 1173156 markings, 2644771 edges, 1201 markings/sec, 1030 secs
lola: STP completed || 5 tries, 4221343 fired transitions, 1035 secs || 1179851 markings, 2659864 edges, 1339 markings/sec, 1035 secs
lola: STP completed || 5 tries, 4250661 fired transitions, 1040 secs || 1187080 markings, 2673688 edges, 1446 markings/sec, 1040 secs
lola: STP completed || 5 tries, 4277726 fired transitions, 1045 secs || 1193430 markings, 2687781 edges, 1270 markings/sec, 1045 secs
lola: STP completed || 5 tries, 4303681 fired transitions, 1050 secs || 1199085 markings, 2702709 edges, 1131 markings/sec, 1050 secs
lola: STP completed || 5 tries, 4328680 fired transitions, 1055 secs || 1205157 markings, 2717533 edges, 1214 markings/sec, 1055 secs
lola: STP completed || 5 tries, 4351147 fired transitions, 1060 secs || 1211222 markings, 2732484 edges, 1213 markings/sec, 1060 secs
lola: STP completed || 5 tries, 4370930 fired transitions, 1065 secs || 1216839 markings, 2747968 edges, 1123 markings/sec, 1065 secs
lola: STP completed || 5 tries, 4391289 fired transitions, 1070 secs || 1223041 markings, 2762921 edges, 1240 markings/sec, 1070 secs
lola: STP completed || 5 tries, 4411619 fired transitions, 1075 secs || 1229171 markings, 2778208 edges, 1226 markings/sec, 1075 secs
lola: STP completed || 5 tries, 4427882 fired transitions, 1080 secs || 1235065 markings, 2792483 edges, 1179 markings/sec, 1080 secs
lola: STP completed || 5 tries, 4442881 fired transitions, 1085 secs || 1241482 markings, 2807065 edges, 1283 markings/sec, 1085 secs
lola: STP completed || 5 tries, 4457282 fired transitions, 1090 secs || 1247782 markings, 2822258 edges, 1260 markings/sec, 1090 secs
lola: STP completed || 5 tries, 4471998 fired transitions, 1095 secs || 1253817 markings, 2837602 edges, 1207 markings/sec, 1095 secs
lola: STP completed || 5 tries, 4488457 fired transitions, 1100 secs || 1259657 markings, 2852720 edges, 1168 markings/sec, 1100 secs
lola: STP completed || 5 tries, 4505276 fired transitions, 1105 secs || 1266235 markings, 2867625 edges, 1316 markings/sec, 1105 secs
lola: STP completed || 5 tries, 4522331 fired transitions, 1110 secs || 1273130 markings, 2882155 edges, 1379 markings/sec, 1110 secs
lola: STP completed || 5 tries, 4538234 fired transitions, 1115 secs || 1279516 markings, 2897395 edges, 1277 markings/sec, 1115 secs
lola: STP completed || 5 tries, 4553221 fired transitions, 1120 secs || 1285646 markings, 2912902 edges, 1226 markings/sec, 1120 secs
lola: STP completed || 5 tries, 4568124 fired transitions, 1125 secs || 1291827 markings, 2928474 edges, 1236 markings/sec, 1125 secs
lola: STP completed || 5 tries, 4582946 fired transitions, 1130 secs || 1298125 markings, 2943910 edges, 1260 markings/sec, 1130 secs
lola: STP completed || 5 tries, 4599482 fired transitions, 1135 secs || 1304326 markings, 2959594 edges, 1240 markings/sec, 1135 secs
lola: STP completed || 5 tries, 4615554 fired transitions, 1140 secs || 1311525 markings, 2974091 edges, 1440 markings/sec, 1140 secs
lola: STP completed || 5 tries, 4632307 fired transitions, 1145 secs || 1317408 markings, 2989683 edges, 1177 markings/sec, 1145 secs
lola: STP completed || 5 tries, 4650284 fired transitions, 1150 secs || 1323877 markings, 3004916 edges, 1294 markings/sec, 1150 secs
lola: STP completed || 5 tries, 4668304 fired transitions, 1155 secs || 1330674 markings, 3019307 edges, 1359 markings/sec, 1155 secs
lola: STP completed || 5 tries, 4686568 fired transitions, 1160 secs || 1337940 markings, 3033588 edges, 1453 markings/sec, 1160 secs
lola: STP completed || 5 tries, 4706139 fired transitions, 1165 secs || 1345294 markings, 3048605 edges, 1471 markings/sec, 1165 secs
lola: STP completed || 5 tries, 4725977 fired transitions, 1170 secs || 1353458 markings, 3063016 edges, 1633 markings/sec, 1170 secs
lola: STP completed || 5 tries, 4748935 fired transitions, 1175 secs || 1359897 markings, 3078780 edges, 1288 markings/sec, 1175 secs
lola: STP completed || 5 tries, 4773322 fired transitions, 1180 secs || 1366014 markings, 3094399 edges, 1223 markings/sec, 1180 secs
lola: STP completed || 5 tries, 4797781 fired transitions, 1185 secs || 1372314 markings, 3110012 edges, 1260 markings/sec, 1185 secs
lola: STP completed || 5 tries, 4820432 fired transitions, 1190 secs || 1379269 markings, 3125135 edges, 1391 markings/sec, 1190 secs
lola: STP completed || 5 tries, 4844166 fired transitions, 1195 secs || 1386559 markings, 3139460 edges, 1458 markings/sec, 1195 secs
lola: STP completed || 5 tries, 4869120 fired transitions, 1200 secs || 1393955 markings, 3153186 edges, 1479 markings/sec, 1200 secs
lola: STP completed || 5 tries, 4893600 fired transitions, 1205 secs || 1401166 markings, 3167427 edges, 1442 markings/sec, 1205 secs
lola: STP completed || 5 tries, 4918831 fired transitions, 1210 secs || 1408473 markings, 3181555 edges, 1461 markings/sec, 1210 secs
lola: STP completed || 5 tries, 4942737 fired transitions, 1215 secs || 1415874 markings, 3195540 edges, 1480 markings/sec, 1215 secs
lola: STP completed || 5 tries, 4963018 fired transitions, 1220 secs || 1423143 markings, 3209512 edges, 1454 markings/sec, 1220 secs
lola: STP completed || 5 tries, 4982108 fired transitions, 1225 secs || 1430460 markings, 3223479 edges, 1463 markings/sec, 1225 secs
lola: STP completed || 6 tries, 5002342 fired transitions, 1230 secs || 1437383 markings, 3237901 edges, 1385 markings/sec, 1230 secs
lola: STP completed || 6 tries, 5083126 fired transitions, 1235 secs || 1444184 markings, 3253075 edges, 1360 markings/sec, 1235 secs
lola: STP completed || 6 tries, 5112689 fired transitions, 1240 secs || 1451041 markings, 3268081 edges, 1371 markings/sec, 1240 secs
lola: STP completed || 6 tries, 5140885 fired transitions, 1245 secs || 1457483 markings, 3283879 edges, 1288 markings/sec, 1245 secs
lola: STP completed || 6 tries, 5159207 fired transitions, 1250 secs || 1461632 markings, 3292328 edges, 830 markings/sec, 1250 secs
lola: STP completed || 6 tries, 5175555 fired transitions, 1255 secs || 1465124 markings, 3299987 edges, 698 markings/sec, 1255 secs
lola: STP completed || 6 tries, 5191235 fired transitions, 1260 secs || 1468221 markings, 3307580 edges, 619 markings/sec, 1260 secs
lola: STP completed || 6 tries, 5201796 fired transitions, 1265 secs || 1471886 markings, 3314212 edges, 733 markings/sec, 1265 secs
lola: STP completed || 6 tries, 5244639 fired transitions, 1270 secs || 1475525 markings, 3321341 edges, 728 markings/sec, 1270 secs
lola: STP completed || 6 tries, 5257832 fired transitions, 1275 secs || 1479383 markings, 3328414 edges, 772 markings/sec, 1275 secs
lola: STP completed || 6 tries, 5268505 fired transitions, 1280 secs || 1482821 markings, 3335544 edges, 688 markings/sec, 1280 secs
lola: STP completed || 6 tries, 5278805 fired transitions, 1285 secs || 1485720 markings, 3342475 edges, 580 markings/sec, 1285 secs
lola: STP completed || 6 tries, 5292430 fired transitions, 1290 secs || 1488644 markings, 3349956 edges, 585 markings/sec, 1290 secs
lola: STP completed || 6 tries, 5307544 fired transitions, 1295 secs || 1491803 markings, 3357615 edges, 632 markings/sec, 1295 secs
lola: STP completed || 6 tries, 5323338 fired transitions, 1300 secs || 1494640 markings, 3365430 edges, 567 markings/sec, 1300 secs
lola: STP completed || 6 tries, 5342729 fired transitions, 1305 secs || 1499457 markings, 3376773 edges, 963 markings/sec, 1305 secs
lola: STP completed || 6 tries, 5366463 fired transitions, 1310 secs || 1505585 markings, 3393100 edges, 1226 markings/sec, 1310 secs
lola: STP completed || 6 tries, 5391463 fired transitions, 1315 secs || 1511761 markings, 3409290 edges, 1235 markings/sec, 1315 secs
lola: STP completed || 6 tries, 5417768 fired transitions, 1320 secs || 1518159 markings, 3425412 edges, 1280 markings/sec, 1320 secs
lola: STP completed || 6 tries, 5445445 fired transitions, 1325 secs || 1525242 markings, 3440837 edges, 1417 markings/sec, 1325 secs
lola: STP completed || 6 tries, 5475374 fired transitions, 1330 secs || 1532182 markings, 3456566 edges, 1388 markings/sec, 1330 secs
lola: STP completed || 6 tries, 5502016 fired transitions, 1335 secs || 1539477 markings, 3471943 edges, 1459 markings/sec, 1335 secs
lola: STP completed || 6 tries, 5525133 fired transitions, 1340 secs || 1545508 markings, 3488896 edges, 1206 markings/sec, 1340 secs
lola: STP completed || 6 tries, 5547001 fired transitions, 1345 secs || 1553158 markings, 3504051 edges, 1530 markings/sec, 1345 secs
lola: STP completed || 6 tries, 5568882 fired transitions, 1350 secs || 1559186 markings, 3520599 edges, 1206 markings/sec, 1350 secs
lola: STP completed || 6 tries, 5592044 fired transitions, 1355 secs || 1566639 markings, 3535716 edges, 1491 markings/sec, 1355 secs
lola: STP completed || 6 tries, 5616003 fired transitions, 1360 secs || 1573396 markings, 3552007 edges, 1351 markings/sec, 1360 secs
lola: STP completed || 6 tries, 5638850 fired transitions, 1365 secs || 1581202 markings, 3566932 edges, 1561 markings/sec, 1365 secs
lola: STP completed || 6 tries, 5664636 fired transitions, 1370 secs || 1587623 markings, 3583066 edges, 1284 markings/sec, 1370 secs
lola: STP completed || 6 tries, 5691475 fired transitions, 1375 secs || 1594810 markings, 3598499 edges, 1437 markings/sec, 1375 secs
lola: STP completed || 6 tries, 5713870 fired transitions, 1380 secs || 1600733 markings, 3610004 edges, 1185 markings/sec, 1380 secs
lola: STP completed || 6 tries, 5730398 fired transitions, 1385 secs || 1604240 markings, 3617373 edges, 701 markings/sec, 1385 secs
lola: STP completed || 6 tries, 5752226 fired transitions, 1390 secs || 1608037 markings, 3624391 edges, 759 markings/sec, 1390 secs
lola: STP completed || 6 tries, 5784165 fired transitions, 1395 secs || 1611916 markings, 3631386 edges, 776 markings/sec, 1395 secs
lola: STP completed || 6 tries, 5836307 fired transitions, 1400 secs || 1615850 markings, 3638391 edges, 787 markings/sec, 1400 secs
lola: STP completed || 6 tries, 5858115 fired transitions, 1405 secs || 1619753 markings, 3645232 edges, 781 markings/sec, 1405 secs
lola: STP completed || 6 tries, 5879249 fired transitions, 1410 secs || 1623090 markings, 3653018 edges, 667 markings/sec, 1410 secs
lola: STP completed || 6 tries, 5897793 fired transitions, 1415 secs || 1626909 markings, 3660018 edges, 764 markings/sec, 1415 secs
lola: STP completed || 6 tries, 5915246 fired transitions, 1420 secs || 1630602 markings, 3667101 edges, 739 markings/sec, 1420 secs
lola: STP completed || 6 tries, 5935201 fired transitions, 1425 secs || 1634187 markings, 3674068 edges, 717 markings/sec, 1425 secs
lola: STP completed || 6 tries, 5952570 fired transitions, 1430 secs || 1637894 markings, 3680768 edges, 741 markings/sec, 1430 secs
lola: STP completed || 6 tries, 5974766 fired transitions, 1435 secs || 1641827 markings, 3687850 edges, 787 markings/sec, 1435 secs
lola: STP completed || 7 tries, 6017813 fired transitions, 1440 secs || 1648636 markings, 3700888 edges, 1362 markings/sec, 1440 secs
lola: STP completed || 7 tries, 6030487 fired transitions, 1445 secs || 1656243 markings, 3715442 edges, 1521 markings/sec, 1445 secs
lola: STP completed || 7 tries, 6094691 fired transitions, 1450 secs || 1663585 markings, 3730142 edges, 1468 markings/sec, 1450 secs
lola: STP completed || 7 tries, 6130566 fired transitions, 1455 secs || 1670075 markings, 3746212 edges, 1298 markings/sec, 1455 secs
lola: STP completed || 7 tries, 6163795 fired transitions, 1460 secs || 1676052 markings, 3763237 edges, 1195 markings/sec, 1460 secs
lola: STP completed || 7 tries, 6182107 fired transitions, 1465 secs || 1682346 markings, 3779138 edges, 1259 markings/sec, 1465 secs
lola: STP completed || 7 tries, 6201605 fired transitions, 1470 secs || 1688700 markings, 3796184 edges, 1271 markings/sec, 1470 secs
lola: STP completed || 7 tries, 6221820 fired transitions, 1475 secs || 1695700 markings, 3812444 edges, 1400 markings/sec, 1475 secs
lola: STP completed || 7 tries, 6241716 fired transitions, 1480 secs || 1702469 markings, 3827702 edges, 1354 markings/sec, 1480 secs
lola: STP completed || 7 tries, 6261864 fired transitions, 1485 secs || 1709087 markings, 3843314 edges, 1324 markings/sec, 1485 secs
lola: STP completed || 7 tries, 6284197 fired transitions, 1490 secs || 1715654 markings, 3859125 edges, 1313 markings/sec, 1490 secs
lola: STP completed || 7 tries, 6305184 fired transitions, 1495 secs || 1722086 markings, 3875449 edges, 1286 markings/sec, 1495 secs
lola: STP completed || 7 tries, 6325327 fired transitions, 1500 secs || 1728762 markings, 3891234 edges, 1335 markings/sec, 1500 secs
lola: STP completed || 7 tries, 6344978 fired transitions, 1505 secs || 1735574 markings, 3907264 edges, 1362 markings/sec, 1505 secs
lola: STP completed || 7 tries, 6364778 fired transitions, 1510 secs || 1742420 markings, 3923443 edges, 1369 markings/sec, 1510 secs
lola: STP completed || 7 tries, 6384398 fired transitions, 1515 secs || 1749208 markings, 3939946 edges, 1358 markings/sec, 1515 secs
lola: STP completed || 7 tries, 6405313 fired transitions, 1520 secs || 1756506 markings, 3956099 edges, 1460 markings/sec, 1520 secs
lola: STP completed || 7 tries, 6429174 fired transitions, 1525 secs || 1763252 markings, 3972273 edges, 1349 markings/sec, 1525 secs
lola: STP completed || 7 tries, 6453137 fired transitions, 1530 secs || 1769977 markings, 3988868 edges, 1345 markings/sec, 1530 secs
lola: STP completed || 7 tries, 6475468 fired transitions, 1535 secs || 1776339 markings, 4006366 edges, 1272 markings/sec, 1535 secs
lola: STP completed || 7 tries, 6498013 fired transitions, 1540 secs || 1782963 markings, 4023618 edges, 1325 markings/sec, 1540 secs
lola: STP completed || 7 tries, 6519721 fired transitions, 1545 secs || 1790254 markings, 4039439 edges, 1458 markings/sec, 1545 secs
lola: STP completed || 7 tries, 6541287 fired transitions, 1550 secs || 1797184 markings, 4054064 edges, 1386 markings/sec, 1550 secs
lola: STP completed || 7 tries, 6561953 fired transitions, 1555 secs || 1803409 markings, 4068507 edges, 1245 markings/sec, 1555 secs
lola: STP completed || 7 tries, 6582791 fired transitions, 1560 secs || 1810007 markings, 4084691 edges, 1320 markings/sec, 1560 secs
lola: STP completed || 7 tries, 6603755 fired transitions, 1565 secs || 1817772 markings, 4100474 edges, 1553 markings/sec, 1565 secs
lola: STP completed || 7 tries, 6625364 fired transitions, 1570 secs || 1825811 markings, 4116079 edges, 1608 markings/sec, 1570 secs
lola: STP completed || 7 tries, 6645771 fired transitions, 1575 secs || 1832385 markings, 4132220 edges, 1315 markings/sec, 1575 secs
lola: STP completed || 7 tries, 6665430 fired transitions, 1580 secs || 1838857 markings, 4148938 edges, 1294 markings/sec, 1580 secs
lola: STP completed || 7 tries, 6684378 fired transitions, 1585 secs || 1845753 markings, 4165739 edges, 1379 markings/sec, 1585 secs
lola: STP completed || 7 tries, 6703061 fired transitions, 1590 secs || 1853145 markings, 4182508 edges, 1478 markings/sec, 1590 secs
lola: STP completed || 7 tries, 6721899 fired transitions, 1595 secs || 1859851 markings, 4199547 edges, 1341 markings/sec, 1595 secs
lola: STP completed || 7 tries, 6741146 fired transitions, 1600 secs || 1866375 markings, 4217031 edges, 1305 markings/sec, 1600 secs
lola: STP completed || 7 tries, 6757863 fired transitions, 1605 secs || 1871633 markings, 4231081 edges, 1052 markings/sec, 1605 secs
lola: STP completed || 7 tries, 6775811 fired transitions, 1610 secs || 1878520 markings, 4245323 edges, 1377 markings/sec, 1610 secs
lola: STP completed || 7 tries, 6786965 fired transitions, 1615 secs || 1882347 markings, 4252928 edges, 765 markings/sec, 1615 secs
lola: STP completed || 7 tries, 6797589 fired transitions, 1620 secs || 1885829 markings, 4260607 edges, 696 markings/sec, 1620 secs
lola: STP completed || 7 tries, 6808640 fired transitions, 1625 secs || 1889532 markings, 4268016 edges, 741 markings/sec, 1625 secs
lola: STP completed || 7 tries, 6820643 fired transitions, 1630 secs || 1893447 markings, 4275564 edges, 783 markings/sec, 1630 secs
lola: STP completed || 7 tries, 6832517 fired transitions, 1635 secs || 1897418 markings, 4283006 edges, 794 markings/sec, 1635 secs
lola: STP completed || 7 tries, 6843692 fired transitions, 1640 secs || 1901048 markings, 4290636 edges, 726 markings/sec, 1640 secs
lola: STP completed || 7 tries, 6855092 fired transitions, 1645 secs || 1904568 markings, 4298781 edges, 704 markings/sec, 1645 secs
lola: STP completed || 7 tries, 6866329 fired transitions, 1650 secs || 1908296 markings, 4306677 edges, 746 markings/sec, 1650 secs
lola: STP completed || 7 tries, 6878039 fired transitions, 1655 secs || 1911795 markings, 4314989 edges, 700 markings/sec, 1655 secs
lola: STP completed || 7 tries, 6888995 fired transitions, 1660 secs || 1914992 markings, 4322593 edges, 639 markings/sec, 1660 secs
lola: STP completed || 7 tries, 6899882 fired transitions, 1665 secs || 1918172 markings, 4330619 edges, 636 markings/sec, 1665 secs
lola: STP completed || 7 tries, 6910774 fired transitions, 1670 secs || 1921824 markings, 4338237 edges, 730 markings/sec, 1670 secs
lola: STP completed || 7 tries, 6924309 fired transitions, 1675 secs || 1926562 markings, 4348959 edges, 948 markings/sec, 1675 secs
lola: STP completed || 7 tries, 6936089 fired transitions, 1680 secs || 1929860 markings, 4356979 edges, 660 markings/sec, 1680 secs
lola: STP completed || 7 tries, 6948658 fired transitions, 1685 secs || 1932929 markings, 4365683 edges, 614 markings/sec, 1685 secs
lola: STP completed || 7 tries, 6960590 fired transitions, 1690 secs || 1935825 markings, 4373847 edges, 579 markings/sec, 1690 secs
lola: STP completed || 7 tries, 6973286 fired transitions, 1695 secs || 1938962 markings, 4381842 edges, 627 markings/sec, 1695 secs
lola: STP completed || 7 tries, 6985473 fired transitions, 1700 secs || 1941947 markings, 4389821 edges, 597 markings/sec, 1700 secs
lola: STP completed || 7 tries, 6997122 fired transitions, 1705 secs || 1945159 markings, 4396962 edges, 642 markings/sec, 1705 secs
lola: STP completed || 8 tries, 7010558 fired transitions, 1710 secs || 1948747 markings, 4403841 edges, 718 markings/sec, 1710 secs
lola: STP completed || 8 tries, 7023064 fired transitions, 1715 secs || 1952508 markings, 4411009 edges, 752 markings/sec, 1715 secs
lola: STP completed || 8 tries, 7036414 fired transitions, 1720 secs || 1956413 markings, 4418197 edges, 781 markings/sec, 1720 secs
lola: STP completed || 8 tries, 7048683 fired transitions, 1725 secs || 1959353 markings, 4426114 edges, 588 markings/sec, 1725 secs
lola: STP completed || 8 tries, 7060873 fired transitions, 1730 secs || 1962996 markings, 4433859 edges, 729 markings/sec, 1730 secs
lola: STP completed || 8 tries, 7072113 fired transitions, 1735 secs || 1965962 markings, 4442394 edges, 593 markings/sec, 1735 secs
lola: STP completed || 8 tries, 7082166 fired transitions, 1740 secs || 1969816 markings, 4449815 edges, 771 markings/sec, 1740 secs
lola: STP completed || 8 tries, 7092154 fired transitions, 1745 secs || 1973918 markings, 4457456 edges, 820 markings/sec, 1745 secs
lola: STP completed || 8 tries, 7101294 fired transitions, 1750 secs || 1977622 markings, 4464440 edges, 741 markings/sec, 1750 secs
lola: STP completed || 8 tries, 7107844 fired transitions, 1755 secs || 1981301 markings, 4471898 edges, 736 markings/sec, 1755 secs
lola: STP completed || 8 tries, 7113362 fired transitions, 1760 secs || 1984345 markings, 4480204 edges, 609 markings/sec, 1760 secs
lola: STP completed || 8 tries, 7118909 fired transitions, 1765 secs || 1988142 markings, 4487518 edges, 759 markings/sec, 1765 secs
lola: STP completed || 8 tries, 7124817 fired transitions, 1770 secs || 1991947 markings, 4495291 edges, 761 markings/sec, 1770 secs
lola: STP completed || 8 tries, 7130861 fired transitions, 1775 secs || 1995138 markings, 4503950 edges, 638 markings/sec, 1775 secs
lola: STP completed || 8 tries, 7136947 fired transitions, 1780 secs || 1998463 markings, 4512325 edges, 665 markings/sec, 1780 secs
lola: STP completed || 8 tries, 7142968 fired transitions, 1785 secs || 2001458 markings, 4520714 edges, 599 markings/sec, 1785 secs
lola: STP completed || 8 tries, 7149135 fired transitions, 1790 secs || 2004561 markings, 4529237 edges, 621 markings/sec, 1790 secs
lola: STP completed || 8 tries, 7155754 fired transitions, 1795 secs || 2008234 markings, 4537555 edges, 735 markings/sec, 1795 secs
lola: STP completed || 8 tries, 7166612 fired transitions, 1800 secs || 2014208 markings, 4554182 edges, 1195 markings/sec, 1800 secs
lola: STP completed || 8 tries, 7177281 fired transitions, 1805 secs || 2021606 markings, 4569655 edges, 1480 markings/sec, 1805 secs
lola: STP completed || 8 tries, 7188325 fired transitions, 1810 secs || 2029899 markings, 4585012 edges, 1659 markings/sec, 1810 secs
lola: STP completed || 8 tries, 7199266 fired transitions, 1815 secs || 2037933 markings, 4601642 edges, 1607 markings/sec, 1815 secs
lola: STP completed || 8 tries, 7209890 fired transitions, 1820 secs || 2046393 markings, 4617997 edges, 1692 markings/sec, 1820 secs
lola: STP completed || 8 tries, 7220404 fired transitions, 1825 secs || 2054700 markings, 4634387 edges, 1661 markings/sec, 1825 secs
lola: STP completed || 8 tries, 7230962 fired transitions, 1830 secs || 2063233 markings, 4650684 edges, 1707 markings/sec, 1830 secs
lola: STP completed || 8 tries, 7241242 fired transitions, 1835 secs || 2071486 markings, 4666698 edges, 1651 markings/sec, 1835 secs
lola: STP completed || 8 tries, 7251585 fired transitions, 1840 secs || 2078373 markings, 4683982 edges, 1377 markings/sec, 1840 secs
lola: STP completed || 8 tries, 7261814 fired transitions, 1845 secs || 2085627 markings, 4701363 edges, 1451 markings/sec, 1845 secs
lola: STP completed || 8 tries, 7271974 fired transitions, 1850 secs || 2092758 markings, 4719350 edges, 1426 markings/sec, 1850 secs
lola: STP completed || 8 tries, 7282141 fired transitions, 1855 secs || 2099687 markings, 4737421 edges, 1386 markings/sec, 1855 secs
lola: STP completed || 8 tries, 7292296 fired transitions, 1860 secs || 2106854 markings, 4755001 edges, 1433 markings/sec, 1860 secs
lola: STP completed || 8 tries, 7302331 fired transitions, 1865 secs || 2113696 markings, 4773302 edges, 1368 markings/sec, 1865 secs
lola: STP completed || 8 tries, 7312458 fired transitions, 1870 secs || 2120808 markings, 4791360 edges, 1422 markings/sec, 1870 secs
lola: STP completed || 8 tries, 7322529 fired transitions, 1875 secs || 2128368 markings, 4809149 edges, 1512 markings/sec, 1875 secs
lola: STP completed || 8 tries, 7332370 fired transitions, 1880 secs || 2135541 markings, 4826960 edges, 1435 markings/sec, 1880 secs
lola: STP completed || 8 tries, 7342282 fired transitions, 1885 secs || 2142488 markings, 4845328 edges, 1389 markings/sec, 1885 secs
lola: STP completed || 8 tries, 7352464 fired transitions, 1890 secs || 2149689 markings, 4863328 edges, 1440 markings/sec, 1890 secs
lola: STP completed || 8 tries, 7363091 fired transitions, 1895 secs || 2157653 markings, 4880437 edges, 1593 markings/sec, 1895 secs
lola: STP completed || 8 tries, 7374193 fired transitions, 1900 secs || 2164465 markings, 4898813 edges, 1362 markings/sec, 1900 secs
lola: STP completed || 8 tries, 7385196 fired transitions, 1905 secs || 2172317 markings, 4915698 edges, 1570 markings/sec, 1905 secs
lola: STP completed || 8 tries, 7396179 fired transitions, 1910 secs || 2180741 markings, 4932034 edges, 1685 markings/sec, 1910 secs
lola: STP completed || 8 tries, 7407321 fired transitions, 1915 secs || 2188465 markings, 4949471 edges, 1545 markings/sec, 1915 secs
lola: STP completed || 8 tries, 7418637 fired transitions, 1920 secs || 2196841 markings, 4966134 edges, 1675 markings/sec, 1920 secs
lola: STP completed || 8 tries, 7429671 fired transitions, 1925 secs || 2203683 markings, 4983889 edges, 1368 markings/sec, 1925 secs
lola: STP completed || 8 tries, 7440560 fired transitions, 1930 secs || 2210442 markings, 5002479 edges, 1352 markings/sec, 1930 secs
lola: STP completed || 8 tries, 7451268 fired transitions, 1935 secs || 2217803 markings, 5020392 edges, 1472 markings/sec, 1935 secs
lola: STP completed || 8 tries, 7461759 fired transitions, 1940 secs || 2224638 markings, 5038817 edges, 1367 markings/sec, 1940 secs
lola: STP completed || 8 tries, 7470838 fired transitions, 1945 secs || 2230672 markings, 5055663 edges, 1207 markings/sec, 1945 secs
lola: STP completed || 8 tries, 7480697 fired transitions, 1950 secs || 2238486 markings, 5071960 edges, 1563 markings/sec, 1950 secs
lola: STP completed || 8 tries, 7490269 fired transitions, 1955 secs || 2247031 markings, 5088296 edges, 1709 markings/sec, 1955 secs
lola: STP completed || 8 tries, 7499973 fired transitions, 1960 secs || 2255496 markings, 5104771 edges, 1693 markings/sec, 1960 secs
lola: STP completed || 8 tries, 7507340 fired transitions, 1965 secs || 2261291 markings, 5115905 edges, 1159 markings/sec, 1965 secs
lola: STP completed || 8 tries, 7514876 fired transitions, 1970 secs || 2267096 markings, 5127139 edges, 1161 markings/sec, 1970 secs
lola: STP completed || 8 tries, 7524741 fired transitions, 1975 secs || 2275524 markings, 5143209 edges, 1686 markings/sec, 1975 secs
lola: STP completed || 8 tries, 7534780 fired transitions, 1980 secs || 2283628 markings, 5159700 edges, 1621 markings/sec, 1980 secs
lola: STP completed || 8 tries, 7541231 fired transitions, 1985 secs || 2286797 markings, 5169389 edges, 634 markings/sec, 1985 secs
lola: STP completed || 8 tries, 7547851 fired transitions, 1990 secs || 2290319 markings, 5178794 edges, 704 markings/sec, 1990 secs
lola: STP completed || 8 tries, 7554318 fired transitions, 1995 secs || 2294027 markings, 5187482 edges, 742 markings/sec, 1995 secs
lola: STP completed || 8 tries, 7560758 fired transitions, 2000 secs || 2298116 markings, 5195819 edges, 818 markings/sec, 2000 secs
lola: STP completed || 8 tries, 7567165 fired transitions, 2005 secs || 2302090 markings, 5204350 edges, 795 markings/sec, 2005 secs
lola: STP completed || 8 tries, 7573770 fired transitions, 2010 secs || 2306475 markings, 5212565 edges, 877 markings/sec, 2010 secs
lola: STP completed || 8 tries, 7580069 fired transitions, 2015 secs || 2310673 markings, 5220060 edges, 840 markings/sec, 2015 secs
lola: STP completed || 8 tries, 7586555 fired transitions, 2020 secs || 2314948 markings, 5228152 edges, 855 markings/sec, 2020 secs
lola: STP completed || 8 tries, 7593087 fired transitions, 2025 secs || 2318742 markings, 5237029 edges, 759 markings/sec, 2025 secs
lola: STP completed || 8 tries, 7599391 fired transitions, 2030 secs || 2322790 markings, 5245564 edges, 810 markings/sec, 2030 secs
lola: STP completed || 8 tries, 7605432 fired transitions, 2035 secs || 2327131 markings, 5253451 edges, 868 markings/sec, 2035 secs
lola: STP completed || 8 tries, 7611551 fired transitions, 2040 secs || 2331496 markings, 5261500 edges, 873 markings/sec, 2040 secs
lola: STP completed || 8 tries, 7617768 fired transitions, 2045 secs || 2335331 markings, 5270647 edges, 767 markings/sec, 2045 secs
lola: STP completed || 8 tries, 7623876 fired transitions, 2050 secs || 2338975 markings, 5279572 edges, 729 markings/sec, 2050 secs
lola: STP completed || 8 tries, 7633302 fired transitions, 2055 secs || 2346138 markings, 5293588 edges, 1433 markings/sec, 2055 secs
lola: STP completed || 8 tries, 7643449 fired transitions, 2060 secs || 2354390 markings, 5309889 edges, 1650 markings/sec, 2060 secs
lola: STP completed || 8 tries, 7653520 fired transitions, 2065 secs || 2361403 markings, 5327751 edges, 1403 markings/sec, 2065 secs
lola: STP completed || 8 tries, 7663655 fired transitions, 2070 secs || 2368192 markings, 5345011 edges, 1358 markings/sec, 2070 secs
lola: STP completed || 8 tries, 7673932 fired transitions, 2075 secs || 2375091 markings, 5362099 edges, 1380 markings/sec, 2075 secs
lola: STP completed || 8 tries, 7684353 fired transitions, 2080 secs || 2381646 markings, 5379729 edges, 1311 markings/sec, 2080 secs
lola: STP completed || 8 tries, 7694714 fired transitions, 2085 secs || 2388516 markings, 5397244 edges, 1374 markings/sec, 2085 secs
lola: STP completed || 8 tries, 7704766 fired transitions, 2090 secs || 2396042 markings, 5414449 edges, 1505 markings/sec, 2090 secs
lola: STP completed || 8 tries, 7714689 fired transitions, 2095 secs || 2402422 markings, 5432405 edges, 1276 markings/sec, 2095 secs
lola: STP completed || 8 tries, 7724405 fired transitions, 2100 secs || 2409177 markings, 5449893 edges, 1351 markings/sec, 2100 secs
lola: STP completed || 8 tries, 7734018 fired transitions, 2105 secs || 2415801 markings, 5467789 edges, 1325 markings/sec, 2105 secs
lola: STP completed || 8 tries, 7743721 fired transitions, 2110 secs || 2422780 markings, 5485297 edges, 1396 markings/sec, 2110 secs
lola: STP completed || 8 tries, 7753628 fired transitions, 2115 secs || 2429660 markings, 5503622 edges, 1376 markings/sec, 2115 secs
lola: STP completed || 8 tries, 7763575 fired transitions, 2120 secs || 2437190 markings, 5521308 edges, 1506 markings/sec, 2120 secs
lola: STP completed || 8 tries, 7773288 fired transitions, 2125 secs || 2444605 markings, 5538914 edges, 1483 markings/sec, 2125 secs
lola: STP completed || 8 tries, 7803726 fired transitions, 2130 secs || 2452922 markings, 5555737 edges, 1663 markings/sec, 2130 secs
lola: STP completed || 8 tries, 7831607 fired transitions, 2135 secs || 2461715 markings, 5571290 edges, 1759 markings/sec, 2135 secs
lola: STP completed || 8 tries, 7958531 fired transitions, 2140 secs || 2470368 markings, 5587934 edges, 1731 markings/sec, 2140 secs
lola: STP completed || 9 tries, 8015425 fired transitions, 2145 secs || 2478958 markings, 5604484 edges, 1718 markings/sec, 2145 secs
lola: STP completed || 9 tries, 8041902 fired transitions, 2150 secs || 2487052 markings, 5621711 edges, 1619 markings/sec, 2150 secs
lola: STP completed || 9 tries, 8062485 fired transitions, 2155 secs || 2494782 markings, 5638751 edges, 1546 markings/sec, 2155 secs
lola: STP completed || 9 tries, 8087630 fired transitions, 2160 secs || 2503403 markings, 5655082 edges, 1724 markings/sec, 2160 secs
lola: STP completed || 9 tries, 8112602 fired transitions, 2165 secs || 2511487 markings, 5672119 edges, 1617 markings/sec, 2165 secs
lola: STP completed || 9 tries, 8140978 fired transitions, 2170 secs || 2519554 markings, 5689363 edges, 1613 markings/sec, 2170 secs
lola: STP completed || 9 tries, 8171584 fired transitions, 2175 secs || 2527764 markings, 5706298 edges, 1642 markings/sec, 2175 secs
lola: STP completed || 9 tries, 8199530 fired transitions, 2180 secs || 2534639 markings, 5725341 edges, 1375 markings/sec, 2180 secs
lola: STP completed || 9 tries, 8228667 fired transitions, 2185 secs || 2541421 markings, 5744603 edges, 1356 markings/sec, 2185 secs
lola: STP completed || 9 tries, 8261770 fired transitions, 2190 secs || 2549850 markings, 5761264 edges, 1686 markings/sec, 2190 secs
lola: STP completed || 9 tries, 8296581 fired transitions, 2195 secs || 2558189 markings, 5778107 edges, 1668 markings/sec, 2195 secs
lola: STP completed || 9 tries, 8332152 fired transitions, 2200 secs || 2565554 markings, 5795778 edges, 1473 markings/sec, 2200 secs
lola: STP completed || 9 tries, 8366804 fired transitions, 2205 secs || 2573184 markings, 5813173 edges, 1526 markings/sec, 2205 secs
lola: STP completed || 9 tries, 8405107 fired transitions, 2210 secs || 2580107 markings, 5831170 edges, 1385 markings/sec, 2210 secs
lola: STP completed || 9 tries, 8434570 fired transitions, 2215 secs || 2588413 markings, 5848000 edges, 1661 markings/sec, 2215 secs
lola: STP completed || 9 tries, 8470263 fired transitions, 2220 secs || 2597518 markings, 5863769 edges, 1821 markings/sec, 2220 secs
lola: STP completed || 9 tries, 8510335 fired transitions, 2225 secs || 2606667 markings, 5879525 edges, 1830 markings/sec, 2225 secs
lola: STP completed || 9 tries, 8540863 fired transitions, 2230 secs || 2614257 markings, 5892542 edges, 1518 markings/sec, 2230 secs
lola: STP completed || 9 tries, 8577484 fired transitions, 2235 secs || 2621921 markings, 5905698 edges, 1533 markings/sec, 2235 secs
lola: STP completed || 9 tries, 8614225 fired transitions, 2240 secs || 2630929 markings, 5921318 edges, 1802 markings/sec, 2240 secs
lola: STP completed || 9 tries, 8643585 fired transitions, 2245 secs || 2637758 markings, 5933368 edges, 1366 markings/sec, 2245 secs
lola: STP completed || 9 tries, 8662512 fired transitions, 2250 secs || 2642269 markings, 5941045 edges, 902 markings/sec, 2250 secs
lola: STP completed || 9 tries, 8691599 fired transitions, 2255 secs || 2650085 markings, 5954529 edges, 1563 markings/sec, 2255 secs
lola: STP completed || 9 tries, 8753120 fired transitions, 2260 secs || 2659107 markings, 5970107 edges, 1804 markings/sec, 2260 secs
lola: STP completed || 9 tries, 8777747 fired transitions, 2265 secs || 2666190 markings, 5982243 edges, 1417 markings/sec, 2265 secs
lola: STP completed || 9 tries, 8794228 fired transitions, 2270 secs || 2670602 markings, 5990127 edges, 882 markings/sec, 2270 secs
lola: STP completed || 9 tries, 8810682 fired transitions, 2275 secs || 2675091 markings, 5998124 edges, 898 markings/sec, 2275 secs
lola: STP completed || 9 tries, 8827513 fired transitions, 2280 secs || 2679594 markings, 6005943 edges, 901 markings/sec, 2280 secs
lola: STP completed || 9 tries, 8845186 fired transitions, 2285 secs || 2685636 markings, 6016496 edges, 1208 markings/sec, 2285 secs
lola: STP completed || 9 tries, 8858680 fired transitions, 2290 secs || 2689841 markings, 6023970 edges, 841 markings/sec, 2290 secs
lola: STP completed || 9 tries, 8873615 fired transitions, 2295 secs || 2694144 markings, 6031496 edges, 861 markings/sec, 2295 secs
lola: STP completed || 9 tries, 8887471 fired transitions, 2300 secs || 2698506 markings, 6038938 edges, 872 markings/sec, 2300 secs
lola: STP completed || 9 tries, 8901020 fired transitions, 2305 secs || 2702823 markings, 6046335 edges, 863 markings/sec, 2305 secs
lola: STP completed || 9 tries, 8915509 fired transitions, 2310 secs || 2707220 markings, 6053949 edges, 879 markings/sec, 2310 secs
lola: STP completed || 9 tries, 8930136 fired transitions, 2315 secs || 2711517 markings, 6061392 edges, 859 markings/sec, 2315 secs
lola: STP completed || 9 tries, 8945647 fired transitions, 2320 secs || 2715828 markings, 6068970 edges, 862 markings/sec, 2320 secs
lola: STP completed || 9 tries, 8981023 fired transitions, 2325 secs || 2720182 markings, 6076539 edges, 871 markings/sec, 2325 secs
lola: STP completed || 10 tries, 9000453 fired transitions, 2330 secs || 2724638 markings, 6084162 edges, 891 markings/sec, 2330 secs
lola: STP completed || 10 tries, 9014153 fired transitions, 2335 secs || 2729024 markings, 6091715 edges, 877 markings/sec, 2335 secs
lola: STP completed || 10 tries, 9024191 fired transitions, 2340 secs || 2733497 markings, 6099464 edges, 895 markings/sec, 2340 secs
lola: STP completed || 10 tries, 9033641 fired transitions, 2345 secs || 2737731 markings, 6106870 edges, 847 markings/sec, 2345 secs
lola: STP completed || 10 tries, 9043174 fired transitions, 2350 secs || 2741926 markings, 6114126 edges, 839 markings/sec, 2350 secs
lola: STP completed || 10 tries, 9052825 fired transitions, 2355 secs || 2746280 markings, 6121565 edges, 871 markings/sec, 2355 secs
lola: STP completed || 10 tries, 9062607 fired transitions, 2360 secs || 2750703 markings, 6129318 edges, 885 markings/sec, 2360 secs
lola: STP completed || 10 tries, 9072046 fired transitions, 2365 secs || 2754953 markings, 6136892 edges, 850 markings/sec, 2365 secs
lola: STP completed || 10 tries, 9081396 fired transitions, 2370 secs || 2759335 markings, 6144676 edges, 876 markings/sec, 2370 secs
lola: STP completed || 10 tries, 9090633 fired transitions, 2375 secs || 2763753 markings, 6152531 edges, 884 markings/sec, 2375 secs
lola: STP completed || 10 tries, 9099984 fired transitions, 2380 secs || 2768149 markings, 6160119 edges, 879 markings/sec, 2380 secs
lola: STP completed || 10 tries, 9110894 fired transitions, 2385 secs || 2773893 markings, 6169956 edges, 1149 markings/sec, 2385 secs
lola: STP completed || 10 tries, 9127082 fired transitions, 2390 secs || 2782831 markings, 6185419 edges, 1788 markings/sec, 2390 secs
lola: STP completed || 10 tries, 9143476 fired transitions, 2395 secs || 2791915 markings, 6201194 edges, 1817 markings/sec, 2395 secs
lola: STP completed || 10 tries, 9159825 fired transitions, 2400 secs || 2800921 markings, 6216981 edges, 1801 markings/sec, 2400 secs
lola: STP completed || 10 tries, 9175670 fired transitions, 2405 secs || 2810009 markings, 6232951 edges, 1818 markings/sec, 2405 secs
lola: STP completed || 10 tries, 9190820 fired transitions, 2410 secs || 2819147 markings, 6248704 edges, 1828 markings/sec, 2410 secs
lola: STP completed || 10 tries, 9205372 fired transitions, 2415 secs || 2828248 markings, 6264395 edges, 1820 markings/sec, 2415 secs
lola: STP completed || 10 tries, 9220038 fired transitions, 2420 secs || 2837257 markings, 6280172 edges, 1802 markings/sec, 2420 secs
lola: STP completed || 10 tries, 9234535 fired transitions, 2425 secs || 2846392 markings, 6295857 edges, 1827 markings/sec, 2425 secs
lola: STP completed || 10 tries, 9249101 fired transitions, 2430 secs || 2855300 markings, 6311117 edges, 1782 markings/sec, 2430 secs
lola: STP completed || 10 tries, 9263931 fired transitions, 2435 secs || 2864396 markings, 6326773 edges, 1819 markings/sec, 2435 secs
lola: STP completed || 10 tries, 9278817 fired transitions, 2440 secs || 2873495 markings, 6342504 edges, 1820 markings/sec, 2440 secs
lola: STP completed || 10 tries, 9293669 fired transitions, 2445 secs || 2882565 markings, 6358309 edges, 1814 markings/sec, 2445 secs
lola: STP completed || 10 tries, 9308493 fired transitions, 2450 secs || 2891674 markings, 6374072 edges, 1822 markings/sec, 2450 secs
lola: STP completed || 10 tries, 9322905 fired transitions, 2455 secs || 2900652 markings, 6389603 edges, 1796 markings/sec, 2455 secs
lola: STP completed || 10 tries, 9336072 fired transitions, 2460 secs || 2909669 markings, 6405322 edges, 1803 markings/sec, 2460 secs
lola: STP completed || 10 tries, 9344393 fired transitions, 2465 secs || 2914401 markings, 6413558 edges, 946 markings/sec, 2465 secs
lola: STP completed || 10 tries, 9352695 fired transitions, 2470 secs || 2918843 markings, 6421371 edges, 888 markings/sec, 2470 secs
lola: STP completed || 10 tries, 9360991 fired transitions, 2475 secs || 2923176 markings, 6429004 edges, 867 markings/sec, 2475 secs
lola: STP completed || 10 tries, 9369327 fired transitions, 2480 secs || 2927583 markings, 6436831 edges, 881 markings/sec, 2480 secs
lola: STP completed || 10 tries, 9377211 fired transitions, 2485 secs || 2931903 markings, 6444482 edges, 864 markings/sec, 2485 secs
lola: STP completed || 10 tries, 9384745 fired transitions, 2490 secs || 2936037 markings, 6451800 edges, 827 markings/sec, 2490 secs
lola: STP completed || 10 tries, 9396661 fired transitions, 2495 secs || 2943207 markings, 6464424 edges, 1434 markings/sec, 2495 secs
lola: STP completed || 10 tries, 9410919 fired transitions, 2500 secs || 2952144 markings, 6480145 edges, 1787 markings/sec, 2500 secs
lola: STP completed || 10 tries, 9424602 fired transitions, 2505 secs || 2961160 markings, 6495654 edges, 1803 markings/sec, 2505 secs
lola: STP completed || 10 tries, 9438275 fired transitions, 2510 secs || 2970075 markings, 6511423 edges, 1783 markings/sec, 2510 secs
lola: STP completed || 10 tries, 9446348 fired transitions, 2515 secs || 2974547 markings, 6519309 edges, 894 markings/sec, 2515 secs
lola: STP completed || 10 tries, 9453986 fired transitions, 2520 secs || 2978713 markings, 6526522 edges, 833 markings/sec, 2520 secs
lola: STP completed || 10 tries, 9461763 fired transitions, 2525 secs || 2982773 markings, 6533735 edges, 812 markings/sec, 2525 secs
lola: STP completed || 10 tries, 9469317 fired transitions, 2530 secs || 2986676 markings, 6540829 edges, 781 markings/sec, 2530 secs
lola: STP completed || 10 tries, 9476794 fired transitions, 2535 secs || 2990655 markings, 6547984 edges, 796 markings/sec, 2535 secs
lola: STP completed || 10 tries, 9484459 fired transitions, 2540 secs || 2994676 markings, 6555480 edges, 804 markings/sec, 2540 secs
lola: STP completed || 10 tries, 9491599 fired transitions, 2545 secs || 2998667 markings, 6562643 edges, 798 markings/sec, 2545 secs
lola: STP completed || 10 tries, 9499580 fired transitions, 2550 secs || 3003703 markings, 6571496 edges, 1007 markings/sec, 2550 secs
lola: STP completed || 10 tries, 9511641 fired transitions, 2555 secs || 3012118 markings, 6587408 edges, 1683 markings/sec, 2555 secs
lola: STP completed || 10 tries, 9523781 fired transitions, 2560 secs || 3020615 markings, 6603557 edges, 1699 markings/sec, 2560 secs
lola: STP completed || 10 tries, 9536155 fired transitions, 2565 secs || 3027646 markings, 6621391 edges, 1406 markings/sec, 2565 secs
lola: STP completed || 10 tries, 9548702 fired transitions, 2570 secs || 3036000 markings, 6637895 edges, 1671 markings/sec, 2570 secs
lola: STP completed || 10 tries, 9561251 fired transitions, 2575 secs || 3044194 markings, 6654721 edges, 1639 markings/sec, 2575 secs
lola: STP completed || 10 tries, 9573847 fired transitions, 2580 secs || 3052812 markings, 6670999 edges, 1724 markings/sec, 2580 secs
lola: STP completed || 10 tries, 9586686 fired transitions, 2585 secs || 3060539 markings, 6688469 edges, 1545 markings/sec, 2585 secs
lola: STP completed || 10 tries, 9599425 fired transitions, 2590 secs || 3068475 markings, 6705905 edges, 1587 markings/sec, 2590 secs
lola: STP completed || 10 tries, 9612190 fired transitions, 2595 secs || 3075397 markings, 6724148 edges, 1384 markings/sec, 2595 secs
lola: STP completed || 10 tries, 9625035 fired transitions, 2600 secs || 3082605 markings, 6742368 edges, 1442 markings/sec, 2600 secs
lola: STP completed || 10 tries, 9637714 fired transitions, 2605 secs || 3089684 markings, 6760735 edges, 1416 markings/sec, 2605 secs
lola: STP completed || 10 tries, 9650682 fired transitions, 2610 secs || 3096665 markings, 6779269 edges, 1396 markings/sec, 2610 secs
lola: STP completed || 10 tries, 9663423 fired transitions, 2615 secs || 3103428 markings, 6798169 edges, 1353 markings/sec, 2615 secs
lola: STP completed || 10 tries, 9676265 fired transitions, 2620 secs || 3110302 markings, 6817149 edges, 1375 markings/sec, 2620 secs
lola: STP completed || 10 tries, 9689248 fired transitions, 2625 secs || 3117638 markings, 6835528 edges, 1467 markings/sec, 2625 secs
lola: STP completed || 10 tries, 9702834 fired transitions, 2630 secs || 3125327 markings, 6853488 edges, 1538 markings/sec, 2630 secs
lola: STP completed || 10 tries, 9717058 fired transitions, 2635 secs || 3133580 markings, 6870536 edges, 1651 markings/sec, 2635 secs
lola: STP completed || 10 tries, 9730982 fired transitions, 2640 secs || 3142184 markings, 6886942 edges, 1721 markings/sec, 2640 secs
lola: STP completed || 10 tries, 9744871 fired transitions, 2645 secs || 3150622 markings, 6903622 edges, 1688 markings/sec, 2645 secs
lola: STP completed || 10 tries, 9757792 fired transitions, 2650 secs || 3159592 markings, 6919520 edges, 1794 markings/sec, 2650 secs
lola: STP completed || 10 tries, 9771169 fired transitions, 2655 secs || 3166958 markings, 6937672 edges, 1473 markings/sec, 2655 secs
lola: STP completed || 10 tries, 9785224 fired transitions, 2660 secs || 3174816 markings, 6955382 edges, 1572 markings/sec, 2660 secs
lola: STP completed || 10 tries, 9798445 fired transitions, 2665 secs || 3181743 markings, 6972705 edges, 1385 markings/sec, 2665 secs
lola: STP completed || 10 tries, 9811220 fired transitions, 2670 secs || 3189015 markings, 6990119 edges, 1454 markings/sec, 2670 secs
lola: STP completed || 10 tries, 9823979 fired transitions, 2675 secs || 3195935 markings, 7007469 edges, 1384 markings/sec, 2675 secs
lola: STP completed || 10 tries, 9836800 fired transitions, 2680 secs || 3202709 markings, 7025949 edges, 1355 markings/sec, 2680 secs
lola: STP completed || 10 tries, 9849556 fired transitions, 2685 secs || 3209572 markings, 7044431 edges, 1373 markings/sec, 2685 secs
lola: STP completed || 10 tries, 9862322 fired transitions, 2690 secs || 3217457 markings, 7061590 edges, 1577 markings/sec, 2690 secs
lola: STP completed || 10 tries, 9874837 fired transitions, 2695 secs || 3224967 markings, 7078997 edges, 1502 markings/sec, 2695 secs
lola: STP completed || 10 tries, 9887593 fired transitions, 2700 secs || 3231885 markings, 7097188 edges, 1384 markings/sec, 2700 secs
lola: STP completed || 10 tries, 9900501 fired transitions, 2705 secs || 3238545 markings, 7115358 edges, 1332 markings/sec, 2705 secs
lola: STP completed || 10 tries, 9907978 fired transitions, 2710 secs || 3241843 markings, 7124000 edges, 660 markings/sec, 2710 secs
lola: STP completed || 10 tries, 9915431 fired transitions, 2715 secs || 3245360 markings, 7132532 edges, 703 markings/sec, 2715 secs
lola: STP completed || 10 tries, 9922868 fired transitions, 2720 secs || 3248517 markings, 7141562 edges, 631 markings/sec, 2720 secs
lola: STP completed || 10 tries, 9930415 fired transitions, 2725 secs || 3251999 markings, 7150119 edges, 696 markings/sec, 2725 secs
lola: STP completed || 10 tries, 9938079 fired transitions, 2730 secs || 3255192 markings, 7159365 edges, 639 markings/sec, 2730 secs
lola: STP completed || 10 tries, 9945840 fired transitions, 2735 secs || 3258814 markings, 7168197 edges, 724 markings/sec, 2735 secs
lola: STP completed || 10 tries, 9953495 fired transitions, 2740 secs || 3262599 markings, 7176599 edges, 757 markings/sec, 2740 secs
lola: STP completed || 10 tries, 9961124 fired transitions, 2745 secs || 3266493 markings, 7184779 edges, 779 markings/sec, 2745 secs
lola: STP completed || 10 tries, 9968778 fired transitions, 2750 secs || 3270026 markings, 7193334 edges, 707 markings/sec, 2750 secs
lola: STP completed || 10 tries, 9976263 fired transitions, 2755 secs || 3273685 markings, 7201679 edges, 732 markings/sec, 2755 secs
lola: STP completed || 10 tries, 9983850 fired transitions, 2760 secs || 3277547 markings, 7209488 edges, 772 markings/sec, 2760 secs
lola: STP completed || 10 tries, 9991442 fired transitions, 2765 secs || 3281507 markings, 7217099 edges, 792 markings/sec, 2765 secs
lola: STP completed || 10 tries, 9998934 fired transitions, 2770 secs || 3284758 markings, 7225744 edges, 650 markings/sec, 2770 secs
lola: STP completed || 11 tries, 10007357 fired transitions, 2775 secs || 3288066 markings, 7234295 edges, 662 markings/sec, 2775 secs
lola: STP completed || 11 tries, 10013779 fired transitions, 2780 secs || 3291520 markings, 7242465 edges, 691 markings/sec, 2780 secs
lola: STP completed || 11 tries, 10020404 fired transitions, 2785 secs || 3294917 markings, 7251045 edges, 679 markings/sec, 2785 secs
lola: STP completed || 11 tries, 10026940 fired transitions, 2790 secs || 3298324 markings, 7259442 edges, 681 markings/sec, 2790 secs
lola: STP completed || 11 tries, 10033795 fired transitions, 2795 secs || 3301564 markings, 7268143 edges, 648 markings/sec, 2795 secs
lola: STP completed || 11 tries, 10040604 fired transitions, 2800 secs || 3304653 markings, 7276695 edges, 618 markings/sec, 2800 secs
lola: STP completed || 11 tries, 10047740 fired transitions, 2805 secs || 3307931 markings, 7285557 edges, 656 markings/sec, 2805 secs
lola: STP completed || 11 tries, 10056470 fired transitions, 2810 secs || 3310986 markings, 7294376 edges, 611 markings/sec, 2810 secs
lola: STP completed || 11 tries, 10066513 fired transitions, 2815 secs || 3314565 markings, 7302730 edges, 716 markings/sec, 2815 secs
lola: STP completed || 11 tries, 10076420 fired transitions, 2820 secs || 3317580 markings, 7311190 edges, 603 markings/sec, 2820 secs
lola: STP completed || 11 tries, 10086784 fired transitions, 2825 secs || 3320868 markings, 7319461 edges, 658 markings/sec, 2825 secs
lola: STP completed || 11 tries, 10097028 fired transitions, 2830 secs || 3324302 markings, 7327509 edges, 687 markings/sec, 2830 secs
lola: STP completed || 11 tries, 10106874 fired transitions, 2835 secs || 3327323 markings, 7336289 edges, 604 markings/sec, 2835 secs
lola: STP completed || 11 tries, 10116010 fired transitions, 2840 secs || 3330640 markings, 7345018 edges, 663 markings/sec, 2840 secs
lola: STP completed || 11 tries, 10124598 fired transitions, 2845 secs || 3333704 markings, 7353689 edges, 613 markings/sec, 2845 secs
lola: STP completed || 11 tries, 10133610 fired transitions, 2850 secs || 3336751 markings, 7361745 edges, 609 markings/sec, 2850 secs
lola: STP completed || 11 tries, 10143486 fired transitions, 2855 secs || 3340338 markings, 7369606 edges, 717 markings/sec, 2855 secs
lola: STP completed || 11 tries, 10153803 fired transitions, 2860 secs || 3344008 markings, 7377467 edges, 734 markings/sec, 2860 secs
lola: STP completed || 11 tries, 10163891 fired transitions, 2865 secs || 3347104 markings, 7385042 edges, 619 markings/sec, 2865 secs
lola: STP completed || 11 tries, 10210366 fired transitions, 2870 secs || 3349836 markings, 7393269 edges, 546 markings/sec, 2870 secs
lola: STP completed || 11 tries, 10218562 fired transitions, 2875 secs || 3353009 markings, 7401459 edges, 635 markings/sec, 2875 secs
lola: STP completed || 11 tries, 10225108 fired transitions, 2880 secs || 3356984 markings, 7408911 edges, 795 markings/sec, 2880 secs
lola: STP completed || 11 tries, 10232110 fired transitions, 2885 secs || 3360985 markings, 7416029 edges, 800 markings/sec, 2885 secs
lola: STP completed || 11 tries, 10239016 fired transitions, 2890 secs || 3364662 markings, 7424030 edges, 735 markings/sec, 2890 secs
lola: STP completed || 11 tries, 10253861 fired transitions, 2895 secs || 3367659 markings, 7432480 edges, 599 markings/sec, 2895 secs
lola: STP completed || 11 tries, 10280686 fired transitions, 2900 secs || 3370597 markings, 7441152 edges, 588 markings/sec, 2900 secs
lola: STP completed || 11 tries, 10293755 fired transitions, 2905 secs || 3373691 markings, 7449428 edges, 619 markings/sec, 2905 secs
lola: STP completed || 11 tries, 10308737 fired transitions, 2910 secs || 3376745 markings, 7457891 edges, 611 markings/sec, 2910 secs
lola: STP completed || 11 tries, 10319842 fired transitions, 2915 secs || 3379855 markings, 7466365 edges, 622 markings/sec, 2915 secs
lola: STP completed || 11 tries, 10331067 fired transitions, 2920 secs || 3382939 markings, 7474933 edges, 617 markings/sec, 2920 secs
lola: STP completed || 11 tries, 10342473 fired transitions, 2925 secs || 3386239 markings, 7483358 edges, 660 markings/sec, 2925 secs
lola: STP completed || 11 tries, 10353658 fired transitions, 2930 secs || 3390093 markings, 7491120 edges, 771 markings/sec, 2930 secs
lola: STP completed || 11 tries, 10364646 fired transitions, 2935 secs || 3394049 markings, 7498493 edges, 791 markings/sec, 2935 secs
lola: STP completed || 11 tries, 10375869 fired transitions, 2940 secs || 3398187 markings, 7505853 edges, 828 markings/sec, 2940 secs
lola: STP completed || 11 tries, 10387564 fired transitions, 2945 secs || 3402112 markings, 7514031 edges, 785 markings/sec, 2945 secs
lola: STP completed || 11 tries, 10398872 fired transitions, 2950 secs || 3406406 markings, 7521408 edges, 859 markings/sec, 2950 secs
lola: STP completed || 11 tries, 10405488 fired transitions, 2955 secs || 3410547 markings, 7528837 edges, 828 markings/sec, 2955 secs
lola: STP completed || 11 tries, 10411599 fired transitions, 2960 secs || 3414651 markings, 7536432 edges, 821 markings/sec, 2960 secs
lola: STP completed || 11 tries, 10418352 fired transitions, 2965 secs || 3418653 markings, 7543942 edges, 800 markings/sec, 2965 secs
lola: STP completed || 11 tries, 10424309 fired transitions, 2970 secs || 3422614 markings, 7551069 edges, 792 markings/sec, 2970 secs
lola: STP completed || 11 tries, 10430210 fired transitions, 2975 secs || 3426479 markings, 7558422 edges, 773 markings/sec, 2975 secs
lola: STP completed || 11 tries, 10435957 fired transitions, 2980 secs || 3429624 markings, 7566604 edges, 629 markings/sec, 2980 secs
lola: STP completed || 11 tries, 10442061 fired transitions, 2985 secs || 3432844 markings, 7575754 edges, 644 markings/sec, 2985 secs
lola: STP completed || 11 tries, 10447854 fired transitions, 2990 secs || 3435597 markings, 7584783 edges, 551 markings/sec, 2990 secs
lola: STP completed || 11 tries, 10454241 fired transitions, 2995 secs || 3439596 markings, 7593004 edges, 800 markings/sec, 2995 secs
lola: STP completed || 11 tries, 10460687 fired transitions, 3000 secs || 3443959 markings, 7600810 edges, 873 markings/sec, 3000 secs
lola: STP completed || 11 tries, 10467195 fired transitions, 3005 secs || 3447896 markings, 7608840 edges, 787 markings/sec, 3005 secs
lola: STP completed || 11 tries, 10473709 fired transitions, 3010 secs || 3451819 markings, 7616916 edges, 785 markings/sec, 3010 secs
lola: STP completed || 11 tries, 10480337 fired transitions, 3015 secs || 3455928 markings, 7624891 edges, 822 markings/sec, 3015 secs
lola: STP completed || 11 tries, 10486780 fired transitions, 3020 secs || 3460122 markings, 7632797 edges, 839 markings/sec, 3020 secs
lola: STP completed || 11 tries, 10493200 fired transitions, 3025 secs || 3464290 markings, 7640567 edges, 834 markings/sec, 3025 secs
lola: STP completed || 11 tries, 10499581 fired transitions, 3030 secs || 3468062 markings, 7648919 edges, 754 markings/sec, 3030 secs
lola: STP completed || 11 tries, 10505986 fired transitions, 3035 secs || 3471948 markings, 7657214 edges, 777 markings/sec, 3035 secs
lola: STP completed || 11 tries, 10512145 fired transitions, 3040 secs || 3475770 markings, 7665200 edges, 764 markings/sec, 3040 secs
lola: STP completed || 11 tries, 10518639 fired transitions, 3045 secs || 3479813 markings, 7673525 edges, 809 markings/sec, 3045 secs
lola: STP completed || 11 tries, 10525430 fired transitions, 3050 secs || 3483804 markings, 7682082 edges, 798 markings/sec, 3050 secs
lola: STP completed || 11 tries, 10532147 fired transitions, 3055 secs || 3487960 markings, 7690327 edges, 831 markings/sec, 3055 secs
lola: STP completed || 11 tries, 10538545 fired transitions, 3060 secs || 3490980 markings, 7699611 edges, 604 markings/sec, 3060 secs
lola: STP completed || 11 tries, 10544882 fired transitions, 3065 secs || 3494879 markings, 7707839 edges, 780 markings/sec, 3065 secs
lola: STP completed || 11 tries, 10551256 fired transitions, 3070 secs || 3499128 markings, 7715586 edges, 850 markings/sec, 3070 secs
lola: STP completed || 11 tries, 10557897 fired transitions, 3075 secs || 3502768 markings, 7724574 edges, 728 markings/sec, 3075 secs
lola: STP completed || 11 tries, 10564458 fired transitions, 3080 secs || 3506625 markings, 7732993 edges, 771 markings/sec, 3080 secs
lola: STP completed || 11 tries, 10570908 fired transitions, 3085 secs || 3510728 markings, 7741145 edges, 821 markings/sec, 3085 secs
lola: STP completed || 11 tries, 10577123 fired transitions, 3090 secs || 3515044 markings, 7749133 edges, 863 markings/sec, 3090 secs
lola: STP completed || 11 tries, 10587257 fired transitions, 3095 secs || 3522481 markings, 7762093 edges, 1487 markings/sec, 3095 secs
lola: STP completed || 11 tries, 10598015 fired transitions, 3100 secs || 3530857 markings, 7777319 edges, 1675 markings/sec, 3100 secs
lola: STP completed || 11 tries, 10608705 fired transitions, 3105 secs || 3538125 markings, 7794063 edges, 1454 markings/sec, 3105 secs
lola: STP completed || 11 tries, 10621070 fired transitions, 3110 secs || 3546424 markings, 7809401 edges, 1660 markings/sec, 3110 secs
lola: STP completed || 11 tries, 10639350 fired transitions, 3115 secs || 3554592 markings, 7825363 edges, 1634 markings/sec, 3115 secs
lola: STP completed || 11 tries, 10659919 fired transitions, 3120 secs || 3563020 markings, 7840827 edges, 1686 markings/sec, 3120 secs
lola: STP completed || 11 tries, 10679936 fired transitions, 3125 secs || 3571080 markings, 7856524 edges, 1612 markings/sec, 3125 secs
lola: STP completed || 11 tries, 10700175 fired transitions, 3130 secs || 3579116 markings, 7872092 edges, 1607 markings/sec, 3130 secs
lola: STP completed || 11 tries, 10719427 fired transitions, 3135 secs || 3586615 markings, 7888769 edges, 1500 markings/sec, 3135 secs
lola: STP completed || 11 tries, 10738028 fired transitions, 3140 secs || 3594461 markings, 7905384 edges, 1569 markings/sec, 3140 secs
lola: STP completed || 11 tries, 10755690 fired transitions, 3145 secs || 3602819 markings, 7922099 edges, 1672 markings/sec, 3145 secs
lola: STP completed || 11 tries, 10774347 fired transitions, 3150 secs || 3611520 markings, 7938206 edges, 1740 markings/sec, 3150 secs
lola: STP completed || 11 tries, 10793801 fired transitions, 3155 secs || 3620130 markings, 7954491 edges, 1722 markings/sec, 3155 secs
lola: STP completed || 11 tries, 10813865 fired transitions, 3160 secs || 3627957 markings, 7971670 edges, 1565 markings/sec, 3160 secs
lola: STP completed || 11 tries, 10834309 fired transitions, 3165 secs || 3634581 markings, 7989866 edges, 1325 markings/sec, 3165 secs
lola: STP completed || 11 tries, 10855499 fired transitions, 3170 secs || 3641280 markings, 8008630 edges, 1340 markings/sec, 3170 secs
lola: STP completed || 11 tries, 10875271 fired transitions, 3175 secs || 3648643 markings, 8026434 edges, 1473 markings/sec, 3175 secs
lola: STP completed || 11 tries, 10894987 fired transitions, 3180 secs || 3657419 markings, 8042321 edges, 1755 markings/sec, 3180 secs
lola: STP completed || 11 tries, 10914905 fired transitions, 3185 secs || 3666138 markings, 8058128 edges, 1744 markings/sec, 3185 secs
lola: STP completed || 11 tries, 10935059 fired transitions, 3190 secs || 3674694 markings, 8074379 edges, 1711 markings/sec, 3190 secs
lola: STP completed || 11 tries, 10955042 fired transitions, 3195 secs || 3682293 markings, 8092193 edges, 1520 markings/sec, 3195 secs
lola: STP completed || 11 tries, 10974394 fired transitions, 3200 secs || 3691174 markings, 8108063 edges, 1776 markings/sec, 3200 secs
lola: STP completed || 11 tries, 10993675 fired transitions, 3205 secs || 3699626 markings, 8124409 edges, 1690 markings/sec, 3205 secs
lola: STP completed || 12 tries, 11022462 fired transitions, 3210 secs || 3708146 markings, 8140879 edges, 1704 markings/sec, 3210 secs
lola: STP completed || 12 tries, 11070129 fired transitions, 3215 secs || 3715166 markings, 8159574 edges, 1404 markings/sec, 3215 secs
lola: STP completed || 12 tries, 11109502 fired transitions, 3220 secs || 3721806 markings, 8175635 edges, 1328 markings/sec, 3220 secs
lola: STP completed || 12 tries, 11134880 fired transitions, 3225 secs || 3725056 markings, 8184626 edges, 650 markings/sec, 3225 secs
lola: STP completed || 12 tries, 11159945 fired transitions, 3230 secs || 3728382 markings, 8193249 edges, 665 markings/sec, 3230 secs
lola: STP completed || 12 tries, 11186791 fired transitions, 3235 secs || 3731600 markings, 8202202 edges, 644 markings/sec, 3235 secs
lola: STP completed || 12 tries, 11213266 fired transitions, 3240 secs || 3735101 markings, 8210889 edges, 700 markings/sec, 3240 secs
lola: STP completed || 12 tries, 11243145 fired transitions, 3245 secs || 3738408 markings, 8219616 edges, 661 markings/sec, 3245 secs
lola: STP completed || 12 tries, 11273208 fired transitions, 3250 secs || 3742025 markings, 8228157 edges, 723 markings/sec, 3250 secs
lola: STP completed || 12 tries, 11295688 fired transitions, 3255 secs || 3745347 markings, 8237119 edges, 664 markings/sec, 3255 secs
lola: STP completed || 12 tries, 11313929 fired transitions, 3260 secs || 3748494 markings, 8246456 edges, 629 markings/sec, 3260 secs
lola: STP completed || 12 tries, 11323843 fired transitions, 3265 secs || 3751816 markings, 8255784 edges, 664 markings/sec, 3265 secs
lola: STP completed || 12 tries, 11333697 fired transitions, 3270 secs || 3755882 markings, 8264081 edges, 813 markings/sec, 3270 secs
lola: STP completed || 12 tries, 11340060 fired transitions, 3275 secs || 3759217 markings, 8273177 edges, 667 markings/sec, 3275 secs
lola: STP completed || 12 tries, 11346348 fired transitions, 3280 secs || 3762519 markings, 8282278 edges, 660 markings/sec, 3280 secs
lola: STP completed || 12 tries, 11352674 fired transitions, 3285 secs || 3765550 markings, 8291803 edges, 606 markings/sec, 3285 secs
lola: STP completed || 12 tries, 11359691 fired transitions, 3290 secs || 3769662 markings, 8301649 edges, 822 markings/sec, 3290 secs
lola: STP completed || 12 tries, 11370959 fired transitions, 3295 secs || 3777218 markings, 8319397 edges, 1511 markings/sec, 3295 secs
lola: STP completed || 12 tries, 11382132 fired transitions, 3300 secs || 3783751 markings, 8338685 edges, 1307 markings/sec, 3300 secs
lola: STP completed || 12 tries, 11393656 fired transitions, 3305 secs || 3790302 markings, 8357465 edges, 1310 markings/sec, 3305 secs
lola: STP completed || 12 tries, 11405316 fired transitions, 3310 secs || 3797242 markings, 8375041 edges, 1388 markings/sec, 3310 secs
lola: STP completed || 12 tries, 11417009 fired transitions, 3315 secs || 3804070 markings, 8393990 edges, 1366 markings/sec, 3315 secs
lola: STP completed || 12 tries, 11428307 fired transitions, 3320 secs || 3812059 markings, 8410777 edges, 1598 markings/sec, 3320 secs
lola: STP completed || 12 tries, 11439519 fired transitions, 3325 secs || 3819626 markings, 8427420 edges, 1513 markings/sec, 3325 secs
lola: STP completed || 12 tries, 11446826 fired transitions, 3330 secs || 3823915 markings, 8435905 edges, 858 markings/sec, 3330 secs
lola: STP completed || 12 tries, 11454142 fired transitions, 3335 secs || 3827735 markings, 8444508 edges, 764 markings/sec, 3335 secs
lola: STP completed || 12 tries, 11461447 fired transitions, 3340 secs || 3831963 markings, 8452421 edges, 846 markings/sec, 3340 secs
lola: STP completed || 12 tries, 11468442 fired transitions, 3345 secs || 3835977 markings, 8460284 edges, 803 markings/sec, 3345 secs
lola: STP completed || 12 tries, 11479791 fired transitions, 3350 secs || 3842734 markings, 8473156 edges, 1351 markings/sec, 3350 secs
lola: STP completed || 12 tries, 11492052 fired transitions, 3355 secs || 3850362 markings, 8486811 edges, 1526 markings/sec, 3355 secs
lola: STP completed || 12 tries, 11504136 fired transitions, 3360 secs || 3856964 markings, 8502185 edges, 1320 markings/sec, 3360 secs
lola: STP completed || 12 tries, 11516144 fired transitions, 3365 secs || 3864516 markings, 8516408 edges, 1510 markings/sec, 3365 secs
lola: STP completed || 12 tries, 11528060 fired transitions, 3370 secs || 3871554 markings, 8530042 edges, 1408 markings/sec, 3370 secs
lola: STP completed || 12 tries, 11541310 fired transitions, 3375 secs || 3877483 markings, 8546704 edges, 1186 markings/sec, 3375 secs
lola: STP completed || 12 tries, 11556925 fired transitions, 3380 secs || 3884420 markings, 8565497 edges, 1387 markings/sec, 3380 secs
lola: STP completed || 12 tries, 11573061 fired transitions, 3385 secs || 3891233 markings, 8584605 edges, 1363 markings/sec, 3385 secs
lola: STP completed || 12 tries, 11589365 fired transitions, 3390 secs || 3898662 markings, 8602601 edges, 1486 markings/sec, 3390 secs
lola: STP completed || 12 tries, 11605590 fired transitions, 3395 secs || 3906002 markings, 8620918 edges, 1468 markings/sec, 3395 secs
lola: STP completed || 12 tries, 11622945 fired transitions, 3400 secs || 3914368 markings, 8637555 edges, 1673 markings/sec, 3400 secs
lola: STP completed || 12 tries, 11640203 fired transitions, 3405 secs || 3921501 markings, 8654809 edges, 1427 markings/sec, 3405 secs
lola: STP completed || 12 tries, 11658144 fired transitions, 3410 secs || 3928304 markings, 8673733 edges, 1361 markings/sec, 3410 secs
lola: STP completed || 12 tries, 11676694 fired transitions, 3415 secs || 3934845 markings, 8693068 edges, 1308 markings/sec, 3415 secs
lola: STP completed || 12 tries, 11693496 fired transitions, 3420 secs || 3942239 markings, 8711407 edges, 1479 markings/sec, 3420 secs
lola: STP completed || 12 tries, 11709835 fired transitions, 3425 secs || 3949855 markings, 8727555 edges, 1523 markings/sec, 3425 secs
lola: STP completed || 12 tries, 11726979 fired transitions, 3430 secs || 3956945 markings, 8743799 edges, 1418 markings/sec, 3430 secs
lola: STP completed || 12 tries, 11744190 fired transitions, 3435 secs || 3963897 markings, 8759572 edges, 1390 markings/sec, 3435 secs
lola: STP completed || 12 tries, 11761001 fired transitions, 3440 secs || 3970168 markings, 8774539 edges, 1254 markings/sec, 3440 secs
lola: STP completed || 12 tries, 11776775 fired transitions, 3445 secs || 3977122 markings, 8790989 edges, 1391 markings/sec, 3445 secs
lola: STP completed || 12 tries, 11793370 fired transitions, 3450 secs || 3983965 markings, 8808151 edges, 1369 markings/sec, 3450 secs
lola: STP completed || 12 tries, 11810739 fired transitions, 3455 secs || 3990983 markings, 8824843 edges, 1404 markings/sec, 3455 secs
lola: STP completed || 12 tries, 11827908 fired transitions, 3460 secs || 3997956 markings, 8842135 edges, 1395 markings/sec, 3460 secs
lola: STP completed || 12 tries, 11844848 fired transitions, 3465 secs || 4005455 markings, 8858955 edges, 1500 markings/sec, 3465 secs
lola: STP completed || 12 tries, 11862066 fired transitions, 3470 secs || 4012776 markings, 8876156 edges, 1464 markings/sec, 3470 secs
lola: STP completed || 12 tries, 11879608 fired transitions, 3475 secs || 4019600 markings, 8893528 edges, 1365 markings/sec, 3475 secs
lola: STP completed || 12 tries, 11898151 fired transitions, 3480 secs || 4023657 markings, 8904224 edges, 811 markings/sec, 3480 secs
lola: STP completed || 12 tries, 11911825 fired transitions, 3485 secs || 4025399 markings, 8908818 edges, 348 markings/sec, 3485 secs
lola: Killed
FORMULA Philosophers-PT-005000-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
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="Philosophers-PT-005000"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="irma4mcc-structural"
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/Philosophers-PT-005000.tgz
mv Philosophers-PT-005000 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 irma4mcc-structural"
echo " Input is Philosophers-PT-005000, 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 r115-csrt-152666474600825"
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 ;