About the Execution of M4M.full for PaceMaker-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.310 | 1641244.00 | 3082119.00 | 1821.30 | ? | 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-full
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 r118-csrt-152666478300342
=====================================================================
--------------------
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 1527294341082
BK_STOP 1527295982326
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-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 bmdt.
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 stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ PaceMaker-PT-none @ 3539 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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: 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, 1073792 fired transitions, 0 secs || 953070 markings, 1869765 edges, 190614 markings/sec, 0 secs
lola: STP completed || 3 tries, 2271112 fired transitions, 5 secs || 1954120 markings, 3814082 edges, 200210 markings/sec, 5 secs
lola: STP completed || 4 tries, 3526707 fired transitions, 10 secs || 2926697 markings, 5713789 edges, 194515 markings/sec, 10 secs
lola: STP completed || 5 tries, 4779292 fired transitions, 15 secs || 3794059 markings, 7300439 edges, 173472 markings/sec, 15 secs
lola: STP completed || 7 tries, 6019790 fired transitions, 20 secs || 4722561 markings, 8990305 edges, 185700 markings/sec, 20 secs
lola: STP completed || 8 tries, 7899727 fired transitions, 25 secs || 5568182 markings, 10603252 edges, 169124 markings/sec, 25 secs
lola: STP completed || 10 tries, 9230856 fired transitions, 30 secs || 6404226 markings, 12209213 edges, 167209 markings/sec, 30 secs
lola: STP completed || 11 tries, 10528265 fired transitions, 35 secs || 7178566 markings, 13974684 edges, 154868 markings/sec, 35 secs
lola: STP completed || 12 tries, 11791981 fired transitions, 40 secs || 8045241 markings, 15807821 edges, 173335 markings/sec, 40 secs
lola: STP completed || 14 tries, 13030727 fired transitions, 45 secs || 8838419 markings, 17427555 edges, 158636 markings/sec, 45 secs
lola: STP completed || 15 tries, 14218036 fired transitions, 50 secs || 9589906 markings, 19175705 edges, 150297 markings/sec, 50 secs
lola: STP completed || 16 tries, 15407022 fired transitions, 55 secs || 10370422 markings, 20824047 edges, 156103 markings/sec, 55 secs
lola: STP completed || 17 tries, 16602678 fired transitions, 60 secs || 11180392 markings, 22444028 edges, 161994 markings/sec, 60 secs
lola: STP completed || 18 tries, 17797325 fired transitions, 65 secs || 12051101 markings, 24119900 edges, 174142 markings/sec, 65 secs
lola: STP completed || 19 tries, 18961945 fired transitions, 70 secs || 12914149 markings, 25686972 edges, 172610 markings/sec, 70 secs
lola: STP completed || 22 tries, 21552859 fired transitions, 75 secs || 13661621 markings, 26894121 edges, 149494 markings/sec, 75 secs
lola: STP completed || 23 tries, 22742699 fired transitions, 80 secs || 14393843 markings, 28161657 edges, 146444 markings/sec, 80 secs
lola: STP completed || 24 tries, 23948958 fired transitions, 85 secs || 15130033 markings, 29412211 edges, 147238 markings/sec, 85 secs
lola: STP completed || 26 tries, 25561201 fired transitions, 90 secs || 15919801 markings, 31004741 edges, 157954 markings/sec, 90 secs
lola: STP completed || 28 tries, 27062567 fired transitions, 95 secs || 16649785 markings, 32300806 edges, 145997 markings/sec, 95 secs
lola: STP completed || 29 tries, 28269048 fired transitions, 100 secs || 17379500 markings, 33629314 edges, 145943 markings/sec, 100 secs
lola: STP completed || 31 tries, 30693558 fired transitions, 105 secs || 18138513 markings, 34987423 edges, 151803 markings/sec, 105 secs
lola: STP completed || 33 tries, 32111540 fired transitions, 110 secs || 18889633 markings, 36346623 edges, 150224 markings/sec, 110 secs
lola: STP completed || 34 tries, 33293492 fired transitions, 115 secs || 19635431 markings, 37694306 edges, 149160 markings/sec, 115 secs
lola: STP completed || 35 tries, 34499477 fired transitions, 120 secs || 20377403 markings, 39067781 edges, 148394 markings/sec, 120 secs
lola: STP completed || 37 tries, 36400690 fired transitions, 125 secs || 21120840 markings, 40437789 edges, 148687 markings/sec, 125 secs
lola: STP completed || 39 tries, 38289055 fired transitions, 130 secs || 21873657 markings, 41887883 edges, 150563 markings/sec, 130 secs
lola: STP completed || 40 tries, 39518961 fired transitions, 135 secs || 22654421 markings, 43400487 edges, 156153 markings/sec, 135 secs
lola: STP completed || 41 tries, 40715970 fired transitions, 140 secs || 23418775 markings, 44894885 edges, 152871 markings/sec, 140 secs
lola: STP completed || 44 tries, 43296708 fired transitions, 145 secs || 24205159 markings, 46453047 edges, 157277 markings/sec, 145 secs
lola: STP completed || 45 tries, 44495680 fired transitions, 150 secs || 24933809 markings, 47911468 edges, 145730 markings/sec, 150 secs
lola: STP completed || 46 tries, 45713649 fired transitions, 155 secs || 25710070 markings, 49555160 edges, 155252 markings/sec, 155 secs
lola: STP completed || 47 tries, 46932750 fired transitions, 160 secs || 26441801 markings, 51075802 edges, 146346 markings/sec, 160 secs
lola: STP completed || 49 tries, 48852453 fired transitions, 165 secs || 27237019 markings, 52779437 edges, 159044 markings/sec, 165 secs
lola: STP completed || 52 tries, 51319989 fired transitions, 170 secs || 27988580 markings, 54295011 edges, 150312 markings/sec, 170 secs
lola: STP completed || 54 tries, 53701101 fired transitions, 175 secs || 28812108 markings, 56089151 edges, 164706 markings/sec, 175 secs
lola: STP completed || 55 tries, 54921543 fired transitions, 180 secs || 29560613 markings, 57736027 edges, 149701 markings/sec, 180 secs
lola: STP completed || 57 tries, 56126397 fired transitions, 185 secs || 30383534 markings, 59612573 edges, 164584 markings/sec, 185 secs
lola: STP completed || 58 tries, 57340066 fired transitions, 190 secs || 31121278 markings, 61130429 edges, 147549 markings/sec, 190 secs
lola: STP completed || 59 tries, 58525373 fired transitions, 195 secs || 31932574 markings, 62744654 edges, 162259 markings/sec, 195 secs
lola: STP completed || 60 tries, 59728479 fired transitions, 200 secs || 32751263 markings, 64405311 edges, 163738 markings/sec, 200 secs
lola: STP completed || 61 tries, 60915068 fired transitions, 205 secs || 33460056 markings, 65673804 edges, 141759 markings/sec, 205 secs
lola: STP completed || 63 tries, 62149080 fired transitions, 210 secs || 34139933 markings, 67051283 edges, 135975 markings/sec, 210 secs
lola: STP completed || 65 tries, 64119555 fired transitions, 215 secs || 34834355 markings, 68351298 edges, 138884 markings/sec, 215 secs
lola: STP completed || 66 tries, 65371613 fired transitions, 220 secs || 35507990 markings, 69749346 edges, 134727 markings/sec, 220 secs
lola: STP completed || 67 tries, 66598682 fired transitions, 225 secs || 36279098 markings, 71291463 edges, 154222 markings/sec, 225 secs
lola: STP completed || 68 tries, 67807472 fired transitions, 230 secs || 36997696 markings, 72753685 edges, 143720 markings/sec, 230 secs
lola: STP completed || 70 tries, 69169552 fired transitions, 235 secs || 37700134 markings, 74093960 edges, 140488 markings/sec, 235 secs
lola: STP completed || 71 tries, 70939563 fired transitions, 240 secs || 38392961 markings, 75732793 edges, 138565 markings/sec, 240 secs
lola: STP completed || 73 tries, 72895042 fired transitions, 245 secs || 39058233 markings, 77394112 edges, 133054 markings/sec, 245 secs
lola: STP completed || 75 tries, 74093644 fired transitions, 250 secs || 39766053 markings, 79103881 edges, 141564 markings/sec, 250 secs
lola: STP completed || 76 tries, 75364900 fired transitions, 255 secs || 40404375 markings, 80483894 edges, 127664 markings/sec, 255 secs
lola: STP completed || 77 tries, 76578020 fired transitions, 260 secs || 41036296 markings, 81723373 edges, 126384 markings/sec, 260 secs
lola: STP completed || 78 tries, 77791354 fired transitions, 265 secs || 41699013 markings, 83385563 edges, 132543 markings/sec, 265 secs
lola: STP completed || 80 tries, 79047963 fired transitions, 270 secs || 42327705 markings, 85085356 edges, 125738 markings/sec, 270 secs
lola: STP completed || 81 tries, 80376628 fired transitions, 275 secs || 42973891 markings, 86882457 edges, 129237 markings/sec, 275 secs
lola: STP completed || 82 tries, 81588053 fired transitions, 280 secs || 43789700 markings, 88711725 edges, 163162 markings/sec, 280 secs
lola: STP completed || 83 tries, 82795573 fired transitions, 285 secs || 44572415 markings, 89968508 edges, 156543 markings/sec, 285 secs
lola: STP completed || 85 tries, 84007429 fired transitions, 290 secs || 45322914 markings, 91266332 edges, 150100 markings/sec, 290 secs
lola: STP completed || 86 tries, 85982603 fired transitions, 295 secs || 46094768 markings, 92575080 edges, 154371 markings/sec, 295 secs
lola: STP completed || 88 tries, 87135138 fired transitions, 300 secs || 46830310 markings, 93850780 edges, 147108 markings/sec, 300 secs
lola: STP completed || 90 tries, 89034839 fired transitions, 305 secs || 47556313 markings, 95120884 edges, 145201 markings/sec, 305 secs
lola: STP completed || 91 tries, 90253779 fired transitions, 310 secs || 48304718 markings, 96456836 edges, 149681 markings/sec, 310 secs
lola: STP completed || 93 tries, 92870250 fired transitions, 315 secs || 49103964 markings, 97885683 edges, 159849 markings/sec, 315 secs
lola: STP completed || 95 tries, 94854943 fired transitions, 320 secs || 49854678 markings, 99246532 edges, 150143 markings/sec, 320 secs
lola: STP completed || 97 tries, 96078573 fired transitions, 325 secs || 50647252 markings, 100709805 edges, 158515 markings/sec, 325 secs
lola: STP completed || 99 tries, 98026864 fired transitions, 330 secs || 51426105 markings, 102142084 edges, 155771 markings/sec, 330 secs
lola: STP completed || 101 tries, 100237125 fired transitions, 335 secs || 52178504 markings, 103564707 edges, 150480 markings/sec, 335 secs
lola: STP completed || 102 tries, 101447266 fired transitions, 340 secs || 52945362 markings, 105040476 edges, 153372 markings/sec, 340 secs
lola: STP completed || 103 tries, 102661720 fired transitions, 345 secs || 53709245 markings, 106551001 edges, 152777 markings/sec, 345 secs
lola: STP completed || 105 tries, 104630560 fired transitions, 350 secs || 54495200 markings, 108116551 edges, 157191 markings/sec, 350 secs
lola: STP completed || 106 tries, 105842191 fired transitions, 355 secs || 55249217 markings, 109650168 edges, 150803 markings/sec, 355 secs
lola: STP completed || 108 tries, 107729984 fired transitions, 360 secs || 56003903 markings, 111242361 edges, 150937 markings/sec, 360 secs
lola: STP completed || 110 tries, 109631834 fired transitions, 365 secs || 56775393 markings, 112850618 edges, 154298 markings/sec, 365 secs
lola: STP completed || 112 tries, 111507857 fired transitions, 370 secs || 57547983 markings, 114588159 edges, 154518 markings/sec, 370 secs
lola: STP completed || 113 tries, 112727576 fired transitions, 375 secs || 58249545 markings, 115990990 edges, 140312 markings/sec, 375 secs
lola: STP completed || 114 tries, 113987714 fired transitions, 380 secs || 58895839 markings, 117215594 edges, 129259 markings/sec, 380 secs
lola: STP completed || 117 tries, 116007199 fired transitions, 385 secs || 59541018 markings, 118619802 edges, 129036 markings/sec, 385 secs
lola: STP completed || 118 tries, 117240188 fired transitions, 390 secs || 60157848 markings, 119839603 edges, 123366 markings/sec, 390 secs
lola: STP completed || 119 tries, 118437329 fired transitions, 395 secs || 60768227 markings, 121189081 edges, 122076 markings/sec, 395 secs
lola: STP completed || 121 tries, 120335820 fired transitions, 400 secs || 61537690 markings, 122948955 edges, 153893 markings/sec, 400 secs
lola: STP completed || 122 tries, 121650912 fired transitions, 405 secs || 62293049 markings, 124527812 edges, 151072 markings/sec, 405 secs
lola: STP completed || 124 tries, 123068811 fired transitions, 410 secs || 63103676 markings, 126250336 edges, 162125 markings/sec, 410 secs
lola: STP completed || 125 tries, 124482629 fired transitions, 415 secs || 64056014 markings, 128281747 edges, 190468 markings/sec, 415 secs
lola: STP completed || 128 tries, 127285969 fired transitions, 420 secs || 64882712 markings, 129889096 edges, 165340 markings/sec, 420 secs
lola: STP completed || 131 tries, 130091815 fired transitions, 425 secs || 65673660 markings, 131296557 edges, 158190 markings/sec, 425 secs
lola: STP completed || 132 tries, 131489046 fired transitions, 430 secs || 66428535 markings, 132793495 edges, 150975 markings/sec, 430 secs
lola: STP completed || 133 tries, 132891342 fired transitions, 435 secs || 67200126 markings, 134252131 edges, 154318 markings/sec, 435 secs
lola: STP completed || 135 tries, 134181232 fired transitions, 440 secs || 67946688 markings, 135855152 edges, 149312 markings/sec, 440 secs
lola: STP completed || 136 tries, 135449136 fired transitions, 445 secs || 68650615 markings, 137382343 edges, 140785 markings/sec, 445 secs
lola: STP completed || 138 tries, 137393544 fired transitions, 450 secs || 69367856 markings, 139031038 edges, 143448 markings/sec, 450 secs
lola: STP completed || 140 tries, 139416314 fired transitions, 455 secs || 70050337 markings, 140453644 edges, 136496 markings/sec, 455 secs
lola: STP completed || 141 tries, 140740162 fired transitions, 460 secs || 70704225 markings, 141737273 edges, 130778 markings/sec, 460 secs
lola: STP completed || 142 tries, 141962497 fired transitions, 465 secs || 71465926 markings, 143419863 edges, 152340 markings/sec, 465 secs
lola: STP completed || 144 tries, 143239464 fired transitions, 470 secs || 72172006 markings, 144785437 edges, 141216 markings/sec, 470 secs
lola: STP completed || 145 tries, 144641182 fired transitions, 475 secs || 72921689 markings, 146333276 edges, 149937 markings/sec, 475 secs
lola: STP completed || 147 tries, 146055768 fired transitions, 480 secs || 73662584 markings, 148028977 edges, 148179 markings/sec, 480 secs
lola: STP completed || 148 tries, 147436049 fired transitions, 485 secs || 74424911 markings, 149554803 edges, 152465 markings/sec, 485 secs
lola: STP completed || 150 tries, 149804727 fired transitions, 490 secs || 75164805 markings, 150997703 edges, 147979 markings/sec, 490 secs
lola: STP completed || 153 tries, 152385501 fired transitions, 495 secs || 75822156 markings, 152651477 edges, 131470 markings/sec, 495 secs
lola: STP completed || 155 tries, 154480672 fired transitions, 500 secs || 76448153 markings, 154299623 edges, 125199 markings/sec, 500 secs
lola: STP completed || 156 tries, 155748605 fired transitions, 505 secs || 77121477 markings, 155916477 edges, 134665 markings/sec, 505 secs
lola: STP completed || 158 tries, 157023891 fired transitions, 510 secs || 77708352 markings, 157510048 edges, 117375 markings/sec, 510 secs
lola: STP completed || 159 tries, 158318551 fired transitions, 515 secs || 78299734 markings, 159233791 edges, 118276 markings/sec, 515 secs
lola: STP completed || 160 tries, 159556310 fired transitions, 520 secs || 78880302 markings, 160262806 edges, 116114 markings/sec, 520 secs
lola: STP completed || 161 tries, 160813197 fired transitions, 525 secs || 79459626 markings, 161202761 edges, 115865 markings/sec, 525 secs
lola: STP completed || 163 tries, 162135026 fired transitions, 530 secs || 80056430 markings, 162218593 edges, 119361 markings/sec, 530 secs
lola: STP completed || 165 tries, 164212313 fired transitions, 535 secs || 80680521 markings, 163331509 edges, 124818 markings/sec, 535 secs
lola: STP completed || 166 tries, 165568461 fired transitions, 540 secs || 81293540 markings, 164449947 edges, 122604 markings/sec, 540 secs
lola: STP completed || 168 tries, 167644650 fired transitions, 545 secs || 81922126 markings, 165618633 edges, 125717 markings/sec, 545 secs
lola: STP completed || 170 tries, 169729245 fired transitions, 550 secs || 82556562 markings, 166823034 edges, 126887 markings/sec, 550 secs
lola: STP completed || 172 tries, 171090485 fired transitions, 555 secs || 83188292 markings, 168028502 edges, 126346 markings/sec, 555 secs
lola: STP completed || 174 tries, 173187488 fired transitions, 560 secs || 83808727 markings, 169220597 edges, 124087 markings/sec, 560 secs
lola: STP completed || 175 tries, 174558353 fired transitions, 565 secs || 84437481 markings, 170440014 edges, 125751 markings/sec, 565 secs
lola: STP completed || 178 tries, 177293617 fired transitions, 570 secs || 85066432 markings, 171655541 edges, 125790 markings/sec, 570 secs
lola: STP completed || 179 tries, 178540348 fired transitions, 575 secs || 85675687 markings, 172861685 edges, 121851 markings/sec, 575 secs
lola: STP completed || 180 tries, 179784327 fired transitions, 580 secs || 86308344 markings, 174113097 edges, 126531 markings/sec, 580 secs
lola: STP completed || 182 tries, 181044042 fired transitions, 585 secs || 86928606 markings, 175334041 edges, 124052 markings/sec, 585 secs
lola: STP completed || 184 tries, 183015912 fired transitions, 590 secs || 87552350 markings, 176571142 edges, 124749 markings/sec, 590 secs
lola: STP completed || 185 tries, 184273991 fired transitions, 595 secs || 88157051 markings, 177784503 edges, 120940 markings/sec, 595 secs
lola: STP completed || 186 tries, 185520380 fired transitions, 600 secs || 88750819 markings, 178974535 edges, 118754 markings/sec, 600 secs
lola: STP completed || 187 tries, 186761006 fired transitions, 605 secs || 89357748 markings, 180224334 edges, 121386 markings/sec, 605 secs
lola: STP completed || 189 tries, 188110638 fired transitions, 610 secs || 90021740 markings, 181597905 edges, 132798 markings/sec, 610 secs
lola: STP completed || 190 tries, 189494269 fired transitions, 615 secs || 90708769 markings, 183023129 edges, 137406 markings/sec, 615 secs
lola: STP completed || 192 tries, 191545341 fired transitions, 620 secs || 91379358 markings, 184440748 edges, 134118 markings/sec, 620 secs
lola: STP completed || 193 tries, 192914450 fired transitions, 625 secs || 92041828 markings, 185833070 edges, 132494 markings/sec, 625 secs
lola: STP completed || 195 tries, 194288688 fired transitions, 630 secs || 92726090 markings, 187278386 edges, 136852 markings/sec, 630 secs
lola: STP completed || 196 tries, 195983487 fired transitions, 635 secs || 93368934 markings, 188685535 edges, 128569 markings/sec, 635 secs
lola: STP completed || 199 tries, 198377437 fired transitions, 640 secs || 94025331 markings, 190086878 edges, 131279 markings/sec, 640 secs
lola: STP completed || 200 tries, 199762801 fired transitions, 645 secs || 94735487 markings, 191686288 edges, 142031 markings/sec, 645 secs
lola: STP completed || 202 tries, 201166757 fired transitions, 650 secs || 95440329 markings, 193268442 edges, 140968 markings/sec, 650 secs
lola: STP completed || 203 tries, 202536875 fired transitions, 655 secs || 96181204 markings, 194978116 edges, 148175 markings/sec, 655 secs
lola: STP completed || 205 tries, 204245111 fired transitions, 660 secs || 96888009 markings, 196516112 edges, 141361 markings/sec, 660 secs
lola: STP completed || 206 tries, 205624685 fired transitions, 665 secs || 97610982 markings, 198194361 edges, 144595 markings/sec, 665 secs
lola: STP completed || 208 tries, 207006619 fired transitions, 670 secs || 98275706 markings, 199593927 edges, 132945 markings/sec, 670 secs
lola: STP completed || 209 tries, 208386207 fired transitions, 675 secs || 98927751 markings, 200947844 edges, 130409 markings/sec, 675 secs
lola: STP completed || 210 tries, 209765213 fired transitions, 680 secs || 99578173 markings, 202261980 edges, 130084 markings/sec, 680 secs
lola: STP completed || 212 tries, 211140296 fired transitions, 685 secs || 100321563 markings, 203916801 edges, 148678 markings/sec, 685 secs
lola: STP completed || 214 tries, 213230242 fired transitions, 690 secs || 100937312 markings, 205147022 edges, 123150 markings/sec, 690 secs
lola: STP completed || 215 tries, 214618995 fired transitions, 695 secs || 101549142 markings, 206464098 edges, 122366 markings/sec, 695 secs
lola: STP completed || 216 tries, 215998479 fired transitions, 700 secs || 102246903 markings, 208087034 edges, 139552 markings/sec, 700 secs
lola: STP completed || 219 tries, 218781370 fired transitions, 705 secs || 102908237 markings, 209633600 edges, 132267 markings/sec, 705 secs
lola: STP completed || 221 tries, 220591690 fired transitions, 710 secs || 103537578 markings, 210860449 edges, 125868 markings/sec, 710 secs
lola: STP completed || 223 tries, 222997180 fired transitions, 715 secs || 104167734 markings, 212185366 edges, 126031 markings/sec, 715 secs
lola: STP completed || 225 tries, 224265577 fired transitions, 720 secs || 104748772 markings, 213542090 edges, 116208 markings/sec, 720 secs
lola: STP completed || 226 tries, 225521481 fired transitions, 725 secs || 105384563 markings, 215062974 edges, 127158 markings/sec, 725 secs
lola: STP completed || 229 tries, 228169927 fired transitions, 730 secs || 106161666 markings, 216692693 edges, 155421 markings/sec, 730 secs
lola: STP completed || 230 tries, 229535270 fired transitions, 735 secs || 106899675 markings, 218397087 edges, 147602 markings/sec, 735 secs
lola: STP completed || 231 tries, 230911612 fired transitions, 740 secs || 107604010 markings, 220055116 edges, 140867 markings/sec, 740 secs
lola: STP completed || 233 tries, 232984684 fired transitions, 745 secs || 108309852 markings, 221722900 edges, 141168 markings/sec, 745 secs
lola: STP completed || 235 tries, 234348216 fired transitions, 750 secs || 109022822 markings, 223407505 edges, 142594 markings/sec, 750 secs
lola: STP completed || 237 tries, 236459410 fired transitions, 755 secs || 109658293 markings, 224895944 edges, 127094 markings/sec, 755 secs
lola: STP completed || 238 tries, 237847437 fired transitions, 760 secs || 110318608 markings, 226303483 edges, 132063 markings/sec, 760 secs
lola: STP completed || 240 tries, 239228373 fired transitions, 765 secs || 110977667 markings, 227598103 edges, 131812 markings/sec, 765 secs
lola: STP completed || 242 tries, 241352350 fired transitions, 770 secs || 111602871 markings, 228937795 edges, 125041 markings/sec, 770 secs
lola: STP completed || 245 tries, 244179500 fired transitions, 775 secs || 112259363 markings, 230463935 edges, 131298 markings/sec, 775 secs
lola: STP completed || 246 tries, 245529276 fired transitions, 780 secs || 112947839 markings, 231916097 edges, 137695 markings/sec, 780 secs
lola: STP completed || 249 tries, 248219251 fired transitions, 785 secs || 113555831 markings, 233205487 edges, 121598 markings/sec, 785 secs
lola: STP completed || 250 tries, 249483855 fired transitions, 790 secs || 114154178 markings, 234630938 edges, 119669 markings/sec, 790 secs
lola: STP completed || 251 tries, 250776309 fired transitions, 795 secs || 114721262 markings, 236109964 edges, 113417 markings/sec, 795 secs
lola: STP completed || 253 tries, 252135134 fired transitions, 800 secs || 115417497 markings, 237808361 edges, 139247 markings/sec, 800 secs
lola: STP completed || 254 tries, 253537879 fired transitions, 805 secs || 116046596 markings, 239417997 edges, 125820 markings/sec, 805 secs
lola: STP completed || 257 tries, 256260770 fired transitions, 810 secs || 116666826 markings, 240673823 edges, 124046 markings/sec, 810 secs
lola: STP completed || 258 tries, 257512687 fired transitions, 815 secs || 117263279 markings, 241956916 edges, 119291 markings/sec, 815 secs
lola: STP completed || 259 tries, 258767680 fired transitions, 820 secs || 117865658 markings, 243394637 edges, 120476 markings/sec, 820 secs
lola: STP completed || 261 tries, 260685110 fired transitions, 825 secs || 118407053 markings, 244870523 edges, 108279 markings/sec, 825 secs
lola: STP completed || 262 tries, 261902882 fired transitions, 830 secs || 118945841 markings, 246304603 edges, 107758 markings/sec, 830 secs
lola: STP completed || 264 tries, 263807783 fired transitions, 835 secs || 119573029 markings, 247559107 edges, 125438 markings/sec, 835 secs
lola: STP completed || 266 tries, 265028232 fired transitions, 840 secs || 120218088 markings, 248948245 edges, 129012 markings/sec, 840 secs
lola: STP completed || 267 tries, 266262065 fired transitions, 845 secs || 120964880 markings, 250564297 edges, 149358 markings/sec, 845 secs
lola: STP completed || 269 tries, 268311104 fired transitions, 850 secs || 121570373 markings, 252081434 edges, 121099 markings/sec, 850 secs
lola: STP completed || 270 tries, 269616063 fired transitions, 855 secs || 122108253 markings, 253604912 edges, 107576 markings/sec, 855 secs
lola: STP completed || 272 tries, 271603626 fired transitions, 860 secs || 122692383 markings, 254966774 edges, 116826 markings/sec, 860 secs
lola: STP completed || 273 tries, 272854593 fired transitions, 865 secs || 123324164 markings, 256271492 edges, 126356 markings/sec, 865 secs
lola: STP completed || 275 tries, 274108895 fired transitions, 870 secs || 123977084 markings, 257490541 edges, 130584 markings/sec, 870 secs
lola: STP completed || 276 tries, 275280760 fired transitions, 875 secs || 124563688 markings, 258717809 edges, 117321 markings/sec, 875 secs
lola: STP completed || 277 tries, 276415909 fired transitions, 880 secs || 125175391 markings, 259889289 edges, 122341 markings/sec, 880 secs
lola: STP completed || 279 tries, 278074374 fired transitions, 885 secs || 125800225 markings, 261162444 edges, 124967 markings/sec, 885 secs
lola: STP completed || 280 tries, 279292141 fired transitions, 890 secs || 126343052 markings, 262740271 edges, 108565 markings/sec, 890 secs
lola: STP completed || 282 tries, 281180259 fired transitions, 895 secs || 126949101 markings, 263806465 edges, 121210 markings/sec, 895 secs
lola: STP completed || 284 tries, 283222344 fired transitions, 900 secs || 127552278 markings, 264902038 edges, 120635 markings/sec, 900 secs
lola: STP completed || 286 tries, 285015506 fired transitions, 905 secs || 128172308 markings, 266048789 edges, 124006 markings/sec, 905 secs
lola: STP completed || 288 tries, 287033871 fired transitions, 910 secs || 128798771 markings, 267223033 edges, 125293 markings/sec, 910 secs
lola: STP completed || 290 tries, 289651718 fired transitions, 915 secs || 129408946 markings, 268382697 edges, 122035 markings/sec, 915 secs
lola: STP completed || 291 tries, 290887021 fired transitions, 920 secs || 130014728 markings, 269543741 edges, 121156 markings/sec, 920 secs
lola: STP completed || 293 tries, 292181196 fired transitions, 925 secs || 130634072 markings, 270732824 edges, 123869 markings/sec, 925 secs
lola: STP completed || 295 tries, 294392135 fired transitions, 930 secs || 131293586 markings, 272017281 edges, 131903 markings/sec, 930 secs
lola: STP completed || 296 tries, 295974175 fired transitions, 935 secs || 131963559 markings, 273332539 edges, 133995 markings/sec, 935 secs
lola: STP completed || 298 tries, 297289610 fired transitions, 940 secs || 132601851 markings, 274588771 edges, 127658 markings/sec, 940 secs
lola: STP completed || 299 tries, 298608549 fired transitions, 945 secs || 133246517 markings, 275849456 edges, 128933 markings/sec, 945 secs
lola: STP completed || 300 tries, 299921533 fired transitions, 950 secs || 133893901 markings, 277133308 edges, 129477 markings/sec, 950 secs
lola: STP completed || 302 tries, 301219971 fired transitions, 955 secs || 134522030 markings, 278393606 edges, 125626 markings/sec, 955 secs
lola: STP completed || 303 tries, 302532375 fired transitions, 960 secs || 135182361 markings, 279722947 edges, 132066 markings/sec, 960 secs
lola: STP completed || 304 tries, 303827351 fired transitions, 965 secs || 135837742 markings, 281053977 edges, 131076 markings/sec, 965 secs
lola: STP completed || 306 tries, 305069286 fired transitions, 970 secs || 136467746 markings, 282368054 edges, 126001 markings/sec, 970 secs
lola: STP completed || 308 tries, 307014528 fired transitions, 975 secs || 137115930 markings, 283704744 edges, 129637 markings/sec, 975 secs
lola: STP completed || 309 tries, 308247438 fired transitions, 980 secs || 137745674 markings, 285007662 edges, 125949 markings/sec, 980 secs
lola: STP completed || 310 tries, 309534675 fired transitions, 985 secs || 138434275 markings, 286458204 edges, 137720 markings/sec, 985 secs
lola: STP completed || 311 tries, 310774399 fired transitions, 990 secs || 139115448 markings, 287840212 edges, 136235 markings/sec, 990 secs
lola: STP completed || 313 tries, 312360898 fired transitions, 995 secs || 139788574 markings, 289201552 edges, 134625 markings/sec, 995 secs
lola: STP completed || 315 tries, 314128931 fired transitions, 1000 secs || 140440357 markings, 290568037 edges, 130357 markings/sec, 1000 secs
lola: STP completed || 316 tries, 315404117 fired transitions, 1005 secs || 141103083 markings, 291992033 edges, 132545 markings/sec, 1005 secs
lola: STP completed || 317 tries, 316685192 fired transitions, 1010 secs || 141747024 markings, 293342129 edges, 128788 markings/sec, 1010 secs
lola: STP completed || 319 tries, 318660720 fired transitions, 1015 secs || 142391553 markings, 294730516 edges, 128906 markings/sec, 1015 secs
lola: STP completed || 320 tries, 319905820 fired transitions, 1020 secs || 143047990 markings, 296220895 edges, 131287 markings/sec, 1020 secs
lola: STP completed || 322 tries, 321560962 fired transitions, 1025 secs || 143696249 markings, 297661971 edges, 129652 markings/sec, 1025 secs
lola: STP completed || 324 tries, 323468442 fired transitions, 1030 secs || 144370136 markings, 299201682 edges, 134777 markings/sec, 1030 secs
lola: STP completed || 325 tries, 324708410 fired transitions, 1035 secs || 145027171 markings, 300768905 edges, 131407 markings/sec, 1035 secs
lola: STP completed || 327 tries, 326680219 fired transitions, 1040 secs || 145717122 markings, 302338110 edges, 137990 markings/sec, 1040 secs
lola: STP completed || 328 tries, 327911372 fired transitions, 1045 secs || 146573639 markings, 304167433 edges, 171303 markings/sec, 1045 secs
lola: STP completed || 330 tries, 329851640 fired transitions, 1050 secs || 147334646 markings, 305842151 edges, 152201 markings/sec, 1050 secs
lola: STP completed || 332 tries, 331100543 fired transitions, 1055 secs || 148037823 markings, 307432015 edges, 140635 markings/sec, 1055 secs
lola: STP completed || 333 tries, 332338247 fired transitions, 1060 secs || 148729743 markings, 308929848 edges, 138384 markings/sec, 1060 secs
lola: STP completed || 334 tries, 333587005 fired transitions, 1065 secs || 149341433 markings, 310096184 edges, 122338 markings/sec, 1065 secs
lola: STP completed || 335 tries, 334875222 fired transitions, 1070 secs || 149943359 markings, 311435861 edges, 120385 markings/sec, 1070 secs
lola: STP completed || 337 tries, 336475216 fired transitions, 1075 secs || 150563257 markings, 312613223 edges, 123980 markings/sec, 1075 secs
lola: STP completed || 339 tries, 338448443 fired transitions, 1080 secs || 151172569 markings, 313931401 edges, 121862 markings/sec, 1080 secs
lola: STP completed || 341 tries, 340427483 fired transitions, 1085 secs || 151781584 markings, 315133548 edges, 121803 markings/sec, 1085 secs
lola: STP completed || 343 tries, 342439185 fired transitions, 1090 secs || 152410006 markings, 316407447 edges, 125684 markings/sec, 1090 secs
lola: STP completed || 344 tries, 343715908 fired transitions, 1095 secs || 153049043 markings, 317633864 edges, 127807 markings/sec, 1095 secs
lola: STP completed || 345 tries, 344992608 fired transitions, 1100 secs || 153684400 markings, 319034352 edges, 127071 markings/sec, 1100 secs
lola: STP completed || 348 tries, 347006929 fired transitions, 1105 secs || 154360352 markings, 320443779 edges, 135190 markings/sec, 1105 secs
lola: STP completed || 349 tries, 348849148 fired transitions, 1110 secs || 155109808 markings, 322059525 edges, 149891 markings/sec, 1110 secs
lola: STP completed || 351 tries, 350364798 fired transitions, 1115 secs || 155874533 markings, 323738807 edges, 152945 markings/sec, 1115 secs
lola: STP completed || 353 tries, 352669409 fired transitions, 1120 secs || 156479064 markings, 324938756 edges, 120906 markings/sec, 1120 secs
lola: STP completed || 354 tries, 353903623 fired transitions, 1125 secs || 157168318 markings, 326525994 edges, 137851 markings/sec, 1125 secs
lola: STP completed || 356 tries, 355697373 fired transitions, 1130 secs || 157764581 markings, 327891554 edges, 119253 markings/sec, 1130 secs
lola: STP completed || 357 tries, 356692439 fired transitions, 1135 secs || 158329271 markings, 329108547 edges, 112938 markings/sec, 1135 secs
lola: STP completed || 359 tries, 358392171 fired transitions, 1140 secs || 158813200 markings, 330056905 edges, 96786 markings/sec, 1140 secs
lola: STP completed || 360 tries, 359692853 fired transitions, 1145 secs || 159402509 markings, 331314682 edges, 117862 markings/sec, 1145 secs
lola: STP completed || 363 tries, 362430491 fired transitions, 1150 secs || 160014956 markings, 332689520 edges, 122489 markings/sec, 1150 secs
lola: STP completed || 364 tries, 363757493 fired transitions, 1155 secs || 160602073 markings, 334046780 edges, 117423 markings/sec, 1155 secs
lola: STP completed || 366 tries, 365226520 fired transitions, 1160 secs || 161182433 markings, 335195671 edges, 116072 markings/sec, 1160 secs
lola: STP completed || 368 tries, 367772907 fired transitions, 1165 secs || 161995413 markings, 336913812 edges, 162596 markings/sec, 1165 secs
lola: STP completed || 370 tries, 369056093 fired transitions, 1170 secs || 162907983 markings, 338823340 edges, 182514 markings/sec, 1170 secs
lola: STP completed || 371 tries, 370406870 fired transitions, 1175 secs || 163511019 markings, 340182882 edges, 120607 markings/sec, 1175 secs
lola: STP completed || 372 tries, 371746982 fired transitions, 1180 secs || 164088733 markings, 341540492 edges, 115543 markings/sec, 1180 secs
lola: STP completed || 374 tries, 373045910 fired transitions, 1185 secs || 164688612 markings, 342852413 edges, 119976 markings/sec, 1185 secs
lola: STP completed || 375 tries, 374976646 fired transitions, 1190 secs || 165266953 markings, 344004340 edges, 115668 markings/sec, 1190 secs
lola: STP completed || 377 tries, 376936446 fired transitions, 1195 secs || 165848354 markings, 345201125 edges, 116280 markings/sec, 1195 secs
lola: STP completed || 379 tries, 378211204 fired transitions, 1200 secs || 166452366 markings, 346519098 edges, 120802 markings/sec, 1200 secs
lola: STP completed || 381 tries, 380336824 fired transitions, 1205 secs || 167038708 markings, 347706500 edges, 117268 markings/sec, 1205 secs
lola: STP completed || 382 tries, 381914665 fired transitions, 1210 secs || 167639130 markings, 349063740 edges, 120084 markings/sec, 1210 secs
lola: STP completed || 385 tries, 384641363 fired transitions, 1215 secs || 168259958 markings, 350444342 edges, 124166 markings/sec, 1215 secs
lola: STP completed || 386 tries, 385974026 fired transitions, 1220 secs || 168851795 markings, 351663444 edges, 118367 markings/sec, 1220 secs
lola: STP completed || 388 tries, 387291002 fired transitions, 1225 secs || 169461121 markings, 353014209 edges, 121865 markings/sec, 1225 secs
lola: STP completed || 391 tries, 390018815 fired transitions, 1230 secs || 170073100 markings, 354264899 edges, 122396 markings/sec, 1230 secs
lola: STP completed || 392 tries, 391328172 fired transitions, 1235 secs || 170674328 markings, 355518911 edges, 120246 markings/sec, 1235 secs
lola: STP completed || 393 tries, 392618964 fired transitions, 1240 secs || 171289533 markings, 356944347 edges, 123041 markings/sec, 1240 secs
lola: STP completed || 396 tries, 395275550 fired transitions, 1245 secs || 171981270 markings, 358509891 edges, 138347 markings/sec, 1245 secs
lola: STP completed || 397 tries, 396543309 fired transitions, 1250 secs || 172540550 markings, 359974567 edges, 111856 markings/sec, 1250 secs
lola: STP completed || 400 tries, 399428537 fired transitions, 1255 secs || 173177294 markings, 361522338 edges, 127349 markings/sec, 1255 secs
lola: STP completed || 401 tries, 400852116 fired transitions, 1260 secs || 173867559 markings, 362976838 edges, 138053 markings/sec, 1260 secs
lola: STP completed || 403 tries, 402099360 fired transitions, 1265 secs || 174484799 markings, 364278210 edges, 123448 markings/sec, 1265 secs
lola: STP completed || 404 tries, 403357998 fired transitions, 1270 secs || 175105367 markings, 365563071 edges, 124114 markings/sec, 1270 secs
lola: STP completed || 405 tries, 404678193 fired transitions, 1275 secs || 175761255 markings, 366854463 edges, 131178 markings/sec, 1275 secs
lola: STP completed || 406 tries, 405991437 fired transitions, 1280 secs || 176385748 markings, 368196392 edges, 124899 markings/sec, 1280 secs
lola: STP completed || 408 tries, 407284339 fired transitions, 1285 secs || 177011667 markings, 369553665 edges, 125184 markings/sec, 1285 secs
lola: STP completed || 409 tries, 408532361 fired transitions, 1290 secs || 177612304 markings, 370783630 edges, 120127 markings/sec, 1290 secs
lola: STP completed || 410 tries, 409784531 fired transitions, 1295 secs || 178230701 markings, 372184053 edges, 123679 markings/sec, 1295 secs
lola: STP completed || 412 tries, 411208330 fired transitions, 1300 secs || 178845802 markings, 373500888 edges, 123020 markings/sec, 1300 secs
lola: STP completed || 415 tries, 414482178 fired transitions, 1305 secs || 179533235 markings, 374912388 edges, 137487 markings/sec, 1305 secs
lola: STP completed || 416 tries, 415724607 fired transitions, 1310 secs || 180175191 markings, 376275759 edges, 128391 markings/sec, 1310 secs
lola: STP completed || 417 tries, 416987644 fired transitions, 1315 secs || 180793844 markings, 377673054 edges, 123731 markings/sec, 1315 secs
lola: STP completed || 419 tries, 418250957 fired transitions, 1320 secs || 181400832 markings, 379178059 edges, 121398 markings/sec, 1320 secs
lola: STP completed || 421 tries, 420272358 fired transitions, 1325 secs || 181961839 markings, 380702913 edges, 112201 markings/sec, 1325 secs
lola: STP completed || 422 tries, 421590701 fired transitions, 1330 secs || 182520580 markings, 382260345 edges, 111748 markings/sec, 1330 secs
lola: STP completed || 423 tries, 422908939 fired transitions, 1335 secs || 183082094 markings, 383792025 edges, 112303 markings/sec, 1335 secs
lola: STP completed || 425 tries, 424936460 fired transitions, 1340 secs || 183643703 markings, 385317147 edges, 112322 markings/sec, 1340 secs
lola: STP completed || 427 tries, 426248952 fired transitions, 1345 secs || 184233281 markings, 386923047 edges, 117916 markings/sec, 1345 secs
lola: STP completed || 428 tries, 427626746 fired transitions, 1350 secs || 184876477 markings, 388613854 edges, 128639 markings/sec, 1350 secs
lola: STP completed || 429 tries, 428994560 fired transitions, 1355 secs || 185469393 markings, 390270426 edges, 118583 markings/sec, 1355 secs
lola: STP completed || 431 tries, 430329110 fired transitions, 1360 secs || 186202581 markings, 391788580 edges, 146638 markings/sec, 1360 secs
lola: STP completed || 432 tries, 431577457 fired transitions, 1365 secs || 186906842 markings, 393159545 edges, 140852 markings/sec, 1365 secs
lola: STP completed || 433 tries, 432815691 fired transitions, 1370 secs || 187544923 markings, 394391591 edges, 127616 markings/sec, 1370 secs
lola: STP completed || 435 tries, 434065283 fired transitions, 1375 secs || 188147389 markings, 395572299 edges, 120493 markings/sec, 1375 secs
lola: STP completed || 436 tries, 435326415 fired transitions, 1380 secs || 188836274 markings, 396941594 edges, 137777 markings/sec, 1380 secs
lola: STP completed || 437 tries, 436572047 fired transitions, 1385 secs || 189526792 markings, 398346234 edges, 138104 markings/sec, 1385 secs
lola: STP completed || 438 tries, 437832021 fired transitions, 1390 secs || 190147232 markings, 399618086 edges, 124088 markings/sec, 1390 secs
lola: STP completed || 440 tries, 439169033 fired transitions, 1395 secs || 190756550 markings, 400800697 edges, 121864 markings/sec, 1395 secs
lola: STP completed || 442 tries, 441114904 fired transitions, 1400 secs || 191359055 markings, 402018784 edges, 120501 markings/sec, 1400 secs
lola: STP completed || 443 tries, 442442128 fired transitions, 1405 secs || 192013174 markings, 403461218 edges, 130824 markings/sec, 1405 secs
lola: STP completed || 445 tries, 444441080 fired transitions, 1410 secs || 192702654 markings, 405007704 edges, 137896 markings/sec, 1410 secs
lola: STP completed || 448 tries, 447132742 fired transitions, 1415 secs || 193356487 markings, 406403682 edges, 130767 markings/sec, 1415 secs
lola: STP completed || 449 tries, 448423082 fired transitions, 1420 secs || 193931198 markings, 407776436 edges, 114942 markings/sec, 1420 secs
lola: STP completed || 451 tries, 450380828 fired transitions, 1425 secs || 194539850 markings, 409066488 edges, 121730 markings/sec, 1425 secs
lola: STP completed || 452 tries, 451652249 fired transitions, 1430 secs || 195132338 markings, 410461209 edges, 118498 markings/sec, 1430 secs
lola: STP completed || 453 tries, 452918262 fired transitions, 1435 secs || 195756011 markings, 411843946 edges, 124735 markings/sec, 1435 secs
lola: STP completed || 455 tries, 454521674 fired transitions, 1440 secs || 196506390 markings, 413327542 edges, 150076 markings/sec, 1440 secs
lola: STP completed || 457 tries, 456765401 fired transitions, 1445 secs || 197264855 markings, 414722347 edges, 151693 markings/sec, 1445 secs
lola: STP completed || 460 tries, 459147390 fired transitions, 1450 secs || 197896835 markings, 415826619 edges, 126396 markings/sec, 1450 secs
lola: STP completed || 461 tries, 460414598 fired transitions, 1455 secs || 198516472 markings, 417094736 edges, 123927 markings/sec, 1455 secs
lola: STP completed || 462 tries, 461657134 fired transitions, 1460 secs || 199075916 markings, 418080738 edges, 111889 markings/sec, 1460 secs
lola: STP completed || 463 tries, 462894005 fired transitions, 1465 secs || 199654440 markings, 419061503 edges, 115705 markings/sec, 1465 secs
lola: STP completed || 465 tries, 464222559 fired transitions, 1470 secs || 200273254 markings, 420160118 edges, 123763 markings/sec, 1470 secs
lola: STP completed || 466 tries, 465919526 fired transitions, 1475 secs || 200824570 markings, 421129615 edges, 110263 markings/sec, 1475 secs
lola: STP completed || 468 tries, 467062860 fired transitions, 1480 secs || 201374081 markings, 422101709 edges, 109902 markings/sec, 1480 secs
lola: STP completed || 469 tries, 468374005 fired transitions, 1485 secs || 201958196 markings, 423156353 edges, 116823 markings/sec, 1485 secs
lola: STP completed || 470 tries, 469675828 fired transitions, 1490 secs || 202515120 markings, 424168130 edges, 111385 markings/sec, 1490 secs
lola: STP completed || 472 tries, 471618459 fired transitions, 1495 secs || 203067900 markings, 425177462 edges, 110556 markings/sec, 1495 secs
lola: STP completed || 474 tries, 473432704 fired transitions, 1500 secs || 203349515 markings, 425691506 edges, 56323 markings/sec, 1500 secs
lola: STP completed || 474 tries, 473634455 fired transitions, 1505 secs || 203388868 markings, 425764554 edges, 7871 markings/sec, 1505 secs
lola: STP completed || 474 tries, 473977342 fired transitions, 1510 secs || 203390202 markings, 425766983 edges, 267 markings/sec, 1510 secs
lola: STP completed || 475 tries, 474256252 fired transitions, 1515 secs || 203390218 markings, 425767010 edges, 3 markings/sec, 1515 secs
lola: STP completed || 475 tries, 474485090 fired transitions, 1520 secs || 203390269 markings, 425767113 edges, 10 markings/sec, 1520 secs
lola: STP completed || 475 tries, 474865339 fired transitions, 1525 secs || 203390283 markings, 425767139 edges, 3 markings/sec, 1525 secs
lola: STP completed || 476 tries, 475010918 fired transitions, 1530 secs || 203390801 markings, 425768138 edges, 104 markings/sec, 1530 secs
lola: STP completed || 476 tries, 475136860 fired transitions, 1535 secs || 203390984 markings, 425768412 edges, 37 markings/sec, 1535 secs
lola: STP completed || 476 tries, 475363350 fired transitions, 1540 secs || 203390999 markings, 425768437 edges, 3 markings/sec, 1540 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 -----
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-full"
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-full"
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 r118-csrt-152666478300342"
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 ;