About the Execution of M4M.struct for Ring-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.040 | 2109502.00 | 3617710.00 | 5797.80 | ? | 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 192K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 26 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 26 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 26 09:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 26 09:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 41K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is Ring-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-152673584900426
=====================================================================
--------------------
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 Ring-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1528033222725
BK_STOP 1528035332227
--------------------
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 Ring-PT-none as instance name.
Using Ring 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': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 432, 'Memory': 101.65, 'Tool': 'gspn'}, {'Time': 1921, 'Memory': 167.33, 'Tool': 'gspn'}, {'Time': 2583, 'Memory': 2206.34, 'Tool': 'marcie'}, {'Time': 3218, 'Memory': 2206.14, 'Tool': 'marcie'}, {'Time': 4367, 'Memory': 321.36, 'Tool': 'itstools'}, {'Time': 4409, 'Memory': 320.28, 'Tool': 'itstools'}, {'Time': 654073, 'Memory': 15949.47, 'Tool': 'lola'}, {'Time': 719403, 'Memory': 15943, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1514.0578703703704x far from the best tool gspn.
ReachabilityDeadlock lola Ring-PT-none...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
Ring-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
Ring-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ Ring-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: 226/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 87 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 147 transition conflict sets
lola: TASK
lola: reading formula from Ring-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 12 bytes per marking, with 21 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 2662 variables and 8831 clauses shipped to Minisat
lola: stp: The siphon/trap property is inconclusive since the generated formula is too short
lola: STP completed || 2 tries, 1630852 fired transitions, 0 secs || 489209 markings, 545438 edges, 97842 markings/sec, 0 secs
lola: STP completed || 4 tries, 3403113 fired transitions, 5 secs || 987671 markings, 1117610 edges, 99692 markings/sec, 5 secs
lola: STP completed || 6 tries, 5839233 fired transitions, 10 secs || 1646055 markings, 1886038 edges, 131677 markings/sec, 10 secs
lola: STP completed || 8 tries, 7814716 fired transitions, 15 secs || 2187326 markings, 2524340 edges, 108254 markings/sec, 15 secs
lola: STP completed || 11 tries, 10156800 fired transitions, 20 secs || 2757152 markings, 3201468 edges, 113965 markings/sec, 20 secs
lola: STP completed || 13 tries, 12046320 fired transitions, 25 secs || 3261283 markings, 3805365 edges, 100826 markings/sec, 25 secs
lola: STP completed || 14 tries, 13935691 fired transitions, 30 secs || 3654568 markings, 4276901 edges, 78657 markings/sec, 30 secs
lola: STP completed || 16 tries, 15847892 fired transitions, 35 secs || 4060885 markings, 4765814 edges, 81263 markings/sec, 35 secs
lola: STP completed || 18 tries, 17783736 fired transitions, 40 secs || 4474882 markings, 5265850 edges, 82799 markings/sec, 40 secs
lola: STP completed || 20 tries, 19723517 fired transitions, 45 secs || 4889426 markings, 5766776 edges, 82909 markings/sec, 45 secs
lola: STP completed || 22 tries, 21750063 fired transitions, 50 secs || 5295779 markings, 6256734 edges, 81271 markings/sec, 50 secs
lola: STP completed || 24 tries, 23720606 fired transitions, 55 secs || 5678517 markings, 6720632 edges, 76548 markings/sec, 55 secs
lola: STP completed || 26 tries, 25641371 fired transitions, 60 secs || 6057433 markings, 7182842 edges, 75783 markings/sec, 60 secs
lola: STP completed || 28 tries, 27468598 fired transitions, 65 secs || 6498229 markings, 7723103 edges, 88159 markings/sec, 65 secs
lola: STP completed || 30 tries, 29868167 fired transitions, 70 secs || 7059771 markings, 8413069 edges, 112308 markings/sec, 70 secs
lola: STP completed || 32 tries, 31959775 fired transitions, 75 secs || 7502105 markings, 8957699 edges, 88467 markings/sec, 75 secs
lola: STP completed || 34 tries, 33981030 fired transitions, 80 secs || 7927972 markings, 9481774 edges, 85173 markings/sec, 80 secs
lola: STP completed || 36 tries, 35993367 fired transitions, 85 secs || 8349170 markings, 10001132 edges, 84240 markings/sec, 85 secs
lola: STP completed || 39 tries, 38000297 fired transitions, 90 secs || 8764720 markings, 10514231 edges, 83110 markings/sec, 90 secs
lola: STP completed || 40 tries, 39885851 fired transitions, 95 secs || 9184531 markings, 11033661 edges, 83962 markings/sec, 95 secs
lola: STP completed || 42 tries, 41888103 fired transitions, 100 secs || 9594166 markings, 11541313 edges, 81927 markings/sec, 100 secs
lola: STP completed || 44 tries, 43882439 fired transitions, 105 secs || 10013332 markings, 12061340 edges, 83833 markings/sec, 105 secs
lola: STP completed || 46 tries, 45915460 fired transitions, 110 secs || 10430898 markings, 12580236 edges, 83513 markings/sec, 110 secs
lola: STP completed || 48 tries, 47953660 fired transitions, 115 secs || 10851701 markings, 13104180 edges, 84161 markings/sec, 115 secs
lola: STP completed || 50 tries, 49987664 fired transitions, 120 secs || 11270778 markings, 13626936 edges, 83815 markings/sec, 120 secs
lola: STP completed || 53 tries, 52040999 fired transitions, 125 secs || 11677484 markings, 14134381 edges, 81341 markings/sec, 125 secs
lola: STP completed || 55 tries, 54084405 fired transitions, 130 secs || 12085999 markings, 14646218 edges, 81703 markings/sec, 130 secs
lola: STP completed || 57 tries, 56129159 fired transitions, 135 secs || 12494300 markings, 15157579 edges, 81660 markings/sec, 135 secs
lola: STP completed || 59 tries, 58179668 fired transitions, 140 secs || 12900712 markings, 15668277 edges, 81282 markings/sec, 140 secs
lola: STP completed || 61 tries, 60278936 fired transitions, 145 secs || 13315261 markings, 16187446 edges, 82910 markings/sec, 145 secs
lola: STP completed || 63 tries, 62378963 fired transitions, 150 secs || 13722369 markings, 16698462 edges, 81422 markings/sec, 150 secs
lola: STP completed || 65 tries, 64528306 fired transitions, 155 secs || 14132846 markings, 17213439 edges, 82095 markings/sec, 155 secs
lola: STP completed || 67 tries, 66710189 fired transitions, 160 secs || 14545054 markings, 17729183 edges, 82442 markings/sec, 160 secs
lola: STP completed || 69 tries, 68821824 fired transitions, 165 secs || 14952974 markings, 18244033 edges, 81584 markings/sec, 165 secs
lola: STP completed || 72 tries, 71002642 fired transitions, 170 secs || 15369436 markings, 18770976 edges, 83292 markings/sec, 170 secs
lola: STP completed || 74 tries, 73122625 fired transitions, 175 secs || 15777351 markings, 19287026 edges, 81583 markings/sec, 175 secs
lola: STP completed || 76 tries, 75246904 fired transitions, 180 secs || 16187802 markings, 19806189 edges, 82090 markings/sec, 180 secs
lola: STP completed || 78 tries, 77348019 fired transitions, 185 secs || 16593713 markings, 20320726 edges, 81182 markings/sec, 185 secs
lola: STP completed || 80 tries, 79434268 fired transitions, 190 secs || 16997083 markings, 20831234 edges, 80674 markings/sec, 190 secs
lola: STP completed || 82 tries, 81547878 fired transitions, 195 secs || 17400251 markings, 21343050 edges, 80634 markings/sec, 195 secs
lola: STP completed || 84 tries, 83627014 fired transitions, 200 secs || 17802254 markings, 21853316 edges, 80401 markings/sec, 200 secs
lola: STP completed || 86 tries, 85777318 fired transitions, 205 secs || 18216517 markings, 22379990 edges, 82853 markings/sec, 205 secs
lola: STP completed || 88 tries, 87850896 fired transitions, 210 secs || 18600750 markings, 22868845 edges, 76847 markings/sec, 210 secs
lola: STP completed || 90 tries, 89966967 fired transitions, 215 secs || 19000916 markings, 23378292 edges, 80033 markings/sec, 215 secs
lola: STP completed || 93 tries, 92143544 fired transitions, 220 secs || 19415569 markings, 23906447 edges, 82931 markings/sec, 220 secs
lola: STP completed || 95 tries, 94308458 fired transitions, 225 secs || 19824184 markings, 24428492 edges, 81723 markings/sec, 225 secs
lola: STP completed || 97 tries, 96451489 fired transitions, 230 secs || 20229082 markings, 24944105 edges, 80980 markings/sec, 230 secs
lola: STP completed || 99 tries, 98612197 fired transitions, 235 secs || 20641517 markings, 25472092 edges, 82487 markings/sec, 235 secs
lola: STP completed || 101 tries, 100784968 fired transitions, 240 secs || 21052956 markings, 25998962 edges, 82288 markings/sec, 240 secs
lola: STP completed || 103 tries, 102948420 fired transitions, 245 secs || 21447550 markings, 26503984 edges, 78919 markings/sec, 245 secs
lola: STP completed || 106 tries, 105115515 fired transitions, 250 secs || 21845871 markings, 27013897 edges, 79664 markings/sec, 250 secs
lola: STP completed || 108 tries, 107753165 fired transitions, 255 secs || 22362217 markings, 27674415 edges, 103269 markings/sec, 255 secs
lola: STP completed || 110 tries, 109934031 fired transitions, 260 secs || 22763170 markings, 28188265 edges, 80191 markings/sec, 260 secs
lola: STP completed || 113 tries, 112115178 fired transitions, 265 secs || 23169017 markings, 28708930 edges, 81169 markings/sec, 265 secs
lola: STP completed || 115 tries, 114297798 fired transitions, 270 secs || 23574917 markings, 29231954 edges, 81180 markings/sec, 270 secs
lola: STP completed || 117 tries, 116489870 fired transitions, 275 secs || 23978800 markings, 29750682 edges, 80777 markings/sec, 275 secs
lola: STP completed || 119 tries, 118679001 fired transitions, 280 secs || 24382473 markings, 30268483 edges, 80735 markings/sec, 280 secs
lola: STP completed || 121 tries, 120861594 fired transitions, 285 secs || 24783058 markings, 30781811 edges, 80117 markings/sec, 285 secs
lola: STP completed || 124 tries, 123062039 fired transitions, 290 secs || 25227637 markings, 31354538 edges, 88916 markings/sec, 290 secs
lola: STP completed || 126 tries, 125218000 fired transitions, 295 secs || 25635518 markings, 31880013 edges, 81576 markings/sec, 295 secs
lola: STP completed || 128 tries, 127378105 fired transitions, 300 secs || 26040910 markings, 32402507 edges, 81078 markings/sec, 300 secs
lola: STP completed || 130 tries, 129572870 fired transitions, 305 secs || 26444766 markings, 32923473 edges, 80771 markings/sec, 305 secs
lola: STP completed || 132 tries, 131745956 fired transitions, 310 secs || 26846852 markings, 33441727 edges, 80417 markings/sec, 310 secs
lola: STP completed || 134 tries, 133929320 fired transitions, 315 secs || 27250514 markings, 33963184 edges, 80732 markings/sec, 315 secs
lola: STP completed || 137 tries, 136110491 fired transitions, 320 secs || 27646342 markings, 34475509 edges, 79166 markings/sec, 320 secs
lola: STP completed || 139 tries, 138301220 fired transitions, 325 secs || 28047427 markings, 34993868 edges, 80217 markings/sec, 325 secs
lola: STP completed || 141 tries, 140520755 fired transitions, 330 secs || 28459266 markings, 35526869 edges, 82368 markings/sec, 330 secs
lola: STP completed || 143 tries, 142744970 fired transitions, 335 secs || 28872132 markings, 36062283 edges, 82573 markings/sec, 335 secs
lola: STP completed || 145 tries, 144966690 fired transitions, 340 secs || 29285369 markings, 36598496 edges, 82647 markings/sec, 340 secs
lola: STP completed || 148 tries, 147163141 fired transitions, 345 secs || 29694500 markings, 37127731 edges, 81826 markings/sec, 345 secs
lola: STP completed || 150 tries, 149375913 fired transitions, 350 secs || 30106241 markings, 37660561 edges, 82348 markings/sec, 350 secs
lola: STP completed || 152 tries, 151610163 fired transitions, 355 secs || 30515761 markings, 38191076 edges, 81904 markings/sec, 355 secs
lola: STP completed || 154 tries, 153873526 fired transitions, 360 secs || 30927639 markings, 38726302 edges, 82376 markings/sec, 360 secs
lola: STP completed || 157 tries, 156098660 fired transitions, 365 secs || 31335148 markings, 39255528 edges, 81502 markings/sec, 365 secs
lola: STP completed || 159 tries, 158308901 fired transitions, 370 secs || 31739847 markings, 39780581 edges, 80940 markings/sec, 370 secs
lola: STP completed || 161 tries, 160514060 fired transitions, 375 secs || 32136181 markings, 40297108 edges, 79267 markings/sec, 375 secs
lola: STP completed || 163 tries, 162706030 fired transitions, 380 secs || 32528943 markings, 40808622 edges, 78552 markings/sec, 380 secs
lola: STP completed || 165 tries, 164911022 fired transitions, 385 secs || 32923939 markings, 41323984 edges, 78999 markings/sec, 385 secs
lola: STP completed || 168 tries, 167114084 fired transitions, 390 secs || 33321659 markings, 41840920 edges, 79544 markings/sec, 390 secs
lola: STP completed || 170 tries, 169294903 fired transitions, 395 secs || 33711474 markings, 42348711 edges, 77963 markings/sec, 395 secs
lola: STP completed || 172 tries, 171457941 fired transitions, 400 secs || 34077655 markings, 42826471 edges, 73236 markings/sec, 400 secs
lola: STP completed || 174 tries, 173647754 fired transitions, 405 secs || 34442829 markings, 43303504 edges, 73035 markings/sec, 405 secs
lola: STP completed || 176 tries, 175830109 fired transitions, 410 secs || 34809838 markings, 43781467 edges, 73402 markings/sec, 410 secs
lola: STP completed || 179 tries, 178729855 fired transitions, 415 secs || 35391596 markings, 44542472 edges, 116352 markings/sec, 415 secs
lola: STP completed || 182 tries, 181810539 fired transitions, 420 secs || 36025676 markings, 45370638 edges, 126816 markings/sec, 420 secs
lola: STP completed || 185 tries, 184915130 fired transitions, 425 secs || 36664740 markings, 46208307 edges, 127813 markings/sec, 425 secs
lola: STP completed || 189 tries, 188024878 fired transitions, 430 secs || 37304979 markings, 47049410 edges, 128048 markings/sec, 430 secs
lola: STP completed || 191 tries, 190282191 fired transitions, 435 secs || 37688715 markings, 47552471 edges, 76747 markings/sec, 435 secs
lola: STP completed || 193 tries, 192524845 fired transitions, 440 secs || 38070494 markings, 48052464 edges, 76356 markings/sec, 440 secs
lola: STP completed || 196 tries, 195457043 fired transitions, 445 secs || 38654311 markings, 48819667 edges, 116763 markings/sec, 445 secs
lola: STP completed || 199 tries, 198538021 fired transitions, 450 secs || 39288010 markings, 49652955 edges, 126740 markings/sec, 450 secs
lola: STP completed || 202 tries, 201606693 fired transitions, 455 secs || 39920657 markings, 50486142 edges, 126529 markings/sec, 455 secs
lola: STP completed || 205 tries, 204679562 fired transitions, 460 secs || 40550824 markings, 51313726 edges, 126033 markings/sec, 460 secs
lola: STP completed || 208 tries, 207758997 fired transitions, 465 secs || 41181696 markings, 52146235 edges, 126174 markings/sec, 465 secs
lola: STP completed || 211 tries, 210842811 fired transitions, 470 secs || 41810272 markings, 52977161 edges, 125715 markings/sec, 470 secs
lola: STP completed || 214 tries, 213950145 fired transitions, 475 secs || 42446365 markings, 53815800 edges, 127219 markings/sec, 475 secs
lola: STP completed || 217 tries, 216320999 fired transitions, 480 secs || 42853785 markings, 54352413 edges, 81484 markings/sec, 480 secs
lola: STP completed || 219 tries, 218680951 fired transitions, 485 secs || 43240966 markings, 54861503 edges, 77436 markings/sec, 485 secs
lola: STP completed || 221 tries, 220957419 fired transitions, 490 secs || 43637229 markings, 55385003 edges, 79253 markings/sec, 490 secs
lola: STP completed || 224 tries, 223223702 fired transitions, 495 secs || 44042234 markings, 55919651 edges, 81001 markings/sec, 495 secs
lola: STP completed || 226 tries, 225494257 fired transitions, 500 secs || 44463162 markings, 56474774 edges, 84186 markings/sec, 500 secs
lola: STP completed || 228 tries, 227782233 fired transitions, 505 secs || 44879468 markings, 57024887 edges, 83261 markings/sec, 505 secs
lola: STP completed || 231 tries, 230041347 fired transitions, 510 secs || 45283879 markings, 57559450 edges, 80882 markings/sec, 510 secs
lola: STP completed || 233 tries, 232294561 fired transitions, 515 secs || 45688700 markings, 58094739 edges, 80964 markings/sec, 515 secs
lola: STP completed || 235 tries, 234538755 fired transitions, 520 secs || 46089607 markings, 58623622 edges, 80181 markings/sec, 520 secs
lola: STP completed || 237 tries, 236894897 fired transitions, 525 secs || 46495490 markings, 59158604 edges, 81177 markings/sec, 525 secs
lola: STP completed || 240 tries, 239172389 fired transitions, 530 secs || 46899569 markings, 59693120 edges, 80816 markings/sec, 530 secs
lola: STP completed || 242 tries, 241469958 fired transitions, 535 secs || 47311064 markings, 60238123 edges, 82299 markings/sec, 535 secs
lola: STP completed || 244 tries, 243738720 fired transitions, 540 secs || 47720151 markings, 60777291 edges, 81817 markings/sec, 540 secs
lola: STP completed || 247 tries, 246014961 fired transitions, 545 secs || 48128481 markings, 61317315 edges, 81666 markings/sec, 545 secs
lola: STP completed || 249 tries, 248266170 fired transitions, 550 secs || 48532615 markings, 61852552 edges, 80827 markings/sec, 550 secs
lola: STP completed || 251 tries, 250533799 fired transitions, 555 secs || 48935983 markings, 62388207 edges, 80674 markings/sec, 555 secs
lola: STP completed || 253 tries, 252794203 fired transitions, 560 secs || 49341243 markings, 62923437 edges, 81052 markings/sec, 560 secs
lola: STP completed || 256 tries, 255027935 fired transitions, 565 secs || 49741859 markings, 63454742 edges, 80123 markings/sec, 565 secs
lola: STP completed || 258 tries, 257283304 fired transitions, 570 secs || 50141385 markings, 63986335 edges, 79905 markings/sec, 570 secs
lola: STP completed || 260 tries, 259566050 fired transitions, 575 secs || 50543300 markings, 64520512 edges, 80383 markings/sec, 575 secs
lola: STP completed || 262 tries, 261829853 fired transitions, 580 secs || 50945217 markings, 65052585 edges, 80383 markings/sec, 580 secs
lola: STP completed || 265 tries, 264105989 fired transitions, 585 secs || 51346591 markings, 65588178 edges, 80275 markings/sec, 585 secs
lola: STP completed || 267 tries, 266383376 fired transitions, 590 secs || 51748800 markings, 66121505 edges, 80442 markings/sec, 590 secs
lola: STP completed || 269 tries, 268808048 fired transitions, 595 secs || 52157744 markings, 66660993 edges, 81789 markings/sec, 595 secs
lola: STP completed || 272 tries, 271092456 fired transitions, 600 secs || 52562945 markings, 67198110 edges, 81040 markings/sec, 600 secs
lola: STP completed || 274 tries, 273383867 fired transitions, 605 secs || 52968409 markings, 67735471 edges, 81093 markings/sec, 605 secs
lola: STP completed || 276 tries, 275679446 fired transitions, 610 secs || 53374485 markings, 68274458 edges, 81215 markings/sec, 610 secs
lola: STP completed || 278 tries, 277980068 fired transitions, 615 secs || 53779655 markings, 68812515 edges, 81034 markings/sec, 615 secs
lola: STP completed || 281 tries, 280291479 fired transitions, 620 secs || 54183655 markings, 69350655 edges, 80800 markings/sec, 620 secs
lola: STP completed || 283 tries, 282581832 fired transitions, 625 secs || 54574651 markings, 69870593 edges, 78199 markings/sec, 625 secs
lola: STP completed || 285 tries, 284880158 fired transitions, 630 secs || 54966392 markings, 70390866 edges, 78348 markings/sec, 630 secs
lola: STP completed || 288 tries, 287194638 fired transitions, 635 secs || 55378434 markings, 70939101 edges, 82408 markings/sec, 635 secs
lola: STP completed || 290 tries, 289510242 fired transitions, 640 secs || 55790167 markings, 71488939 edges, 82347 markings/sec, 640 secs
lola: STP completed || 292 tries, 291808675 fired transitions, 645 secs || 56194791 markings, 72027538 edges, 80925 markings/sec, 645 secs
lola: STP completed || 295 tries, 294106678 fired transitions, 650 secs || 56600220 markings, 72567399 edges, 81086 markings/sec, 650 secs
lola: STP completed || 297 tries, 296416914 fired transitions, 655 secs || 57014803 markings, 73120425 edges, 82917 markings/sec, 655 secs
lola: STP completed || 299 tries, 298720160 fired transitions, 660 secs || 57415674 markings, 73653526 edges, 80174 markings/sec, 660 secs
lola: STP completed || 302 tries, 301024942 fired transitions, 665 secs || 57813707 markings, 74185045 edges, 79607 markings/sec, 665 secs
lola: STP completed || 304 tries, 303323026 fired transitions, 670 secs || 58211199 markings, 74715411 edges, 79498 markings/sec, 670 secs
lola: STP completed || 306 tries, 305628720 fired transitions, 675 secs || 58640248 markings, 75288967 edges, 85810 markings/sec, 675 secs
lola: STP completed || 309 tries, 308001444 fired transitions, 680 secs || 59119125 markings, 75928531 edges, 95775 markings/sec, 680 secs
lola: STP completed || 311 tries, 310337896 fired transitions, 685 secs || 59594828 markings, 76565170 edges, 95141 markings/sec, 685 secs
lola: STP completed || 313 tries, 312698551 fired transitions, 690 secs || 60069535 markings, 77198494 edges, 94941 markings/sec, 690 secs
lola: STP completed || 316 tries, 315060323 fired transitions, 695 secs || 60546068 markings, 77838092 edges, 95307 markings/sec, 695 secs
lola: STP completed || 318 tries, 317401233 fired transitions, 700 secs || 61014589 markings, 78464257 edges, 93704 markings/sec, 700 secs
lola: STP completed || 320 tries, 319739748 fired transitions, 705 secs || 61485329 markings, 79093167 edges, 94148 markings/sec, 705 secs
lola: STP completed || 323 tries, 322077584 fired transitions, 710 secs || 61956077 markings, 79720978 edges, 94150 markings/sec, 710 secs
lola: STP completed || 325 tries, 324419295 fired transitions, 715 secs || 62428996 markings, 80351955 edges, 94584 markings/sec, 715 secs
lola: STP completed || 327 tries, 326737438 fired transitions, 720 secs || 62896398 markings, 80978095 edges, 93480 markings/sec, 720 secs
lola: STP completed || 330 tries, 329063319 fired transitions, 725 secs || 63360185 markings, 81602055 edges, 92757 markings/sec, 725 secs
lola: STP completed || 332 tries, 331411412 fired transitions, 730 secs || 63835020 markings, 82238489 edges, 94967 markings/sec, 730 secs
lola: STP completed || 334 tries, 333768928 fired transitions, 735 secs || 64308709 markings, 82871722 edges, 94738 markings/sec, 735 secs
lola: STP completed || 337 tries, 336135827 fired transitions, 740 secs || 64782727 markings, 83507950 edges, 94804 markings/sec, 740 secs
lola: STP completed || 339 tries, 338508017 fired transitions, 745 secs || 65254936 markings, 84141679 edges, 94442 markings/sec, 745 secs
lola: STP completed || 341 tries, 340876046 fired transitions, 750 secs || 65726576 markings, 84775688 edges, 94328 markings/sec, 750 secs
lola: STP completed || 344 tries, 343235516 fired transitions, 755 secs || 66201145 markings, 85413131 edges, 94914 markings/sec, 755 secs
lola: STP completed || 346 tries, 345590148 fired transitions, 760 secs || 66677456 markings, 86055385 edges, 95262 markings/sec, 760 secs
lola: STP completed || 348 tries, 347918221 fired transitions, 765 secs || 67148557 markings, 86691913 edges, 94220 markings/sec, 765 secs
lola: STP completed || 351 tries, 350283447 fired transitions, 770 secs || 67624279 markings, 87331028 edges, 95144 markings/sec, 770 secs
lola: STP completed || 353 tries, 352645747 fired transitions, 775 secs || 68103190 markings, 87977142 edges, 95782 markings/sec, 775 secs
lola: STP completed || 356 tries, 355000421 fired transitions, 780 secs || 68577355 markings, 88614892 edges, 94833 markings/sec, 780 secs
lola: STP completed || 358 tries, 357348893 fired transitions, 785 secs || 69054687 markings, 89255223 edges, 95466 markings/sec, 785 secs
lola: STP completed || 360 tries, 359702063 fired transitions, 790 secs || 69528641 markings, 89891925 edges, 94791 markings/sec, 790 secs
lola: STP completed || 363 tries, 362074842 fired transitions, 795 secs || 70004664 markings, 90534030 edges, 95205 markings/sec, 795 secs
lola: STP completed || 365 tries, 364434086 fired transitions, 800 secs || 70477755 markings, 91169937 edges, 94618 markings/sec, 800 secs
lola: STP completed || 367 tries, 366797853 fired transitions, 805 secs || 70953254 markings, 91808555 edges, 95100 markings/sec, 805 secs
lola: STP completed || 370 tries, 369086474 fired transitions, 810 secs || 71424729 markings, 92444972 edges, 94295 markings/sec, 810 secs
lola: STP completed || 372 tries, 371302257 fired transitions, 815 secs || 71890279 markings, 93072582 edges, 93110 markings/sec, 815 secs
lola: STP completed || 374 tries, 373669045 fired transitions, 820 secs || 72365738 markings, 93715465 edges, 95092 markings/sec, 820 secs
lola: STP completed || 377 tries, 376002481 fired transitions, 825 secs || 72837186 markings, 94353259 edges, 94290 markings/sec, 825 secs
lola: STP completed || 379 tries, 378369486 fired transitions, 830 secs || 73315390 markings, 94997821 edges, 95641 markings/sec, 830 secs
lola: STP completed || 381 tries, 380726157 fired transitions, 835 secs || 73789607 markings, 95637157 edges, 94843 markings/sec, 835 secs
lola: STP completed || 384 tries, 383088087 fired transitions, 840 secs || 74260306 markings, 96273679 edges, 94140 markings/sec, 840 secs
lola: STP completed || 386 tries, 385453298 fired transitions, 845 secs || 74737114 markings, 96919225 edges, 95362 markings/sec, 845 secs
lola: STP completed || 388 tries, 387816174 fired transitions, 850 secs || 75214862 markings, 97563815 edges, 95550 markings/sec, 850 secs
lola: STP completed || 391 tries, 390187553 fired transitions, 855 secs || 75692514 markings, 98210003 edges, 95530 markings/sec, 855 secs
lola: STP completed || 393 tries, 392556961 fired transitions, 860 secs || 76164272 markings, 98850549 edges, 94352 markings/sec, 860 secs
lola: STP completed || 395 tries, 394919271 fired transitions, 865 secs || 76635466 markings, 99488029 edges, 94239 markings/sec, 865 secs
lola: STP completed || 398 tries, 397274533 fired transitions, 870 secs || 77102797 markings, 100120905 edges, 93466 markings/sec, 870 secs
lola: STP completed || 400 tries, 399633436 fired transitions, 875 secs || 77579125 markings, 100764651 edges, 95266 markings/sec, 875 secs
lola: STP completed || 402 tries, 401995673 fired transitions, 880 secs || 78053885 markings, 101408747 edges, 94952 markings/sec, 880 secs
lola: STP completed || 405 tries, 404351366 fired transitions, 885 secs || 78525590 markings, 102046622 edges, 94341 markings/sec, 885 secs
lola: STP completed || 407 tries, 406720589 fired transitions, 890 secs || 78998335 markings, 102686909 edges, 94549 markings/sec, 890 secs
lola: STP completed || 410 tries, 409075737 fired transitions, 895 secs || 79474029 markings, 103327651 edges, 95139 markings/sec, 895 secs
lola: STP completed || 412 tries, 411444179 fired transitions, 900 secs || 79949736 markings, 103971871 edges, 95141 markings/sec, 900 secs
lola: STP completed || 414 tries, 413814817 fired transitions, 905 secs || 80424837 markings, 104616039 edges, 95020 markings/sec, 905 secs
lola: STP completed || 417 tries, 416178472 fired transitions, 910 secs || 80896555 markings, 105254225 edges, 94344 markings/sec, 910 secs
lola: STP completed || 419 tries, 418545473 fired transitions, 915 secs || 81369281 markings, 105897704 edges, 94545 markings/sec, 915 secs
lola: STP completed || 422 tries, 421275124 fired transitions, 920 secs || 81901653 markings, 106616818 edges, 106474 markings/sec, 920 secs
lola: STP completed || 425 tries, 424433007 fired transitions, 925 secs || 82512876 markings, 107446154 edges, 122245 markings/sec, 925 secs
lola: STP completed || 428 tries, 427594390 fired transitions, 930 secs || 83125827 markings, 108276836 edges, 122590 markings/sec, 930 secs
lola: STP completed || 431 tries, 430750608 fired transitions, 935 secs || 83739045 markings, 109110117 edges, 122644 markings/sec, 935 secs
lola: STP completed || 434 tries, 433910091 fired transitions, 940 secs || 84353734 markings, 109946087 edges, 122938 markings/sec, 940 secs
lola: STP completed || 438 tries, 437078101 fired transitions, 945 secs || 84968916 markings, 110779927 edges, 123036 markings/sec, 945 secs
lola: STP completed || 441 tries, 440247222 fired transitions, 950 secs || 85582008 markings, 111612508 edges, 122618 markings/sec, 950 secs
lola: STP completed || 444 tries, 443406707 fired transitions, 955 secs || 86193823 markings, 112444432 edges, 122363 markings/sec, 955 secs
lola: STP completed || 447 tries, 446567694 fired transitions, 960 secs || 86801775 markings, 113267451 edges, 121590 markings/sec, 960 secs
lola: STP completed || 450 tries, 449739369 fired transitions, 965 secs || 87414019 markings, 114100844 edges, 122449 markings/sec, 965 secs
lola: STP completed || 453 tries, 452905386 fired transitions, 970 secs || 88023678 markings, 114930870 edges, 121932 markings/sec, 970 secs
lola: STP completed || 457 tries, 456199605 fired transitions, 975 secs || 88633571 markings, 115758789 edges, 121979 markings/sec, 975 secs
lola: STP completed || 460 tries, 459355531 fired transitions, 980 secs || 89243193 markings, 116587464 edges, 121924 markings/sec, 980 secs
lola: STP completed || 462 tries, 461754333 fired transitions, 985 secs || 89714782 markings, 117228121 edges, 94318 markings/sec, 985 secs
lola: STP completed || 465 tries, 464140248 fired transitions, 990 secs || 90186467 markings, 117871043 edges, 94337 markings/sec, 990 secs
lola: STP completed || 467 tries, 466531956 fired transitions, 995 secs || 90662647 markings, 118519092 edges, 95236 markings/sec, 995 secs
lola: STP completed || 469 tries, 468907547 fired transitions, 1000 secs || 91138776 markings, 119166240 edges, 95226 markings/sec, 1000 secs
lola: STP completed || 472 tries, 471300873 fired transitions, 1005 secs || 91611315 markings, 119808390 edges, 94508 markings/sec, 1005 secs
lola: STP completed || 474 tries, 473707060 fired transitions, 1010 secs || 92078709 markings, 120445262 edges, 93479 markings/sec, 1010 secs
lola: STP completed || 477 tries, 476103327 fired transitions, 1015 secs || 92553891 markings, 121091277 edges, 95036 markings/sec, 1015 secs
lola: STP completed || 479 tries, 478487021 fired transitions, 1020 secs || 93025421 markings, 121732320 edges, 94306 markings/sec, 1020 secs
lola: STP completed || 481 tries, 480878139 fired transitions, 1025 secs || 93499016 markings, 122377508 edges, 94719 markings/sec, 1025 secs
lola: STP completed || 484 tries, 483264281 fired transitions, 1030 secs || 93973308 markings, 123021248 edges, 94858 markings/sec, 1030 secs
lola: STP completed || 486 tries, 485652421 fired transitions, 1035 secs || 94444320 markings, 123661811 edges, 94202 markings/sec, 1035 secs
lola: STP completed || 489 tries, 488038400 fired transitions, 1040 secs || 94908380 markings, 124294023 edges, 92812 markings/sec, 1040 secs
lola: STP completed || 491 tries, 490432774 fired transitions, 1045 secs || 95379039 markings, 124936020 edges, 94132 markings/sec, 1045 secs
lola: STP completed || 493 tries, 492831710 fired transitions, 1050 secs || 95854747 markings, 125584866 edges, 95142 markings/sec, 1050 secs
lola: STP completed || 496 tries, 495231198 fired transitions, 1055 secs || 96323367 markings, 126224073 edges, 93724 markings/sec, 1055 secs
lola: STP completed || 498 tries, 497618529 fired transitions, 1060 secs || 96794428 markings, 126868082 edges, 94212 markings/sec, 1060 secs
lola: STP completed || 501 tries, 500002485 fired transitions, 1065 secs || 97263837 markings, 127508568 edges, 93882 markings/sec, 1065 secs
lola: STP completed || 503 tries, 502395660 fired transitions, 1070 secs || 97731307 markings, 128143185 edges, 93494 markings/sec, 1070 secs
lola: STP completed || 505 tries, 504786572 fired transitions, 1075 secs || 98194044 markings, 128775471 edges, 92547 markings/sec, 1075 secs
lola: STP completed || 508 tries, 507324817 fired transitions, 1080 secs || 98664841 markings, 129418641 edges, 94159 markings/sec, 1080 secs
lola: STP completed || 510 tries, 509809275 fired transitions, 1085 secs || 99135094 markings, 130060504 edges, 94051 markings/sec, 1085 secs
lola: STP completed || 513 tries, 512248072 fired transitions, 1090 secs || 99607160 markings, 130703057 edges, 94413 markings/sec, 1090 secs
lola: STP completed || 515 tries, 514653634 fired transitions, 1095 secs || 100078453 markings, 131347937 edges, 94259 markings/sec, 1095 secs
lola: STP completed || 518 tries, 517048453 fired transitions, 1100 secs || 100546966 markings, 131987137 edges, 93703 markings/sec, 1100 secs
lola: STP completed || 520 tries, 519446446 fired transitions, 1105 secs || 100996115 markings, 132601383 edges, 89830 markings/sec, 1105 secs
lola: STP completed || 522 tries, 521850719 fired transitions, 1110 secs || 101468427 markings, 133245266 edges, 94462 markings/sec, 1110 secs
lola: STP completed || 525 tries, 524260356 fired transitions, 1115 secs || 101938716 markings, 133890693 edges, 94058 markings/sec, 1115 secs
lola: STP completed || 527 tries, 526667516 fired transitions, 1120 secs || 102410137 markings, 134536167 edges, 94284 markings/sec, 1120 secs
lola: STP completed || 530 tries, 529074249 fired transitions, 1125 secs || 102883494 markings, 135183139 edges, 94671 markings/sec, 1125 secs
lola: STP completed || 532 tries, 531480272 fired transitions, 1130 secs || 103356552 markings, 135828770 edges, 94612 markings/sec, 1130 secs
lola: STP completed || 534 tries, 533889091 fired transitions, 1135 secs || 103829930 markings, 136476916 edges, 94676 markings/sec, 1135 secs
lola: STP completed || 537 tries, 536321763 fired transitions, 1140 secs || 104301324 markings, 137121351 edges, 94279 markings/sec, 1140 secs
lola: STP completed || 539 tries, 538826319 fired transitions, 1145 secs || 104775617 markings, 137768921 edges, 94859 markings/sec, 1145 secs
lola: STP completed || 542 tries, 541223228 fired transitions, 1150 secs || 105223408 markings, 138379886 edges, 89558 markings/sec, 1150 secs
lola: STP completed || 544 tries, 543614667 fired transitions, 1155 secs || 105675431 markings, 139000250 edges, 90405 markings/sec, 1155 secs
lola: STP completed || 547 tries, 546017024 fired transitions, 1160 secs || 106142840 markings, 139641933 edges, 93482 markings/sec, 1160 secs
lola: STP completed || 549 tries, 548422129 fired transitions, 1165 secs || 106611402 markings, 140282919 edges, 93712 markings/sec, 1165 secs
lola: STP completed || 551 tries, 550833027 fired transitions, 1170 secs || 107078863 markings, 140923512 edges, 93492 markings/sec, 1170 secs
lola: STP completed || 554 tries, 553344836 fired transitions, 1175 secs || 107552660 markings, 141572185 edges, 94759 markings/sec, 1175 secs
lola: STP completed || 556 tries, 555751494 fired transitions, 1180 secs || 108019001 markings, 142206858 edges, 93268 markings/sec, 1180 secs
lola: STP completed || 559 tries, 558156935 fired transitions, 1185 secs || 108488862 markings, 142849234 edges, 93972 markings/sec, 1185 secs
lola: STP completed || 561 tries, 560568500 fired transitions, 1190 secs || 108951016 markings, 143483606 edges, 92431 markings/sec, 1190 secs
lola: STP completed || 563 tries, 562987166 fired transitions, 1195 secs || 109419979 markings, 144126557 edges, 93793 markings/sec, 1195 secs
lola: STP completed || 566 tries, 565394543 fired transitions, 1200 secs || 109885307 markings, 144766043 edges, 93066 markings/sec, 1200 secs
lola: STP completed || 568 tries, 567805464 fired transitions, 1205 secs || 110348357 markings, 145397416 edges, 92610 markings/sec, 1205 secs
lola: STP completed || 571 tries, 570221479 fired transitions, 1210 secs || 110815824 markings, 146037411 edges, 93493 markings/sec, 1210 secs
lola: STP completed || 573 tries, 572636306 fired transitions, 1215 secs || 111288229 markings, 146683562 edges, 94481 markings/sec, 1215 secs
lola: STP completed || 576 tries, 575042058 fired transitions, 1220 secs || 111753838 markings, 147321202 edges, 93122 markings/sec, 1220 secs
lola: STP completed || 579 tries, 578322005 fired transitions, 1225 secs || 112350371 markings, 148139156 edges, 119307 markings/sec, 1225 secs
lola: STP completed || 582 tries, 581485166 fired transitions, 1230 secs || 112949014 markings, 148962045 edges, 119729 markings/sec, 1230 secs
lola: STP completed || 585 tries, 584667781 fired transitions, 1235 secs || 113548111 markings, 149785914 edges, 119819 markings/sec, 1235 secs
lola: STP completed || 588 tries, 587106358 fired transitions, 1240 secs || 114014610 markings, 150427463 edges, 93300 markings/sec, 1240 secs
lola: STP completed || 590 tries, 589513676 fired transitions, 1245 secs || 114481103 markings, 151068029 edges, 93299 markings/sec, 1245 secs
lola: STP completed || 592 tries, 591921569 fired transitions, 1250 secs || 114949959 markings, 151711346 edges, 93771 markings/sec, 1250 secs
lola: STP completed || 595 tries, 594348160 fired transitions, 1255 secs || 115404783 markings, 152333443 edges, 90965 markings/sec, 1255 secs
lola: STP completed || 597 tries, 596748560 fired transitions, 1260 secs || 115875561 markings, 152979401 edges, 94156 markings/sec, 1260 secs
lola: STP completed || 600 tries, 599166066 fired transitions, 1265 secs || 116345643 markings, 153627473 edges, 94016 markings/sec, 1265 secs
lola: STP completed || 602 tries, 601568273 fired transitions, 1270 secs || 116812852 markings, 154271785 edges, 93442 markings/sec, 1270 secs
lola: STP completed || 604 tries, 603981253 fired transitions, 1275 secs || 117280157 markings, 154912822 edges, 93461 markings/sec, 1275 secs
lola: STP completed || 607 tries, 606395453 fired transitions, 1280 secs || 117752461 markings, 155560165 edges, 94461 markings/sec, 1280 secs
lola: STP completed || 609 tries, 608811837 fired transitions, 1285 secs || 118218559 markings, 156198866 edges, 93220 markings/sec, 1285 secs
lola: STP completed || 612 tries, 611376347 fired transitions, 1290 secs || 118713425 markings, 156877881 edges, 98973 markings/sec, 1290 secs
lola: STP completed || 615 tries, 614152355 fired transitions, 1295 secs || 119243851 markings, 157606995 edges, 106085 markings/sec, 1295 secs
lola: STP completed || 617 tries, 616614180 fired transitions, 1300 secs || 119716825 markings, 158258090 edges, 94595 markings/sec, 1300 secs
lola: STP completed || 620 tries, 619036047 fired transitions, 1305 secs || 120187043 markings, 158902401 edges, 94044 markings/sec, 1305 secs
lola: STP completed || 622 tries, 621456242 fired transitions, 1310 secs || 120651885 markings, 159541346 edges, 92968 markings/sec, 1310 secs
lola: STP completed || 624 tries, 623988746 fired transitions, 1315 secs || 121122609 markings, 160188893 edges, 94145 markings/sec, 1315 secs
lola: STP completed || 627 tries, 626404188 fired transitions, 1320 secs || 121590320 markings, 160833397 edges, 93542 markings/sec, 1320 secs
lola: STP completed || 629 tries, 628825460 fired transitions, 1325 secs || 122058220 markings, 161480657 edges, 93580 markings/sec, 1325 secs
lola: STP completed || 632 tries, 631244665 fired transitions, 1330 secs || 122523857 markings, 162121084 edges, 93127 markings/sec, 1330 secs
lola: STP completed || 634 tries, 633668817 fired transitions, 1335 secs || 122991074 markings, 162761448 edges, 93443 markings/sec, 1335 secs
lola: STP completed || 637 tries, 636091613 fired transitions, 1340 secs || 123460429 markings, 163408868 edges, 93871 markings/sec, 1340 secs
lola: STP completed || 639 tries, 638517884 fired transitions, 1345 secs || 123925199 markings, 164048031 edges, 92954 markings/sec, 1345 secs
lola: STP completed || 641 tries, 640944609 fired transitions, 1350 secs || 124385570 markings, 164683987 edges, 92074 markings/sec, 1350 secs
lola: STP completed || 644 tries, 643369229 fired transitions, 1355 secs || 124856061 markings, 165329826 edges, 94098 markings/sec, 1355 secs
lola: STP completed || 646 tries, 645790734 fired transitions, 1360 secs || 125321151 markings, 165969082 edges, 93018 markings/sec, 1360 secs
lola: STP completed || 649 tries, 648215663 fired transitions, 1365 secs || 125787339 markings, 166610479 edges, 93238 markings/sec, 1365 secs
lola: STP completed || 651 tries, 650630605 fired transitions, 1370 secs || 126253122 markings, 167253582 edges, 93157 markings/sec, 1370 secs
lola: STP completed || 654 tries, 653068496 fired transitions, 1375 secs || 126718336 markings, 167895185 edges, 93043 markings/sec, 1375 secs
lola: STP completed || 656 tries, 655487950 fired transitions, 1380 secs || 127169726 markings, 168515959 edges, 90278 markings/sec, 1380 secs
lola: STP completed || 658 tries, 657909366 fired transitions, 1385 secs || 127623160 markings, 169141159 edges, 90687 markings/sec, 1385 secs
lola: STP completed || 661 tries, 660335400 fired transitions, 1390 secs || 128091302 markings, 169785128 edges, 93628 markings/sec, 1390 secs
lola: STP completed || 663 tries, 662756784 fired transitions, 1395 secs || 128558196 markings, 170430322 edges, 93379 markings/sec, 1395 secs
lola: STP completed || 666 tries, 665181517 fired transitions, 1400 secs || 129024395 markings, 171072891 edges, 93240 markings/sec, 1400 secs
lola: STP completed || 668 tries, 667589879 fired transitions, 1405 secs || 129452052 markings, 171660171 edges, 85531 markings/sec, 1405 secs
lola: STP completed || 670 tries, 669961922 fired transitions, 1410 secs || 129820762 markings, 172168085 edges, 73742 markings/sec, 1410 secs
lola: STP completed || 673 tries, 672370290 fired transitions, 1415 secs || 130270885 markings, 172787934 edges, 90025 markings/sec, 1415 secs
lola: STP completed || 675 tries, 674781219 fired transitions, 1420 secs || 130731010 markings, 173421320 edges, 92025 markings/sec, 1420 secs
lola: STP completed || 678 tries, 677210436 fired transitions, 1425 secs || 131196204 markings, 174063913 edges, 93039 markings/sec, 1425 secs
lola: STP completed || 680 tries, 679644173 fired transitions, 1430 secs || 131660352 markings, 174704074 edges, 92830 markings/sec, 1430 secs
lola: STP completed || 683 tries, 682082860 fired transitions, 1435 secs || 132126965 markings, 175344060 edges, 93323 markings/sec, 1435 secs
lola: STP completed || 685 tries, 684665750 fired transitions, 1440 secs || 132595340 markings, 175987659 edges, 93675 markings/sec, 1440 secs
lola: STP completed || 688 tries, 687841801 fired transitions, 1445 secs || 133186657 markings, 176807061 edges, 118263 markings/sec, 1445 secs
lola: STP completed || 691 tries, 690695816 fired transitions, 1450 secs || 133726821 markings, 177553084 edges, 108033 markings/sec, 1450 secs
lola: STP completed || 694 tries, 693137252 fired transitions, 1455 secs || 134201852 markings, 178207353 edges, 95006 markings/sec, 1455 secs
lola: STP completed || 696 tries, 695594592 fired transitions, 1460 secs || 134659399 markings, 178839224 edges, 91509 markings/sec, 1460 secs
lola: STP completed || 699 tries, 698037560 fired transitions, 1465 secs || 135124366 markings, 179480811 edges, 92993 markings/sec, 1465 secs
lola: STP completed || 701 tries, 700478466 fired transitions, 1470 secs || 135587986 markings, 180122690 edges, 92724 markings/sec, 1470 secs
lola: STP completed || 703 tries, 702911289 fired transitions, 1475 secs || 136051304 markings, 180762599 edges, 92664 markings/sec, 1475 secs
lola: STP completed || 706 tries, 705357074 fired transitions, 1480 secs || 136515949 markings, 181401005 edges, 92929 markings/sec, 1480 secs
lola: STP completed || 708 tries, 707810098 fired transitions, 1485 secs || 136987570 markings, 182052583 edges, 94324 markings/sec, 1485 secs
lola: STP completed || 711 tries, 710263103 fired transitions, 1490 secs || 137457430 markings, 182702156 edges, 93972 markings/sec, 1490 secs
lola: STP completed || 713 tries, 712731154 fired transitions, 1495 secs || 137930980 markings, 183356934 edges, 94710 markings/sec, 1495 secs
lola: STP completed || 716 tries, 715181089 fired transitions, 1500 secs || 138402977 markings, 184008301 edges, 94399 markings/sec, 1500 secs
lola: STP completed || 718 tries, 717633000 fired transitions, 1505 secs || 138873218 markings, 184658945 edges, 94048 markings/sec, 1505 secs
lola: STP completed || 721 tries, 720092973 fired transitions, 1510 secs || 139344768 markings, 185310481 edges, 94310 markings/sec, 1510 secs
lola: STP completed || 723 tries, 722539598 fired transitions, 1515 secs || 139817220 markings, 185960163 edges, 94490 markings/sec, 1515 secs
lola: STP completed || 725 tries, 724982351 fired transitions, 1520 secs || 140286074 markings, 186608010 edges, 93771 markings/sec, 1520 secs
lola: STP completed || 728 tries, 727504137 fired transitions, 1525 secs || 140758658 markings, 187260687 edges, 94517 markings/sec, 1525 secs
lola: STP completed || 730 tries, 729960067 fired transitions, 1530 secs || 141230571 markings, 187912871 edges, 94383 markings/sec, 1530 secs
lola: STP completed || 733 tries, 732413647 fired transitions, 1535 secs || 141703117 markings, 188566873 edges, 94509 markings/sec, 1535 secs
lola: STP completed || 735 tries, 734864698 fired transitions, 1540 secs || 142176526 markings, 189222419 edges, 94682 markings/sec, 1540 secs
lola: STP completed || 738 tries, 737285595 fired transitions, 1545 secs || 142648558 markings, 189873211 edges, 94406 markings/sec, 1545 secs
lola: STP completed || 740 tries, 739647625 fired transitions, 1550 secs || 143130523 markings, 190544929 edges, 96393 markings/sec, 1550 secs
lola: STP completed || 743 tries, 742057779 fired transitions, 1555 secs || 143604543 markings, 191200841 edges, 94804 markings/sec, 1555 secs
lola: STP completed || 745 tries, 744493833 fired transitions, 1560 secs || 144075312 markings, 191850093 edges, 94154 markings/sec, 1560 secs
lola: STP completed || 747 tries, 746949655 fired transitions, 1565 secs || 144543157 markings, 192497081 edges, 93569 markings/sec, 1565 secs
lola: STP completed || 750 tries, 749399123 fired transitions, 1570 secs || 145012825 markings, 193141988 edges, 93934 markings/sec, 1570 secs
lola: STP completed || 752 tries, 751985310 fired transitions, 1575 secs || 145485583 markings, 193799055 edges, 94552 markings/sec, 1575 secs
lola: STP completed || 755 tries, 754438753 fired transitions, 1580 secs || 145953132 markings, 194445958 edges, 93510 markings/sec, 1580 secs
lola: STP completed || 757 tries, 756884866 fired transitions, 1585 secs || 146428348 markings, 195102510 edges, 95043 markings/sec, 1585 secs
lola: STP completed || 760 tries, 759334566 fired transitions, 1590 secs || 146896928 markings, 195749494 edges, 93716 markings/sec, 1590 secs
lola: STP completed || 762 tries, 761787198 fired transitions, 1595 secs || 147364941 markings, 196396414 edges, 93603 markings/sec, 1595 secs
lola: STP completed || 765 tries, 764246053 fired transitions, 1600 secs || 147834024 markings, 197042201 edges, 93817 markings/sec, 1600 secs
lola: STP completed || 767 tries, 766702882 fired transitions, 1605 secs || 148306619 markings, 197694778 edges, 94519 markings/sec, 1605 secs
lola: STP completed || 770 tries, 769207425 fired transitions, 1610 secs || 148779641 markings, 198350316 edges, 94604 markings/sec, 1610 secs
lola: STP completed || 772 tries, 771665259 fired transitions, 1615 secs || 149250056 markings, 199000924 edges, 94083 markings/sec, 1615 secs
lola: STP completed || 775 tries, 774124793 fired transitions, 1620 secs || 149722249 markings, 199657015 edges, 94439 markings/sec, 1620 secs
lola: STP completed || 777 tries, 776584323 fired transitions, 1625 secs || 150192487 markings, 200305521 edges, 94048 markings/sec, 1625 secs
lola: STP completed || 780 tries, 779037047 fired transitions, 1630 secs || 150660795 markings, 200953021 edges, 93662 markings/sec, 1630 secs
lola: STP completed || 782 tries, 781885543 fired transitions, 1635 secs || 151195823 markings, 201692193 edges, 107006 markings/sec, 1635 secs
lola: STP completed || 785 tries, 784348787 fired transitions, 1640 secs || 151664929 markings, 202339860 edges, 93821 markings/sec, 1640 secs
lola: STP completed || 787 tries, 786812546 fired transitions, 1645 secs || 152134275 markings, 202985801 edges, 93869 markings/sec, 1645 secs
lola: STP completed || 790 tries, 789549157 fired transitions, 1650 secs || 152650608 markings, 203702789 edges, 103267 markings/sec, 1650 secs
lola: STP completed || 793 tries, 792035370 fired transitions, 1655 secs || 153120612 markings, 204352236 edges, 94001 markings/sec, 1655 secs
lola: STP completed || 795 tries, 794504989 fired transitions, 1660 secs || 153584745 markings, 204997800 edges, 92827 markings/sec, 1660 secs
lola: STP completed || 797 tries, 796962909 fired transitions, 1665 secs || 154049865 markings, 205643033 edges, 93024 markings/sec, 1665 secs
lola: STP completed || 800 tries, 799427552 fired transitions, 1670 secs || 154513725 markings, 206283877 edges, 92772 markings/sec, 1670 secs
----- Kill lola and sara stderr -----
lola: STP completed || 802 tries, 801892937 fired transitions, 1675 secs || 154977072 markings, 206928170 edges, 92669 markings/sec, 1675 secs
lola: STP completed || 805 tries, 804358705 fired transitions, 1680 secs || 155448294 markings, 207581112 edges, 94244 markings/sec, 1680 secs
lola: STP completed || 807 tries, 806829962 fired transitions, 1685 secs || 155920267 markings, 208233640 edges, 94395 markings/sec, 1685 secs
lola: STP completed || 810 tries, 809300938 fired transitions, 1690 secs || 156392120 markings, 208887355 edges, 94371 markings/sec, 1690 secs
lola: STP completed || 812 tries, 811779193 fired transitions, 1695 secs || 156863976 markings, 209541073 edges, 94371 markings/sec, 1695 secs
lola: STP completed || 815 tries, 814223886 fired transitions, 1700 secs || 157335516 markings, 210193065 edges, 94308 markings/sec, 1700 secs
lola: STP completed || 817 tries, 816675640 fired transitions, 1705 secs || 157809602 markings, 210850793 edges, 94817 markings/sec, 1705 secs
lola: STP completed || 820 tries, 819120527 fired transitions, 1710 secs || 158282568 markings, 211506350 edges, 94593 markings/sec, 1710 secs
lola: STP completed || 822 tries, 821581593 fired transitions, 1715 secs || 158756738 markings, 212162915 edges, 94834 markings/sec, 1715 secs
lola: STP completed || 825 tries, 823999999 fired transitions, 1720 secs || 159143831 markings, 212702522 edges, 77419 markings/sec, 1720 secs
lola: STP completed || 826 tries, 825044639 fired transitions, 1725 secs || 159154368 markings, 212717289 edges, 2107 markings/sec, 1725 secs
lola: STP completed || 826 tries, 825086154 fired transitions, 1730 secs || 159154415 markings, 212717357 edges, 9 markings/sec, 1730 secs
lola: STP completed || 826 tries, 825282294 fired transitions, 1735 secs || 159154429 markings, 212717378 edges, 3 markings/sec, 1735 secs
lola: STP completed || 826 tries, 825445032 fired transitions, 1740 secs || 159154441 markings, 212717395 edges, 2 markings/sec, 1740 secs
lola: STP completed || 826 tries, 825476024 fired transitions, 1745 secs || 159154455 markings, 212717414 edges, 3 markings/sec, 1745 secs
lola: STP completed || 826 tries, 825682605 fired transitions, 1750 secs || 159154467 markings, 212717433 edges, 2 markings/sec, 1750 secs
lola: STP completed || 826 tries, 825946985 fired transitions, 1755 secs || 159154510 markings, 212717498 edges, 9 markings/sec, 1755 secs
lola: STP completed || 827 tries, 826447505 fired transitions, 1760 secs || 159154544 markings, 212717540 edges, 7 markings/sec, 1760 secs
lola: STP completed || 827 tries, 826563180 fired transitions, 1765 secs || 159154556 markings, 212717554 edges, 2 markings/sec, 1765 secs
lola: STP completed || 827 tries, 826687312 fired transitions, 1770 secs || 159154566 markings, 212717565 edges, 2 markings/sec, 1770 secs
lola: STP completed || 828 tries, 827080599 fired transitions, 1775 secs || 159154588 markings, 212717589 edges, 4 markings/sec, 1775 secs
lola: STP completed || 829 tries, 828103630 fired transitions, 1780 secs || 159154625 markings, 212717633 edges, 7 markings/sec, 1780 secs
lola: STP completed || 829 tries, 828728582 fired transitions, 1785 secs || 159154649 markings, 212717661 edges, 5 markings/sec, 1785 secs
lola: STP completed || 830 tries, 829463123 fired transitions, 1790 secs || 159155185 markings, 212718348 edges, 107 markings/sec, 1790 secs
lola: STP completed || 831 tries, 830095316 fired transitions, 1795 secs || 159157156 markings, 212720967 edges, 394 markings/sec, 1795 secs
lola: STP completed || 831 tries, 830216254 fired transitions, 1800 secs || 159157168 markings, 212720985 edges, 2 markings/sec, 1800 secs
lola: STP completed || 831 tries, 830333969 fired transitions, 1805 secs || 159157184 markings, 212721004 edges, 3 markings/sec, 1805 secs
lola: STP completed || 831 tries, 830759578 fired transitions, 1810 secs || 159157209 markings, 212721035 edges, 5 markings/sec, 1810 secs
lola: STP completed || 832 tries, 831258537 fired transitions, 1815 secs || 159158814 markings, 212723104 edges, 321 markings/sec, 1815 secs
lola: STP completed || 832 tries, 831486765 fired transitions, 1820 secs || 159158825 markings, 212723121 edges, 2 markings/sec, 1820 secs
lola: STP completed || 832 tries, 831492683 fired transitions, 1825 secs || 159158833 markings, 212723133 edges, 2 markings/sec, 1825 secs
lola: STP completed || 833 tries, 832359545 fired transitions, 1830 secs || 159161133 markings, 212726331 edges, 460 markings/sec, 1830 secs
lola: STP completed || 833 tries, 832909252 fired transitions, 1835 secs || 159161150 markings, 212726354 edges, 3 markings/sec, 1835 secs
lola: STP completed || 834 tries, 833431391 fired transitions, 1840 secs || 159161169 markings, 212726378 edges, 4 markings/sec, 1840 secs
lola: STP completed || 835 tries, 834243933 fired transitions, 1845 secs || 159161217 markings, 212726452 edges, 10 markings/sec, 1845 secs
lola: STP completed || 835 tries, 834568880 fired transitions, 1850 secs || 159161232 markings, 212726475 edges, 3 markings/sec, 1850 secs
lola: STP completed || 835 tries, 834697446 fired transitions, 1855 secs || 159161255 markings, 212726507 edges, 5 markings/sec, 1855 secs
lola: STP completed || 837 tries, 836000007 fired transitions, 1860 secs || 159161268 markings, 212726526 edges, 3 markings/sec, 1860 secs
lola: STP completed || 837 tries, 836253240 fired transitions, 1865 secs || 159161283 markings, 212726550 edges, 3 markings/sec, 1865 secs
lola: STP completed || 837 tries, 836901531 fired transitions, 1870 secs || 159161298 markings, 212726570 edges, 3 markings/sec, 1870 secs
lola: STP completed || 838 tries, 837055860 fired transitions, 1875 secs || 159161316 markings, 212726588 edges, 4 markings/sec, 1875 secs
lola: STP completed || 838 tries, 837099147 fired transitions, 1880 secs || 159161332 markings, 212726607 edges, 3 markings/sec, 1880 secs
lola: STP completed || 838 tries, 837244366 fired transitions, 1885 secs || 159161343 markings, 212726622 edges, 2 markings/sec, 1885 secs
Killed
FORMULA Ring-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 -----
----- 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="Ring-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/Ring-PT-none.tgz
mv Ring-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 Ring-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-152673584900426"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;