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 292K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 128K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is FlexibleBarrier-PT-12a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r095-blw7-152650007100160
=====================================================================

--------------------
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 FlexibleBarrier-PT-12a-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527593030633


BK_STOP 1527595439082

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using FlexibleBarrier-PT-12a as instance name.
Using FlexibleBarrier as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3122, 'Memory': 264.19, 'Tool': 'itstools'}, {'Time': 4309, 'Memory': 185.19, 'Tool': 'gspn'}, {'Time': 2817572, 'Memory': 15952.91, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 902.4894298526585x far from the best tool itstools.
ReachabilityDeadlock lola FlexibleBarrier-PT-12a...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
FlexibleBarrier-PT-12a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-12a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ FlexibleBarrier-PT-12a @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 595/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 147 places, 448 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 352 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12a-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: STP: formula with 7443 variables and 33056 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: computed 55 generators (22 in search tree, 33 by composition)
lola: representing 3.99168E+07 symmetries
lola: 0 dead branches visited in search tree
lola: STP completed || 1 tries, 156871 fired transitions, 0 secs || 223337 markings, 355341 edges, 44667 markings/sec, 0 secs
lola: STP completed || 1 tries, 323273 fired transitions, 5 secs || 459146 markings, 742070 edges, 47162 markings/sec, 5 secs
lola: STP completed || 1 tries, 491875 fired transitions, 10 secs || 691435 markings, 1115338 edges, 46458 markings/sec, 10 secs
lola: STP completed || 1 tries, 660905 fired transitions, 15 secs || 920491 markings, 1474395 edges, 45811 markings/sec, 15 secs
lola: STP completed || 1 tries, 829716 fired transitions, 20 secs || 1144058 markings, 1820072 edges, 44713 markings/sec, 20 secs
lola: STP completed || 2 tries, 1009934 fired transitions, 25 secs || 1403025 markings, 2229745 edges, 51793 markings/sec, 25 secs
lola: STP completed || 2 tries, 1199958 fired transitions, 30 secs || 1676358 markings, 2670956 edges, 54667 markings/sec, 30 secs
lola: STP completed || 2 tries, 1388751 fired transitions, 35 secs || 1950873 markings, 3122172 edges, 54903 markings/sec, 35 secs
lola: STP completed || 2 tries, 1577130 fired transitions, 40 secs || 2220441 markings, 3549496 edges, 53914 markings/sec, 40 secs
lola: STP completed || 2 tries, 1767636 fired transitions, 45 secs || 2493461 markings, 3994387 edges, 54604 markings/sec, 45 secs
lola: STP completed || 2 tries, 1943981 fired transitions, 50 secs || 2734897 markings, 4388298 edges, 48287 markings/sec, 50 secs
lola: STP completed || 3 tries, 2114824 fired transitions, 55 secs || 2962531 markings, 4768772 edges, 45527 markings/sec, 55 secs
lola: STP completed || 3 tries, 2283204 fired transitions, 60 secs || 3194415 markings, 5166383 edges, 46377 markings/sec, 60 secs
lola: STP completed || 3 tries, 2451517 fired transitions, 65 secs || 3425055 markings, 5554465 edges, 46128 markings/sec, 65 secs
lola: STP completed || 3 tries, 2638590 fired transitions, 70 secs || 3678606 markings, 5966378 edges, 50710 markings/sec, 70 secs
lola: STP completed || 3 tries, 2828327 fired transitions, 75 secs || 3949260 markings, 6412126 edges, 54131 markings/sec, 75 secs
lola: STP completed || 4 tries, 3017400 fired transitions, 80 secs || 4216783 markings, 6840945 edges, 53505 markings/sec, 80 secs
lola: STP completed || 4 tries, 3206356 fired transitions, 85 secs || 4489147 markings, 7288568 edges, 54473 markings/sec, 85 secs
lola: STP completed || 4 tries, 3395537 fired transitions, 90 secs || 4764206 markings, 7731105 edges, 55012 markings/sec, 90 secs
lola: STP completed || 4 tries, 3584687 fired transitions, 95 secs || 5038460 markings, 8180479 edges, 54851 markings/sec, 95 secs
lola: STP completed || 4 tries, 3773524 fired transitions, 100 secs || 5311421 markings, 8640196 edges, 54592 markings/sec, 100 secs
lola: STP completed || 4 tries, 3963902 fired transitions, 105 secs || 5586649 markings, 9113136 edges, 55046 markings/sec, 105 secs
lola: STP completed || 5 tries, 4134290 fired transitions, 110 secs || 5819610 markings, 9495594 edges, 46592 markings/sec, 110 secs
lola: STP completed || 5 tries, 4319004 fired transitions, 115 secs || 6077236 markings, 9941691 edges, 51525 markings/sec, 115 secs
lola: STP completed || 5 tries, 4508124 fired transitions, 120 secs || 6352974 markings, 10404911 edges, 55148 markings/sec, 120 secs
lola: STP completed || 5 tries, 4697574 fired transitions, 125 secs || 6631983 markings, 10870820 edges, 55802 markings/sec, 125 secs
lola: STP completed || 5 tries, 4887027 fired transitions, 130 secs || 6899718 markings, 11294472 edges, 53547 markings/sec, 130 secs
lola: STP completed || 6 tries, 5076542 fired transitions, 135 secs || 7170855 markings, 11740279 edges, 54227 markings/sec, 135 secs
lola: STP completed || 6 tries, 5266427 fired transitions, 140 secs || 7441549 markings, 12176306 edges, 54139 markings/sec, 140 secs
lola: STP completed || 6 tries, 5454733 fired transitions, 145 secs || 7712097 markings, 12617982 edges, 54110 markings/sec, 145 secs
lola: STP completed || 6 tries, 5644810 fired transitions, 150 secs || 7987440 markings, 13068265 edges, 55069 markings/sec, 150 secs
lola: STP completed || 6 tries, 5834740 fired transitions, 155 secs || 8268355 markings, 13540467 edges, 56183 markings/sec, 155 secs
lola: STP completed || 7 tries, 6023464 fired transitions, 160 secs || 8543384 markings, 14006051 edges, 55006 markings/sec, 160 secs
lola: STP completed || 7 tries, 6213014 fired transitions, 165 secs || 8811746 markings, 14440650 edges, 53672 markings/sec, 165 secs
lola: STP completed || 7 tries, 6403387 fired transitions, 170 secs || 9084165 markings, 14883875 edges, 54484 markings/sec, 170 secs
lola: STP completed || 7 tries, 6591867 fired transitions, 175 secs || 9360567 markings, 15328576 edges, 55280 markings/sec, 175 secs
lola: STP completed || 7 tries, 6780717 fired transitions, 180 secs || 9633107 markings, 15777530 edges, 54508 markings/sec, 180 secs
lola: STP completed || 7 tries, 6970292 fired transitions, 185 secs || 9906817 markings, 16234933 edges, 54742 markings/sec, 185 secs
lola: STP completed || 8 tries, 7158939 fired transitions, 190 secs || 10180225 markings, 16696484 edges, 54682 markings/sec, 190 secs
lola: STP completed || 8 tries, 7347425 fired transitions, 195 secs || 10458040 markings, 17172879 edges, 55563 markings/sec, 195 secs
lola: STP completed || 8 tries, 7536453 fired transitions, 200 secs || 10733333 markings, 17658037 edges, 55059 markings/sec, 200 secs
lola: STP completed || 8 tries, 7724422 fired transitions, 205 secs || 11005241 markings, 18114143 edges, 54382 markings/sec, 205 secs
lola: STP completed || 8 tries, 7913605 fired transitions, 210 secs || 11281676 markings, 18595311 edges, 55287 markings/sec, 210 secs
lola: STP completed || 9 tries, 8101704 fired transitions, 215 secs || 11552478 markings, 19062127 edges, 54160 markings/sec, 215 secs
lola: STP completed || 9 tries, 8291167 fired transitions, 220 secs || 11828654 markings, 19537226 edges, 55235 markings/sec, 220 secs
lola: STP completed || 9 tries, 8480677 fired transitions, 225 secs || 12103034 markings, 20006417 edges, 54876 markings/sec, 225 secs
lola: STP completed || 9 tries, 8670033 fired transitions, 230 secs || 12379555 markings, 20495383 edges, 55304 markings/sec, 230 secs
lola: STP completed || 9 tries, 8859169 fired transitions, 235 secs || 12650960 markings, 20962665 edges, 54281 markings/sec, 235 secs
lola: STP completed || 10 tries, 9048974 fired transitions, 240 secs || 12929493 markings, 21453643 edges, 55707 markings/sec, 240 secs
lola: STP completed || 10 tries, 9238958 fired transitions, 245 secs || 13202335 markings, 21922048 edges, 54568 markings/sec, 245 secs
lola: STP completed || 10 tries, 9427775 fired transitions, 250 secs || 13476047 markings, 22401826 edges, 54742 markings/sec, 250 secs
lola: STP completed || 10 tries, 9616972 fired transitions, 255 secs || 13747935 markings, 22856616 edges, 54378 markings/sec, 255 secs
lola: STP completed || 10 tries, 9805698 fired transitions, 260 secs || 14019130 markings, 23322515 edges, 54239 markings/sec, 260 secs
lola: STP completed || 10 tries, 9994384 fired transitions, 265 secs || 14290234 markings, 23789113 edges, 54221 markings/sec, 265 secs
lola: STP completed || 11 tries, 10183935 fired transitions, 270 secs || 14563774 markings, 24251767 edges, 54708 markings/sec, 270 secs
lola: STP completed || 11 tries, 10374004 fired transitions, 275 secs || 14838984 markings, 24714662 edges, 55042 markings/sec, 275 secs
lola: STP completed || 11 tries, 10562026 fired transitions, 280 secs || 15112360 markings, 25178578 edges, 54675 markings/sec, 280 secs
lola: STP completed || 11 tries, 10751566 fired transitions, 285 secs || 15387509 markings, 25661853 edges, 55030 markings/sec, 285 secs
lola: STP completed || 11 tries, 10940234 fired transitions, 290 secs || 15663148 markings, 26136457 edges, 55128 markings/sec, 290 secs
lola: STP completed || 12 tries, 11129253 fired transitions, 295 secs || 15936928 markings, 26598749 edges, 54756 markings/sec, 295 secs
lola: STP completed || 12 tries, 11318007 fired transitions, 300 secs || 16208891 markings, 27046220 edges, 54393 markings/sec, 300 secs
lola: STP completed || 12 tries, 11507826 fired transitions, 305 secs || 16484461 markings, 27520774 edges, 55114 markings/sec, 305 secs
lola: STP completed || 12 tries, 11698881 fired transitions, 310 secs || 16754346 markings, 27978633 edges, 53977 markings/sec, 310 secs
lola: STP completed || 12 tries, 11888888 fired transitions, 315 secs || 17029919 markings, 28465060 edges, 55115 markings/sec, 315 secs
lola: STP completed || 13 tries, 12078391 fired transitions, 320 secs || 17306212 markings, 28937086 edges, 55259 markings/sec, 320 secs
lola: STP completed || 13 tries, 12267968 fired transitions, 325 secs || 17580384 markings, 29425939 edges, 54834 markings/sec, 325 secs
lola: STP completed || 13 tries, 12456921 fired transitions, 330 secs || 17852901 markings, 29892267 edges, 54503 markings/sec, 330 secs
lola: STP completed || 13 tries, 12645714 fired transitions, 335 secs || 18128181 markings, 30363128 edges, 55056 markings/sec, 335 secs
lola: STP completed || 13 tries, 12834439 fired transitions, 340 secs || 18402028 markings, 30833837 edges, 54769 markings/sec, 340 secs
lola: STP completed || 14 tries, 13024120 fired transitions, 345 secs || 18678822 markings, 31334323 edges, 55359 markings/sec, 345 secs
lola: STP completed || 14 tries, 13213488 fired transitions, 350 secs || 18954868 markings, 31826407 edges, 55209 markings/sec, 350 secs
lola: STP completed || 14 tries, 13402671 fired transitions, 355 secs || 19225837 markings, 32296749 edges, 54194 markings/sec, 355 secs
lola: STP completed || 14 tries, 13592384 fired transitions, 360 secs || 19498855 markings, 32766243 edges, 54604 markings/sec, 360 secs
lola: STP completed || 14 tries, 13782719 fired transitions, 365 secs || 19774782 markings, 33236360 edges, 55185 markings/sec, 365 secs
lola: STP completed || 14 tries, 13972091 fired transitions, 370 secs || 20051738 markings, 33733593 edges, 55391 markings/sec, 370 secs
lola: STP completed || 15 tries, 14160964 fired transitions, 375 secs || 20327208 markings, 34220551 edges, 55094 markings/sec, 375 secs
lola: STP completed || 15 tries, 14350119 fired transitions, 380 secs || 20601604 markings, 34711139 edges, 54879 markings/sec, 380 secs
lola: STP completed || 15 tries, 14539252 fired transitions, 385 secs || 20876250 markings, 35195291 edges, 54929 markings/sec, 385 secs
lola: STP completed || 15 tries, 14728655 fired transitions, 390 secs || 21149961 markings, 35684124 edges, 54742 markings/sec, 390 secs
lola: STP completed || 15 tries, 14918050 fired transitions, 395 secs || 21424715 markings, 36155617 edges, 54951 markings/sec, 395 secs
lola: STP completed || 16 tries, 15106770 fired transitions, 400 secs || 21699068 markings, 36645894 edges, 54871 markings/sec, 400 secs
lola: STP completed || 16 tries, 15292555 fired transitions, 405 secs || 21947309 markings, 37096627 edges, 49648 markings/sec, 405 secs
lola: STP completed || 16 tries, 15483134 fired transitions, 410 secs || 22223159 markings, 37588165 edges, 55170 markings/sec, 410 secs
lola: STP completed || 16 tries, 15673027 fired transitions, 415 secs || 22500077 markings, 38070231 edges, 55384 markings/sec, 415 secs
lola: STP completed || 16 tries, 15862907 fired transitions, 420 secs || 22773143 markings, 38535154 edges, 54613 markings/sec, 420 secs
lola: STP completed || 17 tries, 16051513 fired transitions, 425 secs || 23048858 markings, 39014812 edges, 55143 markings/sec, 425 secs
lola: STP completed || 17 tries, 16240910 fired transitions, 430 secs || 23323125 markings, 39494269 edges, 54853 markings/sec, 430 secs
lola: STP completed || 17 tries, 16430305 fired transitions, 435 secs || 23599445 markings, 39986188 edges, 55264 markings/sec, 435 secs
lola: STP completed || 17 tries, 16618149 fired transitions, 440 secs || 23874686 markings, 40481726 edges, 55048 markings/sec, 440 secs
lola: STP completed || 17 tries, 16807535 fired transitions, 445 secs || 24143416 markings, 40957213 edges, 53746 markings/sec, 445 secs
lola: STP completed || 17 tries, 16996428 fired transitions, 450 secs || 24417688 markings, 41440370 edges, 54854 markings/sec, 450 secs
lola: STP completed || 18 tries, 17185417 fired transitions, 455 secs || 24690093 markings, 41915753 edges, 54481 markings/sec, 455 secs
lola: STP completed || 18 tries, 17374600 fired transitions, 460 secs || 24965229 markings, 42391665 edges, 55027 markings/sec, 460 secs
lola: STP completed || 18 tries, 17564501 fired transitions, 465 secs || 25240243 markings, 42864488 edges, 55003 markings/sec, 465 secs
lola: STP completed || 18 tries, 17754276 fired transitions, 470 secs || 25516473 markings, 43360160 edges, 55246 markings/sec, 470 secs
lola: STP completed || 18 tries, 17944471 fired transitions, 475 secs || 25792368 markings, 43848020 edges, 55179 markings/sec, 475 secs
lola: STP completed || 19 tries, 18134083 fired transitions, 480 secs || 26066088 markings, 44323676 edges, 54744 markings/sec, 480 secs
lola: STP completed || 19 tries, 18322599 fired transitions, 485 secs || 26341684 markings, 44816333 edges, 55119 markings/sec, 485 secs
lola: STP completed || 19 tries, 18512009 fired transitions, 490 secs || 26614110 markings, 45276047 edges, 54485 markings/sec, 490 secs
lola: STP completed || 19 tries, 18702341 fired transitions, 495 secs || 26889565 markings, 45773882 edges, 55091 markings/sec, 495 secs
lola: STP completed || 19 tries, 18892197 fired transitions, 500 secs || 27157841 markings, 46236003 edges, 53655 markings/sec, 500 secs
lola: STP completed || 20 tries, 19076276 fired transitions, 505 secs || 27406852 markings, 46671656 edges, 49802 markings/sec, 505 secs
lola: STP completed || 20 tries, 19246976 fired transitions, 510 secs || 27639567 markings, 47076161 edges, 46543 markings/sec, 510 secs
lola: STP completed || 20 tries, 19419055 fired transitions, 515 secs || 27873631 markings, 47494580 edges, 46813 markings/sec, 515 secs
lola: STP completed || 20 tries, 19589859 fired transitions, 520 secs || 28105475 markings, 47885052 edges, 46369 markings/sec, 520 secs
lola: STP completed || 20 tries, 19761572 fired transitions, 525 secs || 28340052 markings, 48313949 edges, 46915 markings/sec, 525 secs
lola: STP completed || 20 tries, 19933025 fired transitions, 530 secs || 28572519 markings, 48725322 edges, 46493 markings/sec, 530 secs
lola: STP completed || 21 tries, 20104192 fired transitions, 535 secs || 28804732 markings, 49128804 edges, 46443 markings/sec, 535 secs
lola: STP completed || 21 tries, 20273716 fired transitions, 540 secs || 29028901 markings, 49481485 edges, 44834 markings/sec, 540 secs
lola: STP completed || 21 tries, 20455662 fired transitions, 545 secs || 29292896 markings, 49911895 edges, 52799 markings/sec, 545 secs
lola: STP completed || 21 tries, 20644623 fired transitions, 550 secs || 29567206 markings, 50386011 edges, 54862 markings/sec, 550 secs
lola: STP completed || 21 tries, 20833391 fired transitions, 555 secs || 29844705 markings, 50841862 edges, 55500 markings/sec, 555 secs
lola: STP completed || 22 tries, 21022658 fired transitions, 560 secs || 30120771 markings, 51303381 edges, 55213 markings/sec, 560 secs
lola: STP completed || 22 tries, 21213060 fired transitions, 565 secs || 30398257 markings, 51778125 edges, 55497 markings/sec, 565 secs
lola: STP completed || 22 tries, 21403481 fired transitions, 570 secs || 30675725 markings, 52244226 edges, 55494 markings/sec, 570 secs
lola: STP completed || 22 tries, 21593272 fired transitions, 575 secs || 30957173 markings, 52747175 edges, 56290 markings/sec, 575 secs
lola: STP completed || 22 tries, 21782690 fired transitions, 580 secs || 31235228 markings, 53227679 edges, 55611 markings/sec, 580 secs
lola: STP completed || 22 tries, 21951842 fired transitions, 585 secs || 31469157 markings, 53605201 edges, 46786 markings/sec, 585 secs
lola: STP completed || 23 tries, 22126660 fired transitions, 590 secs || 31731422 markings, 54056972 edges, 52453 markings/sec, 590 secs
lola: STP completed || 23 tries, 22316652 fired transitions, 595 secs || 32005976 markings, 54527971 edges, 54911 markings/sec, 595 secs
lola: STP completed || 23 tries, 22504943 fired transitions, 600 secs || 32278237 markings, 54994471 edges, 54452 markings/sec, 600 secs
lola: STP completed || 23 tries, 22693256 fired transitions, 605 secs || 32551344 markings, 55477899 edges, 54621 markings/sec, 605 secs
lola: STP completed || 23 tries, 22883448 fired transitions, 610 secs || 32824413 markings, 55950461 edges, 54614 markings/sec, 610 secs
lola: STP completed || 24 tries, 23073076 fired transitions, 615 secs || 33099063 markings, 56428359 edges, 54930 markings/sec, 615 secs
lola: STP completed || 24 tries, 23261563 fired transitions, 620 secs || 33371440 markings, 56899514 edges, 54475 markings/sec, 620 secs
lola: STP completed || 24 tries, 23452418 fired transitions, 625 secs || 33646793 markings, 57400731 edges, 55071 markings/sec, 625 secs
lola: STP completed || 24 tries, 23641796 fired transitions, 630 secs || 33923771 markings, 57896703 edges, 55396 markings/sec, 630 secs
lola: STP completed || 24 tries, 23830670 fired transitions, 635 secs || 34199800 markings, 58401411 edges, 55206 markings/sec, 635 secs
lola: STP completed || 25 tries, 24020668 fired transitions, 640 secs || 34477770 markings, 58912842 edges, 55594 markings/sec, 640 secs
lola: STP completed || 25 tries, 24210870 fired transitions, 645 secs || 34754391 markings, 59421962 edges, 55324 markings/sec, 645 secs
lola: STP completed || 25 tries, 24399232 fired transitions, 650 secs || 35027915 markings, 59905846 edges, 54705 markings/sec, 650 secs
lola: STP completed || 25 tries, 24589276 fired transitions, 655 secs || 35304695 markings, 60416184 edges, 55356 markings/sec, 655 secs
lola: STP completed || 25 tries, 24779520 fired transitions, 660 secs || 35580261 markings, 60914451 edges, 55113 markings/sec, 660 secs
lola: STP completed || 25 tries, 24968348 fired transitions, 665 secs || 35853663 markings, 61384736 edges, 54680 markings/sec, 665 secs
lola: STP completed || 26 tries, 25158582 fired transitions, 670 secs || 36126334 markings, 61868014 edges, 54534 markings/sec, 670 secs
lola: STP completed || 26 tries, 25348186 fired transitions, 675 secs || 36403435 markings, 62365751 edges, 55420 markings/sec, 675 secs
lola: STP completed || 26 tries, 25539051 fired transitions, 680 secs || 36677570 markings, 62855079 edges, 54827 markings/sec, 680 secs
lola: STP completed || 26 tries, 25728284 fired transitions, 685 secs || 36954866 markings, 63343612 edges, 55459 markings/sec, 685 secs
lola: STP completed || 26 tries, 25917534 fired transitions, 690 secs || 37235965 markings, 63848745 edges, 56220 markings/sec, 690 secs
lola: STP completed || 27 tries, 26107004 fired transitions, 695 secs || 37512583 markings, 64318144 edges, 55324 markings/sec, 695 secs
lola: STP completed || 27 tries, 26297109 fired transitions, 700 secs || 37789250 markings, 64812130 edges, 55333 markings/sec, 700 secs
lola: STP completed || 27 tries, 26487289 fired transitions, 705 secs || 38065052 markings, 65302747 edges, 55160 markings/sec, 705 secs
lola: STP completed || 27 tries, 26676996 fired transitions, 710 secs || 38339145 markings, 65787406 edges, 54819 markings/sec, 710 secs
lola: STP completed || 27 tries, 26866591 fired transitions, 715 secs || 38614371 markings, 66277531 edges, 55045 markings/sec, 715 secs
lola: STP completed || 28 tries, 27055916 fired transitions, 720 secs || 38889831 markings, 66784725 edges, 55092 markings/sec, 720 secs
lola: STP completed || 28 tries, 27244929 fired transitions, 725 secs || 39169441 markings, 67305599 edges, 55922 markings/sec, 725 secs
lola: STP completed || 28 tries, 27434314 fired transitions, 730 secs || 39443777 markings, 67795870 edges, 54867 markings/sec, 730 secs
lola: STP completed || 28 tries, 27616025 fired transitions, 735 secs || 39702358 markings, 68262328 edges, 51716 markings/sec, 735 secs
lola: STP completed || 28 tries, 27783206 fired transitions, 740 secs || 39934656 markings, 68697546 edges, 46460 markings/sec, 740 secs
lola: STP completed || 28 tries, 27949175 fired transitions, 745 secs || 40165916 markings, 69129930 edges, 46252 markings/sec, 745 secs
lola: STP completed || 29 tries, 28115439 fired transitions, 750 secs || 40395780 markings, 69560071 edges, 45973 markings/sec, 750 secs
lola: STP completed || 29 tries, 28285756 fired transitions, 755 secs || 40626319 markings, 69975956 edges, 46108 markings/sec, 755 secs
lola: STP completed || 29 tries, 28458901 fired transitions, 760 secs || 40875025 markings, 70426824 edges, 49741 markings/sec, 760 secs
lola: STP completed || 29 tries, 28648134 fired transitions, 765 secs || 41152863 markings, 70923926 edges, 55568 markings/sec, 765 secs
lola: STP completed || 29 tries, 28837913 fired transitions, 770 secs || 41428250 markings, 71412847 edges, 55077 markings/sec, 770 secs
lola: STP completed || 30 tries, 29027659 fired transitions, 775 secs || 41703573 markings, 71911016 edges, 55065 markings/sec, 775 secs
lola: STP completed || 30 tries, 29216174 fired transitions, 780 secs || 41977755 markings, 72410830 edges, 54836 markings/sec, 780 secs
lola: STP completed || 30 tries, 29406192 fired transitions, 785 secs || 42249672 markings, 72890637 edges, 54383 markings/sec, 785 secs
lola: STP completed || 30 tries, 29595411 fired transitions, 790 secs || 42522638 markings, 73372693 edges, 54593 markings/sec, 790 secs
lola: STP completed || 30 tries, 29784868 fired transitions, 795 secs || 42798430 markings, 73869354 edges, 55158 markings/sec, 795 secs
lola: STP completed || 30 tries, 29974018 fired transitions, 800 secs || 43074711 markings, 74373134 edges, 55256 markings/sec, 800 secs
lola: STP completed || 31 tries, 30163469 fired transitions, 805 secs || 43348388 markings, 74851175 edges, 54735 markings/sec, 805 secs
lola: STP completed || 31 tries, 30353714 fired transitions, 810 secs || 43623325 markings, 75368581 edges, 54987 markings/sec, 810 secs
lola: STP completed || 31 tries, 30543237 fired transitions, 815 secs || 43898105 markings, 75839251 edges, 54956 markings/sec, 815 secs
lola: STP completed || 31 tries, 30732495 fired transitions, 820 secs || 44178985 markings, 76332144 edges, 56176 markings/sec, 820 secs
lola: STP completed || 31 tries, 30921775 fired transitions, 825 secs || 44457654 markings, 76835634 edges, 55734 markings/sec, 825 secs
lola: STP completed || 32 tries, 31111408 fired transitions, 830 secs || 44732443 markings, 77319529 edges, 54958 markings/sec, 830 secs
lola: STP completed || 32 tries, 31300600 fired transitions, 835 secs || 45008154 markings, 77821945 edges, 55142 markings/sec, 835 secs
lola: STP completed || 32 tries, 31490408 fired transitions, 840 secs || 45277547 markings, 78300840 edges, 53879 markings/sec, 840 secs
lola: STP completed || 32 tries, 31679680 fired transitions, 845 secs || 45555412 markings, 78799209 edges, 55573 markings/sec, 845 secs
lola: STP completed || 32 tries, 31869662 fired transitions, 850 secs || 45830490 markings, 79282255 edges, 55016 markings/sec, 850 secs
lola: STP completed || 33 tries, 32058960 fired transitions, 855 secs || 46104140 markings, 79774349 edges, 54730 markings/sec, 855 secs
lola: STP completed || 33 tries, 32248888 fired transitions, 860 secs || 46378060 markings, 80258048 edges, 54784 markings/sec, 860 secs
lola: STP completed || 33 tries, 32438555 fired transitions, 865 secs || 46650065 markings, 80757611 edges, 54401 markings/sec, 865 secs
lola: STP completed || 33 tries, 32627690 fired transitions, 870 secs || 46922249 markings, 81246264 edges, 54437 markings/sec, 870 secs
lola: STP completed || 33 tries, 32817099 fired transitions, 875 secs || 47196390 markings, 81747265 edges, 54828 markings/sec, 875 secs
lola: STP completed || 34 tries, 33008226 fired transitions, 880 secs || 47473103 markings, 82190338 edges, 55343 markings/sec, 880 secs
lola: STP completed || 34 tries, 33198656 fired transitions, 885 secs || 47752747 markings, 82696297 edges, 55929 markings/sec, 885 secs
lola: STP completed || 34 tries, 33388196 fired transitions, 890 secs || 48034386 markings, 83216136 edges, 56328 markings/sec, 890 secs
lola: STP completed || 34 tries, 33577472 fired transitions, 895 secs || 48310412 markings, 83706732 edges, 55205 markings/sec, 895 secs
lola: STP completed || 34 tries, 33767787 fired transitions, 900 secs || 48584119 markings, 84193455 edges, 54741 markings/sec, 900 secs
lola: STP completed || 34 tries, 33958173 fired transitions, 905 secs || 48863322 markings, 84720970 edges, 55841 markings/sec, 905 secs
lola: STP completed || 35 tries, 34147553 fired transitions, 910 secs || 49136082 markings, 85226572 edges, 54552 markings/sec, 910 secs
lola: STP completed || 35 tries, 34336533 fired transitions, 915 secs || 49410222 markings, 85726778 edges, 54828 markings/sec, 915 secs
lola: STP completed || 35 tries, 34505455 fired transitions, 920 secs || 49644567 markings, 86152062 edges, 46869 markings/sec, 920 secs
lola: STP completed || 35 tries, 34678130 fired transitions, 925 secs || 49876532 markings, 86576285 edges, 46393 markings/sec, 925 secs
lola: STP completed || 35 tries, 34851697 fired transitions, 930 secs || 50107063 markings, 86992112 edges, 46106 markings/sec, 930 secs
lola: STP completed || 36 tries, 35021143 fired transitions, 935 secs || 50344851 markings, 87427214 edges, 47558 markings/sec, 935 secs
lola: STP completed || 36 tries, 35211675 fired transitions, 940 secs || 50619246 markings, 87905111 edges, 54879 markings/sec, 940 secs
lola: STP completed || 36 tries, 35402979 fired transitions, 945 secs || 50893349 markings, 88428086 edges, 54821 markings/sec, 945 secs
lola: STP completed || 36 tries, 35594078 fired transitions, 950 secs || 51164600 markings, 88937696 edges, 54250 markings/sec, 950 secs
lola: STP completed || 36 tries, 35785996 fired transitions, 955 secs || 51441388 markings, 89454844 edges, 55358 markings/sec, 955 secs
lola: STP completed || 36 tries, 35977125 fired transitions, 960 secs || 51712857 markings, 89950251 edges, 54294 markings/sec, 960 secs
lola: STP completed || 37 tries, 36168924 fired transitions, 965 secs || 51984742 markings, 90442312 edges, 54377 markings/sec, 965 secs
lola: STP completed || 37 tries, 36359576 fired transitions, 970 secs || 52257660 markings, 90947990 edges, 54584 markings/sec, 970 secs
lola: STP completed || 37 tries, 36551211 fired transitions, 975 secs || 52531994 markings, 91460163 edges, 54867 markings/sec, 975 secs
lola: STP completed || 37 tries, 36741922 fired transitions, 980 secs || 52806979 markings, 91959358 edges, 54997 markings/sec, 980 secs
lola: STP completed || 37 tries, 36933988 fired transitions, 985 secs || 53081655 markings, 92457273 edges, 54935 markings/sec, 985 secs
lola: STP completed || 38 tries, 37124755 fired transitions, 990 secs || 53354093 markings, 92961149 edges, 54488 markings/sec, 990 secs
lola: STP completed || 38 tries, 37317190 fired transitions, 995 secs || 53626808 markings, 93451454 edges, 54543 markings/sec, 995 secs
lola: STP completed || 38 tries, 37509198 fired transitions, 1000 secs || 53899960 markings, 93936533 edges, 54630 markings/sec, 1000 secs
lola: STP completed || 38 tries, 37699714 fired transitions, 1005 secs || 54170417 markings, 94408232 edges, 54091 markings/sec, 1005 secs
lola: STP completed || 38 tries, 37891489 fired transitions, 1010 secs || 54445450 markings, 94895061 edges, 55007 markings/sec, 1010 secs
lola: STP completed || 39 tries, 38082813 fired transitions, 1015 secs || 54714795 markings, 95349757 edges, 53869 markings/sec, 1015 secs
lola: STP completed || 39 tries, 38274367 fired transitions, 1020 secs || 54988915 markings, 95871686 edges, 54824 markings/sec, 1020 secs
lola: STP completed || 39 tries, 38465625 fired transitions, 1025 secs || 55261006 markings, 96357885 edges, 54418 markings/sec, 1025 secs
lola: STP completed || 39 tries, 38655960 fired transitions, 1030 secs || 55535479 markings, 96876269 edges, 54895 markings/sec, 1030 secs
lola: STP completed || 39 tries, 38848386 fired transitions, 1035 secs || 55809264 markings, 97384633 edges, 54757 markings/sec, 1035 secs
lola: STP completed || 40 tries, 39039429 fired transitions, 1040 secs || 56081337 markings, 97879792 edges, 54415 markings/sec, 1040 secs
lola: STP completed || 40 tries, 39230490 fired transitions, 1045 secs || 56354539 markings, 98381655 edges, 54640 markings/sec, 1045 secs
lola: STP completed || 40 tries, 39423504 fired transitions, 1050 secs || 56624463 markings, 98834058 edges, 53985 markings/sec, 1050 secs
lola: STP completed || 40 tries, 39615163 fired transitions, 1055 secs || 56897592 markings, 99343569 edges, 54626 markings/sec, 1055 secs
lola: STP completed || 40 tries, 39805750 fired transitions, 1060 secs || 57171896 markings, 99847611 edges, 54861 markings/sec, 1060 secs
lola: STP completed || 40 tries, 39996723 fired transitions, 1065 secs || 57444883 markings, 100357463 edges, 54597 markings/sec, 1065 secs
lola: STP completed || 41 tries, 40186972 fired transitions, 1070 secs || 57714309 markings, 100820311 edges, 53885 markings/sec, 1070 secs
lola: STP completed || 41 tries, 40378069 fired transitions, 1075 secs || 57983914 markings, 101273932 edges, 53921 markings/sec, 1075 secs
lola: STP completed || 41 tries, 40570176 fired transitions, 1080 secs || 58255385 markings, 101737638 edges, 54294 markings/sec, 1080 secs
lola: STP completed || 41 tries, 40762883 fired transitions, 1085 secs || 58531545 markings, 102220004 edges, 55232 markings/sec, 1085 secs
lola: STP completed || 41 tries, 40954517 fired transitions, 1090 secs || 58804612 markings, 102696811 edges, 54613 markings/sec, 1090 secs
lola: STP completed || 42 tries, 41146864 fired transitions, 1095 secs || 59079109 markings, 103169394 edges, 54899 markings/sec, 1095 secs
lola: STP completed || 42 tries, 41338135 fired transitions, 1100 secs || 59352261 markings, 103650633 edges, 54630 markings/sec, 1100 secs
lola: STP completed || 42 tries, 41527785 fired transitions, 1105 secs || 59625066 markings, 104141370 edges, 54561 markings/sec, 1105 secs
lola: STP completed || 42 tries, 41718515 fired transitions, 1110 secs || 59906880 markings, 104661286 edges, 56363 markings/sec, 1110 secs
lola: STP completed || 42 tries, 41909433 fired transitions, 1115 secs || 60177750 markings, 105127154 edges, 54174 markings/sec, 1115 secs
lola: STP completed || 43 tries, 42101745 fired transitions, 1120 secs || 60452638 markings, 105616142 edges, 54978 markings/sec, 1120 secs
lola: STP completed || 43 tries, 42294876 fired transitions, 1125 secs || 60725483 markings, 106088688 edges, 54569 markings/sec, 1125 secs
lola: STP completed || 43 tries, 42486627 fired transitions, 1130 secs || 61001387 markings, 106568919 edges, 55181 markings/sec, 1130 secs
lola: STP completed || 43 tries, 42677336 fired transitions, 1135 secs || 61271769 markings, 107024080 edges, 54076 markings/sec, 1135 secs
lola: STP completed || 43 tries, 42867734 fired transitions, 1140 secs || 61547815 markings, 107528535 edges, 55209 markings/sec, 1140 secs
lola: STP completed || 44 tries, 43060088 fired transitions, 1145 secs || 61822468 markings, 108027620 edges, 54931 markings/sec, 1145 secs
lola: STP completed || 44 tries, 43251331 fired transitions, 1150 secs || 62091858 markings, 108524899 edges, 53878 markings/sec, 1150 secs
lola: STP completed || 44 tries, 43442914 fired transitions, 1155 secs || 62365905 markings, 109042553 edges, 54809 markings/sec, 1155 secs
lola: STP completed || 44 tries, 43633794 fired transitions, 1160 secs || 62636966 markings, 109540565 edges, 54212 markings/sec, 1160 secs
lola: STP completed || 44 tries, 43823227 fired transitions, 1165 secs || 62911219 markings, 110043697 edges, 54851 markings/sec, 1165 secs
lola: STP completed || 45 tries, 44013271 fired transitions, 1170 secs || 63183121 markings, 110533853 edges, 54380 markings/sec, 1170 secs
lola: STP completed || 45 tries, 44183273 fired transitions, 1175 secs || 63428482 markings, 111006825 edges, 49072 markings/sec, 1175 secs
lola: STP completed || 45 tries, 44351899 fired transitions, 1180 secs || 63660283 markings, 111442903 edges, 46360 markings/sec, 1180 secs
lola: STP completed || 45 tries, 44522097 fired transitions, 1185 secs || 63892204 markings, 111873598 edges, 46384 markings/sec, 1185 secs
lola: STP completed || 45 tries, 44690071 fired transitions, 1190 secs || 64120298 markings, 112296612 edges, 45619 markings/sec, 1190 secs
lola: STP completed || 45 tries, 44858849 fired transitions, 1195 secs || 64354231 markings, 112733915 edges, 46787 markings/sec, 1195 secs
lola: STP completed || 46 tries, 45028751 fired transitions, 1200 secs || 64589288 markings, 113169752 edges, 47011 markings/sec, 1200 secs
lola: STP completed || 46 tries, 45211351 fired transitions, 1205 secs || 64856544 markings, 113656240 edges, 53451 markings/sec, 1205 secs
lola: STP completed || 46 tries, 45402377 fired transitions, 1210 secs || 65128283 markings, 114157141 edges, 54348 markings/sec, 1210 secs
lola: STP completed || 46 tries, 45592526 fired transitions, 1215 secs || 65401324 markings, 114653141 edges, 54608 markings/sec, 1215 secs
lola: STP completed || 46 tries, 45782330 fired transitions, 1220 secs || 65678965 markings, 115150557 edges, 55528 markings/sec, 1220 secs
lola: STP completed || 46 tries, 45972703 fired transitions, 1225 secs || 65953793 markings, 115615509 edges, 54966 markings/sec, 1225 secs
lola: STP completed || 47 tries, 46163229 fired transitions, 1230 secs || 66229119 markings, 116104729 edges, 55065 markings/sec, 1230 secs
lola: STP completed || 47 tries, 46353205 fired transitions, 1235 secs || 66502569 markings, 116595089 edges, 54690 markings/sec, 1235 secs
lola: STP completed || 47 tries, 46542996 fired transitions, 1240 secs || 66777061 markings, 117087185 edges, 54898 markings/sec, 1240 secs
lola: STP completed || 47 tries, 46734622 fired transitions, 1245 secs || 67052294 markings, 117589821 edges, 55047 markings/sec, 1245 secs
lola: STP completed || 47 tries, 46926332 fired transitions, 1250 secs || 67322674 markings, 118067283 edges, 54076 markings/sec, 1250 secs
lola: STP completed || 48 tries, 47107762 fired transitions, 1255 secs || 67591293 markings, 118567633 edges, 53724 markings/sec, 1255 secs
lola: STP completed || 48 tries, 47280545 fired transitions, 1260 secs || 67826020 markings, 119001820 edges, 46945 markings/sec, 1260 secs
lola: STP completed || 48 tries, 47452940 fired transitions, 1265 secs || 68059183 markings, 119438325 edges, 46633 markings/sec, 1265 secs
lola: STP completed || 48 tries, 47624308 fired transitions, 1270 secs || 68290148 markings, 119871159 edges, 46193 markings/sec, 1270 secs
lola: STP completed || 48 tries, 47797015 fired transitions, 1275 secs || 68522250 markings, 120293663 edges, 46420 markings/sec, 1275 secs
lola: STP completed || 48 tries, 47968559 fired transitions, 1280 secs || 68758573 markings, 120747399 edges, 47265 markings/sec, 1280 secs
lola: STP completed || 49 tries, 48140133 fired transitions, 1285 secs || 68996152 markings, 121172697 edges, 47516 markings/sec, 1285 secs
lola: STP completed || 49 tries, 48329393 fired transitions, 1290 secs || 69269233 markings, 121666115 edges, 54616 markings/sec, 1290 secs
lola: STP completed || 49 tries, 48518708 fired transitions, 1295 secs || 69541011 markings, 122166093 edges, 54356 markings/sec, 1295 secs
lola: STP completed || 49 tries, 48696008 fired transitions, 1300 secs || 69793911 markings, 122623575 edges, 50580 markings/sec, 1300 secs
lola: STP completed || 49 tries, 48867946 fired transitions, 1305 secs || 70028099 markings, 123052769 edges, 46838 markings/sec, 1305 secs
lola: STP completed || 50 tries, 49039800 fired transitions, 1310 secs || 70261403 markings, 123493864 edges, 46661 markings/sec, 1310 secs
lola: STP completed || 50 tries, 49211893 fired transitions, 1315 secs || 70497192 markings, 123945699 edges, 47158 markings/sec, 1315 secs
lola: STP completed || 50 tries, 49384588 fired transitions, 1320 secs || 70731612 markings, 124375307 edges, 46884 markings/sec, 1320 secs
lola: STP completed || 50 tries, 49557493 fired transitions, 1325 secs || 70964787 markings, 124803175 edges, 46635 markings/sec, 1325 secs
lola: STP completed || 50 tries, 49729812 fired transitions, 1330 secs || 71204387 markings, 125258120 edges, 47920 markings/sec, 1330 secs
lola: STP completed || 50 tries, 49902106 fired transitions, 1335 secs || 71438479 markings, 125702345 edges, 46818 markings/sec, 1335 secs
lola: STP completed || 51 tries, 50073826 fired transitions, 1340 secs || 71669598 markings, 126129495 edges, 46224 markings/sec, 1340 secs
lola: STP completed || 51 tries, 50245495 fired transitions, 1345 secs || 71905094 markings, 126571156 edges, 47099 markings/sec, 1345 secs
lola: STP completed || 51 tries, 50417993 fired transitions, 1350 secs || 72138795 markings, 127002567 edges, 46740 markings/sec, 1350 secs
lola: STP completed || 51 tries, 50591045 fired transitions, 1355 secs || 72372833 markings, 127450081 edges, 46808 markings/sec, 1355 secs
lola: STP completed || 51 tries, 50762802 fired transitions, 1360 secs || 72606841 markings, 127892314 edges, 46802 markings/sec, 1360 secs
lola: STP completed || 51 tries, 50939684 fired transitions, 1365 secs || 72867145 markings, 128380492 edges, 52061 markings/sec, 1365 secs
lola: STP completed || 52 tries, 51129130 fired transitions, 1370 secs || 73141557 markings, 128863445 edges, 54882 markings/sec, 1370 secs
lola: STP completed || 52 tries, 51320076 fired transitions, 1375 secs || 73414060 markings, 129342688 edges, 54501 markings/sec, 1375 secs
lola: STP completed || 52 tries, 51509962 fired transitions, 1380 secs || 73692690 markings, 129839845 edges, 55726 markings/sec, 1380 secs
lola: STP completed || 52 tries, 51700624 fired transitions, 1385 secs || 73968110 markings, 130337740 edges, 55084 markings/sec, 1385 secs
lola: STP completed || 52 tries, 51889555 fired transitions, 1390 secs || 74241187 markings, 130855502 edges, 54615 markings/sec, 1390 secs
lola: STP completed || 53 tries, 52079697 fired transitions, 1395 secs || 74516097 markings, 131363990 edges, 54982 markings/sec, 1395 secs
lola: STP completed || 53 tries, 52270139 fired transitions, 1400 secs || 74789878 markings, 131868074 edges, 54756 markings/sec, 1400 secs
lola: STP completed || 53 tries, 52460589 fired transitions, 1405 secs || 75064783 markings, 132352560 edges, 54981 markings/sec, 1405 secs
lola: STP completed || 53 tries, 52650065 fired transitions, 1410 secs || 75339223 markings, 132835966 edges, 54888 markings/sec, 1410 secs
lola: STP completed || 53 tries, 52839471 fired transitions, 1415 secs || 75612630 markings, 133347647 edges, 54681 markings/sec, 1415 secs
lola: STP completed || 54 tries, 53029496 fired transitions, 1420 secs || 75888112 markings, 133864115 edges, 55096 markings/sec, 1420 secs
lola: STP completed || 54 tries, 53218527 fired transitions, 1425 secs || 76163812 markings, 134375852 edges, 55140 markings/sec, 1425 secs
lola: STP completed || 54 tries, 53409549 fired transitions, 1430 secs || 76436930 markings, 134876051 edges, 54624 markings/sec, 1430 secs
lola: STP completed || 54 tries, 53598861 fired transitions, 1435 secs || 76711212 markings, 135375452 edges, 54856 markings/sec, 1435 secs
lola: STP completed || 54 tries, 53786827 fired transitions, 1440 secs || 76988181 markings, 135880522 edges, 55394 markings/sec, 1440 secs
lola: STP completed || 54 tries, 53975782 fired transitions, 1445 secs || 77266867 markings, 136400798 edges, 55737 markings/sec, 1445 secs
lola: STP completed || 55 tries, 54164422 fired transitions, 1450 secs || 77539078 markings, 136897079 edges, 54442 markings/sec, 1450 secs
lola: STP completed || 55 tries, 54355603 fired transitions, 1455 secs || 77816055 markings, 137414247 edges, 55395 markings/sec, 1455 secs
lola: STP completed || 55 tries, 54546400 fired transitions, 1460 secs || 78091907 markings, 137914732 edges, 55170 markings/sec, 1460 secs
lola: STP completed || 55 tries, 54736860 fired transitions, 1465 secs || 78366933 markings, 138411462 edges, 55005 markings/sec, 1465 secs
lola: STP completed || 55 tries, 54927389 fired transitions, 1470 secs || 78641844 markings, 138928476 edges, 54982 markings/sec, 1470 secs
lola: STP completed || 56 tries, 55118757 fired transitions, 1475 secs || 78917997 markings, 139454883 edges, 55231 markings/sec, 1475 secs
lola: STP completed || 56 tries, 55309439 fired transitions, 1480 secs || 79192065 markings, 139949746 edges, 54814 markings/sec, 1480 secs
lola: STP completed || 56 tries, 55500005 fired transitions, 1485 secs || 79468729 markings, 140457716 edges, 55333 markings/sec, 1485 secs
lola: STP completed || 56 tries, 55691546 fired transitions, 1490 secs || 79740946 markings, 140936078 edges, 54443 markings/sec, 1490 secs
lola: STP completed || 56 tries, 55882537 fired transitions, 1495 secs || 80015767 markings, 141461403 edges, 54964 markings/sec, 1495 secs
lola: STP completed || 57 tries, 56071891 fired transitions, 1500 secs || 80287347 markings, 141968683 edges, 54316 markings/sec, 1500 secs
lola: STP completed || 57 tries, 56262703 fired transitions, 1505 secs || 80563117 markings, 142475093 edges, 55154 markings/sec, 1505 secs
lola: STP completed || 57 tries, 56451291 fired transitions, 1510 secs || 80839874 markings, 142999058 edges, 55351 markings/sec, 1510 secs
lola: STP completed || 57 tries, 56640804 fired transitions, 1515 secs || 81112164 markings, 143495723 edges, 54458 markings/sec, 1515 secs
lola: STP completed || 57 tries, 56829382 fired transitions, 1520 secs || 81386449 markings, 144014523 edges, 54857 markings/sec, 1520 secs
lola: STP completed || 58 tries, 57020522 fired transitions, 1525 secs || 81658160 markings, 144523773 edges, 54342 markings/sec, 1525 secs
lola: STP completed || 58 tries, 57209525 fired transitions, 1530 secs || 81929545 markings, 145038550 edges, 54277 markings/sec, 1530 secs
lola: STP completed || 58 tries, 57398117 fired transitions, 1535 secs || 82200605 markings, 145524653 edges, 54212 markings/sec, 1535 secs
lola: STP completed || 58 tries, 57587623 fired transitions, 1540 secs || 82479058 markings, 146051024 edges, 55691 markings/sec, 1540 secs
lola: STP completed || 58 tries, 57777467 fired transitions, 1545 secs || 82751473 markings, 146565070 edges, 54483 markings/sec, 1545 secs
lola: STP completed || 58 tries, 57968900 fired transitions, 1550 secs || 83026850 markings, 147082420 edges, 55075 markings/sec, 1550 secs
lola: STP completed || 59 tries, 58157026 fired transitions, 1555 secs || 83302276 markings, 147601768 edges, 55085 markings/sec, 1555 secs
lola: STP completed || 59 tries, 58347117 fired transitions, 1560 secs || 83576492 markings, 148126220 edges, 54843 markings/sec, 1560 secs
lola: STP completed || 59 tries, 58537522 fired transitions, 1565 secs || 83850229 markings, 148645264 edges, 54747 markings/sec, 1565 secs
lola: STP completed || 59 tries, 58728145 fired transitions, 1570 secs || 84121559 markings, 149163717 edges, 54266 markings/sec, 1570 secs
lola: STP completed || 59 tries, 58918962 fired transitions, 1575 secs || 84397861 markings, 149686408 edges, 55260 markings/sec, 1575 secs
lola: STP completed || 60 tries, 59108562 fired transitions, 1580 secs || 84668967 markings, 150200345 edges, 54221 markings/sec, 1580 secs
lola: STP completed || 60 tries, 59297411 fired transitions, 1585 secs || 84944226 markings, 150662971 edges, 55052 markings/sec, 1585 secs
lola: STP completed || 60 tries, 59486960 fired transitions, 1590 secs || 85219992 markings, 151151279 edges, 55153 markings/sec, 1590 secs
lola: STP completed || 60 tries, 59678151 fired transitions, 1595 secs || 85492820 markings, 151647854 edges, 54566 markings/sec, 1595 secs
lola: STP completed || 60 tries, 59868198 fired transitions, 1600 secs || 85767111 markings, 152150688 edges, 54858 markings/sec, 1600 secs
lola: STP completed || 61 tries, 60058747 fired transitions, 1605 secs || 86043760 markings, 152670189 edges, 55330 markings/sec, 1605 secs
lola: STP completed || 61 tries, 60250890 fired transitions, 1610 secs || 86316404 markings, 153182544 edges, 54529 markings/sec, 1610 secs
lola: STP completed || 61 tries, 60439870 fired transitions, 1615 secs || 86588529 markings, 153678132 edges, 54425 markings/sec, 1615 secs
lola: STP completed || 61 tries, 60629641 fired transitions, 1620 secs || 86860914 markings, 154178250 edges, 54477 markings/sec, 1620 secs
lola: STP completed || 61 tries, 60819706 fired transitions, 1625 secs || 87133373 markings, 154678298 edges, 54492 markings/sec, 1625 secs
lola: STP completed || 62 tries, 61010834 fired transitions, 1630 secs || 87403421 markings, 155139007 edges, 54010 markings/sec, 1630 secs
lola: STP completed || 62 tries, 61201460 fired transitions, 1635 secs || 87680389 markings, 155655373 edges, 55394 markings/sec, 1635 secs
lola: STP completed || 62 tries, 61392653 fired transitions, 1640 secs || 87955625 markings, 156171672 edges, 55047 markings/sec, 1640 secs
lola: STP completed || 62 tries, 61583165 fired transitions, 1645 secs || 88228733 markings, 156680873 edges, 54622 markings/sec, 1645 secs
lola: STP completed || 62 tries, 61773499 fired transitions, 1650 secs || 88503415 markings, 157180179 edges, 54936 markings/sec, 1650 secs
lola: STP completed || 62 tries, 61962110 fired transitions, 1655 secs || 88779682 markings, 157688351 edges, 55253 markings/sec, 1655 secs
lola: STP completed || 63 tries, 62152402 fired transitions, 1660 secs || 89053673 markings, 158168472 edges, 54798 markings/sec, 1660 secs
lola: STP completed || 63 tries, 62326566 fired transitions, 1665 secs || 89296057 markings, 158579860 edges, 48477 markings/sec, 1665 secs
lola: STP completed || 63 tries, 62496153 fired transitions, 1670 secs || 89524676 markings, 158983020 edges, 45724 markings/sec, 1670 secs
lola: STP completed || 63 tries, 62668058 fired transitions, 1675 secs || 89753809 markings, 159406012 edges, 45827 markings/sec, 1675 secs
lola: STP completed || 63 tries, 62838521 fired transitions, 1680 secs || 89980147 markings, 159812725 edges, 45268 markings/sec, 1680 secs
lola: STP completed || 64 tries, 63012261 fired transitions, 1685 secs || 90210554 markings, 160245458 edges, 46081 markings/sec, 1685 secs
lola: STP completed || 64 tries, 63185207 fired transitions, 1690 secs || 90439294 markings, 160647616 edges, 45748 markings/sec, 1690 secs
lola: STP completed || 64 tries, 63358037 fired transitions, 1695 secs || 90665975 markings, 161041238 edges, 45336 markings/sec, 1695 secs
lola: STP completed || 64 tries, 63531647 fired transitions, 1700 secs || 90894128 markings, 161484966 edges, 45631 markings/sec, 1700 secs
lola: STP completed || 64 tries, 63704518 fired transitions, 1705 secs || 91122812 markings, 161917422 edges, 45737 markings/sec, 1705 secs
lola: STP completed || 64 tries, 63878484 fired transitions, 1710 secs || 91354502 markings, 162340003 edges, 46338 markings/sec, 1710 secs
lola: STP completed || 65 tries, 64051559 fired transitions, 1715 secs || 91584205 markings, 162771015 edges, 45941 markings/sec, 1715 secs
lola: STP completed || 65 tries, 64225024 fired transitions, 1720 secs || 91809944 markings, 163176705 edges, 45148 markings/sec, 1720 secs
lola: STP completed || 65 tries, 64399712 fired transitions, 1725 secs || 92044068 markings, 163623664 edges, 46825 markings/sec, 1725 secs
lola: STP completed || 65 tries, 64573504 fired transitions, 1730 secs || 92274162 markings, 164063218 edges, 46019 markings/sec, 1730 secs
lola: STP completed || 65 tries, 64744320 fired transitions, 1735 secs || 92499014 markings, 164414413 edges, 44970 markings/sec, 1735 secs
lola: STP completed || 65 tries, 64914654 fired transitions, 1740 secs || 92723493 markings, 164773454 edges, 44896 markings/sec, 1740 secs
lola: STP completed || 66 tries, 65085870 fired transitions, 1745 secs || 92948437 markings, 165137796 edges, 44989 markings/sec, 1745 secs
lola: STP completed || 66 tries, 65256354 fired transitions, 1750 secs || 93170440 markings, 165491266 edges, 44401 markings/sec, 1750 secs
lola: STP completed || 66 tries, 65428008 fired transitions, 1755 secs || 93399126 markings, 165874886 edges, 45737 markings/sec, 1755 secs
lola: STP completed || 66 tries, 65599734 fired transitions, 1760 secs || 93627526 markings, 166255538 edges, 45680 markings/sec, 1760 secs
lola: STP completed || 66 tries, 65771733 fired transitions, 1765 secs || 93852436 markings, 166629167 edges, 44982 markings/sec, 1765 secs
lola: STP completed || 66 tries, 65942969 fired transitions, 1770 secs || 94077407 markings, 166992642 edges, 44994 markings/sec, 1770 secs
lola: STP completed || 67 tries, 66114795 fired transitions, 1775 secs || 94302385 markings, 167361120 edges, 44996 markings/sec, 1775 secs
lola: STP completed || 67 tries, 66287619 fired transitions, 1780 secs || 94529783 markings, 167746943 edges, 45480 markings/sec, 1780 secs
lola: STP completed || 67 tries, 66461034 fired transitions, 1785 secs || 94759661 markings, 168148901 edges, 45976 markings/sec, 1785 secs
lola: STP completed || 67 tries, 66633589 fired transitions, 1790 secs || 94982570 markings, 168515066 edges, 44582 markings/sec, 1790 secs
lola: STP completed || 67 tries, 66805666 fired transitions, 1795 secs || 95208886 markings, 168899916 edges, 45263 markings/sec, 1795 secs
lola: STP completed || 67 tries, 66976005 fired transitions, 1800 secs || 95435896 markings, 169279667 edges, 45402 markings/sec, 1800 secs
lola: STP completed || 68 tries, 67146398 fired transitions, 1805 secs || 95672918 markings, 169697944 edges, 47404 markings/sec, 1805 secs
lola: STP completed || 68 tries, 67318458 fired transitions, 1810 secs || 95905613 markings, 170096591 edges, 46539 markings/sec, 1810 secs
lola: STP completed || 68 tries, 67488426 fired transitions, 1815 secs || 96135521 markings, 170490794 edges, 45982 markings/sec, 1815 secs
lola: STP completed || 68 tries, 67658616 fired transitions, 1820 secs || 96365287 markings, 170879255 edges, 45953 markings/sec, 1820 secs
lola: STP completed || 68 tries, 67829717 fired transitions, 1825 secs || 96601221 markings, 171290904 edges, 47187 markings/sec, 1825 secs
lola: STP completed || 69 tries, 68000946 fired transitions, 1830 secs || 96829992 markings, 171665987 edges, 45754 markings/sec, 1830 secs
lola: STP completed || 69 tries, 68170233 fired transitions, 1835 secs || 97061986 markings, 172064071 edges, 46399 markings/sec, 1835 secs
lola: STP completed || 69 tries, 68342263 fired transitions, 1840 secs || 97294627 markings, 172458178 edges, 46528 markings/sec, 1840 secs
lola: STP completed || 69 tries, 68513569 fired transitions, 1845 secs || 97524204 markings, 172846077 edges, 45915 markings/sec, 1845 secs
lola: STP completed || 69 tries, 68686226 fired transitions, 1850 secs || 97750760 markings, 173232679 edges, 45311 markings/sec, 1850 secs
lola: STP completed || 69 tries, 68858292 fired transitions, 1855 secs || 97976600 markings, 173627036 edges, 45168 markings/sec, 1855 secs
lola: STP completed || 70 tries, 69029749 fired transitions, 1860 secs || 98204953 markings, 174042073 edges, 45671 markings/sec, 1860 secs
lola: STP completed || 70 tries, 69201542 fired transitions, 1865 secs || 98434520 markings, 174459736 edges, 45913 markings/sec, 1865 secs
lola: STP completed || 70 tries, 69372813 fired transitions, 1870 secs || 98668758 markings, 174902078 edges, 46848 markings/sec, 1870 secs
lola: STP completed || 70 tries, 69545507 fired transitions, 1875 secs || 98893946 markings, 175329471 edges, 45038 markings/sec, 1875 secs
lola: STP completed || 70 tries, 69729293 fired transitions, 1880 secs || 99133900 markings, 175780853 edges, 47991 markings/sec, 1880 secs
lola: STP completed || 70 tries, 69902992 fired transitions, 1885 secs || 99361553 markings, 176214030 edges, 45531 markings/sec, 1885 secs
lola: STP completed || 71 tries, 70071220 fired transitions, 1890 secs || 99587540 markings, 176651476 edges, 45197 markings/sec, 1890 secs
lola: STP completed || 71 tries, 70244891 fired transitions, 1895 secs || 99816991 markings, 177076197 edges, 45890 markings/sec, 1895 secs
lola: STP completed || 71 tries, 70416073 fired transitions, 1900 secs || 100044092 markings, 177456203 edges, 45420 markings/sec, 1900 secs
lola: STP completed || 71 tries, 70584114 fired transitions, 1905 secs || 100268363 markings, 177857210 edges, 44854 markings/sec, 1905 secs
lola: STP completed || 71 tries, 70756907 fired transitions, 1910 secs || 100494151 markings, 178260334 edges, 45158 markings/sec, 1910 secs
lola: STP completed || 71 tries, 70924758 fired transitions, 1915 secs || 100722258 markings, 178682809 edges, 45621 markings/sec, 1915 secs
lola: STP completed || 72 tries, 71093324 fired transitions, 1920 secs || 100952000 markings, 179099468 edges, 45948 markings/sec, 1920 secs
lola: STP completed || 72 tries, 71267721 fired transitions, 1925 secs || 101178799 markings, 179517149 edges, 45360 markings/sec, 1925 secs
lola: STP completed || 72 tries, 71440156 fired transitions, 1930 secs || 101404993 markings, 179950711 edges, 45239 markings/sec, 1930 secs
lola: STP completed || 72 tries, 71613586 fired transitions, 1935 secs || 101630191 markings, 180377353 edges, 45040 markings/sec, 1935 secs
lola: STP completed || 72 tries, 71787747 fired transitions, 1940 secs || 101859206 markings, 180810106 edges, 45803 markings/sec, 1940 secs
lola: STP completed || 72 tries, 71961275 fired transitions, 1945 secs || 102087234 markings, 181219398 edges, 45606 markings/sec, 1945 secs
lola: STP completed || 73 tries, 72134848 fired transitions, 1950 secs || 102316503 markings, 181634505 edges, 45854 markings/sec, 1950 secs
lola: STP completed || 73 tries, 72308428 fired transitions, 1955 secs || 102547041 markings, 182049469 edges, 46108 markings/sec, 1955 secs
lola: STP completed || 73 tries, 72482767 fired transitions, 1960 secs || 102775416 markings, 182480249 edges, 45675 markings/sec, 1960 secs
lola: STP completed || 73 tries, 72656406 fired transitions, 1965 secs || 103003409 markings, 182902750 edges, 45599 markings/sec, 1965 secs
lola: STP completed || 73 tries, 72829631 fired transitions, 1970 secs || 103230602 markings, 183329923 edges, 45439 markings/sec, 1970 secs
lola: STP completed || 74 tries, 73003947 fired transitions, 1975 secs || 103458748 markings, 183739911 edges, 45629 markings/sec, 1975 secs
lola: STP completed || 74 tries, 73181663 fired transitions, 1980 secs || 103688117 markings, 184171988 edges, 45874 markings/sec, 1980 secs
lola: STP completed || 74 tries, 73357989 fired transitions, 1985 secs || 103911574 markings, 184587746 edges, 44691 markings/sec, 1985 secs
lola: STP completed || 74 tries, 73531150 fired transitions, 1990 secs || 104140654 markings, 185017987 edges, 45816 markings/sec, 1990 secs
lola: STP completed || 74 tries, 73704771 fired transitions, 1995 secs || 104370076 markings, 185436903 edges, 45884 markings/sec, 1995 secs
lola: STP completed || 74 tries, 73878369 fired transitions, 2000 secs || 104595675 markings, 185851135 edges, 45120 markings/sec, 2000 secs
lola: STP completed || 75 tries, 74057005 fired transitions, 2005 secs || 104815093 markings, 186265460 edges, 43884 markings/sec, 2005 secs
lola: STP completed || 75 tries, 74232041 fired transitions, 2010 secs || 105041779 markings, 186699108 edges, 45337 markings/sec, 2010 secs
lola: STP completed || 75 tries, 74406180 fired transitions, 2015 secs || 105269315 markings, 187112271 edges, 45507 markings/sec, 2015 secs
lola: STP completed || 75 tries, 74580895 fired transitions, 2020 secs || 105500566 markings, 187552086 edges, 46250 markings/sec, 2020 secs
lola: STP completed || 75 tries, 74755862 fired transitions, 2025 secs || 105728879 markings, 187977315 edges, 45663 markings/sec, 2025 secs
lola: STP completed || 75 tries, 74929241 fired transitions, 2030 secs || 105957704 markings, 188406538 edges, 45765 markings/sec, 2030 secs
lola: STP completed || 76 tries, 75102744 fired transitions, 2035 secs || 106185594 markings, 188833630 edges, 45578 markings/sec, 2035 secs
lola: STP completed || 76 tries, 75276064 fired transitions, 2040 secs || 106416219 markings, 189273671 edges, 46125 markings/sec, 2040 secs
lola: STP completed || 76 tries, 75449631 fired transitions, 2045 secs || 106641951 markings, 189686184 edges, 45146 markings/sec, 2045 secs
lola: STP completed || 76 tries, 75623133 fired transitions, 2050 secs || 106869319 markings, 190108995 edges, 45474 markings/sec, 2050 secs
lola: STP completed || 76 tries, 75796165 fired transitions, 2055 secs || 107095805 markings, 190530750 edges, 45297 markings/sec, 2055 secs
lola: STP completed || 76 tries, 75969693 fired transitions, 2060 secs || 107324406 markings, 190953650 edges, 45720 markings/sec, 2060 secs
lola: STP completed || 77 tries, 76144428 fired transitions, 2065 secs || 107553458 markings, 191393004 edges, 45810 markings/sec, 2065 secs
lola: STP completed || 77 tries, 76316728 fired transitions, 2070 secs || 107778462 markings, 191814930 edges, 45001 markings/sec, 2070 secs
lola: STP completed || 77 tries, 76489400 fired transitions, 2075 secs || 108007435 markings, 192238099 edges, 45795 markings/sec, 2075 secs
lola: STP completed || 77 tries, 76661378 fired transitions, 2080 secs || 108241287 markings, 192683590 edges, 46770 markings/sec, 2080 secs
lola: STP completed || 77 tries, 76832886 fired transitions, 2085 secs || 108470921 markings, 193101400 edges, 45927 markings/sec, 2085 secs
lola: STP completed || 78 tries, 77006685 fired transitions, 2090 secs || 108703350 markings, 193543529 edges, 46486 markings/sec, 2090 secs
lola: STP completed || 78 tries, 77180897 fired transitions, 2095 secs || 108932188 markings, 193974553 edges, 45768 markings/sec, 2095 secs
lola: STP completed || 78 tries, 77353527 fired transitions, 2100 secs || 109159218 markings, 194392603 edges, 45406 markings/sec, 2100 secs
lola: STP completed || 78 tries, 77526030 fired transitions, 2105 secs || 109392614 markings, 194833804 edges, 46679 markings/sec, 2105 secs
lola: STP completed || 78 tries, 77698424 fired transitions, 2110 secs || 109625084 markings, 195261280 edges, 46494 markings/sec, 2110 secs
lola: STP completed || 78 tries, 77870367 fired transitions, 2115 secs || 109858634 markings, 195688386 edges, 46710 markings/sec, 2115 secs
lola: STP completed || 79 tries, 78043522 fired transitions, 2120 secs || 110094162 markings, 196136566 edges, 47106 markings/sec, 2120 secs
lola: STP completed || 79 tries, 78216785 fired transitions, 2125 secs || 110329281 markings, 196576526 edges, 47024 markings/sec, 2125 secs
lola: STP completed || 79 tries, 78389086 fired transitions, 2130 secs || 110561119 markings, 197014883 edges, 46368 markings/sec, 2130 secs
lola: STP completed || 79 tries, 78560738 fired transitions, 2135 secs || 110796563 markings, 197465554 edges, 47089 markings/sec, 2135 secs
lola: STP completed || 79 tries, 78732465 fired transitions, 2140 secs || 111029633 markings, 197904396 edges, 46614 markings/sec, 2140 secs
lola: STP completed || 79 tries, 78905451 fired transitions, 2145 secs || 111263000 markings, 198340246 edges, 46673 markings/sec, 2145 secs
lola: STP completed || 80 tries, 79077779 fired transitions, 2150 secs || 111493801 markings, 198772973 edges, 46160 markings/sec, 2150 secs
lola: STP completed || 80 tries, 79250483 fired transitions, 2155 secs || 111727806 markings, 199230093 edges, 46801 markings/sec, 2155 secs
lola: STP completed || 80 tries, 79423049 fired transitions, 2160 secs || 111962200 markings, 199685580 edges, 46879 markings/sec, 2160 secs
lola: STP completed || 80 tries, 79593991 fired transitions, 2165 secs || 112196221 markings, 200117280 edges, 46804 markings/sec, 2165 secs
lola: STP completed || 80 tries, 79766480 fired transitions, 2170 secs || 112434979 markings, 200576036 edges, 47752 markings/sec, 2170 secs
lola: STP completed || 80 tries, 79939293 fired transitions, 2175 secs || 112665697 markings, 201021469 edges, 46144 markings/sec, 2175 secs
lola: STP completed || 81 tries, 80110770 fired transitions, 2180 secs || 112899832 markings, 201472601 edges, 46827 markings/sec, 2180 secs
lola: STP completed || 81 tries, 80284022 fired transitions, 2185 secs || 113135989 markings, 201928327 edges, 47231 markings/sec, 2185 secs
lola: STP completed || 81 tries, 80455812 fired transitions, 2190 secs || 113367748 markings, 202377733 edges, 46352 markings/sec, 2190 secs
lola: STP completed || 81 tries, 80628155 fired transitions, 2195 secs || 113601683 markings, 202823760 edges, 46787 markings/sec, 2195 secs
lola: STP completed || 81 tries, 80799480 fired transitions, 2200 secs || 113835651 markings, 203242436 edges, 46794 markings/sec, 2200 secs
lola: STP completed || 81 tries, 80971052 fired transitions, 2205 secs || 114069284 markings, 203680810 edges, 46727 markings/sec, 2205 secs
lola: STP completed || 82 tries, 81143216 fired transitions, 2210 secs || 114302656 markings, 204105199 edges, 46674 markings/sec, 2210 secs
lola: STP completed || 82 tries, 81315953 fired transitions, 2215 secs || 114536619 markings, 204504369 edges, 46793 markings/sec, 2215 secs
lola: STP completed || 82 tries, 81487776 fired transitions, 2220 secs || 114770525 markings, 204921011 edges, 46781 markings/sec, 2220 secs
lola: STP completed || 82 tries, 81660126 fired transitions, 2225 secs || 115001510 markings, 205355721 edges, 46197 markings/sec, 2225 secs
lola: STP completed || 82 tries, 81832620 fired transitions, 2230 secs || 115231190 markings, 205771514 edges, 45936 markings/sec, 2230 secs
lola: STP completed || 83 tries, 82005695 fired transitions, 2235 secs || 115465078 markings, 206209657 edges, 46778 markings/sec, 2235 secs
lola: STP completed || 83 tries, 82177589 fired transitions, 2240 secs || 115699972 markings, 206650764 edges, 46979 markings/sec, 2240 secs
lola: STP completed || 83 tries, 82350260 fired transitions, 2245 secs || 115933811 markings, 207096132 edges, 46768 markings/sec, 2245 secs
lola: STP completed || 83 tries, 82524040 fired transitions, 2250 secs || 116168821 markings, 207553688 edges, 47002 markings/sec, 2250 secs
lola: STP completed || 83 tries, 82696405 fired transitions, 2255 secs || 116401322 markings, 207991012 edges, 46500 markings/sec, 2255 secs
lola: STP completed || 83 tries, 82868294 fired transitions, 2260 secs || 116632931 markings, 208428309 edges, 46322 markings/sec, 2260 secs
lola: STP completed || 84 tries, 83040578 fired transitions, 2265 secs || 116866977 markings, 208869304 edges, 46809 markings/sec, 2265 secs
lola: STP completed || 84 tries, 83213869 fired transitions, 2270 secs || 117097969 markings, 209306819 edges, 46198 markings/sec, 2270 secs
lola: STP completed || 84 tries, 83388745 fired transitions, 2275 secs || 117328999 markings, 209750177 edges, 46206 markings/sec, 2275 secs
lola: STP completed || 84 tries, 83563267 fired transitions, 2280 secs || 117561298 markings, 210184785 edges, 46460 markings/sec, 2280 secs
lola: STP completed || 84 tries, 83737887 fired transitions, 2285 secs || 117789763 markings, 210618530 edges, 45693 markings/sec, 2285 secs
lola: STP completed || 84 tries, 83911235 fired transitions, 2290 secs || 118015841 markings, 211035098 edges, 45216 markings/sec, 2290 secs
lola: STP completed || 85 tries, 84084625 fired transitions, 2295 secs || 118245425 markings, 211460975 edges, 45917 markings/sec, 2295 secs
lola: STP completed || 85 tries, 84257982 fired transitions, 2300 secs || 118473552 markings, 211890099 edges, 45625 markings/sec, 2300 secs
lola: STP completed || 85 tries, 84432854 fired transitions, 2305 secs || 118704783 markings, 212328060 edges, 46246 markings/sec, 2305 secs
lola: STP completed || 85 tries, 84607489 fired transitions, 2310 secs || 118936650 markings, 212774195 edges, 46373 markings/sec, 2310 secs
lola: STP completed || 85 tries, 84781632 fired transitions, 2315 secs || 119166036 markings, 213213015 edges, 45877 markings/sec, 2315 secs
lola: STP completed || 85 tries, 84955566 fired transitions, 2320 secs || 119394055 markings, 213641621 edges, 45604 markings/sec, 2320 secs
lola: STP completed || 86 tries, 85128957 fired transitions, 2325 secs || 119633610 markings, 214074919 edges, 47911 markings/sec, 2325 secs
lola: STP completed || 86 tries, 85319480 fired transitions, 2330 secs || 119904306 markings, 214551443 edges, 54139 markings/sec, 2330 secs
lola: STP completed || 86 tries, 85510847 fired transitions, 2335 secs || 120174846 markings, 215053207 edges, 54108 markings/sec, 2335 secs
lola: STP completed || 86 tries, 85702490 fired transitions, 2340 secs || 120448747 markings, 215576312 edges, 54780 markings/sec, 2340 secs
lola: STP completed || 86 tries, 85895188 fired transitions, 2345 secs || 120722035 markings, 216073782 edges, 54658 markings/sec, 2345 secs
lola: STP completed || 87 tries, 86087055 fired transitions, 2350 secs || 120995902 markings, 216589636 edges, 54773 markings/sec, 2350 secs
lola: STP completed || 87 tries, 86278920 fired transitions, 2355 secs || 121268433 markings, 217039619 edges, 54506 markings/sec, 2355 secs
lola: STP completed || 87 tries, 86469692 fired transitions, 2360 secs || 121539238 markings, 217541069 edges, 54161 markings/sec, 2360 secs
lola: STP completed || 87 tries, 86561615 fired transitions, 2365 secs || 121651804 markings, 217743559 edges, 22513 markings/sec, 2365 secs
lola: STP completed || 87 tries, 86568028 fired transitions, 2370 secs || 121653599 markings, 217746804 edges, 359 markings/sec, 2370 secs
lola: STP completed || 87 tries, 86578225 fired transitions, 2375 secs || 121653925 markings, 217747354 edges, 65 markings/sec, 2375 secs
Killed
FORMULA FlexibleBarrier-PT-12a-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished 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="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a 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 mcc4mcc-structural"
echo " Input is FlexibleBarrier-PT-12a, 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 r095-blw7-152650007100160"
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 ;