About the Execution of M4M.struct for PaceMaker-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.920 | 1670642.00 | 3259703.00 | 2144.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 316K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.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.5K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K 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 158K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is PaceMaker-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r119-csrt-152666479800342
=====================================================================
--------------------
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 PaceMaker-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527324155474
BK_STOP 1527325826116
--------------------
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 PaceMaker-PT-none as instance name.
Using PaceMaker 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': False, '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': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': False, 'Reversible': True, 'Quasi Live': True, 'Live': True}.
Known tools are: [{'Time': 3663, 'Memory': 292.52, 'Tool': 'itstools'}, {'Time': 3737, 'Memory': 299.32, 'Tool': 'itstools'}, {'Time': 7729, 'Memory': 7483.81, 'Tool': 'marcie'}, {'Time': 7788, 'Memory': 7484.62, 'Tool': 'marcie'}, {'Time': 1153254, 'Memory': 15946.55, 'Tool': 'lola'}, {'Time': 1236719, 'Memory': 15945.85, 'Tool': 'lola'}, {'Time': 2614606, 'Memory': 1268.8, 'Tool': 'gspn'}, {'Time': 2700721, 'Memory': 1241.8, 'Tool': 'gspn'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 314.83865683865685x far from the best tool itstools.
ReachabilityDeadlock lola PaceMaker-PT-none...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
PaceMaker-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
PaceMaker-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityDeadlock @ PaceMaker-PT-none @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 137 (ignored)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 234/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 70 places, 164 transitions, 35 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 105 transition conflict sets
lola: TASK
lola: reading formula from PaceMaker-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 140 bytes per marking, with 0 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: stp: The siphon/trap property is not applicable since the net is inhomogeneous
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 completed || 2 tries, 1082071 fired transitions, 0 secs || 868154 markings, 1683182 edges, 173631 markings/sec, 0 secs
lola: STP completed || 3 tries, 2835657 fired transitions, 5 secs || 1675944 markings, 3217241 edges, 161558 markings/sec, 5 secs
lola: STP completed || 5 tries, 4288649 fired transitions, 10 secs || 2582348 markings, 4973091 edges, 181281 markings/sec, 10 secs
lola: STP completed || 7 tries, 6010437 fired transitions, 15 secs || 3389293 markings, 6533800 edges, 161389 markings/sec, 15 secs
lola: STP completed || 8 tries, 7236747 fired transitions, 20 secs || 4161919 markings, 7904866 edges, 154525 markings/sec, 20 secs
lola: STP completed || 9 tries, 8453637 fired transitions, 25 secs || 4992654 markings, 9445703 edges, 166147 markings/sec, 25 secs
lola: STP completed || 10 tries, 9598144 fired transitions, 30 secs || 5745258 markings, 10849108 edges, 150521 markings/sec, 30 secs
lola: STP completed || 11 tries, 10604051 fired transitions, 35 secs || 6378214 markings, 12127110 edges, 126591 markings/sec, 35 secs
lola: STP completed || 12 tries, 11669327 fired transitions, 40 secs || 7048069 markings, 13693589 edges, 133971 markings/sec, 40 secs
lola: STP completed || 14 tries, 13604447 fired transitions, 45 secs || 7794258 markings, 15253694 edges, 149238 markings/sec, 45 secs
lola: STP completed || 15 tries, 14848415 fired transitions, 50 secs || 8570657 markings, 16886339 edges, 155280 markings/sec, 50 secs
lola: STP completed || 17 tries, 16068322 fired transitions, 55 secs || 9445672 markings, 18657833 edges, 175003 markings/sec, 55 secs
lola: STP completed || 18 tries, 17985208 fired transitions, 60 secs || 10297340 markings, 20226141 edges, 170334 markings/sec, 60 secs
lola: STP completed || 20 tries, 19202942 fired transitions, 65 secs || 11047237 markings, 21522529 edges, 149979 markings/sec, 65 secs
lola: STP completed || 22 tries, 21446166 fired transitions, 70 secs || 11771069 markings, 22722147 edges, 144766 markings/sec, 70 secs
lola: STP completed || 23 tries, 22949392 fired transitions, 75 secs || 12413219 markings, 23807206 edges, 128430 markings/sec, 75 secs
lola: STP completed || 25 tries, 24002078 fired transitions, 80 secs || 13040507 markings, 24918693 edges, 125458 markings/sec, 80 secs
lola: STP completed || 26 tries, 25231934 fired transitions, 85 secs || 13795820 markings, 26319488 edges, 151063 markings/sec, 85 secs
lola: STP completed || 27 tries, 26467532 fired transitions, 90 secs || 14499211 markings, 27552993 edges, 140678 markings/sec, 90 secs
lola: STP completed || 28 tries, 27709699 fired transitions, 95 secs || 15209422 markings, 28822837 edges, 142042 markings/sec, 95 secs
lola: STP completed || 29 tries, 28947716 fired transitions, 100 secs || 15932292 markings, 30125479 edges, 144574 markings/sec, 100 secs
lola: STP completed || 31 tries, 30592833 fired transitions, 105 secs || 16662145 markings, 31451314 edges, 145971 markings/sec, 105 secs
lola: STP completed || 33 tries, 32383559 fired transitions, 110 secs || 17382332 markings, 32763962 edges, 144037 markings/sec, 110 secs
lola: STP completed || 35 tries, 34056693 fired transitions, 115 secs || 18112810 markings, 34127328 edges, 146096 markings/sec, 115 secs
lola: STP completed || 36 tries, 35944481 fired transitions, 120 secs || 18843635 markings, 35509934 edges, 146165 markings/sec, 120 secs
lola: STP completed || 38 tries, 37913964 fired transitions, 125 secs || 19575829 markings, 36894877 edges, 146439 markings/sec, 125 secs
lola: STP completed || 40 tries, 39513788 fired transitions, 130 secs || 20318186 markings, 38338665 edges, 148471 markings/sec, 130 secs
lola: STP completed || 42 tries, 41096908 fired transitions, 135 secs || 21058588 markings, 39799874 edges, 148080 markings/sec, 135 secs
lola: STP completed || 43 tries, 42335546 fired transitions, 140 secs || 21763093 markings, 41227893 edges, 140901 markings/sec, 140 secs
lola: STP completed || 44 tries, 43575243 fired transitions, 145 secs || 22493016 markings, 42734587 edges, 145985 markings/sec, 145 secs
lola: STP completed || 45 tries, 44827655 fired transitions, 150 secs || 23192285 markings, 44186803 edges, 139854 markings/sec, 150 secs
lola: STP completed || 47 tries, 46101731 fired transitions, 155 secs || 23913773 markings, 45731668 edges, 144298 markings/sec, 155 secs
lola: STP completed || 48 tries, 47635963 fired transitions, 160 secs || 24666774 markings, 47298314 edges, 150600 markings/sec, 160 secs
lola: STP completed || 49 tries, 48875816 fired transitions, 165 secs || 25431089 markings, 48833590 edges, 152863 markings/sec, 165 secs
lola: STP completed || 51 tries, 50173732 fired transitions, 170 secs || 26171094 markings, 50384415 edges, 148001 markings/sec, 170 secs
lola: STP completed || 52 tries, 51668534 fired transitions, 175 secs || 26971147 markings, 52182022 edges, 160011 markings/sec, 175 secs
lola: STP completed || 55 tries, 54929231 fired transitions, 180 secs || 27772002 markings, 53877264 edges, 160171 markings/sec, 180 secs
lola: STP completed || 57 tries, 56784779 fired transitions, 185 secs || 28480310 markings, 55256665 edges, 141662 markings/sec, 185 secs
lola: STP completed || 59 tries, 58633845 fired transitions, 190 secs || 29124295 markings, 56483246 edges, 128797 markings/sec, 190 secs
lola: STP completed || 61 tries, 60835653 fired transitions, 195 secs || 29789751 markings, 57764820 edges, 133091 markings/sec, 195 secs
lola: STP completed || 63 tries, 62409433 fired transitions, 200 secs || 30467411 markings, 59110540 edges, 135532 markings/sec, 200 secs
lola: STP completed || 64 tries, 63654190 fired transitions, 205 secs || 31175322 markings, 60489050 edges, 141582 markings/sec, 205 secs
lola: STP completed || 65 tries, 64908093 fired transitions, 210 secs || 31781721 markings, 61656082 edges, 121280 markings/sec, 210 secs
lola: STP completed || 67 tries, 66570499 fired transitions, 215 secs || 32426513 markings, 63040434 edges, 128958 markings/sec, 215 secs
lola: STP completed || 69 tries, 68115528 fired transitions, 220 secs || 33089977 markings, 64383491 edges, 132693 markings/sec, 220 secs
lola: STP completed || 70 tries, 69364105 fired transitions, 225 secs || 33718487 markings, 65598550 edges, 125702 markings/sec, 225 secs
lola: STP completed || 73 tries, 72045338 fired transitions, 230 secs || 34338005 markings, 66959718 edges, 123904 markings/sec, 230 secs
lola: STP completed || 74 tries, 73258216 fired transitions, 235 secs || 34962558 markings, 68125621 edges, 124911 markings/sec, 235 secs
lola: STP completed || 76 tries, 75143911 fired transitions, 240 secs || 35450698 markings, 69080870 edges, 97628 markings/sec, 240 secs
lola: STP completed || 79 tries, 78480677 fired transitions, 245 secs || 35941950 markings, 70022243 edges, 98250 markings/sec, 245 secs
lola: STP completed || 80 tries, 79821165 fired transitions, 250 secs || 36479747 markings, 71066483 edges, 107559 markings/sec, 250 secs
lola: STP completed || 83 tries, 82194615 fired transitions, 255 secs || 37010843 markings, 72173665 edges, 106219 markings/sec, 255 secs
lola: STP completed || 84 tries, 83191838 fired transitions, 260 secs || 37589729 markings, 73491905 edges, 115777 markings/sec, 260 secs
lola: STP completed || 85 tries, 84188871 fired transitions, 265 secs || 38185934 markings, 74886265 edges, 119241 markings/sec, 265 secs
lola: STP completed || 86 tries, 85472016 fired transitions, 270 secs || 38775525 markings, 76197926 edges, 117918 markings/sec, 270 secs
lola: STP completed || 87 tries, 86828428 fired transitions, 275 secs || 39330056 markings, 77221403 edges, 110906 markings/sec, 275 secs
lola: STP completed || 88 tries, 87838728 fired transitions, 280 secs || 39850687 markings, 78177171 edges, 104126 markings/sec, 280 secs
lola: STP completed || 89 tries, 88865408 fired transitions, 285 secs || 40378725 markings, 79270945 edges, 105608 markings/sec, 285 secs
lola: STP completed || 90 tries, 89908826 fired transitions, 290 secs || 40919455 markings, 80592738 edges, 108146 markings/sec, 290 secs
lola: STP completed || 93 tries, 92317715 fired transitions, 295 secs || 41467855 markings, 81879814 edges, 109680 markings/sec, 295 secs
lola: STP completed || 94 tries, 93973035 fired transitions, 300 secs || 41999163 markings, 82870659 edges, 106262 markings/sec, 300 secs
lola: STP completed || 96 tries, 95190797 fired transitions, 305 secs || 42583403 markings, 83973420 edges, 116848 markings/sec, 305 secs
lola: STP completed || 97 tries, 96454574 fired transitions, 310 secs || 43192732 markings, 85226172 edges, 121866 markings/sec, 310 secs
lola: STP completed || 98 tries, 97733351 fired transitions, 315 secs || 43796208 markings, 86751995 edges, 120695 markings/sec, 315 secs
lola: STP completed || 100 tries, 99053706 fired transitions, 320 secs || 44374956 markings, 88317413 edges, 115750 markings/sec, 320 secs
lola: STP completed || 102 tries, 101006769 fired transitions, 325 secs || 45011907 markings, 89949546 edges, 127390 markings/sec, 325 secs
lola: STP completed || 103 tries, 102281399 fired transitions, 330 secs || 45607291 markings, 91438338 edges, 119077 markings/sec, 330 secs
lola: STP completed || 104 tries, 103557002 fired transitions, 335 secs || 46209917 markings, 92785868 edges, 120525 markings/sec, 335 secs
lola: STP completed || 105 tries, 104809911 fired transitions, 340 secs || 46894909 markings, 94384909 edges, 136998 markings/sec, 340 secs
lola: STP completed || 107 tries, 106250459 fired transitions, 345 secs || 47573647 markings, 95943472 edges, 135748 markings/sec, 345 secs
lola: STP completed || 109 tries, 108543899 fired transitions, 350 secs || 48317908 markings, 97380166 edges, 148852 markings/sec, 350 secs
lola: STP completed || 110 tries, 109912022 fired transitions, 355 secs || 49020536 markings, 98633238 edges, 140526 markings/sec, 355 secs
lola: STP completed || 112 tries, 111137038 fired transitions, 360 secs || 49716755 markings, 99809862 edges, 139244 markings/sec, 360 secs
lola: STP completed || 113 tries, 112583503 fired transitions, 365 secs || 50402553 markings, 101094894 edges, 137160 markings/sec, 365 secs
lola: STP completed || 114 tries, 113963719 fired transitions, 370 secs || 51135250 markings, 102608791 edges, 146539 markings/sec, 370 secs
lola: STP completed || 116 tries, 115912349 fired transitions, 375 secs || 51844861 markings, 103900372 edges, 141922 markings/sec, 375 secs
lola: STP completed || 119 tries, 118347366 fired transitions, 380 secs || 52459082 markings, 104976193 edges, 122844 markings/sec, 380 secs
lola: STP completed || 120 tries, 119313247 fired transitions, 385 secs || 53028185 markings, 105950273 edges, 113821 markings/sec, 385 secs
lola: STP completed || 121 tries, 120882892 fired transitions, 390 secs || 53593831 markings, 106933472 edges, 113129 markings/sec, 390 secs
lola: STP completed || 123 tries, 122089596 fired transitions, 395 secs || 54234313 markings, 108109157 edges, 128096 markings/sec, 395 secs
lola: STP completed || 125 tries, 124031529 fired transitions, 400 secs || 54910695 markings, 109300459 edges, 135276 markings/sec, 400 secs
lola: STP completed || 126 tries, 125268942 fired transitions, 405 secs || 55607092 markings, 110552274 edges, 139279 markings/sec, 405 secs
lola: STP completed || 127 tries, 126473216 fired transitions, 410 secs || 56292862 markings, 111797661 edges, 137154 markings/sec, 410 secs
lola: STP completed || 128 tries, 127708008 fired transitions, 415 secs || 57022970 markings, 113137098 edges, 146022 markings/sec, 415 secs
lola: STP completed || 129 tries, 128910828 fired transitions, 420 secs || 57672398 markings, 114331956 edges, 129886 markings/sec, 420 secs
lola: STP completed || 131 tries, 130480867 fired transitions, 425 secs || 58395292 markings, 115666292 edges, 144579 markings/sec, 425 secs
lola: STP completed || 133 tries, 132086657 fired transitions, 430 secs || 59082891 markings, 116965446 edges, 137520 markings/sec, 430 secs
lola: STP completed || 134 tries, 133325115 fired transitions, 435 secs || 59791471 markings, 118337750 edges, 141716 markings/sec, 435 secs
lola: STP completed || 135 tries, 134567893 fired transitions, 440 secs || 60500045 markings, 119733281 edges, 141715 markings/sec, 440 secs
lola: STP completed || 136 tries, 135825578 fired transitions, 445 secs || 61194235 markings, 121105952 edges, 138838 markings/sec, 445 secs
lola: STP completed || 138 tries, 137072271 fired transitions, 450 secs || 61881643 markings, 122477926 edges, 137482 markings/sec, 450 secs
lola: STP completed || 140 tries, 139008300 fired transitions, 455 secs || 62595221 markings, 123947791 edges, 142716 markings/sec, 455 secs
lola: STP completed || 141 tries, 140246251 fired transitions, 460 secs || 63347275 markings, 125549429 edges, 150411 markings/sec, 460 secs
lola: STP completed || 143 tries, 142178331 fired transitions, 465 secs || 64153167 markings, 127290591 edges, 161178 markings/sec, 465 secs
lola: STP completed || 144 tries, 143423821 fired transitions, 470 secs || 64835235 markings, 128579587 edges, 136414 markings/sec, 470 secs
lola: STP completed || 145 tries, 144674321 fired transitions, 475 secs || 65529535 markings, 129952477 edges, 138860 markings/sec, 475 secs
lola: STP completed || 146 tries, 145911760 fired transitions, 480 secs || 66154960 markings, 131253438 edges, 125085 markings/sec, 480 secs
lola: STP completed || 148 tries, 147833517 fired transitions, 485 secs || 66852883 markings, 132673053 edges, 139585 markings/sec, 485 secs
lola: STP completed || 150 tries, 149193173 fired transitions, 490 secs || 67661050 markings, 134474236 edges, 161633 markings/sec, 490 secs
lola: STP completed || 151 tries, 150980460 fired transitions, 495 secs || 68464848 markings, 136169364 edges, 160760 markings/sec, 495 secs
lola: STP completed || 153 tries, 152890046 fired transitions, 500 secs || 69285110 markings, 137989437 edges, 164052 markings/sec, 500 secs
lola: STP completed || 155 tries, 154854871 fired transitions, 505 secs || 69974696 markings, 139604340 edges, 137917 markings/sec, 505 secs
lola: STP completed || 157 tries, 156102521 fired transitions, 510 secs || 70616542 markings, 141108014 edges, 128369 markings/sec, 510 secs
lola: STP completed || 158 tries, 157197131 fired transitions, 515 secs || 71195448 markings, 142192631 edges, 115781 markings/sec, 515 secs
lola: STP completed || 159 tries, 158429713 fired transitions, 520 secs || 71996711 markings, 143891053 edges, 160253 markings/sec, 520 secs
lola: STP completed || 160 tries, 159685899 fired transitions, 525 secs || 72697156 markings, 145204181 edges, 140089 markings/sec, 525 secs
lola: STP completed || 161 tries, 160935223 fired transitions, 530 secs || 73371663 markings, 146464946 edges, 134901 markings/sec, 530 secs
lola: STP completed || 163 tries, 162918461 fired transitions, 535 secs || 74038715 markings, 147775447 edges, 133410 markings/sec, 535 secs
lola: STP completed || 165 tries, 164173041 fired transitions, 540 secs || 74697807 markings, 149056094 edges, 131818 markings/sec, 540 secs
lola: STP completed || 166 tries, 165442817 fired transitions, 545 secs || 75347606 markings, 150358569 edges, 129960 markings/sec, 545 secs
lola: STP completed || 167 tries, 166700290 fired transitions, 550 secs || 76003217 markings, 151671309 edges, 131122 markings/sec, 550 secs
lola: STP completed || 168 tries, 167960272 fired transitions, 555 secs || 76667823 markings, 152985245 edges, 132921 markings/sec, 555 secs
lola: STP completed || 172 tries, 171341553 fired transitions, 560 secs || 77291697 markings, 154191141 edges, 124775 markings/sec, 560 secs
lola: STP completed || 173 tries, 172592567 fired transitions, 565 secs || 77981102 markings, 155536359 edges, 137881 markings/sec, 565 secs
lola: STP completed || 174 tries, 173849953 fired transitions, 570 secs || 78638318 markings, 156963130 edges, 131443 markings/sec, 570 secs
lola: STP completed || 176 tries, 175130780 fired transitions, 575 secs || 79259005 markings, 158571973 edges, 124137 markings/sec, 575 secs
lola: STP completed || 178 tries, 177095677 fired transitions, 580 secs || 79898845 markings, 160153788 edges, 127968 markings/sec, 580 secs
lola: STP completed || 179 tries, 178362002 fired transitions, 585 secs || 80528477 markings, 161615839 edges, 125926 markings/sec, 585 secs
lola: STP completed || 180 tries, 179623349 fired transitions, 590 secs || 81123706 markings, 162778726 edges, 119046 markings/sec, 590 secs
lola: STP completed || 181 tries, 180910400 fired transitions, 595 secs || 81702131 markings, 164066990 edges, 115685 markings/sec, 595 secs
lola: STP completed || 183 tries, 182189561 fired transitions, 600 secs || 82282706 markings, 165212812 edges, 116115 markings/sec, 600 secs
lola: STP completed || 184 tries, 183440683 fired transitions, 605 secs || 83008123 markings, 166763959 edges, 145083 markings/sec, 605 secs
lola: STP completed || 187 tries, 186084351 fired transitions, 610 secs || 83848556 markings, 168487555 edges, 168087 markings/sec, 610 secs
lola: STP completed || 188 tries, 187340323 fired transitions, 615 secs || 84523136 markings, 170084521 edges, 134916 markings/sec, 615 secs
lola: STP completed || 189 tries, 188622873 fired transitions, 620 secs || 85122210 markings, 171734832 edges, 119815 markings/sec, 620 secs
lola: STP completed || 190 tries, 189862878 fired transitions, 625 secs || 85829424 markings, 173169185 edges, 141443 markings/sec, 625 secs
lola: STP completed || 192 tries, 191116077 fired transitions, 630 secs || 86467242 markings, 174459814 edges, 127564 markings/sec, 630 secs
lola: STP completed || 193 tries, 192371894 fired transitions, 635 secs || 87124340 markings, 175810884 edges, 131420 markings/sec, 635 secs
lola: STP completed || 194 tries, 193634532 fired transitions, 640 secs || 87737643 markings, 177025623 edges, 122661 markings/sec, 640 secs
lola: STP completed || 195 tries, 194913587 fired transitions, 645 secs || 88338414 markings, 178529897 edges, 120154 markings/sec, 645 secs
lola: STP completed || 197 tries, 196305422 fired transitions, 650 secs || 88936814 markings, 180052593 edges, 119680 markings/sec, 650 secs
lola: STP completed || 198 tries, 197805087 fired transitions, 655 secs || 89521329 markings, 181014223 edges, 116903 markings/sec, 655 secs
lola: STP completed || 200 tries, 199056856 fired transitions, 660 secs || 90099873 markings, 182057802 edges, 115709 markings/sec, 660 secs
lola: STP completed || 202 tries, 201022828 fired transitions, 665 secs || 90684110 markings, 183116049 edges, 116847 markings/sec, 665 secs
lola: STP completed || 203 tries, 202305293 fired transitions, 670 secs || 91269055 markings, 184188578 edges, 116989 markings/sec, 670 secs
lola: STP completed || 205 tries, 204260016 fired transitions, 675 secs || 91856354 markings, 185280657 edges, 117460 markings/sec, 675 secs
lola: STP completed || 206 tries, 205511924 fired transitions, 680 secs || 92444599 markings, 186413471 edges, 117649 markings/sec, 680 secs
lola: STP completed || 208 tries, 207103440 fired transitions, 685 secs || 93042071 markings, 187558186 edges, 119494 markings/sec, 685 secs
lola: STP completed || 209 tries, 208362490 fired transitions, 690 secs || 93616546 markings, 188662380 edges, 114895 markings/sec, 690 secs
lola: STP completed || 210 tries, 209628765 fired transitions, 695 secs || 94208710 markings, 189811259 edges, 118433 markings/sec, 695 secs
lola: STP completed || 211 tries, 210890709 fired transitions, 700 secs || 94800541 markings, 190967009 edges, 118366 markings/sec, 700 secs
lola: STP completed || 213 tries, 212590334 fired transitions, 705 secs || 95402496 markings, 192145823 edges, 120391 markings/sec, 705 secs
lola: STP completed || 215 tries, 214487427 fired transitions, 710 secs || 96010846 markings, 193351051 edges, 121670 markings/sec, 710 secs
lola: STP completed || 217 tries, 216106595 fired transitions, 715 secs || 96627625 markings, 194569844 edges, 123356 markings/sec, 715 secs
lola: STP completed || 218 tries, 217379764 fired transitions, 720 secs || 97228494 markings, 195755073 edges, 120174 markings/sec, 720 secs
lola: STP completed || 220 tries, 219339583 fired transitions, 725 secs || 97827513 markings, 196948722 edges, 119804 markings/sec, 725 secs
lola: STP completed || 221 tries, 220598455 fired transitions, 730 secs || 98435809 markings, 198167490 edges, 121659 markings/sec, 730 secs
lola: STP completed || 223 tries, 222568630 fired transitions, 735 secs || 99035659 markings, 199385980 edges, 119970 markings/sec, 735 secs
lola: STP completed || 224 tries, 223829318 fired transitions, 740 secs || 99649590 markings, 200640898 edges, 122786 markings/sec, 740 secs
lola: STP completed || 226 tries, 225093020 fired transitions, 745 secs || 100269975 markings, 201938398 edges, 124077 markings/sec, 745 secs
lola: STP completed || 227 tries, 226351056 fired transitions, 750 secs || 100876594 markings, 203232505 edges, 121324 markings/sec, 750 secs
lola: STP completed || 228 tries, 227608952 fired transitions, 755 secs || 101492508 markings, 204541547 edges, 123183 markings/sec, 755 secs
lola: STP completed || 231 tries, 230283048 fired transitions, 760 secs || 102131191 markings, 205871155 edges, 127737 markings/sec, 760 secs
lola: STP completed || 232 tries, 231542411 fired transitions, 765 secs || 102739136 markings, 207172583 edges, 121589 markings/sec, 765 secs
lola: STP completed || 233 tries, 232801053 fired transitions, 770 secs || 103345458 markings, 208461734 edges, 121264 markings/sec, 770 secs
lola: STP completed || 235 tries, 234056849 fired transitions, 775 secs || 103977236 markings, 209858138 edges, 126356 markings/sec, 775 secs
lola: STP completed || 236 tries, 235317388 fired transitions, 780 secs || 104603550 markings, 211244101 edges, 125263 markings/sec, 780 secs
lola: STP completed || 238 tries, 237277184 fired transitions, 785 secs || 105243876 markings, 212683158 edges, 128065 markings/sec, 785 secs
lola: STP completed || 240 tries, 239235818 fired transitions, 790 secs || 105908835 markings, 214202432 edges, 132992 markings/sec, 790 secs
lola: STP completed || 241 tries, 240461788 fired transitions, 795 secs || 106547928 markings, 215687429 edges, 127819 markings/sec, 795 secs
lola: STP completed || 242 tries, 241651306 fired transitions, 800 secs || 107228833 markings, 217237685 edges, 136181 markings/sec, 800 secs
lola: STP completed || 243 tries, 242899063 fired transitions, 805 secs || 107890750 markings, 218698249 edges, 132383 markings/sec, 805 secs
lola: STP completed || 245 tries, 244850980 fired transitions, 810 secs || 108502320 markings, 219902304 edges, 122314 markings/sec, 810 secs
lola: STP completed || 247 tries, 246379229 fired transitions, 815 secs || 109106999 markings, 221189319 edges, 120936 markings/sec, 815 secs
lola: STP completed || 249 tries, 248783193 fired transitions, 820 secs || 109711355 markings, 222375446 edges, 120871 markings/sec, 820 secs
lola: STP completed || 251 tries, 250044539 fired transitions, 825 secs || 110338915 markings, 223857831 edges, 125512 markings/sec, 825 secs
lola: STP completed || 252 tries, 251300707 fired transitions, 830 secs || 110931674 markings, 224975530 edges, 118552 markings/sec, 830 secs
lola: STP completed || 253 tries, 252569569 fired transitions, 835 secs || 111501162 markings, 226144758 edges, 113898 markings/sec, 835 secs
lola: STP completed || 254 tries, 253853263 fired transitions, 840 secs || 112052448 markings, 227385439 edges, 110257 markings/sec, 840 secs
lola: STP completed || 256 tries, 255825618 fired transitions, 845 secs || 112651362 markings, 228657683 edges, 119783 markings/sec, 845 secs
lola: STP completed || 258 tries, 257286099 fired transitions, 850 secs || 113246348 markings, 229919697 edges, 118997 markings/sec, 850 secs
lola: STP completed || 260 tries, 259052389 fired transitions, 855 secs || 113863634 markings, 231274775 edges, 123457 markings/sec, 855 secs
lola: STP completed || 261 tries, 260296321 fired transitions, 860 secs || 114578735 markings, 232967638 edges, 143020 markings/sec, 860 secs
lola: STP completed || 262 tries, 261543566 fired transitions, 865 secs || 115239193 markings, 234568532 edges, 132092 markings/sec, 865 secs
lola: STP completed || 263 tries, 262794256 fired transitions, 870 secs || 115888916 markings, 236121764 edges, 129945 markings/sec, 870 secs
lola: STP completed || 265 tries, 264166058 fired transitions, 875 secs || 116556756 markings, 237716078 edges, 133568 markings/sec, 875 secs
lola: STP completed || 267 tries, 266113793 fired transitions, 880 secs || 117141270 markings, 239192258 edges, 116903 markings/sec, 880 secs
lola: STP completed || 268 tries, 267998385 fired transitions, 885 secs || 117754796 markings, 240410702 edges, 122705 markings/sec, 885 secs
lola: STP completed || 270 tries, 269268269 fired transitions, 890 secs || 118297985 markings, 241557137 edges, 108638 markings/sec, 890 secs
lola: STP completed || 271 tries, 270527497 fired transitions, 895 secs || 118881828 markings, 242784919 edges, 116769 markings/sec, 895 secs
lola: STP completed || 273 tries, 272500696 fired transitions, 900 secs || 119482740 markings, 244074544 edges, 120182 markings/sec, 900 secs
lola: STP completed || 274 tries, 273752010 fired transitions, 905 secs || 120200725 markings, 245625265 edges, 143597 markings/sec, 905 secs
----- Start make result stderr -----
lola: STP completed || 275 tries, 274999828 fired transitions, 910 secs || 120903821 markings, 247184319 edges, 140619 markings/sec, 910 secs
lola: STP completed || 277 tries, 276274029 fired transitions, 915 secs || 121467041 markings, 248303072 edges, 112644 markings/sec, 915 secs
lola: STP completed || 278 tries, 277541302 fired transitions, 920 secs || 122033910 markings, 249528357 edges, 113374 markings/sec, 920 secs
lola: STP completed || 279 tries, 278821496 fired transitions, 925 secs || 122575500 markings, 250861662 edges, 108318 markings/sec, 925 secs
lola: STP completed || 281 tries, 280282941 fired transitions, 930 secs || 123133169 markings, 252012851 edges, 111534 markings/sec, 930 secs
lola: STP completed || 283 tries, 282068799 fired transitions, 935 secs || 123690481 markings, 253208576 edges, 111462 markings/sec, 935 secs
lola: STP completed || 284 tries, 283342191 fired transitions, 940 secs || 124245902 markings, 254524976 edges, 111084 markings/sec, 940 secs
lola: STP completed || 285 tries, 284595629 fired transitions, 945 secs || 124932283 markings, 256062785 edges, 137276 markings/sec, 945 secs
lola: STP completed || 287 tries, 286778566 fired transitions, 950 secs || 125700797 markings, 257682271 edges, 153703 markings/sec, 950 secs
lola: STP completed || 289 tries, 288133753 fired transitions, 955 secs || 126272315 markings, 259189065 edges, 114304 markings/sec, 955 secs
lola: STP completed || 291 tries, 290141282 fired transitions, 960 secs || 126826591 markings, 260659494 edges, 110855 markings/sec, 960 secs
lola: STP completed || 292 tries, 291412038 fired transitions, 965 secs || 127438882 markings, 262160335 edges, 122458 markings/sec, 965 secs
lola: STP completed || 295 tries, 294149651 fired transitions, 970 secs || 128007196 markings, 263649994 edges, 113663 markings/sec, 970 secs
lola: STP completed || 296 tries, 295445001 fired transitions, 975 secs || 128537022 markings, 265124927 edges, 105965 markings/sec, 975 secs
lola: STP completed || 299 tries, 298171602 fired transitions, 980 secs || 129087410 markings, 266604590 edges, 110078 markings/sec, 980 secs
lola: STP completed || 300 tries, 299485444 fired transitions, 985 secs || 129608441 markings, 268092005 edges, 104206 markings/sec, 985 secs
lola: STP completed || 301 tries, 300796041 fired transitions, 990 secs || 130125290 markings, 269600559 edges, 103370 markings/sec, 990 secs
lola: STP completed || 303 tries, 302079338 fired transitions, 995 secs || 130664031 markings, 271141382 edges, 107748 markings/sec, 995 secs
lola: STP completed || 304 tries, 303320846 fired transitions, 1000 secs || 131245292 markings, 272101393 edges, 116252 markings/sec, 1000 secs
lola: STP completed || 305 tries, 304579998 fired transitions, 1005 secs || 131824937 markings, 273111725 edges, 115929 markings/sec, 1005 secs
lola: STP completed || 306 tries, 305835305 fired transitions, 1010 secs || 132408353 markings, 274164781 edges, 116683 markings/sec, 1010 secs
lola: STP completed || 308 tries, 307074501 fired transitions, 1015 secs || 133059095 markings, 275505797 edges, 130148 markings/sec, 1015 secs
lola: STP completed || 309 tries, 308336742 fired transitions, 1020 secs || 133647612 markings, 276598891 edges, 117703 markings/sec, 1020 secs
lola: STP completed || 310 tries, 309587008 fired transitions, 1025 secs || 134230431 markings, 277694644 edges, 116564 markings/sec, 1025 secs
lola: STP completed || 312 tries, 311541340 fired transitions, 1030 secs || 134832929 markings, 278834415 edges, 120500 markings/sec, 1030 secs
lola: STP completed || 313 tries, 312794739 fired transitions, 1035 secs || 135430024 markings, 280001472 edges, 119419 markings/sec, 1035 secs
lola: STP completed || 317 tries, 316594382 fired transitions, 1040 secs || 136051052 markings, 281202997 edges, 124206 markings/sec, 1040 secs
lola: STP completed || 319 tries, 318118471 fired transitions, 1045 secs || 136623679 markings, 282325519 edges, 114525 markings/sec, 1045 secs
lola: STP completed || 321 tries, 320080188 fired transitions, 1050 secs || 137236897 markings, 283520592 edges, 122644 markings/sec, 1050 secs
lola: STP completed || 323 tries, 322031991 fired transitions, 1055 secs || 137850416 markings, 284724033 edges, 122704 markings/sec, 1055 secs
lola: STP completed || 324 tries, 323283236 fired transitions, 1060 secs || 138477365 markings, 285954907 edges, 125390 markings/sec, 1060 secs
lola: STP completed || 325 tries, 324817843 fired transitions, 1065 secs || 139090315 markings, 287174868 edges, 122590 markings/sec, 1065 secs
lola: STP completed || 327 tries, 326151369 fired transitions, 1070 secs || 139694793 markings, 288381001 edges, 120896 markings/sec, 1070 secs
lola: STP completed || 328 tries, 327410718 fired transitions, 1075 secs || 140309006 markings, 289608731 edges, 122843 markings/sec, 1075 secs
lola: STP completed || 329 tries, 328671112 fired transitions, 1080 secs || 140916114 markings, 290837143 edges, 121422 markings/sec, 1080 secs
lola: STP completed || 330 tries, 329900069 fired transitions, 1085 secs || 141500421 markings, 292039583 edges, 116861 markings/sec, 1085 secs
lola: STP completed || 332 tries, 331148732 fired transitions, 1090 secs || 142114834 markings, 293306840 edges, 122883 markings/sec, 1090 secs
lola: STP completed || 333 tries, 332614636 fired transitions, 1095 secs || 142735379 markings, 294612662 edges, 124109 markings/sec, 1095 secs
lola: STP completed || 334 tries, 333998291 fired transitions, 1100 secs || 143373687 markings, 295978242 edges, 127662 markings/sec, 1100 secs
lola: STP completed || 336 tries, 335261762 fired transitions, 1105 secs || 144018841 markings, 297346821 edges, 129031 markings/sec, 1105 secs
lola: STP completed || 337 tries, 336514982 fired transitions, 1110 secs || 144662590 markings, 298727729 edges, 128750 markings/sec, 1110 secs
lola: STP completed || 338 tries, 337772391 fired transitions, 1115 secs || 145266147 markings, 300019359 edges, 120711 markings/sec, 1115 secs
lola: STP completed || 340 tries, 339030597 fired transitions, 1120 secs || 145879323 markings, 301338217 edges, 122635 markings/sec, 1120 secs
lola: STP completed || 341 tries, 340296360 fired transitions, 1125 secs || 146503185 markings, 302712050 edges, 124772 markings/sec, 1125 secs
lola: STP completed || 342 tries, 341557885 fired transitions, 1130 secs || 147125465 markings, 304157304 edges, 124456 markings/sec, 1130 secs
lola: STP completed || 343 tries, 342809991 fired transitions, 1135 secs || 147758153 markings, 305555316 edges, 126538 markings/sec, 1135 secs
lola: STP completed || 345 tries, 344178307 fired transitions, 1140 secs || 148449600 markings, 307046926 edges, 138289 markings/sec, 1140 secs
lola: STP completed || 347 tries, 346006957 fired transitions, 1145 secs || 149121635 markings, 308637357 edges, 134407 markings/sec, 1145 secs
lola: STP completed || 348 tries, 347904865 fired transitions, 1150 secs || 149751395 markings, 310112521 edges, 125952 markings/sec, 1150 secs
lola: STP completed || 350 tries, 349234185 fired transitions, 1155 secs || 150356032 markings, 311510302 edges, 120927 markings/sec, 1155 secs
lola: STP completed || 351 tries, 350517124 fired transitions, 1160 secs || 150918065 markings, 312695571 edges, 112407 markings/sec, 1160 secs
lola: STP completed || 352 tries, 351781868 fired transitions, 1165 secs || 151511910 markings, 313845201 edges, 118769 markings/sec, 1165 secs
lola: STP completed || 354 tries, 353150444 fired transitions, 1170 secs || 152097038 markings, 315074564 edges, 117026 markings/sec, 1170 secs
lola: STP completed || 356 tries, 355002165 fired transitions, 1175 secs || 152688845 markings, 316286960 edges, 118361 markings/sec, 1175 secs
lola: STP completed || 357 tries, 356257839 fired transitions, 1180 secs || 153307992 markings, 317599768 edges, 123829 markings/sec, 1180 secs
lola: STP completed || 358 tries, 357503693 fired transitions, 1185 secs || 154031700 markings, 319236464 edges, 144742 markings/sec, 1185 secs
lola: STP completed || 359 tries, 358746035 fired transitions, 1190 secs || 154708025 markings, 320849216 edges, 135265 markings/sec, 1190 secs
lola: STP completed || 360 tries, 359984675 fired transitions, 1195 secs || 155415961 markings, 322437764 edges, 141587 markings/sec, 1195 secs
lola: STP completed || 362 tries, 361219224 fired transitions, 1200 secs || 156169925 markings, 324040124 edges, 150793 markings/sec, 1200 secs
lola: STP completed || 363 tries, 362278640 fired transitions, 1205 secs || 156743860 markings, 325273942 edges, 114787 markings/sec, 1205 secs
lola: STP completed || 364 tries, 363288685 fired transitions, 1210 secs || 157353298 markings, 326570974 edges, 121888 markings/sec, 1210 secs
lola: STP completed || 366 tries, 365140545 fired transitions, 1215 secs || 157965661 markings, 327933171 edges, 122473 markings/sec, 1215 secs
lola: STP completed || 367 tries, 366380218 fired transitions, 1220 secs || 158536784 markings, 329197771 edges, 114225 markings/sec, 1220 secs
lola: STP completed || 369 tries, 368369872 fired transitions, 1225 secs || 159102748 markings, 330670587 edges, 113193 markings/sec, 1225 secs
lola: STP completed || 370 tries, 369647963 fired transitions, 1230 secs || 159678322 markings, 332149128 edges, 115115 markings/sec, 1230 secs
lola: STP completed || 371 tries, 370915116 fired transitions, 1235 secs || 160274357 markings, 333664391 edges, 119207 markings/sec, 1235 secs
lola: STP completed || 373 tries, 372176180 fired transitions, 1240 secs || 160933520 markings, 335293066 edges, 131833 markings/sec, 1240 secs
lola: STP completed || 374 tries, 373443183 fired transitions, 1245 secs || 161569146 markings, 336815569 edges, 127125 markings/sec, 1245 secs
lola: STP completed || 375 tries, 374696711 fired transitions, 1250 secs || 162159005 markings, 337988555 edges, 117972 markings/sec, 1250 secs
lola: STP completed || 376 tries, 375962164 fired transitions, 1255 secs || 162744396 markings, 339183261 edges, 117078 markings/sec, 1255 secs
lola: STP completed || 378 tries, 377964762 fired transitions, 1260 secs || 163311596 markings, 340527371 edges, 113440 markings/sec, 1260 secs
lola: STP completed || 380 tries, 379197044 fired transitions, 1265 secs || 163810947 markings, 341852589 edges, 99870 markings/sec, 1265 secs
lola: STP completed || 382 tries, 381061433 fired transitions, 1270 secs || 164231423 markings, 342984985 edges, 84095 markings/sec, 1270 secs
lola: STP completed || 383 tries, 382069039 fired transitions, 1275 secs || 164789172 markings, 344319527 edges, 111550 markings/sec, 1275 secs
lola: STP completed || 384 tries, 383320621 fired transitions, 1280 secs || 165386313 markings, 345784497 edges, 119428 markings/sec, 1280 secs
lola: STP completed || 386 tries, 385969159 fired transitions, 1285 secs || 166031303 markings, 347200051 edges, 128998 markings/sec, 1285 secs
lola: STP completed || 388 tries, 387248597 fired transitions, 1290 secs || 166619293 markings, 348399246 edges, 117598 markings/sec, 1290 secs
lola: STP completed || 389 tries, 388514501 fired transitions, 1295 secs || 167192377 markings, 349672557 edges, 114617 markings/sec, 1295 secs
lola: STP completed || 390 tries, 389778899 fired transitions, 1300 secs || 167773331 markings, 350849427 edges, 116191 markings/sec, 1300 secs
lola: STP completed || 392 tries, 391044037 fired transitions, 1305 secs || 168354634 markings, 352090983 edges, 116261 markings/sec, 1305 secs
lola: STP completed || 393 tries, 392319266 fired transitions, 1310 secs || 168905656 markings, 353437969 edges, 110204 markings/sec, 1310 secs
lola: STP completed || 394 tries, 393612194 fired transitions, 1315 secs || 169411516 markings, 354884402 edges, 101172 markings/sec, 1315 secs
lola: STP completed || 395 tries, 394905759 fired transitions, 1320 secs || 169916015 markings, 356353211 edges, 100900 markings/sec, 1320 secs
lola: STP completed || 397 tries, 396898546 fired transitions, 1325 secs || 170504096 markings, 357838252 edges, 117616 markings/sec, 1325 secs
lola: STP completed || 401 tries, 400245357 fired transitions, 1330 secs || 171190824 markings, 359146216 edges, 137346 markings/sec, 1330 secs
lola: STP completed || 402 tries, 401499423 fired transitions, 1335 secs || 171845152 markings, 360442780 edges, 130866 markings/sec, 1335 secs
lola: STP completed || 403 tries, 402755707 fired transitions, 1340 secs || 172451913 markings, 361623968 edges, 121352 markings/sec, 1340 secs
lola: STP completed || 405 tries, 404002363 fired transitions, 1345 secs || 173091364 markings, 363070073 edges, 127890 markings/sec, 1345 secs
lola: STP completed || 406 tries, 405279824 fired transitions, 1350 secs || 173717118 markings, 364307635 edges, 125151 markings/sec, 1350 secs
lola: STP completed || 408 tries, 407247157 fired transitions, 1355 secs || 174388777 markings, 365645089 edges, 134332 markings/sec, 1355 secs
lola: STP completed || 409 tries, 408501023 fired transitions, 1360 secs || 175050243 markings, 367028769 edges, 132293 markings/sec, 1360 secs
lola: STP completed || 410 tries, 409765181 fired transitions, 1365 secs || 175656776 markings, 368204435 edges, 121307 markings/sec, 1365 secs
lola: STP completed || 412 tries, 411025783 fired transitions, 1370 secs || 176262697 markings, 369405089 edges, 121184 markings/sec, 1370 secs
lola: STP completed || 413 tries, 412290955 fired transitions, 1375 secs || 176859973 markings, 370719336 edges, 119455 markings/sec, 1375 secs
lola: STP completed || 414 tries, 413581486 fired transitions, 1380 secs || 177409382 markings, 372083203 edges, 109882 markings/sec, 1380 secs
lola: STP completed || 416 tries, 415541914 fired transitions, 1385 secs || 178025549 markings, 373433243 edges, 123233 markings/sec, 1385 secs
lola: STP completed || 417 tries, 416786938 fired transitions, 1390 secs || 178700928 markings, 375087451 edges, 135076 markings/sec, 1390 secs
lola: STP completed || 419 tries, 418036199 fired transitions, 1395 secs || 179375085 markings, 376664952 edges, 134831 markings/sec, 1395 secs
lola: STP completed || 420 tries, 419302278 fired transitions, 1400 secs || 179987511 markings, 378040260 edges, 122485 markings/sec, 1400 secs
lola: STP completed || 421 tries, 420831957 fired transitions, 1405 secs || 180709901 markings, 379427373 edges, 144478 markings/sec, 1405 secs
lola: STP completed || 423 tries, 422136030 fired transitions, 1410 secs || 181401021 markings, 380781657 edges, 138224 markings/sec, 1410 secs
lola: STP completed || 424 tries, 423381617 fired transitions, 1415 secs || 182023572 markings, 381876030 edges, 124510 markings/sec, 1415 secs
lola: STP completed || 425 tries, 424629959 fired transitions, 1420 secs || 182583559 markings, 382794633 edges, 111997 markings/sec, 1420 secs
lola: STP completed || 427 tries, 426580328 fired transitions, 1425 secs || 183161357 markings, 383787914 edges, 115560 markings/sec, 1425 secs
lola: STP completed || 428 tries, 427833348 fired transitions, 1430 secs || 183735565 markings, 384792434 edges, 114842 markings/sec, 1430 secs
lola: STP completed || 430 tries, 429087115 fired transitions, 1435 secs || 184312983 markings, 385806067 edges, 115484 markings/sec, 1435 secs
lola: STP completed || 431 tries, 430346812 fired transitions, 1440 secs || 184887327 markings, 386825457 edges, 114869 markings/sec, 1440 secs
lola: STP completed || 432 tries, 431608617 fired transitions, 1445 secs || 185475134 markings, 387893813 edges, 117561 markings/sec, 1445 secs
lola: STP completed || 433 tries, 432864901 fired transitions, 1450 secs || 186059698 markings, 388964314 edges, 116913 markings/sec, 1450 secs
lola: STP completed || 435 tries, 434431832 fired transitions, 1455 secs || 186655694 markings, 390059473 edges, 119199 markings/sec, 1455 secs
lola: STP completed || 437 tries, 436086222 fired transitions, 1460 secs || 187261045 markings, 391179701 edges, 121070 markings/sec, 1460 secs
lola: STP completed || 439 tries, 438059928 fired transitions, 1465 secs || 187859309 markings, 392292850 edges, 119653 markings/sec, 1465 secs
lola: STP completed || 441 tries, 440018278 fired transitions, 1470 secs || 188473750 markings, 393459705 edges, 122888 markings/sec, 1470 secs
lola: STP completed || 442 tries, 441971158 fired transitions, 1475 secs || 189080145 markings, 394593579 edges, 121279 markings/sec, 1475 secs
lola: STP completed || 444 tries, 443255857 fired transitions, 1480 secs || 189686025 markings, 395746504 edges, 121176 markings/sec, 1480 secs
lola: STP completed || 446 tries, 445814921 fired transitions, 1485 secs || 190304684 markings, 396895279 edges, 123732 markings/sec, 1485 secs
lola: STP completed || 448 tries, 447214297 fired transitions, 1490 secs || 190929686 markings, 398112066 edges, 125000 markings/sec, 1490 secs
lola: STP completed || 449 tries, 448484869 fired transitions, 1495 secs || 191541323 markings, 399322658 edges, 122327 markings/sec, 1495 secs
lola: STP completed || 451 tries, 450457199 fired transitions, 1500 secs || 192170525 markings, 400582455 edges, 125840 markings/sec, 1500 secs
lola: STP completed || 452 tries, 451714217 fired transitions, 1505 secs || 192798038 markings, 401849276 edges, 125503 markings/sec, 1505 secs
lola: STP completed || 453 tries, 452972282 fired transitions, 1510 secs || 193414536 markings, 403093853 edges, 123300 markings/sec, 1510 secs
lola: STP completed || 455 tries, 454228289 fired transitions, 1515 secs || 194016628 markings, 404357417 edges, 120418 markings/sec, 1515 secs
lola: STP completed || 456 tries, 455488123 fired transitions, 1520 secs || 194623318 markings, 405695173 edges, 121338 markings/sec, 1520 secs
lola: STP completed || 457 tries, 456741623 fired transitions, 1525 secs || 195287546 markings, 407152126 edges, 132846 markings/sec, 1525 secs
lola: STP completed || 458 tries, 457994972 fired transitions, 1530 secs || 195943882 markings, 408607141 edges, 131267 markings/sec, 1530 secs
lola: STP completed || 460 tries, 459245473 fired transitions, 1535 secs || 196630328 markings, 410136080 edges, 137289 markings/sec, 1535 secs
lola: STP completed || 462 tries, 461218153 fired transitions, 1540 secs || 197227731 markings, 411482310 edges, 119481 markings/sec, 1540 secs
lola: STP completed || 463 tries, 462402945 fired transitions, 1545 secs || 197829288 markings, 412877666 edges, 120311 markings/sec, 1545 secs
lola: STP completed || 464 tries, 463678670 fired transitions, 1550 secs || 198456892 markings, 414305338 edges, 125521 markings/sec, 1550 secs
lola: STP completed || 465 tries, 464958755 fired transitions, 1555 secs || 199024304 markings, 415623570 edges, 113482 markings/sec, 1555 secs
lola: STP completed || 467 tries, 466902918 fired transitions, 1560 secs || 199571525 markings, 416667237 edges, 109444 markings/sec, 1560 secs
lola: STP completed || 469 tries, 468159699 fired transitions, 1565 secs || 200091438 markings, 417652958 edges, 103983 markings/sec, 1565 secs
lola: STP completed || 470 tries, 469410685 fired transitions, 1570 secs || 200792735 markings, 419122275 edges, 140259 markings/sec, 1570 secs
lola: STP completed || 471 tries, 470673841 fired transitions, 1575 secs || 201349200 markings, 420216761 edges, 111293 markings/sec, 1575 secs
lola: STP completed || 472 tries, 471939867 fired transitions, 1580 secs || 201870178 markings, 421404621 edges, 104196 markings/sec, 1580 secs
lola: STP completed || 474 tries, 473210524 fired transitions, 1585 secs || 202463651 markings, 422824727 edges, 118695 markings/sec, 1585 secs
lola: STP completed || 475 tries, 474410456 fired transitions, 1590 secs || 203113793 markings, 424363182 edges, 130028 markings/sec, 1590 secs
lola: STP completed || 476 tries, 475131143 fired transitions, 1595 secs || 203278026 markings, 424743610 edges, 32847 markings/sec, 1595 secs
lola: STP completed || 476 tries, 475600654 fired transitions, 1600 secs || 203283841 markings, 424754044 edges, 1163 markings/sec, 1600 secs
lola: STP completed || 476 tries, 475608271 fired transitions, 1605 secs || 203283851 markings, 424754060 edges, 2 markings/sec, 1605 secs
Killed
FORMULA PaceMaker-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 -----
----- Kill lola and sara stderr -----
----- 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="PaceMaker-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/PaceMaker-PT-none.tgz
mv PaceMaker-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 PaceMaker-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 r119-csrt-152666479800342"
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 ;