fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306000069
Last Updated
June 26, 2018

About the Execution of LoLA for BART-PT-005

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2715.880 3569864.00 7231514.00 557.40 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 211K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 531K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 84K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 221K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 61K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 149K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 87K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 260K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 646K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 69K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 184K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 34K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 66K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BART-PT-005, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306000069
=====================================================================


--------------------
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 BART-PT-005-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526515073760

info: Time: 3600 - MCC
===========================================================================================
prep: translating BART-PT-005 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating BART-PT-005 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ BART-PT-005 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1880/65536 symbol table entries, 9 collisions
lola: preprocessing...
lola: Size of bit vector: 870
lola: finding significant places
lola: 870 places, 1010 transitions, 655 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 727 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-005-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 13 generators (10 in search tree, 3 by composition)
lola: representing 960 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 22702 variables and 123889 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 1 tries, 45266 fired transitions, 0 secs || 40369 markings, 63869 edges, 8074 markings/sec, 0 secs
lola: STP completed || 1 tries, 92062 fired transitions, 5 secs || 82093 markings, 138424 edges, 8345 markings/sec, 5 secs
lola: STP completed || 1 tries, 138985 fired transitions, 10 secs || 123252 markings, 216607 edges, 8232 markings/sec, 10 secs
lola: STP completed || 1 tries, 185864 fired transitions, 15 secs || 163770 markings, 296061 edges, 8104 markings/sec, 15 secs
lola: STP completed || 1 tries, 232685 fired transitions, 20 secs || 204432 markings, 373644 edges, 8132 markings/sec, 20 secs
lola: STP completed || 1 tries, 276664 fired transitions, 25 secs || 242459 markings, 452780 edges, 7605 markings/sec, 25 secs
lola: STP completed || 1 tries, 320615 fired transitions, 30 secs || 280249 markings, 532224 edges, 7558 markings/sec, 30 secs
lola: STP completed || 1 tries, 364539 fired transitions, 35 secs || 317794 markings, 612866 edges, 7509 markings/sec, 35 secs
lola: STP completed || 1 tries, 408669 fired transitions, 40 secs || 355485 markings, 693593 edges, 7538 markings/sec, 40 secs
lola: STP completed || 1 tries, 453326 fired transitions, 45 secs || 393635 markings, 778972 edges, 7630 markings/sec, 45 secs
lola: STP completed || 1 tries, 499534 fired transitions, 50 secs || 432553 markings, 867126 edges, 7784 markings/sec, 50 secs
lola: STP completed || 1 tries, 546844 fired transitions, 55 secs || 472027 markings, 955545 edges, 7895 markings/sec, 55 secs
lola: STP completed || 1 tries, 594472 fired transitions, 60 secs || 511133 markings, 1044598 edges, 7821 markings/sec, 60 secs
lola: STP completed || 1 tries, 641890 fired transitions, 65 secs || 550124 markings, 1135565 edges, 7798 markings/sec, 65 secs
lola: STP completed || 1 tries, 688760 fired transitions, 70 secs || 588766 markings, 1224074 edges, 7728 markings/sec, 70 secs
lola: STP completed || 1 tries, 735260 fired transitions, 75 secs || 626813 markings, 1315271 edges, 7609 markings/sec, 75 secs
lola: STP completed || 1 tries, 779975 fired transitions, 80 secs || 662915 markings, 1401135 edges, 7220 markings/sec, 80 secs
lola: STP completed || 1 tries, 825156 fired transitions, 85 secs || 698533 markings, 1489459 edges, 7124 markings/sec, 85 secs
lola: STP completed || 1 tries, 871277 fired transitions, 90 secs || 736508 markings, 1581109 edges, 7595 markings/sec, 90 secs
lola: STP completed || 1 tries, 917956 fired transitions, 95 secs || 774021 markings, 1675843 edges, 7503 markings/sec, 95 secs
lola: STP completed || 1 tries, 965054 fired transitions, 100 secs || 811974 markings, 1772091 edges, 7591 markings/sec, 100 secs
lola: STP completed || 2 tries, 1012016 fired transitions, 105 secs || 850108 markings, 1866890 edges, 7627 markings/sec, 105 secs
lola: STP completed || 2 tries, 1058736 fired transitions, 110 secs || 887750 markings, 1960964 edges, 7528 markings/sec, 110 secs
lola: STP completed || 2 tries, 1105119 fired transitions, 115 secs || 924640 markings, 2056015 edges, 7378 markings/sec, 115 secs
lola: STP completed || 2 tries, 1151235 fired transitions, 120 secs || 962028 markings, 2146150 edges, 7478 markings/sec, 120 secs
lola: STP completed || 2 tries, 1196556 fired transitions, 125 secs || 997370 markings, 2236561 edges, 7068 markings/sec, 125 secs
lola: STP completed || 2 tries, 1241338 fired transitions, 130 secs || 1031574 markings, 2324611 edges, 6841 markings/sec, 130 secs
lola: STP completed || 2 tries, 1286148 fired transitions, 135 secs || 1065916 markings, 2411246 edges, 6868 markings/sec, 135 secs
lola: STP completed || 2 tries, 1330647 fired transitions, 140 secs || 1100944 markings, 2498611 edges, 7006 markings/sec, 140 secs
lola: STP completed || 2 tries, 1375092 fired transitions, 145 secs || 1135886 markings, 2591595 edges, 6988 markings/sec, 145 secs
lola: STP completed || 2 tries, 1419821 fired transitions, 150 secs || 1170584 markings, 2686099 edges, 6940 markings/sec, 150 secs
lola: STP completed || 2 tries, 1466375 fired transitions, 155 secs || 1206789 markings, 2782289 edges, 7241 markings/sec, 155 secs
lola: STP completed || 2 tries, 1513443 fired transitions, 160 secs || 1243521 markings, 2884202 edges, 7346 markings/sec, 160 secs
lola: STP completed || 2 tries, 1560442 fired transitions, 165 secs || 1280234 markings, 2986097 edges, 7343 markings/sec, 165 secs
lola: STP completed || 2 tries, 1607656 fired transitions, 170 secs || 1317057 markings, 3084552 edges, 7365 markings/sec, 170 secs
lola: STP completed || 2 tries, 1654631 fired transitions, 175 secs || 1354115 markings, 3185065 edges, 7412 markings/sec, 175 secs
lola: STP completed || 2 tries, 1701811 fired transitions, 180 secs || 1390966 markings, 3288875 edges, 7370 markings/sec, 180 secs
lola: STP completed || 2 tries, 1748276 fired transitions, 185 secs || 1426262 markings, 3389362 edges, 7059 markings/sec, 185 secs
lola: STP completed || 2 tries, 1793418 fired transitions, 190 secs || 1460332 markings, 3486547 edges, 6814 markings/sec, 190 secs
lola: STP completed || 2 tries, 1838236 fired transitions, 195 secs || 1494284 markings, 3582372 edges, 6790 markings/sec, 195 secs
lola: STP completed || 2 tries, 1883480 fired transitions, 200 secs || 1530200 markings, 3672623 edges, 7183 markings/sec, 200 secs
lola: STP completed || 2 tries, 1928954 fired transitions, 205 secs || 1565276 markings, 3770052 edges, 7015 markings/sec, 205 secs
lola: STP completed || 2 tries, 1975546 fired transitions, 210 secs || 1600781 markings, 3866148 edges, 7101 markings/sec, 210 secs
lola: STP completed || 3 tries, 2021117 fired transitions, 215 secs || 1635318 markings, 3965332 edges, 6907 markings/sec, 215 secs
lola: STP completed || 3 tries, 2066130 fired transitions, 220 secs || 1669511 markings, 4062021 edges, 6839 markings/sec, 220 secs
lola: STP completed || 3 tries, 2111547 fired transitions, 225 secs || 1704286 markings, 4159263 edges, 6955 markings/sec, 225 secs
lola: STP completed || 3 tries, 2157166 fired transitions, 230 secs || 1739133 markings, 4254474 edges, 6969 markings/sec, 230 secs
lola: STP completed || 3 tries, 2203602 fired transitions, 235 secs || 1772938 markings, 4354904 edges, 6761 markings/sec, 235 secs
lola: STP completed || 3 tries, 2252052 fired transitions, 240 secs || 1808884 markings, 4462690 edges, 7189 markings/sec, 240 secs
lola: STP completed || 3 tries, 2298756 fired transitions, 245 secs || 1843630 markings, 4563023 edges, 6949 markings/sec, 245 secs
lola: STP completed || 3 tries, 2344846 fired transitions, 250 secs || 1877578 markings, 4666438 edges, 6790 markings/sec, 250 secs
lola: STP completed || 3 tries, 2390780 fired transitions, 255 secs || 1912268 markings, 4765284 edges, 6938 markings/sec, 255 secs
lola: STP completed || 3 tries, 2436767 fired transitions, 260 secs || 1947398 markings, 4862948 edges, 7026 markings/sec, 260 secs
lola: STP completed || 3 tries, 2483287 fired transitions, 265 secs || 1980610 markings, 4966625 edges, 6642 markings/sec, 265 secs
lola: STP completed || 3 tries, 2531325 fired transitions, 270 secs || 2016053 markings, 5074825 edges, 7089 markings/sec, 270 secs
lola: STP completed || 3 tries, 2579224 fired transitions, 275 secs || 2051878 markings, 5180040 edges, 7165 markings/sec, 275 secs
lola: STP completed || 3 tries, 2627084 fired transitions, 280 secs || 2087782 markings, 5286156 edges, 7181 markings/sec, 280 secs
lola: STP completed || 3 tries, 2675035 fired transitions, 285 secs || 2123225 markings, 5392755 edges, 7089 markings/sec, 285 secs
lola: STP completed || 3 tries, 2722149 fired transitions, 290 secs || 2157078 markings, 5497038 edges, 6771 markings/sec, 290 secs
lola: STP completed || 3 tries, 2768581 fired transitions, 295 secs || 2189699 markings, 5593378 edges, 6524 markings/sec, 295 secs
lola: STP completed || 3 tries, 2816299 fired transitions, 300 secs || 2223686 markings, 5699142 edges, 6797 markings/sec, 300 secs
lola: STP completed || 3 tries, 2864594 fired transitions, 305 secs || 2259018 markings, 5808379 edges, 7066 markings/sec, 305 secs
lola: STP completed || 3 tries, 2910767 fired transitions, 310 secs || 2294832 markings, 5910866 edges, 7163 markings/sec, 310 secs
lola: STP completed || 3 tries, 2956651 fired transitions, 315 secs || 2328647 markings, 6016933 edges, 6763 markings/sec, 315 secs
lola: STP completed || 4 tries, 3001474 fired transitions, 320 secs || 2363062 markings, 6121121 edges, 6883 markings/sec, 320 secs
lola: STP completed || 4 tries, 3047178 fired transitions, 325 secs || 2397678 markings, 6230549 edges, 6923 markings/sec, 325 secs
lola: STP completed || 4 tries, 3095598 fired transitions, 330 secs || 2432844 markings, 6342744 edges, 7033 markings/sec, 330 secs
lola: STP completed || 4 tries, 3143895 fired transitions, 335 secs || 2468499 markings, 6453777 edges, 7131 markings/sec, 335 secs
lola: STP completed || 4 tries, 3191978 fired transitions, 340 secs || 2503460 markings, 6565420 edges, 6992 markings/sec, 340 secs
lola: STP completed || 4 tries, 3240304 fired transitions, 345 secs || 2538718 markings, 6676895 edges, 7052 markings/sec, 345 secs
lola: STP completed || 4 tries, 3287787 fired transitions, 350 secs || 2573029 markings, 6787428 edges, 6862 markings/sec, 350 secs
lola: STP completed || 4 tries, 3334116 fired transitions, 355 secs || 2607040 markings, 6890978 edges, 6802 markings/sec, 355 secs
lola: STP completed || 4 tries, 3380476 fired transitions, 360 secs || 2640051 markings, 6997965 edges, 6602 markings/sec, 360 secs
lola: STP completed || 4 tries, 3426233 fired transitions, 365 secs || 2672399 markings, 7099433 edges, 6470 markings/sec, 365 secs
lola: STP completed || 4 tries, 3473809 fired transitions, 370 secs || 2706834 markings, 7204041 edges, 6887 markings/sec, 370 secs
lola: STP completed || 4 tries, 3519947 fired transitions, 375 secs || 2739688 markings, 7312569 edges, 6571 markings/sec, 375 secs
lola: STP completed || 4 tries, 3568039 fired transitions, 380 secs || 2774905 markings, 7424572 edges, 7043 markings/sec, 380 secs
lola: STP completed || 4 tries, 3616452 fired transitions, 385 secs || 2810666 markings, 7535832 edges, 7152 markings/sec, 385 secs
lola: STP completed || 4 tries, 3664809 fired transitions, 390 secs || 2846176 markings, 7647607 edges, 7102 markings/sec, 390 secs
lola: STP completed || 4 tries, 3713379 fired transitions, 395 secs || 2881624 markings, 7762038 edges, 7090 markings/sec, 395 secs
lola: STP completed || 4 tries, 3762034 fired transitions, 400 secs || 2915966 markings, 7880776 edges, 6868 markings/sec, 400 secs
lola: STP completed || 4 tries, 3810600 fired transitions, 405 secs || 2950687 markings, 7997931 edges, 6944 markings/sec, 405 secs
lola: STP completed || 4 tries, 3859120 fired transitions, 410 secs || 2985828 markings, 8113802 edges, 7028 markings/sec, 410 secs
lola: STP completed || 4 tries, 3907559 fired transitions, 415 secs || 3020920 markings, 8225973 edges, 7018 markings/sec, 415 secs
lola: STP completed || 4 tries, 3955947 fired transitions, 420 secs || 3056216 markings, 8340524 edges, 7059 markings/sec, 420 secs
lola: STP completed || 4 tries, 3999961 fired transitions, 425 secs || 3087981 markings, 8447531 edges, 6353 markings/sec, 425 secs
lola: STP completed || 5 tries, 4047201 fired transitions, 430 secs || 3122265 markings, 8561949 edges, 6857 markings/sec, 430 secs
lola: STP completed || 5 tries, 4095518 fired transitions, 435 secs || 3158136 markings, 8670006 edges, 7174 markings/sec, 435 secs
lola: STP completed || 5 tries, 4143317 fired transitions, 440 secs || 3196679 markings, 8765292 edges, 7709 markings/sec, 440 secs
lola: STP completed || 5 tries, 4189746 fired transitions, 445 secs || 3231896 markings, 8875597 edges, 7043 markings/sec, 445 secs
lola: STP completed || 5 tries, 4234904 fired transitions, 450 secs || 3265657 markings, 8987084 edges, 6752 markings/sec, 450 secs
lola: STP completed || 5 tries, 4281369 fired transitions, 455 secs || 3298946 markings, 9101158 edges, 6658 markings/sec, 455 secs
lola: STP completed || 5 tries, 4327251 fired transitions, 460 secs || 3332978 markings, 9208942 edges, 6806 markings/sec, 460 secs
lola: STP completed || 5 tries, 4373413 fired transitions, 465 secs || 3366015 markings, 9322017 edges, 6607 markings/sec, 465 secs
lola: STP completed || 5 tries, 4419574 fired transitions, 470 secs || 3399301 markings, 9432390 edges, 6657 markings/sec, 470 secs
lola: STP completed || 5 tries, 4465818 fired transitions, 475 secs || 3432663 markings, 9542335 edges, 6672 markings/sec, 475 secs
lola: STP completed || 5 tries, 4511698 fired transitions, 480 secs || 3467281 markings, 9644965 edges, 6924 markings/sec, 480 secs
lola: STP completed || 5 tries, 4557955 fired transitions, 485 secs || 3500336 markings, 9757340 edges, 6611 markings/sec, 485 secs
lola: STP completed || 5 tries, 4604242 fired transitions, 490 secs || 3532916 markings, 9871585 edges, 6516 markings/sec, 490 secs
lola: STP completed || 5 tries, 4650343 fired transitions, 495 secs || 3566002 markings, 9981920 edges, 6617 markings/sec, 495 secs
lola: STP completed || 5 tries, 4696513 fired transitions, 500 secs || 3598507 markings, 10096137 edges, 6501 markings/sec, 500 secs
lola: STP completed || 5 tries, 4744655 fired transitions, 505 secs || 3633329 markings, 10211877 edges, 6964 markings/sec, 505 secs
lola: STP completed || 5 tries, 4793423 fired transitions, 510 secs || 3667598 markings, 10332595 edges, 6854 markings/sec, 510 secs
lola: STP completed || 5 tries, 4841896 fired transitions, 515 secs || 3702562 markings, 10448623 edges, 6993 markings/sec, 515 secs
lola: STP completed || 5 tries, 4890465 fired transitions, 520 secs || 3737255 markings, 10567200 edges, 6939 markings/sec, 520 secs
lola: STP completed || 5 tries, 4938903 fired transitions, 525 secs || 3773183 markings, 10678643 edges, 7186 markings/sec, 525 secs
lola: STP completed || 5 tries, 4987625 fired transitions, 530 secs || 3807533 markings, 10797188 edges, 6870 markings/sec, 530 secs
lola: STP completed || 6 tries, 5036205 fired transitions, 535 secs || 3841423 markings, 10918328 edges, 6778 markings/sec, 535 secs
lola: STP completed || 6 tries, 5084818 fired transitions, 540 secs || 3875791 markings, 11037903 edges, 6874 markings/sec, 540 secs
lola: STP completed || 6 tries, 5133397 fired transitions, 545 secs || 3910081 markings, 11156943 edges, 6858 markings/sec, 545 secs
lola: STP completed || 6 tries, 5182015 fired transitions, 550 secs || 3944232 markings, 11278465 edges, 6830 markings/sec, 550 secs
lola: STP completed || 6 tries, 5230664 fired transitions, 555 secs || 3978040 markings, 11399436 edges, 6762 markings/sec, 555 secs
lola: STP completed || 6 tries, 5279372 fired transitions, 560 secs || 4012211 markings, 11519157 edges, 6834 markings/sec, 560 secs
lola: STP completed || 6 tries, 5328151 fired transitions, 565 secs || 4046925 markings, 11636201 edges, 6943 markings/sec, 565 secs
lola: STP completed || 6 tries, 5376922 fired transitions, 570 secs || 4080494 markings, 11756912 edges, 6714 markings/sec, 570 secs
lola: STP completed || 6 tries, 5425370 fired transitions, 575 secs || 4116095 markings, 11869725 edges, 7120 markings/sec, 575 secs
lola: STP completed || 6 tries, 5474093 fired transitions, 580 secs || 4150103 markings, 11988528 edges, 6802 markings/sec, 580 secs
lola: STP completed || 6 tries, 5522704 fired transitions, 585 secs || 4184348 markings, 12108369 edges, 6849 markings/sec, 585 secs
lola: STP completed || 6 tries, 5571375 fired transitions, 590 secs || 4218057 markings, 12227657 edges, 6742 markings/sec, 590 secs
lola: STP completed || 6 tries, 5620047 fired transitions, 595 secs || 4252337 markings, 12347311 edges, 6856 markings/sec, 595 secs
lola: STP completed || 6 tries, 5668825 fired transitions, 600 secs || 4285643 markings, 12471152 edges, 6661 markings/sec, 600 secs
lola: STP completed || 6 tries, 5717487 fired transitions, 605 secs || 4319029 markings, 12597328 edges, 6677 markings/sec, 605 secs
lola: STP completed || 6 tries, 5766259 fired transitions, 610 secs || 4353105 markings, 12717816 edges, 6815 markings/sec, 610 secs
lola: STP completed || 6 tries, 5815002 fired transitions, 615 secs || 4386590 markings, 12840495 edges, 6697 markings/sec, 615 secs
lola: STP completed || 6 tries, 5863607 fired transitions, 620 secs || 4421115 markings, 12959612 edges, 6905 markings/sec, 620 secs
lola: STP completed || 6 tries, 5912146 fired transitions, 625 secs || 4455166 markings, 13079064 edges, 6810 markings/sec, 625 secs
lola: STP completed || 6 tries, 5960889 fired transitions, 630 secs || 4489135 markings, 13198312 edges, 6794 markings/sec, 630 secs
lola: STP completed || 7 tries, 6009657 fired transitions, 635 secs || 4522477 markings, 13322649 edges, 6668 markings/sec, 635 secs
lola: STP completed || 7 tries, 6058243 fired transitions, 640 secs || 4556528 markings, 13443390 edges, 6810 markings/sec, 640 secs
lola: STP completed || 7 tries, 6107138 fired transitions, 645 secs || 4589702 markings, 13567933 edges, 6635 markings/sec, 645 secs
lola: STP completed || 7 tries, 6155771 fired transitions, 650 secs || 4623235 markings, 13689062 edges, 6707 markings/sec, 650 secs
lola: STP completed || 7 tries, 6204115 fired transitions, 655 secs || 4658798 markings, 13801260 edges, 7113 markings/sec, 655 secs
lola: STP completed || 7 tries, 6252554 fired transitions, 660 secs || 4693736 markings, 13916727 edges, 6988 markings/sec, 660 secs
lola: STP completed || 7 tries, 6301209 fired transitions, 665 secs || 4727656 markings, 14037692 edges, 6784 markings/sec, 665 secs
lola: STP completed || 7 tries, 6349971 fired transitions, 670 secs || 4761375 markings, 14158361 edges, 6744 markings/sec, 670 secs
lola: STP completed || 7 tries, 6399040 fired transitions, 675 secs || 4794454 markings, 14283289 edges, 6616 markings/sec, 675 secs
lola: STP completed || 7 tries, 6447880 fired transitions, 680 secs || 4827971 markings, 14406782 edges, 6703 markings/sec, 680 secs
lola: STP completed || 7 tries, 6495925 fired transitions, 685 secs || 4867067 markings, 14495854 edges, 7819 markings/sec, 685 secs
lola: STP completed || 7 tries, 6544219 fired transitions, 690 secs || 4903583 markings, 14603160 edges, 7303 markings/sec, 690 secs
lola: STP completed || 7 tries, 6592950 fired transitions, 695 secs || 4937348 markings, 14724979 edges, 6753 markings/sec, 695 secs
lola: STP completed || 7 tries, 6641733 fired transitions, 700 secs || 4970399 markings, 14849196 edges, 6610 markings/sec, 700 secs
lola: STP completed || 7 tries, 6690427 fired transitions, 705 secs || 5003962 markings, 14969822 edges, 6713 markings/sec, 705 secs
lola: STP completed || 7 tries, 6738822 fired transitions, 710 secs || 5039248 markings, 15082954 edges, 7057 markings/sec, 710 secs
lola: STP completed || 7 tries, 6787287 fired transitions, 715 secs || 5073916 markings, 15200772 edges, 6934 markings/sec, 715 secs
lola: STP completed || 7 tries, 6835825 fired transitions, 720 secs || 5108447 markings, 15319495 edges, 6906 markings/sec, 720 secs
lola: STP completed || 7 tries, 6884430 fired transitions, 725 secs || 5142448 markings, 15441294 edges, 6800 markings/sec, 725 secs
lola: STP completed || 7 tries, 6933107 fired transitions, 730 secs || 5175938 markings, 15564447 edges, 6698 markings/sec, 730 secs
lola: STP completed || 7 tries, 6981581 fired transitions, 735 secs || 5211066 markings, 15673055 edges, 7026 markings/sec, 735 secs
lola: STP completed || 8 tries, 7030298 fired transitions, 740 secs || 5245691 markings, 15787758 edges, 6925 markings/sec, 740 secs
lola: STP completed || 8 tries, 7079271 fired transitions, 745 secs || 5278528 markings, 15913117 edges, 6567 markings/sec, 745 secs
lola: STP completed || 8 tries, 7126404 fired transitions, 750 secs || 5311088 markings, 16035229 edges, 6512 markings/sec, 750 secs
lola: STP completed || 8 tries, 7173347 fired transitions, 755 secs || 5342921 markings, 16154475 edges, 6367 markings/sec, 755 secs
lola: STP completed || 8 tries, 7220357 fired transitions, 760 secs || 5375691 markings, 16277754 edges, 6554 markings/sec, 760 secs
lola: STP completed || 8 tries, 7269089 fired transitions, 765 secs || 5408823 markings, 16404800 edges, 6626 markings/sec, 765 secs
lola: STP completed || 8 tries, 7317519 fired transitions, 770 secs || 5444041 markings, 16513461 edges, 7044 markings/sec, 770 secs
lola: STP completed || 8 tries, 7365862 fired transitions, 775 secs || 5480851 markings, 16612456 edges, 7362 markings/sec, 775 secs
lola: STP completed || 8 tries, 7414380 fired transitions, 780 secs || 5515684 markings, 16727233 edges, 6967 markings/sec, 780 secs
lola: STP completed || 8 tries, 7463228 fired transitions, 785 secs || 5548723 markings, 16854004 edges, 6608 markings/sec, 785 secs
lola: STP completed || 8 tries, 7511927 fired transitions, 790 secs || 5582239 markings, 16978496 edges, 6703 markings/sec, 790 secs
lola: STP completed || 8 tries, 7560552 fired transitions, 795 secs || 5616581 markings, 17097358 edges, 6868 markings/sec, 795 secs
lola: STP completed || 8 tries, 7609187 fired transitions, 800 secs || 5650888 markings, 17214248 edges, 6861 markings/sec, 800 secs
lola: STP completed || 8 tries, 7656928 fired transitions, 805 secs || 5682498 markings, 17338235 edges, 6322 markings/sec, 805 secs
lola: STP completed || 8 tries, 7704041 fired transitions, 810 secs || 5714724 markings, 17449638 edges, 6445 markings/sec, 810 secs
lola: STP completed || 8 tries, 7752644 fired transitions, 815 secs || 5749362 markings, 17567095 edges, 6928 markings/sec, 815 secs
lola: STP completed || 8 tries, 7801266 fired transitions, 820 secs || 5784743 markings, 17678024 edges, 7076 markings/sec, 820 secs
lola: STP completed || 8 tries, 7850126 fired transitions, 825 secs || 5818158 markings, 17803209 edges, 6683 markings/sec, 825 secs
lola: STP completed || 8 tries, 7898923 fired transitions, 830 secs || 5851722 markings, 17928397 edges, 6713 markings/sec, 830 secs
lola: STP completed || 8 tries, 7947720 fired transitions, 835 secs || 5884976 markings, 18051000 edges, 6651 markings/sec, 835 secs
lola: STP completed || 8 tries, 7996379 fired transitions, 840 secs || 5918242 markings, 18172702 edges, 6653 markings/sec, 840 secs
lola: STP completed || 9 tries, 8044973 fired transitions, 845 secs || 5951679 markings, 18295765 edges, 6687 markings/sec, 845 secs
lola: STP completed || 9 tries, 8093729 fired transitions, 850 secs || 5985297 markings, 18416279 edges, 6724 markings/sec, 850 secs
lola: STP completed || 9 tries, 8142603 fired transitions, 855 secs || 6017901 markings, 18543963 edges, 6521 markings/sec, 855 secs
lola: STP completed || 9 tries, 8191442 fired transitions, 860 secs || 6051183 markings, 18667492 edges, 6656 markings/sec, 860 secs
lola: STP completed || 9 tries, 8239984 fired transitions, 865 secs || 6085695 markings, 18783900 edges, 6902 markings/sec, 865 secs
lola: STP completed || 9 tries, 8288789 fired transitions, 870 secs || 6119018 markings, 18906325 edges, 6665 markings/sec, 870 secs
lola: STP completed || 9 tries, 8336711 fired transitions, 875 secs || 6150807 markings, 19024536 edges, 6358 markings/sec, 875 secs
lola: STP completed || 9 tries, 8385346 fired transitions, 880 secs || 6184624 markings, 19145310 edges, 6763 markings/sec, 880 secs
lola: STP completed || 9 tries, 8433274 fired transitions, 885 secs || 6221739 markings, 19248324 edges, 7423 markings/sec, 885 secs
lola: STP completed || 9 tries, 8481759 fired transitions, 890 secs || 6256753 markings, 19361731 edges, 7003 markings/sec, 890 secs
lola: STP completed || 9 tries, 8530661 fired transitions, 895 secs || 6289868 markings, 19485921 edges, 6623 markings/sec, 895 secs
lola: STP completed || 9 tries, 8579366 fired transitions, 900 secs || 6323411 markings, 19610424 edges, 6709 markings/sec, 900 secs
lola: STP completed || 9 tries, 8628119 fired transitions, 905 secs || 6356820 markings, 19735068 edges, 6682 markings/sec, 905 secs
lola: STP completed || 9 tries, 8676924 fired transitions, 910 secs || 6389674 markings, 19862306 edges, 6571 markings/sec, 910 secs
lola: STP completed || 9 tries, 8725768 fired transitions, 915 secs || 6422400 markings, 19988347 edges, 6545 markings/sec, 915 secs
lola: STP completed || 9 tries, 8774622 fired transitions, 920 secs || 6455037 markings, 20117403 edges, 6527 markings/sec, 920 secs
lola: STP completed || 9 tries, 8823611 fired transitions, 925 secs || 6486856 markings, 20250031 edges, 6364 markings/sec, 925 secs
lola: STP completed || 9 tries, 8872266 fired transitions, 930 secs || 6520390 markings, 20373515 edges, 6707 markings/sec, 930 secs
lola: STP completed || 9 tries, 8921129 fired transitions, 935 secs || 6553193 markings, 20501862 edges, 6561 markings/sec, 935 secs
lola: STP completed || 9 tries, 8970015 fired transitions, 940 secs || 6585534 markings, 20632046 edges, 6468 markings/sec, 940 secs
lola: STP completed || 10 tries, 9018784 fired transitions, 945 secs || 6617994 markings, 20762072 edges, 6492 markings/sec, 945 secs
lola: STP completed || 10 tries, 9067548 fired transitions, 950 secs || 6651129 markings, 20885748 edges, 6627 markings/sec, 950 secs
lola: STP completed || 10 tries, 9116352 fired transitions, 955 secs || 6684180 markings, 21011887 edges, 6610 markings/sec, 955 secs
lola: STP completed || 10 tries, 9165233 fired transitions, 960 secs || 6717103 markings, 21139603 edges, 6585 markings/sec, 960 secs
lola: STP completed || 10 tries, 9213992 fired transitions, 965 secs || 6749930 markings, 21266119 edges, 6565 markings/sec, 965 secs
lola: STP completed || 10 tries, 9262752 fired transitions, 970 secs || 6783247 markings, 21389180 edges, 6663 markings/sec, 970 secs
lola: STP completed || 10 tries, 9311614 fired transitions, 975 secs || 6816203 markings, 21508644 edges, 6591 markings/sec, 975 secs
lola: STP completed || 10 tries, 9360632 fired transitions, 980 secs || 6849400 markings, 21632985 edges, 6639 markings/sec, 980 secs
lola: STP completed || 10 tries, 9409221 fired transitions, 985 secs || 6883234 markings, 21751330 edges, 6767 markings/sec, 985 secs
lola: STP completed || 10 tries, 9457912 fired transitions, 990 secs || 6916377 markings, 21877236 edges, 6629 markings/sec, 990 secs
lola: STP completed || 10 tries, 9507062 fired transitions, 995 secs || 6948630 markings, 22002161 edges, 6451 markings/sec, 995 secs
lola: STP completed || 10 tries, 9555745 fired transitions, 1000 secs || 6981556 markings, 22128230 edges, 6585 markings/sec, 1000 secs
lola: STP completed || 10 tries, 9604562 fired transitions, 1005 secs || 7014217 markings, 22253123 edges, 6532 markings/sec, 1005 secs
lola: STP completed || 10 tries, 9653466 fired transitions, 1010 secs || 7046336 markings, 22384325 edges, 6424 markings/sec, 1010 secs
lola: STP completed || 10 tries, 9701697 fired transitions, 1015 secs || 7082898 markings, 22496784 edges, 7312 markings/sec, 1015 secs
lola: STP completed || 10 tries, 9750378 fired transitions, 1020 secs || 7115674 markings, 22625444 edges, 6555 markings/sec, 1020 secs
lola: STP completed || 10 tries, 9799168 fired transitions, 1025 secs || 7147946 markings, 22753109 edges, 6454 markings/sec, 1025 secs
lola: STP completed || 10 tries, 9847608 fired transitions, 1030 secs || 7183134 markings, 22869752 edges, 7038 markings/sec, 1030 secs
lola: STP completed || 10 tries, 9896364 fired transitions, 1035 secs || 7215982 markings, 22997517 edges, 6570 markings/sec, 1035 secs
lola: STP completed || 10 tries, 9945072 fired transitions, 1040 secs || 7249201 markings, 23121132 edges, 6644 markings/sec, 1040 secs
lola: STP completed || 10 tries, 9993902 fired transitions, 1045 secs || 7281985 markings, 23247887 edges, 6557 markings/sec, 1045 secs
lola: STP completed || 11 tries, 10042578 fired transitions, 1050 secs || 7315935 markings, 23370457 edges, 6790 markings/sec, 1050 secs
lola: STP completed || 11 tries, 10091041 fired transitions, 1055 secs || 7349955 markings, 23490202 edges, 6804 markings/sec, 1055 secs
lola: STP completed || 11 tries, 10139892 fired transitions, 1060 secs || 7382302 markings, 23620758 edges, 6469 markings/sec, 1060 secs
lola: STP completed || 11 tries, 10188524 fired transitions, 1065 secs || 7413104 markings, 23740822 edges, 6160 markings/sec, 1065 secs
lola: STP completed || 11 tries, 10237189 fired transitions, 1070 secs || 7443846 markings, 23866547 edges, 6148 markings/sec, 1070 secs
lola: STP completed || 11 tries, 10286067 fired transitions, 1075 secs || 7474354 markings, 23994119 edges, 6102 markings/sec, 1075 secs
lola: STP completed || 11 tries, 10334851 fired transitions, 1080 secs || 7506807 markings, 24122645 edges, 6491 markings/sec, 1080 secs
lola: STP completed || 11 tries, 10383373 fired transitions, 1085 secs || 7541018 markings, 24243505 edges, 6842 markings/sec, 1085 secs
lola: STP completed || 11 tries, 10432245 fired transitions, 1090 secs || 7572605 markings, 24374912 edges, 6317 markings/sec, 1090 secs
lola: STP completed || 11 tries, 10481397 fired transitions, 1095 secs || 7604029 markings, 24509860 edges, 6285 markings/sec, 1095 secs
lola: STP completed || 11 tries, 10530146 fired transitions, 1100 secs || 7637557 markings, 24635274 edges, 6706 markings/sec, 1100 secs
lola: STP completed || 11 tries, 10579057 fired transitions, 1105 secs || 7669391 markings, 24764682 edges, 6367 markings/sec, 1105 secs
lola: STP completed || 11 tries, 10627344 fired transitions, 1110 secs || 7700078 markings, 24889851 edges, 6137 markings/sec, 1110 secs
lola: STP completed || 11 tries, 10674250 fired transitions, 1115 secs || 7732113 markings, 25006015 edges, 6407 markings/sec, 1115 secs
lola: STP completed || 11 tries, 10720449 fired transitions, 1120 secs || 7765769 markings, 25104363 edges, 6731 markings/sec, 1120 secs
lola: STP completed || 11 tries, 10767702 fired transitions, 1125 secs || 7796214 markings, 25222937 edges, 6089 markings/sec, 1125 secs
lola: STP completed || 11 tries, 10815245 fired transitions, 1130 secs || 7825860 markings, 25347894 edges, 5929 markings/sec, 1130 secs
lola: STP completed || 11 tries, 10862783 fired transitions, 1135 secs || 7855677 markings, 25470426 edges, 5963 markings/sec, 1135 secs
lola: STP completed || 11 tries, 10911270 fired transitions, 1140 secs || 7886768 markings, 25595664 edges, 6218 markings/sec, 1140 secs
lola: STP completed || 11 tries, 10958377 fired transitions, 1145 secs || 7918360 markings, 25723261 edges, 6318 markings/sec, 1145 secs
lola: STP completed || 12 tries, 11005115 fired transitions, 1150 secs || 7949194 markings, 25847077 edges, 6167 markings/sec, 1150 secs
lola: STP completed || 12 tries, 11051656 fired transitions, 1155 secs || 7980817 markings, 25965432 edges, 6325 markings/sec, 1155 secs
lola: STP completed || 12 tries, 11098761 fired transitions, 1160 secs || 8010850 markings, 26089420 edges, 6007 markings/sec, 1160 secs
lola: STP completed || 12 tries, 11147722 fired transitions, 1165 secs || 8042302 markings, 26217270 edges, 6290 markings/sec, 1165 secs
lola: STP completed || 12 tries, 11196570 fired transitions, 1170 secs || 8074586 markings, 26345159 edges, 6457 markings/sec, 1170 secs
lola: STP completed || 12 tries, 11245559 fired transitions, 1175 secs || 8106488 markings, 26474619 edges, 6380 markings/sec, 1175 secs
lola: STP completed || 12 tries, 11294513 fired transitions, 1180 secs || 8138056 markings, 26604655 edges, 6314 markings/sec, 1180 secs
lola: STP completed || 12 tries, 11343502 fired transitions, 1185 secs || 8169718 markings, 26733316 edges, 6332 markings/sec, 1185 secs
lola: STP completed || 12 tries, 11392603 fired transitions, 1190 secs || 8200785 markings, 26866855 edges, 6213 markings/sec, 1190 secs
lola: STP completed || 12 tries, 11441466 fired transitions, 1195 secs || 8232643 markings, 26995132 edges, 6372 markings/sec, 1195 secs
lola: STP completed || 12 tries, 11490250 fired transitions, 1200 secs || 8264912 markings, 27120791 edges, 6454 markings/sec, 1200 secs
lola: STP completed || 12 tries, 11539123 fired transitions, 1205 secs || 8296757 markings, 27248198 edges, 6369 markings/sec, 1205 secs
lola: STP completed || 12 tries, 11588037 fired transitions, 1210 secs || 8328886 markings, 27376914 edges, 6426 markings/sec, 1210 secs
lola: STP completed || 12 tries, 11636842 fired transitions, 1215 secs || 8361411 markings, 27500805 edges, 6505 markings/sec, 1215 secs
lola: STP completed || 12 tries, 11685666 fired transitions, 1220 secs || 8393679 markings, 27627879 edges, 6454 markings/sec, 1220 secs
lola: STP completed || 12 tries, 11734650 fired transitions, 1225 secs || 8424795 markings, 27760266 edges, 6223 markings/sec, 1225 secs
lola: STP completed || 12 tries, 11783657 fired transitions, 1230 secs || 8456790 markings, 27891010 edges, 6399 markings/sec, 1230 secs
lola: STP completed || 12 tries, 11832557 fired transitions, 1235 secs || 8488889 markings, 28020691 edges, 6420 markings/sec, 1235 secs
lola: STP completed || 12 tries, 11881477 fired transitions, 1240 secs || 8521052 markings, 28149060 edges, 6433 markings/sec, 1240 secs
lola: STP completed || 12 tries, 11930481 fired transitions, 1245 secs || 8552367 markings, 28279451 edges, 6263 markings/sec, 1245 secs
lola: STP completed || 12 tries, 11979469 fired transitions, 1250 secs || 8584536 markings, 28407263 edges, 6434 markings/sec, 1250 secs
lola: STP completed || 13 tries, 12028582 fired transitions, 1255 secs || 8616141 markings, 28537136 edges, 6321 markings/sec, 1255 secs
lola: STP completed || 13 tries, 12077226 fired transitions, 1260 secs || 8649433 markings, 28657236 edges, 6658 markings/sec, 1260 secs
lola: STP completed || 13 tries, 12126211 fired transitions, 1265 secs || 8681261 markings, 28781423 edges, 6366 markings/sec, 1265 secs
lola: STP completed || 13 tries, 12175120 fired transitions, 1270 secs || 8713280 markings, 28907973 edges, 6404 markings/sec, 1270 secs
lola: STP completed || 13 tries, 12224060 fired transitions, 1275 secs || 8744744 markings, 29038924 edges, 6293 markings/sec, 1275 secs
lola: STP completed || 13 tries, 12272992 fired transitions, 1280 secs || 8776568 markings, 29169159 edges, 6365 markings/sec, 1280 secs
lola: STP completed || 13 tries, 12321924 fired transitions, 1285 secs || 8808539 markings, 29298220 edges, 6394 markings/sec, 1285 secs
lola: STP completed || 13 tries, 12370834 fired transitions, 1290 secs || 8840805 markings, 29416594 edges, 6453 markings/sec, 1290 secs
lola: STP completed || 13 tries, 12419523 fired transitions, 1295 secs || 8874439 markings, 29535462 edges, 6727 markings/sec, 1295 secs
lola: STP completed || 13 tries, 12468353 fired transitions, 1300 secs || 8906455 markings, 29664741 edges, 6403 markings/sec, 1300 secs
lola: STP completed || 13 tries, 12517159 fired transitions, 1305 secs || 8938955 markings, 29790735 edges, 6500 markings/sec, 1305 secs
lola: STP completed || 13 tries, 12565517 fired transitions, 1310 secs || 8973939 markings, 29905991 edges, 6997 markings/sec, 1310 secs
lola: STP completed || 13 tries, 12614477 fired transitions, 1315 secs || 9006644 markings, 30031179 edges, 6541 markings/sec, 1315 secs
lola: STP completed || 13 tries, 12663713 fired transitions, 1320 secs || 9037962 markings, 30161503 edges, 6264 markings/sec, 1320 secs
lola: STP completed || 13 tries, 12712481 fired transitions, 1325 secs || 9070631 markings, 30289764 edges, 6534 markings/sec, 1325 secs
lola: STP completed || 13 tries, 12761444 fired transitions, 1330 secs || 9102481 markings, 30419645 edges, 6370 markings/sec, 1330 secs
lola: STP completed || 13 tries, 12810439 fired transitions, 1335 secs || 9134293 markings, 30549978 edges, 6362 markings/sec, 1335 secs
lola: STP completed || 13 tries, 12859382 fired transitions, 1340 secs || 9165593 markings, 30682292 edges, 6260 markings/sec, 1340 secs
lola: STP completed || 13 tries, 12908396 fired transitions, 1345 secs || 9197414 markings, 30811938 edges, 6364 markings/sec, 1345 secs
lola: STP completed || 13 tries, 12957381 fired transitions, 1350 secs || 9229510 markings, 30939251 edges, 6419 markings/sec, 1350 secs
lola: STP completed || 14 tries, 13006371 fired transitions, 1355 secs || 9261383 markings, 31073006 edges, 6375 markings/sec, 1355 secs
lola: STP completed || 14 tries, 13055309 fired transitions, 1360 secs || 9292934 markings, 31207044 edges, 6310 markings/sec, 1360 secs
lola: STP completed || 14 tries, 13104260 fired transitions, 1365 secs || 9324577 markings, 31337139 edges, 6329 markings/sec, 1365 secs
lola: STP completed || 14 tries, 13153147 fired transitions, 1370 secs || 9357626 markings, 31462284 edges, 6610 markings/sec, 1370 secs
lola: STP completed || 14 tries, 13202324 fired transitions, 1375 secs || 9389064 markings, 31594642 edges, 6288 markings/sec, 1375 secs
lola: STP completed || 14 tries, 13251281 fired transitions, 1380 secs || 9420820 markings, 31728279 edges, 6351 markings/sec, 1380 secs
lola: STP completed || 14 tries, 13297749 fired transitions, 1385 secs || 9451543 markings, 31852435 edges, 6145 markings/sec, 1385 secs
lola: STP completed || 14 tries, 13344609 fired transitions, 1390 secs || 9481632 markings, 31977943 edges, 6018 markings/sec, 1390 secs
lola: STP completed || 14 tries, 13393217 fired transitions, 1395 secs || 9514197 markings, 32100123 edges, 6513 markings/sec, 1395 secs
lola: STP completed || 14 tries, 13439312 fired transitions, 1400 secs || 9545531 markings, 32221407 edges, 6267 markings/sec, 1400 secs
lola: STP completed || 14 tries, 13485880 fired transitions, 1405 secs || 9577152 markings, 32338482 edges, 6324 markings/sec, 1405 secs
lola: STP completed || 14 tries, 13532246 fired transitions, 1410 secs || 9609837 markings, 32450151 edges, 6537 markings/sec, 1410 secs
lola: STP completed || 14 tries, 13578486 fired transitions, 1415 secs || 9640341 markings, 32575142 edges, 6101 markings/sec, 1415 secs
lola: STP completed || 14 tries, 13624351 fired transitions, 1420 secs || 9672831 markings, 32691219 edges, 6498 markings/sec, 1420 secs
lola: STP completed || 14 tries, 13673202 fired transitions, 1425 secs || 9705880 markings, 32819902 edges, 6610 markings/sec, 1425 secs
lola: STP completed || 14 tries, 13722431 fired transitions, 1430 secs || 9737398 markings, 32952473 edges, 6304 markings/sec, 1430 secs
lola: STP completed || 14 tries, 13771621 fired transitions, 1435 secs || 9769370 markings, 33082877 edges, 6394 markings/sec, 1435 secs
lola: STP completed || 14 tries, 13820813 fired transitions, 1440 secs || 9801765 markings, 33211851 edges, 6479 markings/sec, 1440 secs
lola: STP completed || 14 tries, 13869807 fired transitions, 1445 secs || 9833944 markings, 33340323 edges, 6436 markings/sec, 1445 secs
lola: STP completed || 14 tries, 13918895 fired transitions, 1450 secs || 9865974 markings, 33469687 edges, 6406 markings/sec, 1450 secs
lola: STP completed || 14 tries, 13967825 fired transitions, 1455 secs || 9898808 markings, 33593616 edges, 6567 markings/sec, 1455 secs
lola: STP completed || 15 tries, 14016855 fired transitions, 1460 secs || 9932153 markings, 33718751 edges, 6669 markings/sec, 1460 secs
lola: STP completed || 15 tries, 14066027 fired transitions, 1465 secs || 9964453 markings, 33850225 edges, 6460 markings/sec, 1465 secs
lola: STP completed || 15 tries, 14115059 fired transitions, 1470 secs || 9997056 markings, 33976760 edges, 6521 markings/sec, 1470 secs
lola: STP completed || 15 tries, 14164319 fired transitions, 1475 secs || 10029577 markings, 34105357 edges, 6504 markings/sec, 1475 secs
lola: STP completed || 15 tries, 14213383 fired transitions, 1480 secs || 10062569 markings, 34231092 edges, 6598 markings/sec, 1480 secs
lola: STP completed || 15 tries, 14262370 fired transitions, 1485 secs || 10094967 markings, 34360765 edges, 6480 markings/sec, 1485 secs
lola: STP completed || 15 tries, 14311334 fired transitions, 1490 secs || 10128687 markings, 34482485 edges, 6744 markings/sec, 1490 secs
lola: STP completed || 15 tries, 14360139 fired transitions, 1495 secs || 10162263 markings, 34601650 edges, 6715 markings/sec, 1495 secs
lola: STP completed || 15 tries, 14409221 fired transitions, 1500 secs || 10194776 markings, 34731078 edges, 6503 markings/sec, 1500 secs
lola: STP completed || 15 tries, 14458062 fired transitions, 1505 secs || 10227368 markings, 34861691 edges, 6518 markings/sec, 1505 secs
lola: STP completed || 15 tries, 14507161 fired transitions, 1510 secs || 10259206 markings, 34994137 edges, 6368 markings/sec, 1510 secs
lola: STP completed || 15 tries, 14556153 fired transitions, 1515 secs || 10291187 markings, 35126802 edges, 6396 markings/sec, 1515 secs
lola: STP completed || 15 tries, 14605219 fired transitions, 1520 secs || 10322991 markings, 35258485 edges, 6361 markings/sec, 1520 secs
lola: STP completed || 15 tries, 14654272 fired transitions, 1525 secs || 10354647 markings, 35389289 edges, 6331 markings/sec, 1525 secs
lola: STP completed || 15 tries, 14702884 fired transitions, 1530 secs || 10388843 markings, 35505713 edges, 6839 markings/sec, 1530 secs
lola: STP completed || 15 tries, 14748945 fired transitions, 1535 secs || 10419725 markings, 35628488 edges, 6176 markings/sec, 1535 secs
lola: STP completed || 15 tries, 14794899 fired transitions, 1540 secs || 10451117 markings, 35745709 edges, 6278 markings/sec, 1540 secs
lola: STP completed || 15 tries, 14843261 fired transitions, 1545 secs || 10482350 markings, 35880366 edges, 6247 markings/sec, 1545 secs
lola: STP completed || 15 tries, 14891989 fired transitions, 1550 secs || 10515109 markings, 36005411 edges, 6552 markings/sec, 1550 secs
lola: STP completed || 15 tries, 14940705 fired transitions, 1555 secs || 10547006 markings, 36135451 edges, 6379 markings/sec, 1555 secs
lola: STP completed || 15 tries, 14989439 fired transitions, 1560 secs || 10579391 markings, 36262337 edges, 6477 markings/sec, 1560 secs
lola: STP completed || 16 tries, 15035092 fired transitions, 1565 secs || 10609976 markings, 36385179 edges, 6117 markings/sec, 1565 secs
lola: STP completed || 16 tries, 15083146 fired transitions, 1570 secs || 10641360 markings, 36514589 edges, 6277 markings/sec, 1570 secs
lola: STP completed || 16 tries, 15132032 fired transitions, 1575 secs || 10672925 markings, 36647008 edges, 6313 markings/sec, 1575 secs
lola: STP completed || 16 tries, 15180728 fired transitions, 1580 secs || 10705994 markings, 36767591 edges, 6614 markings/sec, 1580 secs
lola: STP completed || 16 tries, 15229901 fired transitions, 1585 secs || 10737170 markings, 36902148 edges, 6235 markings/sec, 1585 secs
lola: STP completed || 16 tries, 15279125 fired transitions, 1590 secs || 10767937 markings, 37038384 edges, 6153 markings/sec, 1590 secs
lola: STP completed || 16 tries, 15328030 fired transitions, 1595 secs || 10799911 markings, 37165930 edges, 6395 markings/sec, 1595 secs
lola: STP completed || 16 tries, 15374223 fired transitions, 1600 secs || 10830243 markings, 37288907 edges, 6066 markings/sec, 1600 secs
lola: STP completed || 16 tries, 15422683 fired transitions, 1605 secs || 10861872 markings, 37420709 edges, 6326 markings/sec, 1605 secs
lola: STP completed || 16 tries, 15471431 fired transitions, 1610 secs || 10894398 markings, 37546744 edges, 6505 markings/sec, 1610 secs
lola: STP completed || 16 tries, 15520270 fired transitions, 1615 secs || 10926029 markings, 37679332 edges, 6326 markings/sec, 1615 secs
lola: STP completed || 16 tries, 15569191 fired transitions, 1620 secs || 10957786 markings, 37808352 edges, 6351 markings/sec, 1620 secs
lola: STP completed || 16 tries, 15618175 fired transitions, 1625 secs || 10989221 markings, 37938240 edges, 6287 markings/sec, 1625 secs
lola: STP completed || 16 tries, 15666542 fired transitions, 1630 secs || 11021351 markings, 38067747 edges, 6426 markings/sec, 1630 secs
lola: STP completed || 16 tries, 15715382 fired transitions, 1635 secs || 11053719 markings, 38194647 edges, 6474 markings/sec, 1635 secs
lola: STP completed || 16 tries, 15764232 fired transitions, 1640 secs || 11085331 markings, 38327208 edges, 6322 markings/sec, 1640 secs
lola: STP completed || 16 tries, 15813186 fired transitions, 1645 secs || 11117258 markings, 38459443 edges, 6385 markings/sec, 1645 secs
lola: STP completed || 16 tries, 15862071 fired transitions, 1650 secs || 11149238 markings, 38589104 edges, 6396 markings/sec, 1650 secs
lola: STP completed || 16 tries, 15911005 fired transitions, 1655 secs || 11181193 markings, 38717563 edges, 6391 markings/sec, 1655 secs
lola: STP completed || 16 tries, 15959346 fired transitions, 1660 secs || 11211463 markings, 38854251 edges, 6054 markings/sec, 1660 secs
lola: STP completed || 17 tries, 16008329 fired transitions, 1665 secs || 11243521 markings, 38983653 edges, 6412 markings/sec, 1665 secs
lola: STP completed || 17 tries, 16057355 fired transitions, 1670 secs || 11275073 markings, 39114889 edges, 6310 markings/sec, 1670 secs
lola: STP completed || 17 tries, 16105336 fired transitions, 1675 secs || 11306526 markings, 39247146 edges, 6291 markings/sec, 1675 secs
lola: STP completed || 17 tries, 16151987 fired transitions, 1680 secs || 11336379 markings, 39375137 edges, 5971 markings/sec, 1680 secs
lola: STP completed || 17 tries, 16198454 fired transitions, 1685 secs || 11366233 markings, 39499757 edges, 5971 markings/sec, 1685 secs
lola: STP completed || 17 tries, 16245223 fired transitions, 1690 secs || 11396060 markings, 39632628 edges, 5965 markings/sec, 1690 secs
lola: STP completed || 17 tries, 16293276 fired transitions, 1695 secs || 11427422 markings, 39760451 edges, 6272 markings/sec, 1695 secs
lola: STP completed || 17 tries, 16339638 fired transitions, 1700 secs || 11458686 markings, 39878026 edges, 6253 markings/sec, 1700 secs
lola: STP completed || 17 tries, 16386461 fired transitions, 1705 secs || 11488148 markings, 40006997 edges, 5892 markings/sec, 1705 secs
lola: STP completed || 17 tries, 16432992 fired transitions, 1710 secs || 11519029 markings, 40126688 edges, 6176 markings/sec, 1710 secs
lola: STP completed || 17 tries, 16479631 fired transitions, 1715 secs || 11549662 markings, 40249164 edges, 6127 markings/sec, 1715 secs
lola: STP completed || 17 tries, 16526210 fired transitions, 1720 secs || 11580068 markings, 40370784 edges, 6081 markings/sec, 1720 secs
lola: STP completed || 17 tries, 16573444 fired transitions, 1725 secs || 11610296 markings, 40496090 edges, 6046 markings/sec, 1725 secs
lola: STP completed || 17 tries, 16621074 fired transitions, 1730 secs || 11641738 markings, 40623257 edges, 6288 markings/sec, 1730 secs
lola: STP completed || 17 tries, 16670073 fired transitions, 1735 secs || 11670639 markings, 40745869 edges, 5780 markings/sec, 1735 secs
lola: STP completed || 17 tries, 16719305 fired transitions, 1740 secs || 11700694 markings, 40881167 edges, 6011 markings/sec, 1740 secs
lola: STP completed || 17 tries, 16768335 fired transitions, 1745 secs || 11732744 markings, 41008150 edges, 6410 markings/sec, 1745 secs
lola: STP completed || 17 tries, 16816255 fired transitions, 1750 secs || 11762960 markings, 41129881 edges, 6043 markings/sec, 1750 secs
lola: STP completed || 17 tries, 16863108 fired transitions, 1755 secs || 11792528 markings, 41262775 edges, 5914 markings/sec, 1755 secs
lola: STP completed || 17 tries, 16909458 fired transitions, 1760 secs || 11823264 markings, 41380936 edges, 6147 markings/sec, 1760 secs
lola: STP completed || 17 tries, 16958432 fired transitions, 1765 secs || 11854450 markings, 41505576 edges, 6237 markings/sec, 1765 secs
lola: STP completed || 18 tries, 17007484 fired transitions, 1770 secs || 11885279 markings, 41634575 edges, 6166 markings/sec, 1770 secs
lola: STP completed || 18 tries, 17056186 fired transitions, 1775 secs || 11917260 markings, 41761605 edges, 6396 markings/sec, 1775 secs
lola: STP completed || 18 tries, 17104068 fired transitions, 1780 secs || 11946754 markings, 41878455 edges, 5899 markings/sec, 1780 secs
lola: STP completed || 18 tries, 17151736 fired transitions, 1785 secs || 11976062 markings, 42002338 edges, 5862 markings/sec, 1785 secs
lola: STP completed || 18 tries, 17198585 fired transitions, 1790 secs || 12005789 markings, 42125027 edges, 5945 markings/sec, 1790 secs
lola: STP completed || 18 tries, 17245152 fired transitions, 1795 secs || 12035646 markings, 42250685 edges, 5971 markings/sec, 1795 secs
lola: STP completed || 18 tries, 17292549 fired transitions, 1800 secs || 12065174 markings, 42372465 edges, 5906 markings/sec, 1800 secs
lola: STP completed || 18 tries, 17338046 fired transitions, 1805 secs || 12094355 markings, 42504170 edges, 5836 markings/sec, 1805 secs
lola: STP completed || 18 tries, 17383561 fired transitions, 1810 secs || 12123456 markings, 42625773 edges, 5820 markings/sec, 1810 secs
lola: STP completed || 18 tries, 17429183 fired transitions, 1815 secs || 12153902 markings, 42746384 edges, 6089 markings/sec, 1815 secs
lola: STP completed || 18 tries, 17477058 fired transitions, 1820 secs || 12185479 markings, 42869619 edges, 6315 markings/sec, 1820 secs
lola: STP completed || 18 tries, 17524653 fired transitions, 1825 secs || 12214332 markings, 42995371 edges, 5771 markings/sec, 1825 secs
lola: STP completed || 18 tries, 17572670 fired transitions, 1830 secs || 12241397 markings, 43110496 edges, 5413 markings/sec, 1830 secs
lola: STP completed || 18 tries, 17620895 fired transitions, 1835 secs || 12272533 markings, 43236727 edges, 6227 markings/sec, 1835 secs
lola: STP completed || 18 tries, 17669045 fired transitions, 1840 secs || 12301518 markings, 43367777 edges, 5797 markings/sec, 1840 secs
lola: STP completed || 18 tries, 17716405 fired transitions, 1845 secs || 12329762 markings, 43491055 edges, 5649 markings/sec, 1845 secs
lola: STP completed || 18 tries, 17764071 fired transitions, 1850 secs || 12358548 markings, 43607471 edges, 5757 markings/sec, 1850 secs
lola: STP completed || 18 tries, 17812391 fired transitions, 1855 secs || 12387000 markings, 43734892 edges, 5690 markings/sec, 1855 secs
lola: STP completed || 18 tries, 17858341 fired transitions, 1860 secs || 12415737 markings, 43859234 edges, 5747 markings/sec, 1860 secs
lola: STP completed || 18 tries, 17903638 fired transitions, 1865 secs || 12444349 markings, 43991200 edges, 5722 markings/sec, 1865 secs
lola: STP completed || 18 tries, 17949521 fired transitions, 1870 secs || 12473755 markings, 44117741 edges, 5881 markings/sec, 1870 secs
lola: STP completed || 18 tries, 17996401 fired transitions, 1875 secs || 12503325 markings, 44247964 edges, 5914 markings/sec, 1875 secs
lola: STP completed || 19 tries, 18042295 fired transitions, 1880 secs || 12535357 markings, 44362912 edges, 6406 markings/sec, 1880 secs
lola: STP completed || 19 tries, 18091691 fired transitions, 1885 secs || 12565172 markings, 44492502 edges, 5963 markings/sec, 1885 secs
lola: STP completed || 19 tries, 18140961 fired transitions, 1890 secs || 12595514 markings, 44619201 edges, 6068 markings/sec, 1890 secs
lola: STP completed || 19 tries, 18190278 fired transitions, 1895 secs || 12625377 markings, 44751223 edges, 5973 markings/sec, 1895 secs
lola: STP completed || 19 tries, 18239052 fired transitions, 1900 secs || 12654340 markings, 44878197 edges, 5793 markings/sec, 1900 secs
lola: STP completed || 19 tries, 18286624 fired transitions, 1905 secs || 12683353 markings, 45006829 edges, 5803 markings/sec, 1905 secs
lola: STP completed || 19 tries, 18333773 fired transitions, 1910 secs || 12712648 markings, 45134820 edges, 5859 markings/sec, 1910 secs
lola: STP completed || 19 tries, 18380715 fired transitions, 1915 secs || 12742594 markings, 45260421 edges, 5989 markings/sec, 1915 secs
lola: STP completed || 19 tries, 18427612 fired transitions, 1920 secs || 12772438 markings, 45387329 edges, 5969 markings/sec, 1920 secs
lola: STP completed || 19 tries, 18474403 fired transitions, 1925 secs || 12803188 markings, 45511096 edges, 6150 markings/sec, 1925 secs
lola: STP completed || 19 tries, 18521367 fired transitions, 1930 secs || 12832721 markings, 45639207 edges, 5907 markings/sec, 1930 secs
lola: STP completed || 19 tries, 18568225 fired transitions, 1935 secs || 12862576 markings, 45769804 edges, 5971 markings/sec, 1935 secs
lola: STP completed || 19 tries, 18615212 fired transitions, 1940 secs || 12891996 markings, 45900020 edges, 5884 markings/sec, 1940 secs
lola: STP completed || 19 tries, 18661942 fired transitions, 1945 secs || 12922313 markings, 46022670 edges, 6063 markings/sec, 1945 secs
lola: STP completed || 19 tries, 18709054 fired transitions, 1950 secs || 12951577 markings, 46153252 edges, 5853 markings/sec, 1950 secs
lola: STP completed || 19 tries, 18756157 fired transitions, 1955 secs || 12979805 markings, 46282192 edges, 5646 markings/sec, 1955 secs
lola: STP completed || 19 tries, 18804208 fired transitions, 1960 secs || 13007958 markings, 46419180 edges, 5631 markings/sec, 1960 secs
lola: STP completed || 19 tries, 18851394 fired transitions, 1965 secs || 13037270 markings, 46550227 edges, 5862 markings/sec, 1965 secs
lola: STP completed || 19 tries, 18898407 fired transitions, 1970 secs || 13066814 markings, 46677464 edges, 5909 markings/sec, 1970 secs
lola: STP completed || 19 tries, 18945765 fired transitions, 1975 secs || 13095531 markings, 46811314 edges, 5743 markings/sec, 1975 secs
lola: STP completed || 19 tries, 18992811 fired transitions, 1980 secs || 13125777 markings, 46937360 edges, 6049 markings/sec, 1980 secs
lola: STP completed || 20 tries, 19039992 fired transitions, 1985 secs || 13155385 markings, 47064860 edges, 5922 markings/sec, 1985 secs
lola: STP completed || 20 tries, 19086856 fired transitions, 1990 secs || 13185919 markings, 47185693 edges, 6107 markings/sec, 1990 secs
lola: STP completed || 20 tries, 19133809 fired transitions, 1995 secs || 13215532 markings, 47314946 edges, 5923 markings/sec, 1995 secs
lola: STP completed || 20 tries, 19180937 fired transitions, 2000 secs || 13244333 markings, 47447626 edges, 5760 markings/sec, 2000 secs
lola: STP completed || 20 tries, 19227944 fired transitions, 2005 secs || 13273535 markings, 47577409 edges, 5840 markings/sec, 2005 secs
lola: STP completed || 20 tries, 19275179 fired transitions, 2010 secs || 13302997 markings, 47698042 edges, 5892 markings/sec, 2010 secs
lola: STP completed || 20 tries, 19323555 fired transitions, 2015 secs || 13331587 markings, 47829571 edges, 5718 markings/sec, 2015 secs
lola: STP completed || 20 tries, 19370992 fired transitions, 2020 secs || 13359339 markings, 47958516 edges, 5550 markings/sec, 2020 secs
lola: STP completed || 20 tries, 19418235 fired transitions, 2025 secs || 13387782 markings, 48084957 edges, 5689 markings/sec, 2025 secs
lola: STP completed || 20 tries, 19465234 fired transitions, 2030 secs || 13417011 markings, 48217714 edges, 5846 markings/sec, 2030 secs
lola: STP completed || 20 tries, 19512238 fired transitions, 2035 secs || 13446150 markings, 48352053 edges, 5828 markings/sec, 2035 secs
lola: STP completed || 20 tries, 19559124 fired transitions, 2040 secs || 13475749 markings, 48479331 edges, 5920 markings/sec, 2040 secs
lola: STP completed || 20 tries, 19606214 fired transitions, 2045 secs || 13504399 markings, 48614247 edges, 5730 markings/sec, 2045 secs
lola: STP completed || 20 tries, 19653207 fired transitions, 2050 secs || 13533247 markings, 48747676 edges, 5770 markings/sec, 2050 secs
lola: STP completed || 20 tries, 19700173 fired transitions, 2055 secs || 13562526 markings, 48877096 edges, 5856 markings/sec, 2055 secs
lola: STP completed || 20 tries, 19746887 fired transitions, 2060 secs || 13592746 markings, 49002163 edges, 6044 markings/sec, 2060 secs
lola: STP completed || 20 tries, 19793816 fired transitions, 2065 secs || 13622557 markings, 49130039 edges, 5962 markings/sec, 2065 secs
lola: STP completed || 20 tries, 19840808 fired transitions, 2070 secs || 13651665 markings, 49259674 edges, 5822 markings/sec, 2070 secs
lola: STP completed || 20 tries, 19887889 fired transitions, 2075 secs || 13680916 markings, 49391622 edges, 5850 markings/sec, 2075 secs
lola: STP completed || 20 tries, 19935673 fired transitions, 2080 secs || 13710142 markings, 49521015 edges, 5845 markings/sec, 2080 secs
lola: STP completed || 20 tries, 19982245 fired transitions, 2085 secs || 13740760 markings, 49645565 edges, 6124 markings/sec, 2085 secs
lola: STP completed || 21 tries, 20029004 fired transitions, 2090 secs || 13770721 markings, 49773427 edges, 5992 markings/sec, 2090 secs
lola: STP completed || 21 tries, 20075926 fired transitions, 2095 secs || 13799915 markings, 49901371 edges, 5839 markings/sec, 2095 secs
lola: STP completed || 21 tries, 20122909 fired transitions, 2100 secs || 13829431 markings, 50027310 edges, 5903 markings/sec, 2100 secs
lola: STP completed || 21 tries, 20170375 fired transitions, 2105 secs || 13858898 markings, 50155280 edges, 5893 markings/sec, 2105 secs
lola: STP completed || 21 tries, 20217544 fired transitions, 2110 secs || 13888542 markings, 50282404 edges, 5929 markings/sec, 2110 secs
lola: STP completed || 21 tries, 20264734 fired transitions, 2115 secs || 13917848 markings, 50412510 edges, 5861 markings/sec, 2115 secs
lola: STP completed || 21 tries, 20311545 fired transitions, 2120 secs || 13949166 markings, 50530477 edges, 6264 markings/sec, 2120 secs
lola: STP completed || 21 tries, 20358142 fired transitions, 2125 secs || 13981071 markings, 50644557 edges, 6381 markings/sec, 2125 secs
lola: STP completed || 21 tries, 20405022 fired transitions, 2130 secs || 14010390 markings, 50774485 edges, 5864 markings/sec, 2130 secs
lola: STP completed || 21 tries, 20451664 fired transitions, 2135 secs || 14041061 markings, 50899840 edges, 6134 markings/sec, 2135 secs
lola: STP completed || 21 tries, 20498363 fired transitions, 2140 secs || 14071531 markings, 51026276 edges, 6094 markings/sec, 2140 secs
lola: STP completed || 21 tries, 20545135 fired transitions, 2145 secs || 14101320 markings, 51155110 edges, 5958 markings/sec, 2145 secs
lola: STP completed || 21 tries, 20591537 fired transitions, 2150 secs || 14133070 markings, 51269588 edges, 6350 markings/sec, 2150 secs
lola: STP completed || 21 tries, 20637917 fired transitions, 2155 secs || 14165286 markings, 51381816 edges, 6443 markings/sec, 2155 secs
lola: STP completed || 21 tries, 20684775 fired transitions, 2160 secs || 14195804 markings, 51504585 edges, 6104 markings/sec, 2160 secs
lola: STP completed || 21 tries, 20731649 fired transitions, 2165 secs || 14226366 markings, 51629063 edges, 6112 markings/sec, 2165 secs
lola: STP completed || 21 tries, 20778576 fired transitions, 2170 secs || 14256165 markings, 51759526 edges, 5960 markings/sec, 2170 secs
lola: STP completed || 21 tries, 20825342 fired transitions, 2175 secs || 14286472 markings, 51888581 edges, 6061 markings/sec, 2175 secs
lola: STP completed || 21 tries, 20872233 fired transitions, 2180 secs || 14315749 markings, 52018831 edges, 5855 markings/sec, 2180 secs
lola: STP completed || 21 tries, 20909464 fired transitions, 2185 secs || 14338367 markings, 52120188 edges, 4524 markings/sec, 2185 secs
lola: STP completed || 21 tries, 20957136 fired transitions, 2190 secs || 14368020 markings, 52248172 edges, 5931 markings/sec, 2190 secs
lola: STP completed || 22 tries, 21004788 fired transitions, 2195 secs || 14398168 markings, 52373910 edges, 6030 markings/sec, 2195 secs
lola: STP completed || 22 tries, 21052208 fired transitions, 2200 secs || 14428128 markings, 52502094 edges, 5992 markings/sec, 2200 secs
lola: STP completed || 22 tries, 21098372 fired transitions, 2205 secs || 14458342 markings, 52626354 edges, 6043 markings/sec, 2205 secs
lola: STP completed || 22 tries, 21144914 fired transitions, 2210 secs || 14487200 markings, 52753850 edges, 5772 markings/sec, 2210 secs
lola: STP completed || 22 tries, 21191141 fired transitions, 2215 secs || 14518210 markings, 52864081 edges, 6202 markings/sec, 2215 secs
lola: STP completed || 22 tries, 21238137 fired transitions, 2220 secs || 14547641 markings, 52996633 edges, 5886 markings/sec, 2220 secs
lola: STP completed || 22 tries, 21283991 fired transitions, 2225 secs || 14576763 markings, 53124083 edges, 5824 markings/sec, 2225 secs
lola: STP completed || 22 tries, 21330628 fired transitions, 2230 secs || 14605939 markings, 53254284 edges, 5835 markings/sec, 2230 secs
lola: STP completed || 22 tries, 21376044 fired transitions, 2235 secs || 14635001 markings, 53375883 edges, 5812 markings/sec, 2235 secs
lola: STP completed || 22 tries, 21423948 fired transitions, 2240 secs || 14661594 markings, 53496333 edges, 5319 markings/sec, 2240 secs
lola: STP completed || 22 tries, 21471632 fired transitions, 2245 secs || 14688833 markings, 53623054 edges, 5448 markings/sec, 2245 secs
lola: STP completed || 22 tries, 21518681 fired transitions, 2250 secs || 14717811 markings, 53754303 edges, 5796 markings/sec, 2250 secs
lola: STP completed || 22 tries, 21565639 fired transitions, 2255 secs || 14747317 markings, 53883747 edges, 5901 markings/sec, 2255 secs
lola: STP completed || 22 tries, 21612685 fired transitions, 2260 secs || 14776445 markings, 54014914 edges, 5826 markings/sec, 2260 secs
lola: STP completed || 22 tries, 21658857 fired transitions, 2265 secs || 14805600 markings, 54133849 edges, 5831 markings/sec, 2265 secs
lola: STP completed || 22 tries, 21705392 fired transitions, 2270 secs || 14835753 markings, 54246105 edges, 6031 markings/sec, 2270 secs
lola: STP completed || 22 tries, 21750679 fired transitions, 2275 secs || 14868540 markings, 54335735 edges, 6557 markings/sec, 2275 secs
lola: STP completed || 22 tries, 21796179 fired transitions, 2280 secs || 14900570 markings, 54429083 edges, 6406 markings/sec, 2280 secs
lola: STP completed || 22 tries, 21842124 fired transitions, 2285 secs || 14931109 markings, 54533146 edges, 6108 markings/sec, 2285 secs
lola: STP completed || 22 tries, 21888132 fired transitions, 2290 secs || 14959677 markings, 54657714 edges, 5714 markings/sec, 2290 secs
lola: STP completed || 22 tries, 21935324 fired transitions, 2295 secs || 14988358 markings, 54781463 edges, 5736 markings/sec, 2295 secs
lola: STP completed || 22 tries, 21982144 fired transitions, 2300 secs || 15018104 markings, 54908633 edges, 5949 markings/sec, 2300 secs
lola: STP completed || 23 tries, 22028539 fired transitions, 2305 secs || 15049906 markings, 55016744 edges, 6360 markings/sec, 2305 secs
lola: STP completed || 23 tries, 22075346 fired transitions, 2310 secs || 15079207 markings, 55144756 edges, 5860 markings/sec, 2310 secs
lola: STP completed || 23 tries, 22122173 fired transitions, 2315 secs || 15109789 markings, 55264793 edges, 6116 markings/sec, 2315 secs
lola: STP completed || 23 tries, 22169122 fired transitions, 2320 secs || 15138936 markings, 55393736 edges, 5829 markings/sec, 2320 secs
lola: STP completed || 23 tries, 22216239 fired transitions, 2325 secs || 15167540 markings, 55520552 edges, 5721 markings/sec, 2325 secs
lola: STP completed || 23 tries, 22263091 fired transitions, 2330 secs || 15196479 markings, 55650354 edges, 5788 markings/sec, 2330 secs
lola: STP completed || 23 tries, 22309433 fired transitions, 2335 secs || 15227634 markings, 55768433 edges, 6231 markings/sec, 2335 secs
lola: STP completed || 23 tries, 22356029 fired transitions, 2340 secs || 15258255 markings, 55879270 edges, 6124 markings/sec, 2340 secs
lola: STP completed || 23 tries, 22402826 fired transitions, 2345 secs || 15288951 markings, 55983609 edges, 6139 markings/sec, 2345 secs
lola: STP completed || 23 tries, 22449987 fired transitions, 2350 secs || 15318401 markings, 56109294 edges, 5890 markings/sec, 2350 secs
lola: STP completed || 23 tries, 22497860 fired transitions, 2355 secs || 15346525 markings, 56236039 edges, 5625 markings/sec, 2355 secs
lola: STP completed || 23 tries, 22545091 fired transitions, 2360 secs || 15375392 markings, 56366151 edges, 5773 markings/sec, 2360 secs
lola: STP completed || 23 tries, 22591447 fired transitions, 2365 secs || 15405964 markings, 56474894 edges, 6114 markings/sec, 2365 secs
lola: STP completed || 23 tries, 22638002 fired transitions, 2370 secs || 15434982 markings, 56601854 edges, 5804 markings/sec, 2370 secs
lola: STP completed || 23 tries, 22685115 fired transitions, 2375 secs || 15462299 markings, 56723903 edges, 5463 markings/sec, 2375 secs
lola: STP completed || 23 tries, 22731388 fired transitions, 2380 secs || 15493134 markings, 56822613 edges, 6167 markings/sec, 2380 secs
lola: STP completed || 23 tries, 22776828 fired transitions, 2385 secs || 15522403 markings, 56946384 edges, 5854 markings/sec, 2385 secs
lola: STP completed || 23 tries, 22823820 fired transitions, 2390 secs || 15552216 markings, 57066090 edges, 5963 markings/sec, 2390 secs
lola: STP completed || 23 tries, 22870856 fired transitions, 2395 secs || 15582013 markings, 57189438 edges, 5959 markings/sec, 2395 secs
lola: STP completed || 23 tries, 22917583 fired transitions, 2400 secs || 15613543 markings, 57295885 edges, 6306 markings/sec, 2400 secs
lola: STP completed || 23 tries, 22965190 fired transitions, 2405 secs || 15642759 markings, 57411121 edges, 5843 markings/sec, 2405 secs
lola: STP completed || 24 tries, 23012154 fired transitions, 2410 secs || 15673206 markings, 57521394 edges, 6089 markings/sec, 2410 secs
lola: STP completed || 24 tries, 23059441 fired transitions, 2415 secs || 15701541 markings, 57639638 edges, 5667 markings/sec, 2415 secs
lola: STP completed || 24 tries, 23106650 fired transitions, 2420 secs || 15730276 markings, 57762646 edges, 5747 markings/sec, 2420 secs
lola: STP completed || 24 tries, 23154121 fired transitions, 2425 secs || 15760926 markings, 57874985 edges, 6130 markings/sec, 2425 secs
lola: STP completed || 24 tries, 23200942 fired transitions, 2430 secs || 15791785 markings, 57994288 edges, 6172 markings/sec, 2430 secs
lola: STP completed || 24 tries, 23247713 fired transitions, 2435 secs || 15822217 markings, 58109882 edges, 6086 markings/sec, 2435 secs
lola: STP completed || 24 tries, 23294856 fired transitions, 2440 secs || 15851075 markings, 58234711 edges, 5772 markings/sec, 2440 secs
lola: STP completed || 24 tries, 23342009 fired transitions, 2445 secs || 15880158 markings, 58365180 edges, 5817 markings/sec, 2445 secs
lola: STP completed || 24 tries, 23389844 fired transitions, 2450 secs || 15908958 markings, 58496712 edges, 5760 markings/sec, 2450 secs
lola: STP completed || 24 tries, 23436632 fired transitions, 2455 secs || 15939189 markings, 58619590 edges, 6046 markings/sec, 2455 secs
lola: STP completed || 24 tries, 23483259 fired transitions, 2460 secs || 15970364 markings, 58736971 edges, 6235 markings/sec, 2460 secs
lola: STP completed || 24 tries, 23530423 fired transitions, 2465 secs || 15998941 markings, 58863633 edges, 5715 markings/sec, 2465 secs
lola: STP completed || 24 tries, 23575126 fired transitions, 2470 secs || 16027371 markings, 58987436 edges, 5686 markings/sec, 2470 secs
lola: STP completed || 24 tries, 23620483 fired transitions, 2475 secs || 16056128 markings, 59110053 edges, 5751 markings/sec, 2475 secs
lola: STP completed || 24 tries, 23667069 fired transitions, 2480 secs || 16084855 markings, 59233099 edges, 5745 markings/sec, 2480 secs
lola: STP completed || 24 tries, 23714473 fired transitions, 2485 secs || 16110857 markings, 59355177 edges, 5200 markings/sec, 2485 secs
lola: STP completed || 24 tries, 23760776 fired transitions, 2490 secs || 16140693 markings, 59473331 edges, 5967 markings/sec, 2490 secs
lola: STP completed || 24 tries, 23807320 fired transitions, 2495 secs || 16172527 markings, 59586895 edges, 6367 markings/sec, 2495 secs
lola: STP completed || 24 tries, 23854272 fired transitions, 2500 secs || 16201776 markings, 59712770 edges, 5850 markings/sec, 2500 secs
lola: STP completed || 24 tries, 23900978 fired transitions, 2505 secs || 16232527 markings, 59832152 edges, 6150 markings/sec, 2505 secs
lola: STP completed || 24 tries, 23947728 fired transitions, 2510 secs || 16263403 markings, 59955044 edges, 6175 markings/sec, 2510 secs
lola: STP completed || 24 tries, 23994153 fired transitions, 2515 secs || 16295390 markings, 60068070 edges, 6397 markings/sec, 2515 secs
lola: STP completed || 25 tries, 24041199 fired transitions, 2520 secs || 16324753 markings, 60190397 edges, 5873 markings/sec, 2520 secs
lola: STP completed || 25 tries, 24088254 fired transitions, 2525 secs || 16353899 markings, 60315239 edges, 5829 markings/sec, 2525 secs
lola: STP completed || 25 tries, 24134894 fired transitions, 2530 secs || 16385222 markings, 60432575 edges, 6265 markings/sec, 2530 secs
lola: STP completed || 25 tries, 24181794 fired transitions, 2535 secs || 16416030 markings, 60552898 edges, 6162 markings/sec, 2535 secs
lola: STP completed || 25 tries, 24228663 fired transitions, 2540 secs || 16446283 markings, 60674653 edges, 6051 markings/sec, 2540 secs
lola: STP completed || 25 tries, 24274527 fired transitions, 2545 secs || 16476056 markings, 60802128 edges, 5955 markings/sec, 2545 secs
lola: STP completed || 25 tries, 24320910 fired transitions, 2550 secs || 16505659 markings, 60926466 edges, 5921 markings/sec, 2550 secs
lola: STP completed || 25 tries, 24367173 fired transitions, 2555 secs || 16535172 markings, 61053623 edges, 5903 markings/sec, 2555 secs
lola: STP completed || 25 tries, 24414164 fired transitions, 2560 secs || 16564502 markings, 61179383 edges, 5866 markings/sec, 2560 secs
lola: STP completed || 25 tries, 24461071 fired transitions, 2565 secs || 16593631 markings, 61304808 edges, 5826 markings/sec, 2565 secs
lola: STP completed || 25 tries, 24508136 fired transitions, 2570 secs || 16622983 markings, 61433285 edges, 5870 markings/sec, 2570 secs
lola: STP completed || 25 tries, 24555088 fired transitions, 2575 secs || 16652399 markings, 61561428 edges, 5883 markings/sec, 2575 secs
lola: STP completed || 25 tries, 24602259 fired transitions, 2580 secs || 16681341 markings, 61689769 edges, 5788 markings/sec, 2580 secs
lola: STP completed || 25 tries, 24649402 fired transitions, 2585 secs || 16710231 markings, 61819865 edges, 5778 markings/sec, 2585 secs
lola: STP completed || 25 tries, 24696203 fired transitions, 2590 secs || 16741206 markings, 61941936 edges, 6195 markings/sec, 2590 secs
lola: STP completed || 25 tries, 24743318 fired transitions, 2595 secs || 16770090 markings, 62073022 edges, 5777 markings/sec, 2595 secs
lola: STP completed || 25 tries, 24789494 fired transitions, 2600 secs || 16803210 markings, 62179444 edges, 6624 markings/sec, 2600 secs
lola: STP completed || 25 tries, 24834960 fired transitions, 2605 secs || 16840051 markings, 62267009 edges, 7368 markings/sec, 2605 secs
lola: STP completed || 25 tries, 24881910 fired transitions, 2610 secs || 16869695 markings, 62394332 edges, 5929 markings/sec, 2610 secs
lola: STP completed || 25 tries, 24928675 fired transitions, 2615 secs || 16901386 markings, 62508687 edges, 6338 markings/sec, 2615 secs
lola: STP completed || 25 tries, 24975923 fired transitions, 2620 secs || 16929876 markings, 62642330 edges, 5698 markings/sec, 2620 secs
lola: STP completed || 26 tries, 25022913 fired transitions, 2625 secs || 16959964 markings, 62766737 edges, 6018 markings/sec, 2625 secs
lola: STP completed || 26 tries, 25069919 fired transitions, 2630 secs || 16989071 markings, 62894433 edges, 5821 markings/sec, 2630 secs
lola: STP completed || 26 tries, 25116988 fired transitions, 2635 secs || 17018498 markings, 63021877 edges, 5885 markings/sec, 2635 secs
lola: STP completed || 26 tries, 25163586 fired transitions, 2640 secs || 17049383 markings, 63143799 edges, 6177 markings/sec, 2640 secs
lola: STP completed || 26 tries, 25210751 fired transitions, 2645 secs || 17077997 markings, 63273400 edges, 5723 markings/sec, 2645 secs
lola: STP completed || 26 tries, 25257659 fired transitions, 2650 secs || 17108472 markings, 63392473 edges, 6095 markings/sec, 2650 secs
lola: STP completed || 26 tries, 25304705 fired transitions, 2655 secs || 17137726 markings, 63519853 edges, 5851 markings/sec, 2655 secs
lola: STP completed || 26 tries, 25351507 fired transitions, 2660 secs || 17168741 markings, 63638427 edges, 6203 markings/sec, 2660 secs
lola: STP completed || 26 tries, 25398719 fired transitions, 2665 secs || 17198001 markings, 63765907 edges, 5852 markings/sec, 2665 secs
lola: STP completed || 26 tries, 25445886 fired transitions, 2670 secs || 17227455 markings, 63889662 edges, 5891 markings/sec, 2670 secs
lola: STP completed || 26 tries, 25492602 fired transitions, 2675 secs || 17258034 markings, 64011767 edges, 6116 markings/sec, 2675 secs
lola: STP completed || 26 tries, 25539255 fired transitions, 2680 secs || 17289371 markings, 64130536 edges, 6267 markings/sec, 2680 secs
lola: STP completed || 26 tries, 25586476 fired transitions, 2685 secs || 17318226 markings, 64260648 edges, 5771 markings/sec, 2685 secs
lola: STP completed || 26 tries, 25633663 fired transitions, 2690 secs || 17347335 markings, 64388240 edges, 5822 markings/sec, 2690 secs
lola: STP completed || 26 tries, 25680457 fired transitions, 2695 secs || 17377677 markings, 64508656 edges, 6068 markings/sec, 2695 secs
lola: STP completed || 26 tries, 25727564 fired transitions, 2700 secs || 17407018 markings, 64639110 edges, 5868 markings/sec, 2700 secs
lola: STP completed || 26 tries, 25774533 fired transitions, 2705 secs || 17436539 markings, 64766791 edges, 5904 markings/sec, 2705 secs
lola: STP completed || 26 tries, 25821606 fired transitions, 2710 secs || 17466228 markings, 64890017 edges, 5938 markings/sec, 2710 secs
lola: STP completed || 26 tries, 25868762 fired transitions, 2715 secs || 17494879 markings, 65019677 edges, 5730 markings/sec, 2715 secs
lola: STP completed || 26 tries, 25915610 fired transitions, 2720 secs || 17525017 markings, 65141972 edges, 6028 markings/sec, 2720 secs
lola: STP completed || 26 tries, 25962644 fired transitions, 2725 secs || 17554149 markings, 65270978 edges, 5826 markings/sec, 2725 secs
lola: STP completed || 27 tries, 26010312 fired transitions, 2730 secs || 17582924 markings, 65401018 edges, 5755 markings/sec, 2730 secs
lola: STP completed || 27 tries, 26059035 fired transitions, 2735 secs || 17611989 markings, 65528045 edges, 5813 markings/sec, 2735 secs
lola: STP completed || 27 tries, 26108085 fired transitions, 2740 secs || 17639824 markings, 65658033 edges, 5567 markings/sec, 2740 secs
lola: STP completed || 27 tries, 26155174 fired transitions, 2745 secs || 17668603 markings, 65789840 edges, 5756 markings/sec, 2745 secs
lola: STP completed || 27 tries, 26202157 fired transitions, 2750 secs || 17698925 markings, 65914184 edges, 6064 markings/sec, 2750 secs
lola: STP completed || 27 tries, 26249125 fired transitions, 2755 secs || 17728503 markings, 66040496 edges, 5916 markings/sec, 2755 secs
lola: STP completed || 27 tries, 26295913 fired transitions, 2760 secs || 17757635 markings, 66170078 edges, 5826 markings/sec, 2760 secs
lola: STP completed || 27 tries, 26342831 fired transitions, 2765 secs || 17787784 markings, 66293638 edges, 6030 markings/sec, 2765 secs
lola: STP completed || 27 tries, 26389660 fired transitions, 2770 secs || 17817652 markings, 66417936 edges, 5974 markings/sec, 2770 secs
lola: STP completed || 27 tries, 26436877 fired transitions, 2775 secs || 17846810 markings, 66546628 edges, 5832 markings/sec, 2775 secs
lola: STP completed || 27 tries, 26484041 fired transitions, 2780 secs || 17875483 markings, 66676508 edges, 5735 markings/sec, 2780 secs
lola: STP completed || 27 tries, 26531838 fired transitions, 2785 secs || 17903770 markings, 66803891 edges, 5657 markings/sec, 2785 secs
lola: STP completed || 27 tries, 26580963 fired transitions, 2790 secs || 17932663 markings, 66936605 edges, 5779 markings/sec, 2790 secs
lola: STP completed || 27 tries, 26630060 fired transitions, 2795 secs || 17961445 markings, 67068222 edges, 5756 markings/sec, 2795 secs
lola: STP completed || 27 tries, 26679644 fired transitions, 2800 secs || 17988198 markings, 67189757 edges, 5351 markings/sec, 2800 secs
lola: STP completed || 27 tries, 26729091 fired transitions, 2805 secs || 18012942 markings, 67299167 edges, 4949 markings/sec, 2805 secs
lola: STP completed || 27 tries, 26776522 fired transitions, 2810 secs || 18041063 markings, 67430213 edges, 5624 markings/sec, 2810 secs
lola: STP completed || 27 tries, 26823791 fired transitions, 2815 secs || 18069931 markings, 67559814 edges, 5774 markings/sec, 2815 secs
lola: STP completed || 27 tries, 26869239 fired transitions, 2820 secs || 18099224 markings, 67683862 edges, 5859 markings/sec, 2820 secs
lola: STP completed || 27 tries, 26915106 fired transitions, 2825 secs || 18128121 markings, 67802019 edges, 5779 markings/sec, 2825 secs
lola: STP completed || 27 tries, 26961316 fired transitions, 2830 secs || 18156597 markings, 67928838 edges, 5695 markings/sec, 2830 secs
lola: STP completed || 28 tries, 27006898 fired transitions, 2835 secs || 18185259 markings, 68053236 edges, 5732 markings/sec, 2835 secs
lola: STP completed || 28 tries, 27052949 fired transitions, 2840 secs || 18214582 markings, 68173285 edges, 5865 markings/sec, 2840 secs
lola: STP completed || 28 tries, 27099885 fired transitions, 2845 secs || 18243981 markings, 68299651 edges, 5880 markings/sec, 2845 secs
lola: STP completed || 28 tries, 27146718 fired transitions, 2850 secs || 18273080 markings, 68427144 edges, 5820 markings/sec, 2850 secs
lola: STP completed || 28 tries, 27193716 fired transitions, 2855 secs || 18301018 markings, 68558260 edges, 5588 markings/sec, 2855 secs
lola: STP completed || 28 tries, 27240525 fired transitions, 2860 secs || 18329622 markings, 68687027 edges, 5721 markings/sec, 2860 secs
lola: STP completed || 28 tries, 27287205 fired transitions, 2865 secs || 18356408 markings, 68806277 edges, 5357 markings/sec, 2865 secs
lola: STP completed || 28 tries, 27334054 fired transitions, 2870 secs || 18384916 markings, 68937832 edges, 5702 markings/sec, 2870 secs
lola: STP completed || 28 tries, 27382919 fired transitions, 2875 secs || 18414291 markings, 69074988 edges, 5875 markings/sec, 2875 secs
lola: STP completed || 28 tries, 27431407 fired transitions, 2880 secs || 18444409 markings, 69211145 edges, 6024 markings/sec, 2880 secs
lola: STP completed || 28 tries, 27479955 fired transitions, 2885 secs || 18474592 markings, 69346498 edges, 6037 markings/sec, 2885 secs
lola: STP completed || 28 tries, 27528683 fired transitions, 2890 secs || 18503878 markings, 69484455 edges, 5857 markings/sec, 2890 secs
lola: STP completed || 28 tries, 27577300 fired transitions, 2895 secs || 18534042 markings, 69618783 edges, 6033 markings/sec, 2895 secs
lola: STP completed || 28 tries, 27625891 fired transitions, 2900 secs || 18563580 markings, 69752724 edges, 5908 markings/sec, 2900 secs
lola: STP completed || 28 tries, 27674517 fired transitions, 2905 secs || 18593630 markings, 69883830 edges, 6010 markings/sec, 2905 secs
lola: STP completed || 28 tries, 27722429 fired transitions, 2910 secs || 18623166 markings, 70016161 edges, 5907 markings/sec, 2910 secs
lola: STP completed || 28 tries, 27770773 fired transitions, 2915 secs || 18652596 markings, 70151072 edges, 5886 markings/sec, 2915 secs
lola: STP completed || 28 tries, 27818640 fired transitions, 2920 secs || 18682674 markings, 70284889 edges, 6016 markings/sec, 2920 secs
lola: STP completed || 28 tries, 27867208 fired transitions, 2925 secs || 18712921 markings, 70420169 edges, 6049 markings/sec, 2925 secs
lola: STP completed || 28 tries, 27915689 fired transitions, 2930 secs || 18742677 markings, 70556320 edges, 5951 markings/sec, 2930 secs
lola: STP completed || 28 tries, 27964388 fired transitions, 2935 secs || 18772380 markings, 70694861 edges, 5941 markings/sec, 2935 secs
lola: STP completed || 29 tries, 28012947 fired transitions, 2940 secs || 18803403 markings, 70822998 edges, 6205 markings/sec, 2940 secs
lola: STP completed || 29 tries, 28061568 fired transitions, 2945 secs || 18832623 markings, 70957654 edges, 5844 markings/sec, 2945 secs
lola: STP completed || 29 tries, 28107840 fired transitions, 2950 secs || 18861062 markings, 71080324 edges, 5688 markings/sec, 2950 secs
lola: STP completed || 29 tries, 28154615 fired transitions, 2955 secs || 18888556 markings, 71211095 edges, 5499 markings/sec, 2955 secs
lola: STP completed || 29 tries, 28200929 fired transitions, 2960 secs || 18916479 markings, 71340504 edges, 5585 markings/sec, 2960 secs
lola: STP completed || 29 tries, 28247637 fired transitions, 2965 secs || 18944267 markings, 71467052 edges, 5558 markings/sec, 2965 secs
lola: STP completed || 29 tries, 28294503 fired transitions, 2970 secs || 18972553 markings, 71594483 edges, 5657 markings/sec, 2970 secs
lola: STP completed || 29 tries, 28341406 fired transitions, 2975 secs || 19000052 markings, 71726202 edges, 5500 markings/sec, 2975 secs
lola: STP completed || 29 tries, 28387868 fired transitions, 2980 secs || 19029973 markings, 71852777 edges, 5984 markings/sec, 2980 secs
lola: STP completed || 29 tries, 28435590 fired transitions, 2985 secs || 19058562 markings, 71983796 edges, 5718 markings/sec, 2985 secs
lola: STP completed || 29 tries, 28484267 fired transitions, 2990 secs || 19086875 markings, 72119349 edges, 5663 markings/sec, 2990 secs
lola: STP completed || 29 tries, 28531755 fired transitions, 2995 secs || 19116412 markings, 72256486 edges, 5907 markings/sec, 2995 secs
lola: STP completed || 29 tries, 28578772 fired transitions, 3000 secs || 19144911 markings, 72392454 edges, 5700 markings/sec, 3000 secs
lola: STP completed || 29 tries, 28625479 fired transitions, 3005 secs || 19174443 markings, 72522671 edges, 5906 markings/sec, 3005 secs
lola: STP completed || 29 tries, 28672456 fired transitions, 3010 secs || 19202966 markings, 72656816 edges, 5705 markings/sec, 3010 secs
lola: STP completed || 29 tries, 28719600 fired transitions, 3015 secs || 19231433 markings, 72791230 edges, 5693 markings/sec, 3015 secs
lola: STP completed || 29 tries, 28766435 fired transitions, 3020 secs || 19260727 markings, 72918806 edges, 5859 markings/sec, 3020 secs
lola: STP completed || 29 tries, 28813285 fired transitions, 3025 secs || 19289628 markings, 73050775 edges, 5780 markings/sec, 3025 secs
lola: STP completed || 29 tries, 28860314 fired transitions, 3030 secs || 19317697 markings, 73181898 edges, 5614 markings/sec, 3030 secs
lola: STP completed || 29 tries, 28907070 fired transitions, 3035 secs || 19344155 markings, 73312431 edges, 5292 markings/sec, 3035 secs
lola: STP completed || 29 tries, 28953867 fired transitions, 3040 secs || 19372400 markings, 73439031 edges, 5649 markings/sec, 3040 secs
lola: STP completed || 30 tries, 29000448 fired transitions, 3045 secs || 19402414 markings, 73566274 edges, 6003 markings/sec, 3045 secs
lola: STP completed || 30 tries, 29047465 fired transitions, 3050 secs || 19430504 markings, 73702615 edges, 5618 markings/sec, 3050 secs
lola: STP completed || 30 tries, 29094544 fired transitions, 3055 secs || 19459690 markings, 73827980 edges, 5837 markings/sec, 3055 secs
lola: STP completed || 30 tries, 29141625 fired transitions, 3060 secs || 19487795 markings, 73958272 edges, 5621 markings/sec, 3060 secs
lola: STP completed || 30 tries, 29189530 fired transitions, 3065 secs || 19517920 markings, 74090696 edges, 6025 markings/sec, 3065 secs
lola: STP completed || 30 tries, 29237906 fired transitions, 3070 secs || 19547748 markings, 74230698 edges, 5966 markings/sec, 3070 secs
lola: STP completed || 30 tries, 29284453 fired transitions, 3075 secs || 19576717 markings, 74362103 edges, 5794 markings/sec, 3075 secs
lola: STP completed || 30 tries, 29331625 fired transitions, 3080 secs || 19604531 markings, 74498274 edges, 5563 markings/sec, 3080 secs
lola: STP completed || 30 tries, 29377909 fired transitions, 3085 secs || 19633316 markings, 74621450 edges, 5757 markings/sec, 3085 secs
lola: STP completed || 30 tries, 29424725 fired transitions, 3090 secs || 19661747 markings, 74749423 edges, 5686 markings/sec, 3090 secs
lola: STP completed || 30 tries, 29471454 fired transitions, 3095 secs || 19690059 markings, 74880039 edges, 5662 markings/sec, 3095 secs
lola: STP completed || 30 tries, 29518782 fired transitions, 3100 secs || 19718274 markings, 75013255 edges, 5643 markings/sec, 3100 secs
lola: STP completed || 30 tries, 29565955 fired transitions, 3105 secs || 19745967 markings, 75144163 edges, 5539 markings/sec, 3105 secs
lola: STP completed || 30 tries, 29613816 fired transitions, 3110 secs || 19773849 markings, 75277946 edges, 5576 markings/sec, 3110 secs
lola: STP completed || 30 tries, 29662544 fired transitions, 3115 secs || 19803113 markings, 75412121 edges, 5853 markings/sec, 3115 secs
lola: STP completed || 30 tries, 29709339 fired transitions, 3120 secs || 19832025 markings, 75542014 edges, 5782 markings/sec, 3120 secs
lola: STP completed || 30 tries, 29755230 fired transitions, 3125 secs || 19859497 markings, 75663496 edges, 5494 markings/sec, 3125 secs
lola: STP completed || 30 tries, 29801470 fired transitions, 3130 secs || 19888543 markings, 75793648 edges, 5809 markings/sec, 3130 secs
lola: STP completed || 30 tries, 29849743 fired transitions, 3135 secs || 19912645 markings, 75897799 edges, 4820 markings/sec, 3135 secs
lola: STP completed || 30 tries, 29895526 fired transitions, 3140 secs || 19939893 markings, 76022506 edges, 5450 markings/sec, 3140 secs
lola: STP completed || 30 tries, 29943073 fired transitions, 3145 secs || 19968060 markings, 76155914 edges, 5633 markings/sec, 3145 secs
lola: STP completed || 30 tries, 29990006 fired transitions, 3150 secs || 19996589 markings, 76281089 edges, 5706 markings/sec, 3150 secs
lola: STP completed || 31 tries, 30036416 fired transitions, 3155 secs || 20025166 markings, 76414106 edges, 5715 markings/sec, 3155 secs
lola: STP completed || 31 tries, 30082829 fired transitions, 3160 secs || 20054492 markings, 76541885 edges, 5865 markings/sec, 3160 secs
lola: STP completed || 31 tries, 30128763 fired transitions, 3165 secs || 20084379 markings, 76664928 edges, 5977 markings/sec, 3165 secs
lola: STP completed || 31 tries, 30174694 fired transitions, 3170 secs || 20115720 markings, 76776380 edges, 6268 markings/sec, 3170 secs
lola: STP completed || 31 tries, 30223636 fired transitions, 3175 secs || 20143348 markings, 76908629 edges, 5526 markings/sec, 3175 secs
lola: STP completed || 31 tries, 30271231 fired transitions, 3180 secs || 20171761 markings, 77041812 edges, 5683 markings/sec, 3180 secs
lola: STP completed || 31 tries, 30318588 fired transitions, 3185 secs || 20199945 markings, 77173747 edges, 5637 markings/sec, 3185 secs
lola: STP completed || 31 tries, 30365920 fired transitions, 3190 secs || 20228112 markings, 77308725 edges, 5633 markings/sec, 3190 secs
lola: STP completed || 31 tries, 30412998 fired transitions, 3195 secs || 20256516 markings, 77444691 edges, 5681 markings/sec, 3195 secs
lola: STP completed || 31 tries, 30460364 fired transitions, 3200 secs || 20285009 markings, 77568598 edges, 5699 markings/sec, 3200 secs
lola: STP completed || 31 tries, 30507296 fired transitions, 3205 secs || 20313364 markings, 77699000 edges, 5671 markings/sec, 3205 secs
lola: STP completed || 31 tries, 30554062 fired transitions, 3210 secs || 20342429 markings, 77830642 edges, 5813 markings/sec, 3210 secs
lola: STP completed || 31 tries, 30601011 fired transitions, 3215 secs || 20371353 markings, 77960052 edges, 5785 markings/sec, 3215 secs
lola: STP completed || 31 tries, 30647446 fired transitions, 3220 secs || 20400050 markings, 78094123 edges, 5739 markings/sec, 3220 secs
lola: STP completed || 31 tries, 30694475 fired transitions, 3225 secs || 20428906 markings, 78224809 edges, 5771 markings/sec, 3225 secs
lola: STP completed || 31 tries, 30741438 fired transitions, 3230 secs || 20457981 markings, 78356896 edges, 5815 markings/sec, 3230 secs
lola: STP completed || 31 tries, 30788548 fired transitions, 3235 secs || 20486868 markings, 78487765 edges, 5777 markings/sec, 3235 secs
lola: STP completed || 31 tries, 30835646 fired transitions, 3240 secs || 20515510 markings, 78621172 edges, 5728 markings/sec, 3240 secs
lola: STP completed || 31 tries, 30882858 fired transitions, 3245 secs || 20543618 markings, 78750901 edges, 5622 markings/sec, 3245 secs
lola: STP completed || 31 tries, 30929979 fired transitions, 3250 secs || 20572626 markings, 78876869 edges, 5802 markings/sec, 3250 secs
lola: STP completed || 31 tries, 30976875 fired transitions, 3255 secs || 20601409 markings, 79009849 edges, 5757 markings/sec, 3255 secs
lola: STP completed || 32 tries, 31022286 fired transitions, 3260 secs || 20629776 markings, 79140567 edges, 5673 markings/sec, 3260 secs
lola: STP completed || 32 tries, 31069830 fired transitions, 3265 secs || 20657552 markings, 79276845 edges, 5555 markings/sec, 3265 secs
lola: STP completed || 32 tries, 31116854 fired transitions, 3270 secs || 20686994 markings, 79401402 edges, 5888 markings/sec, 3270 secs
lola: STP completed || 32 tries, 31163494 fired transitions, 3275 secs || 20717214 markings, 79522895 edges, 6044 markings/sec, 3275 secs
lola: STP completed || 32 tries, 31210395 fired transitions, 3280 secs || 20746716 markings, 79650289 edges, 5900 markings/sec, 3280 secs
lola: STP completed || 32 tries, 31257241 fired transitions, 3285 secs || 20775145 markings, 79784137 edges, 5686 markings/sec, 3285 secs
lola: STP completed || 32 tries, 31304367 fired transitions, 3290 secs || 20804801 markings, 79912219 edges, 5931 markings/sec, 3290 secs
lola: STP completed || 32 tries, 31351515 fired transitions, 3295 secs || 20833104 markings, 80048712 edges, 5661 markings/sec, 3295 secs
lola: STP completed || 32 tries, 31398395 fired transitions, 3300 secs || 20862552 markings, 80179378 edges, 5890 markings/sec, 3300 secs
lola: STP completed || 32 tries, 31445196 fired transitions, 3305 secs || 20892401 markings, 80309169 edges, 5970 markings/sec, 3305 secs
lola: STP completed || 32 tries, 31492063 fired transitions, 3310 secs || 20922262 markings, 80439322 edges, 5972 markings/sec, 3310 secs
lola: STP completed || 32 tries, 31539176 fired transitions, 3315 secs || 20951340 markings, 80571083 edges, 5816 markings/sec, 3315 secs
lola: STP completed || 32 tries, 31587234 fired transitions, 3320 secs || 20980874 markings, 80700771 edges, 5907 markings/sec, 3320 secs
lola: STP completed || 32 tries, 31635779 fired transitions, 3325 secs || 21012712 markings, 80823543 edges, 6368 markings/sec, 3325 secs
lola: STP completed || 32 tries, 31684101 fired transitions, 3330 secs || 21046364 markings, 80927174 edges, 6730 markings/sec, 3330 secs
lola: STP completed || 32 tries, 31730290 fired transitions, 3335 secs || 21080877 markings, 81001846 edges, 6903 markings/sec, 3335 secs
lola: STP completed || 32 tries, 31777789 fired transitions, 3340 secs || 21107259 markings, 81065725 edges, 5276 markings/sec, 3340 secs
lola: STP completed || 32 tries, 31824133 fired transitions, 3345 secs || 21137131 markings, 81142200 edges, 5974 markings/sec, 3345 secs
lola: STP completed || 32 tries, 31870480 fired transitions, 3350 secs || 21168904 markings, 81227211 edges, 6355 markings/sec, 3350 secs
lola: STP completed || 32 tries, 31918596 fired transitions, 3355 secs || 21199692 markings, 81356707 edges, 6158 markings/sec, 3355 secs
lola: STP completed || 32 tries, 31965289 fired transitions, 3360 secs || 21229245 markings, 81483137 edges, 5911 markings/sec, 3360 secs
lola: STP completed || 33 tries, 32011248 fired transitions, 3365 secs || 21258502 markings, 81606214 edges, 5851 markings/sec, 3365 secs
lola: STP completed || 33 tries, 32057345 fired transitions, 3370 secs || 21286784 markings, 81733917 edges, 5656 markings/sec, 3370 secs
lola: STP completed || 33 tries, 32104865 fired transitions, 3375 secs || 21317502 markings, 81860304 edges, 6144 markings/sec, 3375 secs
lola: STP completed || 33 tries, 32151790 fired transitions, 3380 secs || 21345784 markings, 81990149 edges, 5656 markings/sec, 3380 secs
lola: STP completed || 33 tries, 32198815 fired transitions, 3385 secs || 21373802 markings, 82064286 edges, 5604 markings/sec, 3385 secs
lola: STP completed || 33 tries, 32244870 fired transitions, 3390 secs || 21403638 markings, 82158927 edges, 5967 markings/sec, 3390 secs
lola: STP completed || 33 tries, 32290464 fired transitions, 3395 secs || 21435163 markings, 82249973 edges, 6305 markings/sec, 3395 secs
lola: STP completed || 33 tries, 32336263 fired transitions, 3400 secs || 21466433 markings, 82341785 edges, 6254 markings/sec, 3400 secs
lola: STP completed || 33 tries, 32383738 fired transitions, 3405 secs || 21496885 markings, 82437512 edges, 6090 markings/sec, 3405 secs
lola: STP completed || 33 tries, 32431175 fired transitions, 3410 secs || 21529163 markings, 82530659 edges, 6456 markings/sec, 3410 secs
lola: STP completed || 33 tries, 32477589 fired transitions, 3415 secs || 21557810 markings, 82641478 edges, 5729 markings/sec, 3415 secs
lola: STP completed || 33 tries, 32523699 fired transitions, 3420 secs || 21586961 markings, 82767058 edges, 5830 markings/sec, 3420 secs
lola: STP completed || 33 tries, 32569524 fired transitions, 3425 secs || 21614030 markings, 82858083 edges, 5414 markings/sec, 3425 secs
lola: STP completed || 33 tries, 32616705 fired transitions, 3430 secs || 21637534 markings, 82961503 edges, 4701 markings/sec, 3430 secs
lola: STP completed || 33 tries, 32662878 fired transitions, 3435 secs || 21665574 markings, 83084318 edges, 5608 markings/sec, 3435 secs
lola: STP completed || 33 tries, 32708995 fired transitions, 3440 secs || 21693651 markings, 83205259 edges, 5615 markings/sec, 3440 secs
lola: STP completed || 33 tries, 32756208 fired transitions, 3445 secs || 21724279 markings, 83324732 edges, 6126 markings/sec, 3445 secs
lola: STP completed || 33 tries, 32802105 fired transitions, 3450 secs || 21755924 markings, 83438539 edges, 6329 markings/sec, 3450 secs
lola: STP completed || 33 tries, 32847575 fired transitions, 3455 secs || 21785493 markings, 83560791 edges, 5914 markings/sec, 3455 secs
lola: STP completed || 33 tries, 32891218 fired transitions, 3460 secs || 21816541 markings, 83667913 edges, 6210 markings/sec, 3460 secs
lola: STP completed || 33 tries, 32937470 fired transitions, 3465 secs || 21843845 markings, 83791142 edges, 5461 markings/sec, 3465 secs
lola: STP completed || 33 tries, 32984617 fired transitions, 3470 secs || 21872509 markings, 83911414 edges, 5733 markings/sec, 3470 secs
lola: STP completed || 34 tries, 33031543 fired transitions, 3475 secs || 21899864 markings, 84030233 edges, 5471 markings/sec, 3475 secs
lola: STP completed || 34 tries, 33077023 fired transitions, 3480 secs || 21930667 markings, 84140196 edges, 6161 markings/sec, 3480 secs
lola: STP completed || 34 tries, 33123511 fired transitions, 3485 secs || 21957722 markings, 84268608 edges, 5411 markings/sec, 3485 secs
lola: STP completed || 34 tries, 33169441 fired transitions, 3490 secs || 21985312 markings, 84392934 edges, 5518 markings/sec, 3490 secs
lola: STP completed || 34 tries, 33214966 fired transitions, 3495 secs || 22013500 markings, 84521421 edges, 5638 markings/sec, 3495 secs
lola: STP completed || 34 tries, 33260195 fired transitions, 3500 secs || 22042089 markings, 84643990 edges, 5718 markings/sec, 3500 secs
lola: STP completed || 34 tries, 33307052 fired transitions, 3505 secs || 22072104 markings, 84753886 edges, 6003 markings/sec, 3505 secs
lola: STP completed || 34 tries, 33354233 fired transitions, 3510 secs || 22099823 markings, 84855323 edges, 5544 markings/sec, 3510 secs
lola: STP completed || 34 tries, 33401637 fired transitions, 3515 secs || 22127882 markings, 84951528 edges, 5612 markings/sec, 3515 secs
lola: STP completed || 34 tries, 33447536 fired transitions, 3520 secs || 22153294 markings, 85047247 edges, 5082 markings/sec, 3520 secs
lola: STP completed || 34 tries, 33493203 fired transitions, 3525 secs || 22180448 markings, 85155026 edges, 5431 markings/sec, 3525 secs
lola: STP completed || 34 tries, 33539383 fired transitions, 3530 secs || 22207448 markings, 85277159 edges, 5400 markings/sec, 3530 secs
lola: STP completed || 34 tries, 33585369 fired transitions, 3535 secs || 22234109 markings, 85390435 edges, 5332 markings/sec, 3535 secs
lola: STP completed || 34 tries, 33632158 fired transitions, 3540 secs || 22262262 markings, 85502131 edges, 5631 markings/sec, 3540 secs
lola: STP completed || 34 tries, 33679442 fired transitions, 3545 secs || 22289928 markings, 85616035 edges, 5533 markings/sec, 3545 secs
lola: STP completed || 34 tries, 33726858 fired transitions, 3550 secs || 22317328 markings, 85733669 edges, 5480 markings/sec, 3550 secs
lola: STP completed || 34 tries, 33773990 fired transitions, 3555 secs || 22345808 markings, 85848358 edges, 5696 markings/sec, 3555 secs
lola: STP completed || 34 tries, 33821320 fired transitions, 3560 secs || 22373555 markings, 85968147 edges, 5549 markings/sec, 3560 secs
lola: time limit reached - aborting
lola: memory consumption: 2564292 KB
lola: time consumption: 3569 seconds

BK_STOP 1526518643624

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-005"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-005.tgz
mv BART-PT-005 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BART-PT-005, 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 r028-ebro-152646306000069"
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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;