About the Execution of M4M.struct for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2751.160 | 481643.00 | 921899.00 | 1715.80 | T | 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 1.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K 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 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCround-PT-11b, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649743900125
=====================================================================
--------------------
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 DLCround-PT-11b-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526696947687
BK_STOP 1526697429330
--------------------
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 DLCround-PT-11b as instance name.
Using DLCround as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3550307, 'Memory': 15952.38, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityDeadlock lola DLCround-PT-11b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-11b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-11b: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ DLCround-PT-11b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-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 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computed 16 generators (16 in search tree, 0 by composition)
lola: representing 65536 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 139010 variables and 422755 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 106817 fired transitions, 0 secs || 76373 markings, 86198 edges, 15275 markings/sec, 0 secs
lola: STP completed || 1 tries, 217852 fired transitions, 5 secs || 156932 markings, 175177 edges, 16112 markings/sec, 5 secs
lola: STP completed || 1 tries, 329378 fired transitions, 10 secs || 240352 markings, 267511 edges, 16684 markings/sec, 10 secs
lola: STP completed || 1 tries, 441106 fired transitions, 15 secs || 325893 markings, 361632 edges, 17108 markings/sec, 15 secs
lola: STP completed || 1 tries, 553179 fired transitions, 20 secs || 410003 markings, 454344 edges, 16822 markings/sec, 20 secs
lola: STP completed || 1 tries, 664477 fired transitions, 25 secs || 494236 markings, 547408 edges, 16847 markings/sec, 25 secs
lola: STP completed || 1 tries, 776319 fired transitions, 30 secs || 575923 markings, 637073 edges, 16337 markings/sec, 30 secs
lola: STP completed || 1 tries, 884597 fired transitions, 35 secs || 657730 markings, 726982 edges, 16361 markings/sec, 35 secs
lola: STP completed || 1 tries, 988895 fired transitions, 40 secs || 740712 markings, 819039 edges, 16596 markings/sec, 40 secs
lola: STP completed || 2 tries, 1101873 fired transitions, 45 secs || 824602 markings, 911927 edges, 16778 markings/sec, 45 secs
lola: STP completed || 2 tries, 1213924 fired transitions, 50 secs || 907031 markings, 1002877 edges, 16486 markings/sec, 50 secs
lola: STP completed || 2 tries, 1323410 fired transitions, 55 secs || 991380 markings, 1096589 edges, 16870 markings/sec, 55 secs
lola: STP completed || 2 tries, 1436465 fired transitions, 60 secs || 1073229 markings, 1187035 edges, 16370 markings/sec, 60 secs
lola: STP completed || 2 tries, 1548658 fired transitions, 65 secs || 1157018 markings, 1279972 edges, 16758 markings/sec, 65 secs
lola: STP completed || 2 tries, 1660317 fired transitions, 70 secs || 1240016 markings, 1371784 edges, 16600 markings/sec, 70 secs
lola: STP completed || 2 tries, 1772571 fired transitions, 75 secs || 1323161 markings, 1463814 edges, 16629 markings/sec, 75 secs
lola: STP completed || 2 tries, 1883274 fired transitions, 80 secs || 1408588 markings, 1558667 edges, 17085 markings/sec, 80 secs
lola: STP completed || 2 tries, 1995643 fired transitions, 85 secs || 1491768 markings, 1651109 edges, 16636 markings/sec, 85 secs
lola: STP completed || 3 tries, 2107994 fired transitions, 90 secs || 1575395 markings, 1743623 edges, 16725 markings/sec, 90 secs
lola: STP completed || 3 tries, 2220263 fired transitions, 95 secs || 1659448 markings, 1836878 edges, 16811 markings/sec, 95 secs
lola: STP completed || 3 tries, 2332847 fired transitions, 100 secs || 1741662 markings, 1927545 edges, 16443 markings/sec, 100 secs
lola: STP completed || 3 tries, 2446453 fired transitions, 105 secs || 1826122 markings, 2021609 edges, 16892 markings/sec, 105 secs
lola: STP completed || 3 tries, 2557040 fired transitions, 110 secs || 1908509 markings, 2112673 edges, 16477 markings/sec, 110 secs
lola: STP completed || 3 tries, 2668236 fired transitions, 115 secs || 1990461 markings, 2202985 edges, 16390 markings/sec, 115 secs
lola: STP completed || 3 tries, 2779182 fired transitions, 120 secs || 2074919 markings, 2296701 edges, 16892 markings/sec, 120 secs
lola: STP completed || 3 tries, 2889651 fired transitions, 125 secs || 2157266 markings, 2387950 edges, 16469 markings/sec, 125 secs
lola: STP completed || 3 tries, 2994388 fired transitions, 130 secs || 2240634 markings, 2480837 edges, 16674 markings/sec, 130 secs
lola: STP completed || 4 tries, 3104379 fired transitions, 135 secs || 2324194 markings, 2573015 edges, 16712 markings/sec, 135 secs
lola: STP completed || 4 tries, 3217430 fired transitions, 140 secs || 2408482 markings, 2666518 edges, 16858 markings/sec, 140 secs
lola: STP completed || 4 tries, 3327265 fired transitions, 145 secs || 2491892 markings, 2758744 edges, 16682 markings/sec, 145 secs
lola: STP completed || 4 tries, 3438710 fired transitions, 150 secs || 2575144 markings, 2850979 edges, 16650 markings/sec, 150 secs
lola: STP completed || 4 tries, 3550245 fired transitions, 155 secs || 2657690 markings, 2942657 edges, 16509 markings/sec, 155 secs
lola: STP completed || 4 tries, 3662174 fired transitions, 160 secs || 2739142 markings, 3032469 edges, 16290 markings/sec, 160 secs
lola: STP completed || 4 tries, 3774812 fired transitions, 165 secs || 2822771 markings, 3125030 edges, 16726 markings/sec, 165 secs
lola: STP completed || 4 tries, 3885844 fired transitions, 170 secs || 2904222 markings, 3215125 edges, 16290 markings/sec, 170 secs
lola: STP completed || 4 tries, 3998364 fired transitions, 175 secs || 2988387 markings, 3308343 edges, 16833 markings/sec, 175 secs
lola: STP completed || 5 tries, 4111733 fired transitions, 180 secs || 3069307 markings, 3396721 edges, 16184 markings/sec, 180 secs
lola: STP completed || 5 tries, 4222865 fired transitions, 185 secs || 3150719 markings, 3485775 edges, 16282 markings/sec, 185 secs
lola: STP completed || 5 tries, 4334054 fired transitions, 190 secs || 3231257 markings, 3573669 edges, 16108 markings/sec, 190 secs
lola: STP completed || 5 tries, 4445696 fired transitions, 195 secs || 3312847 markings, 3663186 edges, 16318 markings/sec, 195 secs
lola: STP completed || 5 tries, 4557055 fired transitions, 200 secs || 3397399 markings, 3756341 edges, 16910 markings/sec, 200 secs
lola: STP completed || 5 tries, 4669311 fired transitions, 205 secs || 3477187 markings, 3844027 edges, 15958 markings/sec, 205 secs
lola: STP completed || 5 tries, 4783164 fired transitions, 210 secs || 3559977 markings, 3935068 edges, 16558 markings/sec, 210 secs
lola: STP completed || 5 tries, 4895599 fired transitions, 215 secs || 3645585 markings, 4029667 edges, 17122 markings/sec, 215 secs
lola: STP completed || 6 tries, 5009380 fired transitions, 220 secs || 3730261 markings, 4122939 edges, 16935 markings/sec, 220 secs
lola: STP completed || 6 tries, 5121906 fired transitions, 225 secs || 3815941 markings, 4217726 edges, 17136 markings/sec, 225 secs
lola: STP completed || 6 tries, 5234575 fired transitions, 230 secs || 3899343 markings, 4309593 edges, 16680 markings/sec, 230 secs
lola: STP completed || 6 tries, 5348107 fired transitions, 235 secs || 3982831 markings, 4401628 edges, 16698 markings/sec, 235 secs
lola: STP completed || 6 tries, 5461894 fired transitions, 240 secs || 4063078 markings, 4489452 edges, 16049 markings/sec, 240 secs
lola: STP completed || 6 tries, 5574447 fired transitions, 245 secs || 4144827 markings, 4579478 edges, 16350 markings/sec, 245 secs
lola: STP completed || 6 tries, 5686816 fired transitions, 250 secs || 4224896 markings, 4667852 edges, 16014 markings/sec, 250 secs
lola: STP completed || 6 tries, 5800244 fired transitions, 255 secs || 4306198 markings, 4756939 edges, 16260 markings/sec, 255 secs
lola: STP completed || 6 tries, 5914327 fired transitions, 260 secs || 4391829 markings, 4851644 edges, 17126 markings/sec, 260 secs
lola: STP completed || 7 tries, 6027840 fired transitions, 265 secs || 4474370 markings, 4942457 edges, 16508 markings/sec, 265 secs
lola: STP completed || 7 tries, 6138565 fired transitions, 270 secs || 4553431 markings, 5029436 edges, 15812 markings/sec, 270 secs
lola: STP completed || 7 tries, 6251521 fired transitions, 275 secs || 4636358 markings, 5120940 edges, 16585 markings/sec, 275 secs
lola: STP completed || 7 tries, 6364325 fired transitions, 280 secs || 4723619 markings, 5217220 edges, 17452 markings/sec, 280 secs
lola: STP completed || 7 tries, 6475527 fired transitions, 285 secs || 4805900 markings, 5307947 edges, 16456 markings/sec, 285 secs
lola: STP completed || 7 tries, 6586778 fired transitions, 290 secs || 4887014 markings, 5397128 edges, 16223 markings/sec, 290 secs
lola: STP completed || 7 tries, 6697656 fired transitions, 295 secs || 4968901 markings, 5487592 edges, 16377 markings/sec, 295 secs
lola: STP completed || 7 tries, 6809235 fired transitions, 300 secs || 5052448 markings, 5579629 edges, 16709 markings/sec, 300 secs
lola: STP completed || 7 tries, 6921916 fired transitions, 305 secs || 5135350 markings, 5671197 edges, 16580 markings/sec, 305 secs
lola: STP completed || 8 tries, 7023939 fired transitions, 310 secs || 5216798 markings, 5760778 edges, 16290 markings/sec, 310 secs
lola: STP completed || 8 tries, 7128275 fired transitions, 315 secs || 5300131 markings, 5852702 edges, 16667 markings/sec, 315 secs
lola: STP completed || 8 tries, 7239231 fired transitions, 320 secs || 5391248 markings, 5954365 edges, 18223 markings/sec, 320 secs
lola: STP completed || 8 tries, 7350507 fired transitions, 325 secs || 5481879 markings, 6055438 edges, 18126 markings/sec, 325 secs
lola: STP completed || 8 tries, 7461075 fired transitions, 330 secs || 5570812 markings, 6153708 edges, 17787 markings/sec, 330 secs
lola: STP completed || 8 tries, 7571506 fired transitions, 335 secs || 5659639 markings, 6252139 edges, 17765 markings/sec, 335 secs
lola: STP completed || 8 tries, 7682086 fired transitions, 340 secs || 5743652 markings, 6345792 edges, 16803 markings/sec, 340 secs
lola: STP completed || 8 tries, 7793034 fired transitions, 345 secs || 5830148 markings, 6441503 edges, 17299 markings/sec, 345 secs
lola: STP completed || 8 tries, 7906120 fired transitions, 350 secs || 5920887 markings, 6542219 edges, 18148 markings/sec, 350 secs
lola: STP completed || 9 tries, 8017424 fired transitions, 355 secs || 6004256 markings, 6634256 edges, 16674 markings/sec, 355 secs
lola: STP completed || 9 tries, 8126990 fired transitions, 360 secs || 6084124 markings, 6722732 edges, 15974 markings/sec, 360 secs
lola: STP completed || 9 tries, 8235622 fired transitions, 365 secs || 6160119 markings, 6805957 edges, 15199 markings/sec, 365 secs
lola: STP completed || 9 tries, 8345747 fired transitions, 370 secs || 6234789 markings, 6887843 edges, 14934 markings/sec, 370 secs
lola: STP completed || 9 tries, 8454246 fired transitions, 375 secs || 6310539 markings, 6971746 edges, 15150 markings/sec, 375 secs
lola: STP completed || 9 tries, 8563120 fired transitions, 380 secs || 6388053 markings, 7057174 edges, 15503 markings/sec, 380 secs
----- Kill lola and sara stderr -----
lola: STP completed || 9 tries, 8671886 fired transitions, 385 secs || 6463395 markings, 7140064 edges, 15068 markings/sec, 385 secs
lola: STP completed || 9 tries, 8779537 fired transitions, 390 secs || 6543416 markings, 7229432 edges, 16004 markings/sec, 390 secs
lola: STP completed || 9 tries, 8878811 fired transitions, 395 secs || 6623835 markings, 7318287 edges, 16084 markings/sec, 395 secs
lola: STP completed || 9 tries, 8988965 fired transitions, 400 secs || 6703257 markings, 7406284 edges, 15884 markings/sec, 400 secs
lola: STP completed || 10 tries, 9098924 fired transitions, 405 secs || 6785988 markings, 7498096 edges, 16546 markings/sec, 405 secs
lola: STP completed || 10 tries, 9207029 fired transitions, 410 secs || 6861469 markings, 7581142 edges, 15096 markings/sec, 410 secs
lola: STP completed || 10 tries, 9315597 fired transitions, 415 secs || 6943845 markings, 7673447 edges, 16475 markings/sec, 415 secs
lola: STP completed || 10 tries, 9425268 fired transitions, 420 secs || 7017350 markings, 7753180 edges, 14701 markings/sec, 420 secs
lola: STP completed || 10 tries, 9534775 fired transitions, 425 secs || 7094702 markings, 7838829 edges, 15470 markings/sec, 425 secs
lola: STP completed || 10 tries, 9644285 fired transitions, 430 secs || 7169587 markings, 7920859 edges, 14977 markings/sec, 430 secs
lola: RESULT
lola: result: yes
lola: produced by: findpath
lola: The net has deadlock(s).
FORMULA DLCround-PT-11b-ReachabilityDeadlock-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
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/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 DLCround-PT-11b, 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 r071-smll-152649743900125"
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 ;