fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r143-qhx2-152673584300006
Last Updated
June 26, 2018

About the Execution of M4M.struct for ProductionCell-PT-none

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.050 2781255.00 5500803.00 6793.20 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............................................................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.6K 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.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 43K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is ProductionCell-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-qhx2-152673584300006
=====================================================================


--------------------
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 ProductionCell-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527978127553


BK_STOP 1527980908808

--------------------
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 ProductionCell-PT-none as instance name.
Using ProductionCell 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': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 17895, 'Memory': 589.52, 'Tool': 'gspn'}, {'Time': 18156, 'Memory': 561.8, 'Tool': 'gspn'}, {'Time': 21660, 'Memory': 2351.67, 'Tool': 'marcie'}, {'Time': 21922, 'Memory': 2351.75, 'Tool': 'marcie'}, {'Time': 30472, 'Memory': 867.3, 'Tool': 'itstools'}, {'Time': 30520, 'Memory': 858.31, 'Tool': 'itstools'}, {'Time': 1203608, 'Memory': 15949.04, 'Tool': 'lola'}, {'Time': 1239903, 'Memory': 15952.11, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 67.2594579491478x far from the best tool gspn.
ReachabilityDeadlock lola ProductionCell-PT-none...

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


checking for too many tokens
===========================================================================================
ProductionCell-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ ProductionCell-PT-none @ 3538 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 310/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 176 places, 134 transitions, 126 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 200 transition conflict sets
lola: TASK
lola: reading formula from ProductionCell-PT-none-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 16 bytes per marking, with 2 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 3680 variables and 11446 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 2 tries, 1572049 fired transitions, 0 secs || 443228 markings, 625629 edges, 88646 markings/sec, 0 secs
lola: STP completed || 4 tries, 3180128 fired transitions, 5 secs || 864737 markings, 1285732 edges, 84302 markings/sec, 5 secs
lola: STP completed || 5 tries, 4851571 fired transitions, 10 secs || 1275647 markings, 1925211 edges, 82182 markings/sec, 10 secs
lola: STP completed || 7 tries, 6531802 fired transitions, 15 secs || 1656680 markings, 2544457 edges, 76207 markings/sec, 15 secs
lola: STP completed || 9 tries, 8180717 fired transitions, 20 secs || 2040966 markings, 3178582 edges, 76857 markings/sec, 20 secs
lola: STP completed || 10 tries, 9907682 fired transitions, 25 secs || 2456710 markings, 3876436 edges, 83149 markings/sec, 25 secs
lola: STP completed || 12 tries, 11629439 fired transitions, 30 secs || 2876760 markings, 4593442 edges, 84010 markings/sec, 30 secs
lola: STP completed || 14 tries, 13439172 fired transitions, 35 secs || 3255864 markings, 5238427 edges, 75821 markings/sec, 35 secs
lola: STP completed || 16 tries, 15542895 fired transitions, 40 secs || 3714207 markings, 6036966 edges, 91669 markings/sec, 40 secs
lola: STP completed || 18 tries, 17236893 fired transitions, 45 secs || 4125582 markings, 6759590 edges, 82275 markings/sec, 45 secs
lola: STP completed || 20 tries, 19025495 fired transitions, 50 secs || 4546545 markings, 7504070 edges, 84193 markings/sec, 50 secs
lola: STP completed || 21 tries, 20833379 fired transitions, 55 secs || 4971150 markings, 8268816 edges, 84921 markings/sec, 55 secs
lola: STP completed || 23 tries, 22694249 fired transitions, 60 secs || 5400899 markings, 9034988 edges, 85950 markings/sec, 60 secs
lola: STP completed || 25 tries, 24550986 fired transitions, 65 secs || 5802376 markings, 9759793 edges, 80295 markings/sec, 65 secs
lola: STP completed || 27 tries, 26447985 fired transitions, 70 secs || 6220035 markings, 10514439 edges, 83532 markings/sec, 70 secs
lola: STP completed || 29 tries, 28332496 fired transitions, 75 secs || 6637908 markings, 11275946 edges, 83575 markings/sec, 75 secs
lola: STP completed || 31 tries, 30216188 fired transitions, 80 secs || 7057741 markings, 12049968 edges, 83967 markings/sec, 80 secs
lola: STP completed || 33 tries, 32107315 fired transitions, 85 secs || 7474683 markings, 12822465 edges, 83388 markings/sec, 85 secs
lola: STP completed || 35 tries, 34005082 fired transitions, 90 secs || 7890442 markings, 13590633 edges, 83152 markings/sec, 90 secs
lola: STP completed || 36 tries, 35902409 fired transitions, 95 secs || 8297699 markings, 14351545 edges, 81451 markings/sec, 95 secs
lola: STP completed || 39 tries, 38013436 fired transitions, 100 secs || 8733404 markings, 15177551 edges, 87141 markings/sec, 100 secs
lola: STP completed || 41 tries, 40123933 fired transitions, 105 secs || 9170532 markings, 16001319 edges, 87426 markings/sec, 105 secs
lola: STP completed || 43 tries, 42025091 fired transitions, 110 secs || 9575237 markings, 16767663 edges, 80941 markings/sec, 110 secs
lola: STP completed || 45 tries, 44739478 fired transitions, 115 secs || 10121494 markings, 17821365 edges, 109251 markings/sec, 115 secs
lola: STP completed || 48 tries, 47267965 fired transitions, 120 secs || 10625323 markings, 18807734 edges, 100766 markings/sec, 120 secs
lola: STP completed || 50 tries, 49155502 fired transitions, 125 secs || 11027178 markings, 19578835 edges, 80371 markings/sec, 125 secs
lola: STP completed || 52 tries, 51063442 fired transitions, 130 secs || 11433498 markings, 20365530 edges, 81264 markings/sec, 130 secs
lola: STP completed || 53 tries, 52990359 fired transitions, 135 secs || 11843953 markings, 21154591 edges, 82091 markings/sec, 135 secs
lola: STP completed || 55 tries, 54897493 fired transitions, 140 secs || 12226779 markings, 21888398 edges, 76565 markings/sec, 140 secs
lola: STP completed || 57 tries, 56787898 fired transitions, 145 secs || 12627074 markings, 22662253 edges, 80059 markings/sec, 145 secs
lola: STP completed || 59 tries, 58703395 fired transitions, 150 secs || 13043294 markings, 23465037 edges, 83244 markings/sec, 150 secs
lola: STP completed || 61 tries, 60617290 fired transitions, 155 secs || 13450155 markings, 24264651 edges, 81372 markings/sec, 155 secs
lola: STP completed || 63 tries, 62520385 fired transitions, 160 secs || 13858399 markings, 25081306 edges, 81649 markings/sec, 160 secs
lola: STP completed || 65 tries, 64461661 fired transitions, 165 secs || 14262446 markings, 25872286 edges, 80809 markings/sec, 165 secs
lola: STP completed || 67 tries, 66387309 fired transitions, 170 secs || 14637829 markings, 26607992 edges, 75077 markings/sec, 170 secs
lola: STP completed || 69 tries, 68312417 fired transitions, 175 secs || 15038744 markings, 27396945 edges, 80183 markings/sec, 175 secs
lola: STP completed || 71 tries, 70241900 fired transitions, 180 secs || 15431127 markings, 28181597 edges, 78477 markings/sec, 180 secs
lola: STP completed || 73 tries, 72175973 fired transitions, 185 secs || 15824439 markings, 28960242 edges, 78662 markings/sec, 185 secs
lola: STP completed || 75 tries, 74099169 fired transitions, 190 secs || 16221910 markings, 29745594 edges, 79494 markings/sec, 190 secs
lola: STP completed || 77 tries, 76018781 fired transitions, 195 secs || 16619338 markings, 30534802 edges, 79486 markings/sec, 195 secs
lola: STP completed || 78 tries, 77934257 fired transitions, 200 secs || 17028418 markings, 31364944 edges, 81816 markings/sec, 200 secs
lola: STP completed || 80 tries, 79840229 fired transitions, 205 secs || 17438875 markings, 32207094 edges, 82091 markings/sec, 205 secs
lola: STP completed || 82 tries, 81766630 fired transitions, 210 secs || 17855604 markings, 33046968 edges, 83346 markings/sec, 210 secs
lola: STP completed || 84 tries, 83689900 fired transitions, 215 secs || 18261726 markings, 33861106 edges, 81224 markings/sec, 215 secs
lola: STP completed || 86 tries, 85631243 fired transitions, 220 secs || 18676063 markings, 34695694 edges, 82867 markings/sec, 220 secs
lola: STP completed || 88 tries, 87564464 fired transitions, 225 secs || 19084358 markings, 35513178 edges, 81659 markings/sec, 225 secs
lola: STP completed || 90 tries, 89492869 fired transitions, 230 secs || 19500368 markings, 36341167 edges, 83202 markings/sec, 230 secs
lola: STP completed || 92 tries, 91407283 fired transitions, 235 secs || 19906024 markings, 37157165 edges, 81131 markings/sec, 235 secs
lola: STP completed || 94 tries, 93330658 fired transitions, 240 secs || 20311943 markings, 37975592 edges, 81184 markings/sec, 240 secs
lola: STP completed || 96 tries, 95288393 fired transitions, 245 secs || 20717906 markings, 38790818 edges, 81193 markings/sec, 245 secs
lola: STP completed || 98 tries, 97261609 fired transitions, 250 secs || 21125671 markings, 39609697 edges, 81553 markings/sec, 250 secs
lola: STP completed || 100 tries, 99104329 fired transitions, 255 secs || 21511126 markings, 40373269 edges, 77091 markings/sec, 255 secs
lola: STP completed || 102 tries, 101241882 fired transitions, 260 secs || 21947665 markings, 41283579 edges, 87308 markings/sec, 260 secs
lola: STP completed || 104 tries, 103320538 fired transitions, 265 secs || 22381085 markings, 42159927 edges, 86684 markings/sec, 265 secs
lola: STP completed || 106 tries, 105269884 fired transitions, 270 secs || 22796584 markings, 42990256 edges, 83100 markings/sec, 270 secs
lola: STP completed || 108 tries, 107202011 fired transitions, 275 secs || 23166479 markings, 43727171 edges, 73979 markings/sec, 275 secs
lola: STP completed || 110 tries, 109076467 fired transitions, 280 secs || 23534095 markings, 44471556 edges, 73523 markings/sec, 280 secs
lola: STP completed || 111 tries, 110954342 fired transitions, 285 secs || 23889810 markings, 45205516 edges, 71143 markings/sec, 285 secs
lola: STP completed || 113 tries, 112844199 fired transitions, 290 secs || 24237937 markings, 45941468 edges, 69625 markings/sec, 290 secs
lola: STP completed || 115 tries, 114767313 fired transitions, 295 secs || 24620463 markings, 46721341 edges, 76505 markings/sec, 295 secs
lola: STP completed || 117 tries, 116722922 fired transitions, 300 secs || 25039323 markings, 47587984 edges, 83772 markings/sec, 300 secs
lola: STP completed || 119 tries, 118684346 fired transitions, 305 secs || 25452836 markings, 48431377 edges, 82703 markings/sec, 305 secs
lola: STP completed || 121 tries, 120618112 fired transitions, 310 secs || 25830749 markings, 49215679 edges, 75583 markings/sec, 310 secs
lola: STP completed || 123 tries, 122565161 fired transitions, 315 secs || 26227770 markings, 50033511 edges, 79404 markings/sec, 315 secs
lola: STP completed || 125 tries, 124543924 fired transitions, 320 secs || 26630997 markings, 50853854 edges, 80645 markings/sec, 320 secs
lola: STP completed || 127 tries, 126522026 fired transitions, 325 secs || 27039271 markings, 51678130 edges, 81655 markings/sec, 325 secs
lola: STP completed || 129 tries, 128496700 fired transitions, 330 secs || 27438574 markings, 52508698 edges, 79861 markings/sec, 330 secs
lola: STP completed || 131 tries, 130499011 fired transitions, 335 secs || 27850521 markings, 53370992 edges, 82389 markings/sec, 335 secs
lola: STP completed || 133 tries, 132451207 fired transitions, 340 secs || 28261455 markings, 54215731 edges, 82187 markings/sec, 340 secs
lola: STP completed || 135 tries, 134420083 fired transitions, 345 secs || 28667928 markings, 55056757 edges, 81295 markings/sec, 345 secs
lola: STP completed || 137 tries, 136383187 fired transitions, 350 secs || 29073139 markings, 55904540 edges, 81042 markings/sec, 350 secs
lola: STP completed || 139 tries, 138356204 fired transitions, 355 secs || 29472093 markings, 56737211 edges, 79791 markings/sec, 355 secs
lola: STP completed || 141 tries, 140310403 fired transitions, 360 secs || 29855459 markings, 57546348 edges, 76673 markings/sec, 360 secs
lola: STP completed || 143 tries, 142253465 fired transitions, 365 secs || 30268015 markings, 58442333 edges, 82511 markings/sec, 365 secs
lola: STP completed || 145 tries, 144207338 fired transitions, 370 secs || 30676643 markings, 59303301 edges, 81726 markings/sec, 370 secs
lola: STP completed || 147 tries, 146123390 fired transitions, 375 secs || 31093221 markings, 60178234 edges, 83316 markings/sec, 375 secs
lola: STP completed || 149 tries, 148004281 fired transitions, 380 secs || 31480088 markings, 60998178 edges, 77373 markings/sec, 380 secs
lola: STP completed || 150 tries, 149796683 fired transitions, 385 secs || 31871523 markings, 61831216 edges, 78287 markings/sec, 385 secs
lola: STP completed || 152 tries, 151593018 fired transitions, 390 secs || 32262019 markings, 62679704 edges, 78099 markings/sec, 390 secs
lola: STP completed || 154 tries, 153406309 fired transitions, 395 secs || 32655421 markings, 63552554 edges, 78680 markings/sec, 395 secs
lola: STP completed || 156 tries, 155251805 fired transitions, 400 secs || 33046690 markings, 64364378 edges, 78254 markings/sec, 400 secs
lola: STP completed || 158 tries, 157059990 fired transitions, 405 secs || 33413503 markings, 65174632 edges, 73363 markings/sec, 405 secs
lola: STP completed || 160 tries, 159006445 fired transitions, 410 secs || 33761708 markings, 65888783 edges, 69641 markings/sec, 410 secs
lola: STP completed || 161 tries, 160964574 fired transitions, 415 secs || 34126817 markings, 66628120 edges, 73022 markings/sec, 415 secs
lola: STP completed || 163 tries, 162881075 fired transitions, 420 secs || 34485495 markings, 67379904 edges, 71736 markings/sec, 420 secs
lola: STP completed || 165 tries, 164799189 fired transitions, 425 secs || 34853597 markings, 68160557 edges, 73620 markings/sec, 425 secs
lola: STP completed || 167 tries, 166675617 fired transitions, 430 secs || 35206574 markings, 68943149 edges, 70595 markings/sec, 430 secs
lola: STP completed || 169 tries, 168684504 fired transitions, 435 secs || 35595020 markings, 69744702 edges, 77689 markings/sec, 435 secs
lola: STP completed || 171 tries, 170643448 fired transitions, 440 secs || 35994854 markings, 70564503 edges, 79967 markings/sec, 440 secs
lola: STP completed || 173 tries, 172428569 fired transitions, 445 secs || 36387911 markings, 71416670 edges, 78611 markings/sec, 445 secs
lola: STP completed || 175 tries, 174326949 fired transitions, 450 secs || 36773425 markings, 72232734 edges, 77103 markings/sec, 450 secs
lola: STP completed || 177 tries, 176268574 fired transitions, 455 secs || 37150631 markings, 73041819 edges, 75441 markings/sec, 455 secs
lola: STP completed || 179 tries, 178254329 fired transitions, 460 secs || 37555538 markings, 73894079 edges, 80981 markings/sec, 460 secs
lola: STP completed || 181 tries, 180122282 fired transitions, 465 secs || 37919515 markings, 74684614 edges, 72795 markings/sec, 465 secs
lola: STP completed || 183 tries, 182065213 fired transitions, 470 secs || 38290046 markings, 75477179 edges, 74106 markings/sec, 470 secs
lola: STP completed || 185 tries, 184005994 fired transitions, 475 secs || 38676458 markings, 76287079 edges, 77282 markings/sec, 475 secs
lola: STP completed || 186 tries, 185959337 fired transitions, 480 secs || 39051130 markings, 77123535 edges, 74934 markings/sec, 480 secs
lola: STP completed || 188 tries, 187936984 fired transitions, 485 secs || 39453624 markings, 77974333 edges, 80499 markings/sec, 485 secs
lola: STP completed || 190 tries, 189932448 fired transitions, 490 secs || 39856932 markings, 78820473 edges, 80662 markings/sec, 490 secs
lola: STP completed || 193 tries, 192074430 fired transitions, 495 secs || 40282803 markings, 79717387 edges, 85174 markings/sec, 495 secs
lola: STP completed || 195 tries, 194115100 fired transitions, 500 secs || 40689166 markings, 80574363 edges, 81273 markings/sec, 500 secs
lola: STP completed || 197 tries, 196237856 fired transitions, 505 secs || 41108866 markings, 81460299 edges, 83940 markings/sec, 505 secs
lola: STP completed || 199 tries, 198208292 fired transitions, 510 secs || 41512234 markings, 82306819 edges, 80674 markings/sec, 510 secs
lola: STP completed || 201 tries, 200167000 fired transitions, 515 secs || 41897859 markings, 83130934 edges, 77125 markings/sec, 515 secs
lola: STP completed || 203 tries, 202111785 fired transitions, 520 secs || 42286474 markings, 83953790 edges, 77723 markings/sec, 520 secs
lola: STP completed || 205 tries, 204068428 fired transitions, 525 secs || 42626919 markings, 84688236 edges, 68089 markings/sec, 525 secs
lola: STP completed || 207 tries, 206075451 fired transitions, 530 secs || 43029544 markings, 85533135 edges, 80525 markings/sec, 530 secs
lola: STP completed || 209 tries, 208081175 fired transitions, 535 secs || 43445972 markings, 86401314 edges, 83286 markings/sec, 535 secs
lola: STP completed || 211 tries, 210083807 fired transitions, 540 secs || 43840905 markings, 87237111 edges, 78987 markings/sec, 540 secs
lola: STP completed || 213 tries, 212082136 fired transitions, 545 secs || 44235315 markings, 88067339 edges, 78882 markings/sec, 545 secs
lola: STP completed || 215 tries, 214068285 fired transitions, 550 secs || 44634457 markings, 88914950 edges, 79828 markings/sec, 550 secs
lola: STP completed || 217 tries, 216133375 fired transitions, 555 secs || 45044700 markings, 89779261 edges, 82049 markings/sec, 555 secs
lola: STP completed || 219 tries, 218086284 fired transitions, 560 secs || 45447289 markings, 90626576 edges, 80518 markings/sec, 560 secs
lola: STP completed || 220 tries, 219989066 fired transitions, 565 secs || 45833696 markings, 91450762 edges, 77281 markings/sec, 565 secs
lola: STP completed || 222 tries, 221839918 fired transitions, 570 secs || 46210750 markings, 92263549 edges, 75411 markings/sec, 570 secs
lola: STP completed || 224 tries, 223774985 fired transitions, 575 secs || 46582839 markings, 93076370 edges, 74418 markings/sec, 575 secs
lola: STP completed || 226 tries, 225652458 fired transitions, 580 secs || 46949589 markings, 93876661 edges, 73350 markings/sec, 580 secs
lola: STP completed || 228 tries, 227669281 fired transitions, 585 secs || 47345458 markings, 94747150 edges, 79174 markings/sec, 585 secs
lola: STP completed || 231 tries, 230601243 fired transitions, 590 secs || 47887692 markings, 95949659 edges, 108447 markings/sec, 590 secs
lola: STP completed || 233 tries, 232693278 fired transitions, 595 secs || 48306514 markings, 96838064 edges, 83764 markings/sec, 595 secs
lola: STP completed || 235 tries, 234571029 fired transitions, 600 secs || 48700067 markings, 97684929 edges, 78711 markings/sec, 600 secs
lola: STP completed || 237 tries, 236515170 fired transitions, 605 secs || 49031915 markings, 98397219 edges, 66370 markings/sec, 605 secs
lola: STP completed || 239 tries, 238333046 fired transitions, 610 secs || 49400736 markings, 99214243 edges, 73764 markings/sec, 610 secs
lola: STP completed || 241 tries, 240181357 fired transitions, 615 secs || 49745759 markings, 99963773 edges, 69005 markings/sec, 615 secs
lola: STP completed || 243 tries, 242014622 fired transitions, 620 secs || 50121669 markings, 100857021 edges, 75182 markings/sec, 620 secs
lola: STP completed || 244 tries, 243924765 fired transitions, 625 secs || 50518315 markings, 101713611 edges, 79329 markings/sec, 625 secs
lola: STP completed || 246 tries, 245899686 fired transitions, 630 secs || 50897921 markings, 102520900 edges, 75921 markings/sec, 630 secs
lola: STP completed || 248 tries, 247824094 fired transitions, 635 secs || 51267421 markings, 103298811 edges, 73900 markings/sec, 635 secs
lola: STP completed || 250 tries, 249659652 fired transitions, 640 secs || 51636110 markings, 104138399 edges, 73738 markings/sec, 640 secs
lola: STP completed || 252 tries, 251979427 fired transitions, 645 secs || 52056167 markings, 105067302 edges, 84011 markings/sec, 645 secs
lola: STP completed || 255 tries, 254677748 fired transitions, 650 secs || 52536376 markings, 106151679 edges, 96042 markings/sec, 650 secs
lola: STP completed || 258 tries, 257572726 fired transitions, 655 secs || 53082012 markings, 107385458 edges, 109127 markings/sec, 655 secs
lola: STP completed || 261 tries, 260491590 fired transitions, 660 secs || 53613329 markings, 108575181 edges, 106263 markings/sec, 660 secs
lola: STP completed || 264 tries, 263339327 fired transitions, 665 secs || 54128382 markings, 109750415 edges, 103011 markings/sec, 665 secs
lola: STP completed || 266 tries, 265290142 fired transitions, 670 secs || 54472085 markings, 110510313 edges, 68741 markings/sec, 670 secs
lola: STP completed || 268 tries, 267960808 fired transitions, 675 secs || 54958921 markings, 111571661 edges, 97367 markings/sec, 675 secs
lola: STP completed || 270 tries, 269778725 fired transitions, 680 secs || 55310032 markings, 112308633 edges, 70222 markings/sec, 680 secs
lola: STP completed || 272 tries, 271732002 fired transitions, 685 secs || 55660775 markings, 113065108 edges, 70149 markings/sec, 685 secs
lola: STP completed || 274 tries, 273674018 fired transitions, 690 secs || 56001843 markings, 113829308 edges, 68214 markings/sec, 690 secs
lola: STP completed || 276 tries, 275640740 fired transitions, 695 secs || 56351081 markings, 114574253 edges, 69848 markings/sec, 695 secs
lola: STP completed || 278 tries, 277606486 fired transitions, 700 secs || 56700197 markings, 115302268 edges, 69823 markings/sec, 700 secs
lola: STP completed || 280 tries, 279538995 fired transitions, 705 secs || 57047916 markings, 116044185 edges, 69544 markings/sec, 705 secs
lola: STP completed || 282 tries, 281491015 fired transitions, 710 secs || 57391644 markings, 116804555 edges, 68746 markings/sec, 710 secs
lola: STP completed || 284 tries, 283468504 fired transitions, 715 secs || 57742203 markings, 117535263 edges, 70112 markings/sec, 715 secs
lola: STP completed || 286 tries, 285434745 fired transitions, 720 secs || 58091255 markings, 118263648 edges, 69810 markings/sec, 720 secs
lola: STP completed || 288 tries, 287343639 fired transitions, 725 secs || 58413060 markings, 119016510 edges, 64361 markings/sec, 725 secs
lola: STP completed || 290 tries, 289188276 fired transitions, 730 secs || 58782737 markings, 119820351 edges, 73935 markings/sec, 730 secs
lola: STP completed || 291 tries, 290968164 fired transitions, 735 secs || 59166856 markings, 120661370 edges, 76824 markings/sec, 735 secs
lola: STP completed || 293 tries, 292800138 fired transitions, 740 secs || 59557539 markings, 121519145 edges, 78137 markings/sec, 740 secs
lola: STP completed || 295 tries, 294605288 fired transitions, 745 secs || 59924782 markings, 122352668 edges, 73449 markings/sec, 745 secs
lola: STP completed || 297 tries, 296385450 fired transitions, 750 secs || 60275326 markings, 123121262 edges, 70109 markings/sec, 750 secs
lola: STP completed || 299 tries, 298106665 fired transitions, 755 secs || 60592278 markings, 123848695 edges, 63390 markings/sec, 755 secs
lola: STP completed || 300 tries, 299922140 fired transitions, 760 secs || 60952864 markings, 124630852 edges, 72117 markings/sec, 760 secs
lola: STP completed || 302 tries, 301672076 fired transitions, 765 secs || 61289327 markings, 125392476 edges, 67293 markings/sec, 765 secs
lola: STP completed || 304 tries, 303464311 fired transitions, 770 secs || 61654610 markings, 126193165 edges, 73057 markings/sec, 770 secs
lola: STP completed || 306 tries, 305287682 fired transitions, 775 secs || 62047296 markings, 127057078 edges, 78537 markings/sec, 775 secs
lola: STP completed || 308 tries, 307091041 fired transitions, 780 secs || 62420470 markings, 127888325 edges, 74635 markings/sec, 780 secs
lola: STP completed || 309 tries, 308872737 fired transitions, 785 secs || 62785270 markings, 128688780 edges, 72960 markings/sec, 785 secs
lola: STP completed || 311 tries, 310664666 fired transitions, 790 secs || 63168630 markings, 129588346 edges, 76672 markings/sec, 790 secs
lola: STP completed || 313 tries, 312431901 fired transitions, 795 secs || 63547823 markings, 130511367 edges, 75839 markings/sec, 795 secs
lola: STP completed || 315 tries, 314226840 fired transitions, 800 secs || 63927716 markings, 131329830 edges, 75979 markings/sec, 800 secs
lola: STP completed || 317 tries, 316008667 fired transitions, 805 secs || 64296718 markings, 132141266 edges, 73800 markings/sec, 805 secs
lola: STP completed || 318 tries, 317767801 fired transitions, 810 secs || 64621605 markings, 132881345 edges, 64977 markings/sec, 810 secs
lola: STP completed || 320 tries, 319539849 fired transitions, 815 secs || 64948651 markings, 133585716 edges, 65409 markings/sec, 815 secs
lola: STP completed || 322 tries, 321313212 fired transitions, 820 secs || 65281361 markings, 134301695 edges, 66542 markings/sec, 820 secs
lola: STP completed || 324 tries, 323206967 fired transitions, 825 secs || 65630515 markings, 135086772 edges, 69831 markings/sec, 825 secs
lola: STP completed || 325 tries, 324967115 fired transitions, 830 secs || 65956970 markings, 135799336 edges, 65291 markings/sec, 830 secs
lola: STP completed || 327 tries, 326753781 fired transitions, 835 secs || 66295355 markings, 136509109 edges, 67677 markings/sec, 835 secs
lola: STP completed || 329 tries, 328531228 fired transitions, 840 secs || 66622639 markings, 137227094 edges, 65457 markings/sec, 840 secs
lola: STP completed || 331 tries, 330294206 fired transitions, 845 secs || 66950588 markings, 137948112 edges, 65590 markings/sec, 845 secs
lola: STP completed || 333 tries, 332062022 fired transitions, 850 secs || 67282347 markings, 138664892 edges, 66352 markings/sec, 850 secs
lola: STP completed || 334 tries, 333839161 fired transitions, 855 secs || 67616736 markings, 139395862 edges, 66878 markings/sec, 855 secs
lola: STP completed || 336 tries, 335593005 fired transitions, 860 secs || 67957785 markings, 140217776 edges, 68210 markings/sec, 860 secs
lola: STP completed || 338 tries, 337391535 fired transitions, 865 secs || 68306915 markings, 140967729 edges, 69826 markings/sec, 865 secs
lola: STP completed || 340 tries, 339190716 fired transitions, 870 secs || 68654478 markings, 141733681 edges, 69513 markings/sec, 870 secs
lola: STP completed || 341 tries, 340995898 fired transitions, 875 secs || 69004590 markings, 142483593 edges, 70022 markings/sec, 875 secs
lola: STP completed || 343 tries, 342757788 fired transitions, 880 secs || 69324436 markings, 143260364 edges, 63969 markings/sec, 880 secs
lola: STP completed || 345 tries, 344558352 fired transitions, 885 secs || 69674616 markings, 144014814 edges, 70036 markings/sec, 885 secs
lola: STP completed || 347 tries, 346295245 fired transitions, 890 secs || 70016417 markings, 144779014 edges, 68360 markings/sec, 890 secs
lola: STP completed || 349 tries, 348080676 fired transitions, 895 secs || 70354240 markings, 145512997 edges, 67565 markings/sec, 895 secs
lola: STP completed || 350 tries, 349858695 fired transitions, 900 secs || 70705101 markings, 146269384 edges, 70172 markings/sec, 900 secs
lola: STP completed || 352 tries, 351768829 fired transitions, 905 secs || 71060487 markings, 147024881 edges, 71077 markings/sec, 905 secs
lola: STP completed || 354 tries, 353544474 fired transitions, 910 secs || 71412564 markings, 147809601 edges, 70415 markings/sec, 910 secs
lola: STP completed || 356 tries, 355309421 fired transitions, 915 secs || 71787392 markings, 148655493 edges, 74966 markings/sec, 915 secs
lola: STP completed || 358 tries, 357085995 fired transitions, 920 secs || 72166299 markings, 149514822 edges, 75781 markings/sec, 920 secs
lola: STP completed || 359 tries, 358857014 fired transitions, 925 secs || 72534454 markings, 150379357 edges, 73631 markings/sec, 925 secs
lola: STP completed || 361 tries, 360668362 fired transitions, 930 secs || 72861495 markings, 151176974 edges, 65408 markings/sec, 930 secs
lola: STP completed || 363 tries, 362451365 fired transitions, 935 secs || 73233146 markings, 152064950 edges, 74330 markings/sec, 935 secs
lola: STP completed || 365 tries, 364243486 fired transitions, 940 secs || 73602324 markings, 152917880 edges, 73836 markings/sec, 940 secs
lola: STP completed || 367 tries, 366015597 fired transitions, 945 secs || 73973731 markings, 153749712 edges, 74281 markings/sec, 945 secs
lola: STP completed || 368 tries, 367809820 fired transitions, 950 secs || 74333646 markings, 154591588 edges, 71983 markings/sec, 950 secs
lola: STP completed || 370 tries, 369650841 fired transitions, 955 secs || 74708826 markings, 155403499 edges, 75036 markings/sec, 955 secs
lola: STP completed || 372 tries, 371446313 fired transitions, 960 secs || 75085389 markings, 156245713 edges, 75313 markings/sec, 960 secs
lola: STP completed || 374 tries, 373235310 fired transitions, 965 secs || 75447533 markings, 157034105 edges, 72429 markings/sec, 965 secs
lola: STP completed || 375 tries, 374986539 fired transitions, 970 secs || 75810252 markings, 157904075 edges, 72544 markings/sec, 970 secs
lola: STP completed || 377 tries, 376758262 fired transitions, 975 secs || 76184874 markings, 158743967 edges, 74924 markings/sec, 975 secs
lola: STP completed || 379 tries, 378432314 fired transitions, 980 secs || 76535211 markings, 159602192 edges, 70067 markings/sec, 980 secs
lola: STP completed || 381 tries, 380207228 fired transitions, 985 secs || 76899581 markings, 160416442 edges, 72874 markings/sec, 985 secs
lola: STP completed || 383 tries, 382007943 fired transitions, 990 secs || 77257808 markings, 161212056 edges, 71645 markings/sec, 990 secs
lola: STP completed || 384 tries, 383788648 fired transitions, 995 secs || 77624683 markings, 162049082 edges, 73375 markings/sec, 995 secs
lola: STP completed || 386 tries, 385537209 fired transitions, 1000 secs || 77969892 markings, 162825066 edges, 69042 markings/sec, 1000 secs
lola: STP completed || 388 tries, 387293278 fired transitions, 1005 secs || 78309232 markings, 163598009 edges, 67868 markings/sec, 1005 secs
lola: STP completed || 390 tries, 389058379 fired transitions, 1010 secs || 78643157 markings, 164364744 edges, 66785 markings/sec, 1010 secs
lola: STP completed || 391 tries, 390836913 fired transitions, 1015 secs || 78993178 markings, 165117941 edges, 70004 markings/sec, 1015 secs
lola: STP completed || 393 tries, 392585739 fired transitions, 1020 secs || 79332294 markings, 165865884 edges, 67823 markings/sec, 1020 secs
lola: STP completed || 395 tries, 394376390 fired transitions, 1025 secs || 79673787 markings, 166605433 edges, 68299 markings/sec, 1025 secs
lola: STP completed || 397 tries, 396139552 fired transitions, 1030 secs || 80042608 markings, 167471485 edges, 73764 markings/sec, 1030 secs
lola: STP completed || 398 tries, 397944292 fired transitions, 1035 secs || 80410214 markings, 168272143 edges, 73521 markings/sec, 1035 secs
lola: STP completed || 400 tries, 399743441 fired transitions, 1040 secs || 80777491 markings, 169091071 edges, 73455 markings/sec, 1040 secs
lola: STP completed || 402 tries, 401549241 fired transitions, 1045 secs || 81154035 markings, 169927567 edges, 75309 markings/sec, 1045 secs
lola: STP completed || 404 tries, 403349810 fired transitions, 1050 secs || 81532032 markings, 170749240 edges, 75599 markings/sec, 1050 secs
lola: STP completed || 406 tries, 405135616 fired transitions, 1055 secs || 81873675 markings, 171515644 edges, 68329 markings/sec, 1055 secs
lola: STP completed || 407 tries, 406928461 fired transitions, 1060 secs || 82225772 markings, 172283813 edges, 70419 markings/sec, 1060 secs
lola: STP completed || 409 tries, 408702669 fired transitions, 1065 secs || 82554021 markings, 173037845 edges, 65650 markings/sec, 1065 secs
lola: STP completed || 411 tries, 410470425 fired transitions, 1070 secs || 82881772 markings, 173786331 edges, 65550 markings/sec, 1070 secs
lola: STP completed || 413 tries, 412229180 fired transitions, 1075 secs || 83212728 markings, 174524623 edges, 66191 markings/sec, 1075 secs
lola: STP completed || 415 tries, 414051515 fired transitions, 1080 secs || 83596790 markings, 175335394 edges, 76812 markings/sec, 1080 secs
lola: STP completed || 416 tries, 415822237 fired transitions, 1085 secs || 83929840 markings, 176089060 edges, 66610 markings/sec, 1085 secs
lola: STP completed || 418 tries, 417649034 fired transitions, 1090 secs || 84279357 markings, 176873458 edges, 69903 markings/sec, 1090 secs
lola: STP completed || 420 tries, 419389857 fired transitions, 1095 secs || 84608090 markings, 177654331 edges, 65747 markings/sec, 1095 secs
lola: STP completed || 422 tries, 421176772 fired transitions, 1100 secs || 84951357 markings, 178427861 edges, 68653 markings/sec, 1100 secs
lola: STP completed || 423 tries, 422967280 fired transitions, 1105 secs || 85326030 markings, 179274476 edges, 74935 markings/sec, 1105 secs
lola: STP completed || 425 tries, 424758546 fired transitions, 1110 secs || 85691119 markings, 180108083 edges, 73018 markings/sec, 1110 secs
lola: STP completed || 427 tries, 426569194 fired transitions, 1115 secs || 86066544 markings, 180959361 edges, 75085 markings/sec, 1115 secs
lola: STP completed || 429 tries, 428401726 fired transitions, 1120 secs || 86426925 markings, 181814408 edges, 72076 markings/sec, 1120 secs
lola: STP completed || 431 tries, 430248282 fired transitions, 1125 secs || 86758863 markings, 182584659 edges, 66388 markings/sec, 1125 secs
lola: STP completed || 433 tries, 432090602 fired transitions, 1130 secs || 87099534 markings, 183336217 edges, 68134 markings/sec, 1130 secs
lola: STP completed || 434 tries, 433927863 fired transitions, 1135 secs || 87456294 markings, 184104698 edges, 71352 markings/sec, 1135 secs
lola: STP completed || 436 tries, 435698443 fired transitions, 1140 secs || 87821808 markings, 184983401 edges, 73103 markings/sec, 1140 secs
lola: STP completed || 438 tries, 437457244 fired transitions, 1145 secs || 88187722 markings, 185835436 edges, 73183 markings/sec, 1145 secs
lola: STP completed || 440 tries, 439240160 fired transitions, 1150 secs || 88565628 markings, 186688303 edges, 75581 markings/sec, 1150 secs
lola: STP completed || 442 tries, 441017456 fired transitions, 1155 secs || 88934076 markings, 187512995 edges, 73690 markings/sec, 1155 secs
lola: STP completed || 443 tries, 442780879 fired transitions, 1160 secs || 89310066 markings, 188486279 edges, 75198 markings/sec, 1160 secs
lola: STP completed || 445 tries, 444547550 fired transitions, 1165 secs || 89681098 markings, 189348383 edges, 74206 markings/sec, 1165 secs
lola: STP completed || 447 tries, 446619918 fired transitions, 1170 secs || 90029767 markings, 190117637 edges, 69734 markings/sec, 1170 secs
lola: STP completed || 449 tries, 448595576 fired transitions, 1175 secs || 90356968 markings, 190849498 edges, 65440 markings/sec, 1175 secs
lola: STP completed || 451 tries, 450601864 fired transitions, 1180 secs || 90690148 markings, 191581101 edges, 66636 markings/sec, 1180 secs
lola: STP completed || 453 tries, 452560632 fired transitions, 1185 secs || 91025539 markings, 192324096 edges, 67078 markings/sec, 1185 secs
lola: STP completed || 455 tries, 454480634 fired transitions, 1190 secs || 91347075 markings, 193053283 edges, 64307 markings/sec, 1190 secs
lola: STP completed || 457 tries, 456463609 fired transitions, 1195 secs || 91682156 markings, 193780072 edges, 67016 markings/sec, 1195 secs
lola: STP completed || 459 tries, 458478780 fired transitions, 1200 secs || 92030615 markings, 194516908 edges, 69692 markings/sec, 1200 secs
lola: STP completed || 461 tries, 460446030 fired transitions, 1205 secs || 92348026 markings, 195209020 edges, 63482 markings/sec, 1205 secs
lola: STP completed || 463 tries, 462374876 fired transitions, 1210 secs || 92636493 markings, 195860536 edges, 57693 markings/sec, 1210 secs
lola: STP completed || 465 tries, 464289956 fired transitions, 1215 secs || 92930035 markings, 196532161 edges, 58708 markings/sec, 1215 secs
lola: STP completed || 467 tries, 466239074 fired transitions, 1220 secs || 93251024 markings, 197251483 edges, 64198 markings/sec, 1220 secs
lola: STP completed || 469 tries, 468178714 fired transitions, 1225 secs || 93621862 markings, 198122764 edges, 74168 markings/sec, 1225 secs
lola: STP completed || 471 tries, 470139082 fired transitions, 1230 secs || 93988732 markings, 198975539 edges, 73374 markings/sec, 1230 secs
lola: STP completed || 473 tries, 472130054 fired transitions, 1235 secs || 94357250 markings, 199792845 edges, 73704 markings/sec, 1235 secs
lola: STP completed || 475 tries, 474105013 fired transitions, 1240 secs || 94732739 markings, 200642229 edges, 75098 markings/sec, 1240 secs
lola: STP completed || 477 tries, 476119403 fired transitions, 1245 secs || 95133405 markings, 201515830 edges, 80133 markings/sec, 1245 secs
lola: STP completed || 479 tries, 478133708 fired transitions, 1250 secs || 95514302 markings, 202375085 edges, 76179 markings/sec, 1250 secs
lola: STP completed || 481 tries, 480123440 fired transitions, 1255 secs || 95896211 markings, 203234328 edges, 76382 markings/sec, 1255 secs
lola: STP completed || 483 tries, 482153891 fired transitions, 1260 secs || 96227294 markings, 204013278 edges, 66217 markings/sec, 1260 secs
lola: STP completed || 485 tries, 484126395 fired transitions, 1265 secs || 96555575 markings, 204777417 edges, 65656 markings/sec, 1265 secs
lola: STP completed || 487 tries, 486091491 fired transitions, 1270 secs || 96885248 markings, 205517518 edges, 65935 markings/sec, 1270 secs
lola: STP completed || 489 tries, 488041426 fired transitions, 1275 secs || 97212635 markings, 206274142 edges, 65477 markings/sec, 1275 secs
lola: STP completed || 490 tries, 489929012 fired transitions, 1280 secs || 97542889 markings, 207016943 edges, 66051 markings/sec, 1280 secs
lola: STP completed || 492 tries, 491879933 fired transitions, 1285 secs || 97853406 markings, 207697662 edges, 62103 markings/sec, 1285 secs
lola: STP completed || 494 tries, 493820672 fired transitions, 1290 secs || 98161803 markings, 208392961 edges, 61679 markings/sec, 1290 secs
lola: STP completed || 496 tries, 495791020 fired transitions, 1295 secs || 98500081 markings, 209133362 edges, 67656 markings/sec, 1295 secs
lola: STP completed || 498 tries, 497774953 fired transitions, 1300 secs || 98827873 markings, 209867143 edges, 65558 markings/sec, 1300 secs
lola: STP completed || 500 tries, 499732401 fired transitions, 1305 secs || 99138808 markings, 210631805 edges, 62187 markings/sec, 1305 secs
lola: STP completed || 502 tries, 501694808 fired transitions, 1310 secs || 99467766 markings, 211382082 edges, 65792 markings/sec, 1310 secs
lola: STP completed || 504 tries, 503640344 fired transitions, 1315 secs || 99793542 markings, 212133551 edges, 65155 markings/sec, 1315 secs
lola: STP completed || 506 tries, 505643676 fired transitions, 1320 secs || 100121124 markings, 212862240 edges, 65516 markings/sec, 1320 secs
lola: STP completed || 508 tries, 507602038 fired transitions, 1325 secs || 100423932 markings, 213643944 edges, 60562 markings/sec, 1325 secs
lola: STP completed || 510 tries, 509571754 fired transitions, 1330 secs || 100741066 markings, 214468677 edges, 63427 markings/sec, 1330 secs
lola: STP completed || 512 tries, 511470704 fired transitions, 1335 secs || 101056120 markings, 215239616 edges, 63011 markings/sec, 1335 secs
lola: STP completed || 514 tries, 513338607 fired transitions, 1340 secs || 101382918 markings, 215994456 edges, 65360 markings/sec, 1340 secs
lola: STP completed || 516 tries, 515133573 fired transitions, 1345 secs || 101721650 markings, 216728614 edges, 67746 markings/sec, 1345 secs
lola: STP completed || 517 tries, 516922302 fired transitions, 1350 secs || 102031979 markings, 217477250 edges, 62066 markings/sec, 1350 secs
lola: STP completed || 519 tries, 518698344 fired transitions, 1355 secs || 102349233 markings, 218201947 edges, 63451 markings/sec, 1355 secs
lola: STP completed || 521 tries, 520480367 fired transitions, 1360 secs || 102680389 markings, 218931991 edges, 66231 markings/sec, 1360 secs
lola: STP completed || 523 tries, 522230891 fired transitions, 1365 secs || 103011829 markings, 219685133 edges, 66288 markings/sec, 1365 secs
lola: STP completed || 524 tries, 523993044 fired transitions, 1370 secs || 103340293 markings, 220422513 edges, 65693 markings/sec, 1370 secs
lola: STP completed || 526 tries, 525789898 fired transitions, 1375 secs || 103666122 markings, 221142880 edges, 65166 markings/sec, 1375 secs
lola: STP completed || 528 tries, 527593725 fired transitions, 1380 secs || 103991036 markings, 221881110 edges, 64983 markings/sec, 1380 secs
lola: STP completed || 530 tries, 529350528 fired transitions, 1385 secs || 104321664 markings, 222637475 edges, 66126 markings/sec, 1385 secs
lola: STP completed || 531 tries, 530936306 fired transitions, 1390 secs || 104640993 markings, 223372281 edges, 63866 markings/sec, 1390 secs
lola: STP completed || 533 tries, 532519268 fired transitions, 1395 secs || 104944807 markings, 224108873 edges, 60763 markings/sec, 1395 secs
lola: STP completed || 535 tries, 534108086 fired transitions, 1400 secs || 105243942 markings, 224829539 edges, 59827 markings/sec, 1400 secs
lola: STP completed || 536 tries, 535869032 fired transitions, 1405 secs || 105571206 markings, 225545716 edges, 65453 markings/sec, 1405 secs
lola: STP completed || 538 tries, 537618431 fired transitions, 1410 secs || 105902975 markings, 226296776 edges, 66354 markings/sec, 1410 secs
lola: STP completed || 540 tries, 539370665 fired transitions, 1415 secs || 106226604 markings, 227013771 edges, 64726 markings/sec, 1415 secs
lola: STP completed || 542 tries, 541119159 fired transitions, 1420 secs || 106531098 markings, 227759530 edges, 60899 markings/sec, 1420 secs
lola: STP completed || 543 tries, 542884742 fired transitions, 1425 secs || 106852059 markings, 228496975 edges, 64192 markings/sec, 1425 secs
lola: STP completed || 545 tries, 544643395 fired transitions, 1430 secs || 107177831 markings, 229217003 edges, 65154 markings/sec, 1430 secs
lola: STP completed || 547 tries, 546404607 fired transitions, 1435 secs || 107486890 markings, 229962146 edges, 61812 markings/sec, 1435 secs
lola: STP completed || 549 tries, 548141451 fired transitions, 1440 secs || 107792605 markings, 230680674 edges, 61143 markings/sec, 1440 secs
lola: STP completed || 550 tries, 549870203 fired transitions, 1445 secs || 108106975 markings, 231396111 edges, 62874 markings/sec, 1445 secs
lola: STP completed || 552 tries, 551624180 fired transitions, 1450 secs || 108409834 markings, 232091292 edges, 60572 markings/sec, 1450 secs
lola: STP completed || 554 tries, 553369671 fired transitions, 1455 secs || 108723291 markings, 232795930 edges, 62691 markings/sec, 1455 secs
lola: STP completed || 556 tries, 555142424 fired transitions, 1460 secs || 109053907 markings, 233563351 edges, 66123 markings/sec, 1460 secs
lola: STP completed || 557 tries, 556850328 fired transitions, 1465 secs || 109370047 markings, 234285925 edges, 63228 markings/sec, 1465 secs
lola: STP completed || 559 tries, 558618601 fired transitions, 1470 secs || 109700125 markings, 234981716 edges, 66016 markings/sec, 1470 secs
lola: STP completed || 561 tries, 560355446 fired transitions, 1475 secs || 110015479 markings, 235708018 edges, 63071 markings/sec, 1475 secs
lola: STP completed || 563 tries, 562131127 fired transitions, 1480 secs || 110333997 markings, 236412933 edges, 63704 markings/sec, 1480 secs
lola: STP completed || 564 tries, 563906415 fired transitions, 1485 secs || 110656599 markings, 237096712 edges, 64520 markings/sec, 1485 secs
lola: STP completed || 566 tries, 565657348 fired transitions, 1490 secs || 110979794 markings, 237827721 edges, 64639 markings/sec, 1490 secs
lola: STP completed || 568 tries, 567370499 fired transitions, 1495 secs || 111296593 markings, 238569106 edges, 63360 markings/sec, 1495 secs
lola: STP completed || 570 tries, 569112537 fired transitions, 1500 secs || 111629200 markings, 239336599 edges, 66521 markings/sec, 1500 secs
lola: STP completed || 572 tries, 571478572 fired transitions, 1505 secs || 112043356 markings, 240324563 edges, 82831 markings/sec, 1505 secs
lola: STP completed || 575 tries, 574407126 fired transitions, 1510 secs || 112575029 markings, 241549868 edges, 106335 markings/sec, 1510 secs
lola: STP completed || 578 tries, 577178776 fired transitions, 1515 secs || 113046039 markings, 242676135 edges, 94202 markings/sec, 1515 secs
lola: STP completed || 581 tries, 580100655 fired transitions, 1520 secs || 113548241 markings, 243966155 edges, 100440 markings/sec, 1520 secs
lola: STP completed || 584 tries, 583012318 fired transitions, 1525 secs || 114061705 markings, 245278454 edges, 102693 markings/sec, 1525 secs
lola: STP completed || 586 tries, 585927641 fired transitions, 1530 secs || 114573909 markings, 246490328 edges, 102441 markings/sec, 1530 secs
lola: STP completed || 589 tries, 588854775 fired transitions, 1535 secs || 115100733 markings, 247741592 edges, 105365 markings/sec, 1535 secs
lola: STP completed || 591 tries, 590960978 fired transitions, 1540 secs || 115463894 markings, 248651110 edges, 72632 markings/sec, 1540 secs
lola: STP completed || 593 tries, 592769570 fired transitions, 1545 secs || 115763724 markings, 249339063 edges, 59966 markings/sec, 1545 secs
lola: STP completed || 595 tries, 594529789 fired transitions, 1550 secs || 116056063 markings, 250030910 edges, 58468 markings/sec, 1550 secs
lola: STP completed || 597 tries, 596352106 fired transitions, 1555 secs || 116377163 markings, 250722949 edges, 64220 markings/sec, 1555 secs
lola: STP completed || 599 tries, 598146575 fired transitions, 1560 secs || 116702834 markings, 251434429 edges, 65134 markings/sec, 1560 secs
lola: STP completed || 600 tries, 599955943 fired transitions, 1565 secs || 117038612 markings, 252207418 edges, 67156 markings/sec, 1565 secs
lola: STP completed || 602 tries, 601751026 fired transitions, 1570 secs || 117391146 markings, 253009954 edges, 70507 markings/sec, 1570 secs
lola: STP completed || 604 tries, 603584713 fired transitions, 1575 secs || 117741987 markings, 253803214 edges, 70168 markings/sec, 1575 secs
lola: STP completed || 606 tries, 605390806 fired transitions, 1580 secs || 118080280 markings, 254575774 edges, 67659 markings/sec, 1580 secs
lola: STP completed || 608 tries, 607263431 fired transitions, 1585 secs || 118443923 markings, 255393661 edges, 72729 markings/sec, 1585 secs
lola: STP completed || 610 tries, 609187300 fired transitions, 1590 secs || 118830210 markings, 256333817 edges, 77257 markings/sec, 1590 secs
lola: STP completed || 612 tries, 611130456 fired transitions, 1595 secs || 119220716 markings, 257210752 edges, 78101 markings/sec, 1595 secs
lola: STP completed || 614 tries, 613042116 fired transitions, 1600 secs || 119596054 markings, 258095002 edges, 75068 markings/sec, 1600 secs
lola: STP completed || 615 tries, 614967972 fired transitions, 1605 secs || 119981473 markings, 258962672 edges, 77084 markings/sec, 1605 secs
lola: STP completed || 617 tries, 616865149 fired transitions, 1610 secs || 120359602 markings, 259842048 edges, 75626 markings/sec, 1610 secs
lola: STP completed || 619 tries, 618841701 fired transitions, 1615 secs || 120750382 markings, 260722188 edges, 78156 markings/sec, 1615 secs
lola: STP completed || 621 tries, 620743103 fired transitions, 1620 secs || 121119395 markings, 261615821 edges, 73803 markings/sec, 1620 secs
lola: STP completed || 623 tries, 622683298 fired transitions, 1625 secs || 121505570 markings, 262497830 edges, 77235 markings/sec, 1625 secs
lola: STP completed || 625 tries, 624537253 fired transitions, 1630 secs || 121892339 markings, 263406088 edges, 77354 markings/sec, 1630 secs
lola: STP completed || 627 tries, 626460251 fired transitions, 1635 secs || 122277801 markings, 264268940 edges, 77092 markings/sec, 1635 secs
lola: STP completed || 629 tries, 628249010 fired transitions, 1640 secs || 122653326 markings, 265223223 edges, 75105 markings/sec, 1640 secs
lola: STP completed || 631 tries, 630786200 fired transitions, 1645 secs || 123104287 markings, 266287113 edges, 90192 markings/sec, 1645 secs
lola: STP completed || 634 tries, 633120820 fired transitions, 1650 secs || 123532172 markings, 267286584 edges, 85577 markings/sec, 1650 secs
lola: STP completed || 636 tries, 635374342 fired transitions, 1655 secs || 123948050 markings, 268251928 edges, 83176 markings/sec, 1655 secs
lola: STP completed || 638 tries, 637512816 fired transitions, 1660 secs || 124325398 markings, 269109776 edges, 75470 markings/sec, 1660 secs
lola: STP completed || 640 tries, 639342127 fired transitions, 1665 secs || 124656909 markings, 269852892 edges, 66302 markings/sec, 1665 secs
lola: STP completed || 642 tries, 641170613 fired transitions, 1670 secs || 125000692 markings, 270652263 edges, 68757 markings/sec, 1670 secs
lola: STP completed || 644 tries, 643650720 fired transitions, 1675 secs || 125442098 markings, 271706215 edges, 88281 markings/sec, 1675 secs
lola: STP completed || 647 tries, 646554869 fired transitions, 1680 secs || 125977913 markings, 272963341 edges, 107163 markings/sec, 1680 secs
lola: STP completed || 650 tries, 649484800 fired transitions, 1685 secs || 126509914 markings, 274185198 edges, 106400 markings/sec, 1685 secs
lola: STP completed || 653 tries, 652029906 fired transitions, 1690 secs || 126970971 markings, 275273236 edges, 92211 markings/sec, 1690 secs
lola: STP completed || 654 tries, 653787972 fired transitions, 1695 secs || 127252533 markings, 275993037 edges, 56312 markings/sec, 1695 secs
lola: STP completed || 656 tries, 655545430 fired transitions, 1700 secs || 127514409 markings, 276707192 edges, 52375 markings/sec, 1700 secs
lola: STP completed || 658 tries, 657240406 fired transitions, 1705 secs || 127742021 markings, 277409048 edges, 45522 markings/sec, 1705 secs
lola: STP completed || 660 tries, 659065564 fired transitions, 1710 secs || 128061520 markings, 278136502 edges, 63900 markings/sec, 1710 secs
lola: STP completed || 662 tries, 661040034 fired transitions, 1715 secs || 128400323 markings, 278893160 edges, 67761 markings/sec, 1715 secs
lola: STP completed || 663 tries, 662813393 fired transitions, 1720 secs || 128676017 markings, 279639531 edges, 55139 markings/sec, 1720 secs
lola: STP completed || 665 tries, 664615616 fired transitions, 1725 secs || 128995211 markings, 280446576 edges, 63839 markings/sec, 1725 secs
lola: STP completed || 667 tries, 666416140 fired transitions, 1730 secs || 129306979 markings, 281169354 edges, 62354 markings/sec, 1730 secs
lola: STP completed || 669 tries, 668232091 fired transitions, 1735 secs || 129617856 markings, 281879683 edges, 62175 markings/sec, 1735 secs
lola: STP completed || 671 tries, 670183514 fired transitions, 1740 secs || 129953230 markings, 282628353 edges, 67075 markings/sec, 1740 secs
lola: STP completed || 673 tries, 672094031 fired transitions, 1745 secs || 130271773 markings, 283339967 edges, 63709 markings/sec, 1745 secs
lola: STP completed || 675 tries, 674000310 fired transitions, 1750 secs || 130598753 markings, 284078852 edges, 65396 markings/sec, 1750 secs
lola: STP completed || 676 tries, 675850410 fired transitions, 1755 secs || 130935045 markings, 284844487 edges, 67258 markings/sec, 1755 secs
lola: STP completed || 678 tries, 677649442 fired transitions, 1760 secs || 131255980 markings, 285556919 edges, 64187 markings/sec, 1760 secs
lola: STP completed || 680 tries, 679372142 fired transitions, 1765 secs || 131600371 markings, 286294903 edges, 68878 markings/sec, 1765 secs
lola: STP completed || 682 tries, 681127408 fired transitions, 1770 secs || 131910138 markings, 287021678 edges, 61953 markings/sec, 1770 secs
lola: STP completed || 683 tries, 682921258 fired transitions, 1775 secs || 132215512 markings, 287747875 edges, 61075 markings/sec, 1775 secs
lola: STP completed || 685 tries, 684744883 fired transitions, 1780 secs || 132550462 markings, 288473337 edges, 66990 markings/sec, 1780 secs
lola: STP completed || 687 tries, 686549034 fired transitions, 1785 secs || 132858714 markings, 289211408 edges, 61650 markings/sec, 1785 secs
lola: STP completed || 690 tries, 689067052 fired transitions, 1790 secs || 133292824 markings, 290224943 edges, 86822 markings/sec, 1790 secs
lola: STP completed || 692 tries, 691346087 fired transitions, 1795 secs || 133699347 markings, 291140921 edges, 81305 markings/sec, 1795 secs
lola: STP completed || 694 tries, 693144199 fired transitions, 1800 secs || 134044078 markings, 291972044 edges, 68946 markings/sec, 1800 secs
lola: STP completed || 695 tries, 694969791 fired transitions, 1805 secs || 134402554 markings, 292781042 edges, 71695 markings/sec, 1805 secs
lola: STP completed || 697 tries, 696741234 fired transitions, 1810 secs || 134804286 markings, 293577276 edges, 80346 markings/sec, 1810 secs
lola: STP completed || 699 tries, 698584993 fired transitions, 1815 secs || 135148256 markings, 294366465 edges, 68794 markings/sec, 1815 secs
lola: STP completed || 701 tries, 700414075 fired transitions, 1820 secs || 135487274 markings, 295143266 edges, 67804 markings/sec, 1820 secs
lola: STP completed || 703 tries, 702220724 fired transitions, 1825 secs || 135849016 markings, 295905123 edges, 72348 markings/sec, 1825 secs
lola: STP completed || 705 tries, 704010907 fired transitions, 1830 secs || 136155822 markings, 296652976 edges, 61361 markings/sec, 1830 secs
lola: STP completed || 706 tries, 705797127 fired transitions, 1835 secs || 136464706 markings, 297355286 edges, 61777 markings/sec, 1835 secs
lola: STP completed || 708 tries, 707612285 fired transitions, 1840 secs || 136773150 markings, 298078422 edges, 61689 markings/sec, 1840 secs
lola: STP completed || 710 tries, 709425499 fired transitions, 1845 secs || 137090074 markings, 298788273 edges, 63385 markings/sec, 1845 secs
lola: STP completed || 712 tries, 711260076 fired transitions, 1850 secs || 137421987 markings, 299537041 edges, 66383 markings/sec, 1850 secs
lola: STP completed || 714 tries, 713113235 fired transitions, 1855 secs || 137772047 markings, 300333358 edges, 70012 markings/sec, 1855 secs
lola: STP completed || 716 tries, 715002455 fired transitions, 1860 secs || 138124609 markings, 301108687 edges, 70512 markings/sec, 1860 secs
lola: STP completed || 717 tries, 716805057 fired transitions, 1865 secs || 138455129 markings, 301868310 edges, 66104 markings/sec, 1865 secs
lola: STP completed || 719 tries, 718618447 fired transitions, 1870 secs || 138792743 markings, 302613112 edges, 67523 markings/sec, 1870 secs
lola: STP completed || 721 tries, 720437476 fired transitions, 1875 secs || 139157524 markings, 303444384 edges, 72956 markings/sec, 1875 secs
lola: STP completed || 723 tries, 722253633 fired transitions, 1880 secs || 139502490 markings, 304198324 edges, 68993 markings/sec, 1880 secs
lola: STP completed || 725 tries, 724038321 fired transitions, 1885 secs || 139807389 markings, 304925302 edges, 60980 markings/sec, 1885 secs
lola: STP completed || 726 tries, 725853930 fired transitions, 1890 secs || 140130000 markings, 305666332 edges, 64522 markings/sec, 1890 secs
lola: STP completed || 728 tries, 727665042 fired transitions, 1895 secs || 140504608 markings, 306524629 edges, 74922 markings/sec, 1895 secs
lola: STP completed || 730 tries, 729461250 fired transitions, 1900 secs || 140863322 markings, 307361125 edges, 71743 markings/sec, 1900 secs
lola: STP completed || 732 tries, 731298015 fired transitions, 1905 secs || 141218755 markings, 308162019 edges, 71087 markings/sec, 1905 secs
lola: STP completed || 734 tries, 733032908 fired transitions, 1910 secs || 141599122 markings, 309027434 edges, 76073 markings/sec, 1910 secs
lola: STP completed || 735 tries, 734812909 fired transitions, 1915 secs || 141930015 markings, 309769036 edges, 66179 markings/sec, 1915 secs
lola: STP completed || 737 tries, 736661585 fired transitions, 1920 secs || 142267141 markings, 310497594 edges, 67425 markings/sec, 1920 secs
lola: STP completed || 739 tries, 738410806 fired transitions, 1925 secs || 142579096 markings, 311235577 edges, 62391 markings/sec, 1925 secs
lola: STP completed || 741 tries, 740151487 fired transitions, 1930 secs || 142873602 markings, 311955926 edges, 58901 markings/sec, 1930 secs
lola: STP completed || 742 tries, 741936193 fired transitions, 1935 secs || 143196841 markings, 312681711 edges, 64648 markings/sec, 1935 secs
lola: STP completed || 744 tries, 743703133 fired transitions, 1940 secs || 143506004 markings, 313407610 edges, 61833 markings/sec, 1940 secs
lola: STP completed || 746 tries, 745450000 fired transitions, 1945 secs || 143811471 markings, 314150567 edges, 61093 markings/sec, 1945 secs
lola: STP completed || 748 tries, 747160628 fired transitions, 1950 secs || 144136333 markings, 315019057 edges, 64972 markings/sec, 1950 secs
lola: STP completed || 749 tries, 748950998 fired transitions, 1955 secs || 144526124 markings, 315904823 edges, 77958 markings/sec, 1955 secs
lola: STP completed || 751 tries, 750715671 fired transitions, 1960 secs || 144881943 markings, 316781046 edges, 71164 markings/sec, 1960 secs
lola: STP completed || 753 tries, 752420970 fired transitions, 1965 secs || 145219873 markings, 317636927 edges, 67586 markings/sec, 1965 secs
lola: STP completed || 755 tries, 754148061 fired transitions, 1970 secs || 145557660 markings, 318490352 edges, 67557 markings/sec, 1970 secs
lola: STP completed || 756 tries, 755934071 fired transitions, 1975 secs || 145939282 markings, 319363564 edges, 76324 markings/sec, 1975 secs
lola: STP completed || 758 tries, 757675980 fired transitions, 1980 secs || 146287100 markings, 320235513 edges, 69564 markings/sec, 1980 secs
lola: STP completed || 760 tries, 759555942 fired transitions, 1985 secs || 146655016 markings, 321040799 edges, 73583 markings/sec, 1985 secs
lola: STP completed || 762 tries, 761382053 fired transitions, 1990 secs || 146968779 markings, 321784549 edges, 62753 markings/sec, 1990 secs
lola: STP completed || 764 tries, 763194421 fired transitions, 1995 secs || 147273004 markings, 322503475 edges, 60845 markings/sec, 1995 secs
lola: STP completed || 766 tries, 765050494 fired transitions, 2000 secs || 147600332 markings, 323241630 edges, 65466 markings/sec, 2000 secs
lola: STP completed || 767 tries, 766976271 fired transitions, 2005 secs || 147915185 markings, 324002594 edges, 62971 markings/sec, 2005 secs
lola: STP completed || 769 tries, 768838890 fired transitions, 2010 secs || 148229758 markings, 324737990 edges, 62915 markings/sec, 2010 secs
lola: STP completed || 771 tries, 770658887 fired transitions, 2015 secs || 148544536 markings, 325486102 edges, 62956 markings/sec, 2015 secs
lola: STP completed || 773 tries, 772473810 fired transitions, 2020 secs || 148884716 markings, 326236612 edges, 68036 markings/sec, 2020 secs
lola: STP completed || 775 tries, 774292539 fired transitions, 2025 secs || 149197643 markings, 326986539 edges, 62585 markings/sec, 2025 secs
lola: STP completed || 777 tries, 776084696 fired transitions, 2030 secs || 149518252 markings, 327759627 edges, 64122 markings/sec, 2030 secs
lola: STP completed || 778 tries, 777884207 fired transitions, 2035 secs || 149858823 markings, 328578255 edges, 68114 markings/sec, 2035 secs
lola: STP completed || 781 tries, 780034542 fired transitions, 2040 secs || 150264821 markings, 329531961 edges, 81200 markings/sec, 2040 secs
lola: STP completed || 782 tries, 781938170 fired transitions, 2045 secs || 150681861 markings, 330389417 edges, 83408 markings/sec, 2045 secs
lola: STP completed || 784 tries, 783762871 fired transitions, 2050 secs || 151033337 markings, 331144188 edges, 70295 markings/sec, 2050 secs
lola: STP completed || 786 tries, 785600800 fired transitions, 2055 secs || 151359851 markings, 331871867 edges, 65303 markings/sec, 2055 secs
lola: STP completed || 788 tries, 787604546 fired transitions, 2060 secs || 151699820 markings, 332601946 edges, 67994 markings/sec, 2060 secs
lola: STP completed || 791 tries, 790064517 fired transitions, 2065 secs || 152083979 markings, 333493240 edges, 76832 markings/sec, 2065 secs
lola: STP completed || 793 tries, 792983357 fired transitions, 2070 secs || 152590359 markings, 334636900 edges, 101276 markings/sec, 2070 secs
lola: STP completed || 796 tries, 795901315 fired transitions, 2075 secs || 153107912 markings, 335778832 edges, 103511 markings/sec, 2075 secs
lola: STP completed || 799 tries, 798373304 fired transitions, 2080 secs || 153540333 markings, 336766192 edges, 86484 markings/sec, 2080 secs
lola: STP completed || 801 tries, 800173831 fired transitions, 2085 secs || 153853855 markings, 337488243 edges, 62704 markings/sec, 2085 secs
lola: STP completed || 802 tries, 801984354 fired transitions, 2090 secs || 154197901 markings, 338297935 edges, 68809 markings/sec, 2090 secs
lola: STP completed || 804 tries, 803790897 fired transitions, 2095 secs || 154556295 markings, 339153881 edges, 71679 markings/sec, 2095 secs
lola: STP completed || 806 tries, 805607505 fired transitions, 2100 secs || 154917873 markings, 340000479 edges, 72316 markings/sec, 2100 secs
lola: STP completed || 808 tries, 807570346 fired transitions, 2105 secs || 155297758 markings, 340871302 edges, 75977 markings/sec, 2105 secs
lola: STP completed || 810 tries, 809385881 fired transitions, 2110 secs || 155631450 markings, 341718198 edges, 66738 markings/sec, 2110 secs
lola: STP completed || 812 tries, 811302798 fired transitions, 2115 secs || 155973281 markings, 342476954 edges, 68366 markings/sec, 2115 secs
lola: STP completed || 814 tries, 813269055 fired transitions, 2120 secs || 156291418 markings, 343250779 edges, 63627 markings/sec, 2120 secs
lola: STP completed || 816 tries, 815264815 fired transitions, 2125 secs || 156632517 markings, 344038784 edges, 68220 markings/sec, 2125 secs
lola: STP completed || 818 tries, 817223051 fired transitions, 2130 secs || 156954621 markings, 344782874 edges, 64421 markings/sec, 2130 secs
lola: STP completed || 820 tries, 819235970 fired transitions, 2135 secs || 157307973 markings, 345564549 edges, 70670 markings/sec, 2135 secs
lola: STP completed || 821 tries, 820964104 fired transitions, 2140 secs || 157628161 markings, 346308554 edges, 64038 markings/sec, 2140 secs
lola: STP completed || 823 tries, 822662889 fired transitions, 2145 secs || 157949312 markings, 347065791 edges, 64230 markings/sec, 2145 secs
lola: STP completed || 825 tries, 824375557 fired transitions, 2150 secs || 158265988 markings, 347828766 edges, 63335 markings/sec, 2150 secs
lola: STP completed || 827 tries, 826184068 fired transitions, 2155 secs || 158594719 markings, 348584597 edges, 65746 markings/sec, 2155 secs
lola: STP completed || 828 tries, 827988649 fired transitions, 2160 secs || 158929013 markings, 349353784 edges, 66859 markings/sec, 2160 secs
lola: STP completed || 830 tries, 829812065 fired transitions, 2165 secs || 159249958 markings, 350139454 edges, 64189 markings/sec, 2165 secs
lola: STP completed || 833 tries, 832015260 fired transitions, 2170 secs || 159628117 markings, 351007648 edges, 75632 markings/sec, 2170 secs
lola: STP completed || 835 tries, 834463987 fired transitions, 2175 secs || 160138043 markings, 352100366 edges, 101985 markings/sec, 2175 secs
lola: STP completed || 838 tries, 837399487 fired transitions, 2180 secs || 160637229 markings, 353326890 edges, 99837 markings/sec, 2180 secs
lola: STP completed || 840 tries, 839734624 fired transitions, 2185 secs || 161054492 markings, 354299557 edges, 83453 markings/sec, 2185 secs
lola: STP completed || 842 tries, 841955155 fired transitions, 2190 secs || 161425106 markings, 355188968 edges, 74123 markings/sec, 2190 secs
lola: STP completed || 844 tries, 843825512 fired transitions, 2195 secs || 161713437 markings, 355924655 edges, 57666 markings/sec, 2195 secs
lola: STP completed || 846 tries, 845578903 fired transitions, 2200 secs || 162028010 markings, 356729394 edges, 62915 markings/sec, 2200 secs
lola: STP completed || 848 tries, 847257404 fired transitions, 2205 secs || 162301296 markings, 357494999 edges, 54657 markings/sec, 2205 secs
lola: STP completed || 850 tries, 849007259 fired transitions, 2210 secs || 162537169 markings, 358162080 edges, 47175 markings/sec, 2210 secs
lola: STP completed || 851 tries, 850793967 fired transitions, 2215 secs || 162841996 markings, 358898352 edges, 60965 markings/sec, 2215 secs
lola: STP completed || 853 tries, 852449762 fired transitions, 2220 secs || 163135650 markings, 359607866 edges, 58731 markings/sec, 2220 secs
lola: STP completed || 855 tries, 854185116 fired transitions, 2225 secs || 163456344 markings, 360294117 edges, 64139 markings/sec, 2225 secs
lola: STP completed || 857 tries, 856156081 fired transitions, 2230 secs || 163754389 markings, 360941747 edges, 59609 markings/sec, 2230 secs
lola: STP completed || 859 tries, 858131365 fired transitions, 2235 secs || 164028624 markings, 361554922 edges, 54847 markings/sec, 2235 secs
lola: STP completed || 861 tries, 860323654 fired transitions, 2240 secs || 164348178 markings, 362315614 edges, 63911 markings/sec, 2240 secs
lola: STP completed || 864 tries, 863247884 fired transitions, 2245 secs || 164864823 markings, 363594229 edges, 103329 markings/sec, 2245 secs
lola: STP completed || 867 tries, 866173812 fired transitions, 2250 secs || 165345625 markings, 364817233 edges, 96160 markings/sec, 2250 secs
lola: STP completed || 870 tries, 869062506 fired transitions, 2255 secs || 165765143 markings, 366058974 edges, 83904 markings/sec, 2255 secs
lola: STP completed || 872 tries, 871947153 fired transitions, 2260 secs || 166202171 markings, 367307886 edges, 87406 markings/sec, 2260 secs
lola: STP completed || 875 tries, 874822376 fired transitions, 2265 secs || 166716575 markings, 368592181 edges, 102881 markings/sec, 2265 secs
lola: STP completed || 878 tries, 877737571 fired transitions, 2270 secs || 167216488 markings, 369833537 edges, 99983 markings/sec, 2270 secs
lola: STP completed || 881 tries, 880659938 fired transitions, 2275 secs || 167728259 markings, 371074620 edges, 102354 markings/sec, 2275 secs
lola: STP completed || 884 tries, 883584935 fired transitions, 2280 secs || 168249804 markings, 372280882 edges, 104309 markings/sec, 2280 secs
lola: STP completed || 887 tries, 886418550 fired transitions, 2285 secs || 168737699 markings, 373443175 edges, 97579 markings/sec, 2285 secs
lola: STP completed || 889 tries, 888769031 fired transitions, 2290 secs || 169175802 markings, 374455473 edges, 87621 markings/sec, 2290 secs
lola: STP completed || 891 tries, 890732478 fired transitions, 2295 secs || 169496942 markings, 375158051 edges, 64228 markings/sec, 2295 secs
lola: STP completed || 893 tries, 892765328 fired transitions, 2300 secs || 169829813 markings, 375879281 edges, 66574 markings/sec, 2300 secs
lola: STP completed || 895 tries, 894762281 fired transitions, 2305 secs || 170192443 markings, 376716725 edges, 72526 markings/sec, 2305 secs
lola: STP completed || 897 tries, 896770989 fired transitions, 2310 secs || 170539813 markings, 377472877 edges, 69474 markings/sec, 2310 secs
lola: STP completed || 899 tries, 898744974 fired transitions, 2315 secs || 170864450 markings, 378244804 edges, 64927 markings/sec, 2315 secs
lola: STP completed || 901 tries, 900548903 fired transitions, 2320 secs || 171195414 markings, 379009100 edges, 66193 markings/sec, 2320 secs
lola: STP completed || 903 tries, 902359749 fired transitions, 2325 secs || 171496080 markings, 379726883 edges, 60133 markings/sec, 2325 secs
lola: STP completed || 905 tries, 904267365 fired transitions, 2330 secs || 171823275 markings, 380445930 edges, 65439 markings/sec, 2330 secs
lola: STP completed || 907 tries, 906181289 fired transitions, 2335 secs || 172182148 markings, 381199367 edges, 71775 markings/sec, 2335 secs
lola: STP completed || 909 tries, 908010166 fired transitions, 2340 secs || 172567295 markings, 381966100 edges, 77029 markings/sec, 2340 secs
lola: STP completed || 910 tries, 909859379 fired transitions, 2345 secs || 172931809 markings, 382714250 edges, 72903 markings/sec, 2345 secs
lola: STP completed || 912 tries, 911852382 fired transitions, 2350 secs || 173250782 markings, 383424000 edges, 63795 markings/sec, 2350 secs
lola: STP completed || 914 tries, 913722527 fired transitions, 2355 secs || 173534588 markings, 384099396 edges, 56761 markings/sec, 2355 secs
lola: STP completed || 916 tries, 915534122 fired transitions, 2360 secs || 173840363 markings, 384800257 edges, 61155 markings/sec, 2360 secs
lola: STP completed || 918 tries, 917372439 fired transitions, 2365 secs || 174152261 markings, 385502874 edges, 62380 markings/sec, 2365 secs
lola: STP completed || 920 tries, 919194197 fired transitions, 2370 secs || 174445913 markings, 386189434 edges, 58730 markings/sec, 2370 secs
lola: STP completed || 922 tries, 921031453 fired transitions, 2375 secs || 174718772 markings, 386883114 edges, 54572 markings/sec, 2375 secs
lola: STP completed || 923 tries, 922857075 fired transitions, 2380 secs || 175010706 markings, 387573790 edges, 58387 markings/sec, 2380 secs
lola: STP completed || 925 tries, 924800578 fired transitions, 2385 secs || 175310371 markings, 388286855 edges, 59933 markings/sec, 2385 secs
lola: STP completed || 927 tries, 926703538 fired transitions, 2390 secs || 175614726 markings, 388977952 edges, 60871 markings/sec, 2390 secs
lola: STP completed || 929 tries, 928510605 fired transitions, 2395 secs || 175928798 markings, 389675648 edges, 62814 markings/sec, 2395 secs
lola: STP completed || 931 tries, 930290683 fired transitions, 2400 secs || 176197092 markings, 390363231 edges, 53659 markings/sec, 2400 secs
lola: STP completed || 933 tries, 932086603 fired transitions, 2405 secs || 176440969 markings, 391058071 edges, 48775 markings/sec, 2405 secs
lola: STP completed || 934 tries, 933827616 fired transitions, 2410 secs || 176761122 markings, 391809496 edges, 64031 markings/sec, 2410 secs
lola: STP completed || 936 tries, 935547864 fired transitions, 2415 secs || 177080213 markings, 392548807 edges, 63818 markings/sec, 2415 secs
lola: STP completed || 938 tries, 937217019 fired transitions, 2420 secs || 177364269 markings, 393227605 edges, 56811 markings/sec, 2420 secs
lola: STP completed || 939 tries, 938904180 fired transitions, 2425 secs || 177654897 markings, 393929398 edges, 58126 markings/sec, 2425 secs
lola: STP completed || 941 tries, 940634224 fired transitions, 2430 secs || 177949360 markings, 394725540 edges, 58893 markings/sec, 2430 secs
lola: STP completed || 943 tries, 942297482 fired transitions, 2435 secs || 178326527 markings, 395479420 edges, 75433 markings/sec, 2435 secs
lola: STP completed || 945 tries, 944016293 fired transitions, 2440 secs || 178642444 markings, 396229706 edges, 63183 markings/sec, 2440 secs
lola: STP completed || 946 tries, 945733344 fired transitions, 2445 secs || 178935879 markings, 396942046 edges, 58687 markings/sec, 2445 secs
lola: STP completed || 948 tries, 947421951 fired transitions, 2450 secs || 179243899 markings, 397652183 edges, 61604 markings/sec, 2450 secs
lola: STP completed || 950 tries, 949025140 fired transitions, 2455 secs || 179541970 markings, 398355294 edges, 59614 markings/sec, 2455 secs
lola: STP completed || 951 tries, 950787950 fired transitions, 2460 secs || 179856720 markings, 399081775 edges, 62950 markings/sec, 2460 secs
lola: STP completed || 953 tries, 952515797 fired transitions, 2465 secs || 180163162 markings, 399833408 edges, 61288 markings/sec, 2465 secs
lola: STP completed || 955 tries, 954241805 fired transitions, 2470 secs || 180465428 markings, 400561570 edges, 60453 markings/sec, 2470 secs
lola: STP completed || 957 tries, 956057152 fired transitions, 2475 secs || 180796038 markings, 401285546 edges, 66122 markings/sec, 2475 secs
lola: STP completed || 958 tries, 957889613 fired transitions, 2480 secs || 181111791 markings, 402009018 edges, 63151 markings/sec, 2480 secs
lola: STP completed || 960 tries, 959704451 fired transitions, 2485 secs || 181423755 markings, 402740834 edges, 62393 markings/sec, 2485 secs
lola: STP completed || 962 tries, 961504723 fired transitions, 2490 secs || 181722963 markings, 403432670 edges, 59842 markings/sec, 2490 secs
lola: STP completed || 964 tries, 963310189 fired transitions, 2495 secs || 182034436 markings, 404140904 edges, 62295 markings/sec, 2495 secs
lola: STP completed || 966 tries, 965134494 fired transitions, 2500 secs || 182355830 markings, 404867248 edges, 64279 markings/sec, 2500 secs
lola: STP completed || 967 tries, 966954263 fired transitions, 2505 secs || 182659611 markings, 405587577 edges, 60756 markings/sec, 2505 secs
lola: STP completed || 969 tries, 968809150 fired transitions, 2510 secs || 182986691 markings, 406326978 edges, 65416 markings/sec, 2510 secs
lola: STP completed || 971 tries, 970623693 fired transitions, 2515 secs || 183291041 markings, 407039037 edges, 60870 markings/sec, 2515 secs
lola: STP completed || 973 tries, 972414205 fired transitions, 2520 secs || 183593462 markings, 407756576 edges, 60484 markings/sec, 2520 secs
lola: STP completed || 975 tries, 974217968 fired transitions, 2525 secs || 183957606 markings, 408481896 edges, 72829 markings/sec, 2525 secs
lola: STP completed || 977 tries, 976053507 fired transitions, 2530 secs || 184273034 markings, 409212358 edges, 63086 markings/sec, 2530 secs
lola: STP completed || 978 tries, 977882231 fired transitions, 2535 secs || 184580484 markings, 409916644 edges, 61490 markings/sec, 2535 secs
lola: STP completed || 980 tries, 979700960 fired transitions, 2540 secs || 184889314 markings, 410650905 edges, 61766 markings/sec, 2540 secs
lola: STP completed || 982 tries, 981523506 fired transitions, 2545 secs || 185198785 markings, 411348928 edges, 61894 markings/sec, 2545 secs
lola: STP completed || 984 tries, 983323143 fired transitions, 2550 secs || 185498473 markings, 412086036 edges, 59938 markings/sec, 2550 secs
lola: STP completed || 986 tries, 985167879 fired transitions, 2555 secs || 185811501 markings, 412816787 edges, 62606 markings/sec, 2555 secs
lola: STP completed || 987 tries, 986991045 fired transitions, 2560 secs || 186100623 markings, 413552107 edges, 57824 markings/sec, 2560 secs
lola: STP completed || 989 tries, 988795739 fired transitions, 2565 secs || 186417894 markings, 414263843 edges, 63454 markings/sec, 2565 secs
lola: STP completed || 991 tries, 990636505 fired transitions, 2570 secs || 186724778 markings, 414971412 edges, 61377 markings/sec, 2570 secs
lola: STP completed || 993 tries, 992399869 fired transitions, 2575 secs || 187023379 markings, 415683099 edges, 59720 markings/sec, 2575 secs
lola: STP completed || 995 tries, 994202580 fired transitions, 2580 secs || 187309355 markings, 416390213 edges, 57195 markings/sec, 2580 secs
lola: STP completed || 997 tries, 996017198 fired transitions, 2585 secs || 187605332 markings, 417095964 edges, 59195 markings/sec, 2585 secs
lola: STP completed || 998 tries, 997851075 fired transitions, 2590 secs || 187911860 markings, 417852837 edges, 61306 markings/sec, 2590 secs
lola: STP completed || 1000 tries, 999661828 fired transitions, 2595 secs || 188218425 markings, 418611479 edges, 61313 markings/sec, 2595 secs
lola: STP completed || 1002 tries, 1001549118 fired transitions, 2600 secs || 188560947 markings, 419355707 edges, 68504 markings/sec, 2600 secs
lola: STP completed || 1004 tries, 1003421084 fired transitions, 2605 secs || 188859778 markings, 420077125 edges, 59766 markings/sec, 2605 secs
lola: STP completed || 1006 tries, 1005331940 fired transitions, 2610 secs || 189173949 markings, 420814394 edges, 62834 markings/sec, 2610 secs
lola: STP completed || 1008 tries, 1007237329 fired transitions, 2615 secs || 189509480 markings, 421558132 edges, 67106 markings/sec, 2615 secs
lola: STP completed || 1010 tries, 1009129950 fired transitions, 2620 secs || 189821903 markings, 422265920 edges, 62485 markings/sec, 2620 secs
lola: STP completed || 1011 tries, 1010992546 fired transitions, 2625 secs || 190141167 markings, 422976145 edges, 63853 markings/sec, 2625 secs
lola: STP completed || 1013 tries, 1012866466 fired transitions, 2630 secs || 190447376 markings, 423692784 edges, 61242 markings/sec, 2630 secs
lola: STP completed || 1015 tries, 1014720012 fired transitions, 2635 secs || 190751127 markings, 424384132 edges, 60750 markings/sec, 2635 secs
lola: STP completed || 1017 tries, 1016563841 fired transitions, 2640 secs || 191058191 markings, 425087269 edges, 61413 markings/sec, 2640 secs
lola: STP completed || 1019 tries, 1018561432 fired transitions, 2645 secs || 191373040 markings, 425811976 edges, 62970 markings/sec, 2645 secs
lola: STP completed || 1021 tries, 1020030126 fired transitions, 2650 secs || 191513948 markings, 426171243 edges, 28182 markings/sec, 2650 secs
lola: STP completed || 1022 tries, 1021737371 fired transitions, 2655 secs || 191520158 markings, 426185964 edges, 1242 markings/sec, 2655 secs
lola: STP completed || 1023 tries, 1022258812 fired transitions, 2660 secs || 191520169 markings, 426185995 edges, 2 markings/sec, 2660 secs
lola: STP completed || 1024 tries, 1023453725 fired transitions, 2665 secs || 191521080 markings, 426189244 edges, 182 markings/sec, 2665 secs
lola: STP completed || 1025 tries, 1024085260 fired transitions, 2670 secs || 191521085 markings, 426189266 edges, 1 markings/sec, 2670 secs
lola: STP completed || 1026 tries, 1025278590 fired transitions, 2675 secs || 191521442 markings, 426190763 edges, 71 markings/sec, 2675 secs
lola: STP completed || 1026 tries, 1025828716 fired transitions, 2680 secs || 191524511 markings, 426198647 edges, 614 markings/sec, 2680 secs
lola: STP completed || 1026 tries, 1025964165 fired transitions, 2685 secs || 191524516 markings, 426198667 edges, 1 markings/sec, 2685 secs
lola: STP completed || 1027 tries, 1026912601 fired transitions, 2690 secs || 191524535 markings, 426198703 edges, 4 markings/sec, 2690 secs
lola: STP completed || 1028 tries, 1027068801 fired transitions, 2695 secs || 191524540 markings, 426198725 edges, 1 markings/sec, 2695 secs
Killed
FORMULA ProductionCell-PT-none-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 stderr -----
----- Finished stdout -----

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ProductionCell-PT-none"
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/ProductionCell-PT-none.tgz
mv ProductionCell-PT-none 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 ProductionCell-PT-none, 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 r143-qhx2-152673584300006"
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 ;