[dlvhex-notify] SF.net SVN: dlvhex:[3569] dlvhex-dlplugin/branches/release2x/examples/ wine_benchmark.sh

[<chr...@us...>]

Revision: 3569
          http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3569&view=rev
Author:   chrisr86
Date:     2012-02-24 12:50:57 +0000 (Fri, 24 Feb 2012)
Log Message:
-----------
update benchmark script

Added Paths:
-----------
    dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh

Added: dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh
===================================================================
--- dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh	                        (rev 0)
+++ dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh	2012-02-24 12:50:57 UTC (rev 3569)
@@ -0,0 +1,69 @@
+alarm() { perl -e 'alarm shift; exec @ARGV' "$@"; }
+
+if [ $# -le 0 ]; then
+	echo "Usage:"
+	echo "     benchmark.sh [Timeout/s] [Configuration Strings (optional)]"
+	echo "The configuration string consists of dlvhex options with semicolon as delimiter"
+	exit 0
+fi
+
+# $2: configurations
+if [ $# -le 1 ]; then
+	confstr="--solver=genuinegc;--solver=genuinegc --extlearn"
+else
+	confstr=$2
+fi
+IFS=';' read -ra confs <<< "$confstr"
+header="#size"
+i=0
+for c in "${confs[@]}"
+do
+	timeout[$i]=0
+	header="$header   \"$c\""
+	let i=i+1
+done
+echo $header
+
+
+# create working directory
+wd=`mktemp -d $PWD/tmp.XXXXXXXXXX`
+
+
+# $1: program
+# $2: min domain size
+# $3: max domain size
+# $4: timeout in seconds
+
+categories=(AlsatianWine AmericanWine Beaujolais Bordeaux Burgundy CabernetFranc CabernetSauvignon CaliforniaWine Chardonnay CheninBlanc DessertWine DryWine EarlyHarvest FrenchWine FullBodiedWine Gamay GermanWine ItalianWine LateHarvest Loire Meritage Merlot PetiteSyrah PinotBlanc PinorNoir RedWine Riesling RoseWine SemillonOrSauvignonBlanc SweetWine TableWine TexasWine WhiteWine Zinfandel)
+
+for category in ${categories[@]}
+do
+
+	echo "
+	% By default, a wine is not dry:
+	wine(X) :- &dlC[\"wine.rdf\", pcwine, mcwine, prwine, mrwine, \"$category\"](X).
+	notdry(X) :- wine(X), not dry(X).
+
+	% Single out the dry wines under default assumption:
+	mcdry(\"Dry\", X) :- notdry(X).
+	dry(X) :- wine(X), &dlC[\"wine.rdf\", pcdry, mcdry, prdry, mrdry, \"DryWine\"](X)<fullylinear>.
+" > $wd/prog.hex
+
+	line="$category"
+	i=0
+	for c in "${confs[@]}"
+	do
+		alarm $1 /usr/bin/time -o time.txt -f %e dlvhex2 $c $wd/prog.hex 2>/dev/null >/dev/null
+		output=`cat time.txt`
+		if [ "$output" = "" ]; then
+			output="TO"
+		fi
+		line="$line   $output"
+
+		let i=i+1
+	done
+	echo $line
+done
+
+# cleanup
+rm -r $wd


Property changes on: dlvhex-dlplugin/branches/release2x/examples/wine_benchmark.sh
___________________________________________________________________
Added: svn:executable
   + *

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.