[dlvhex-notify] SF.net SVN: dlvhex:[3572] dlvhex-dlplugin/branches/release2x/examples

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

Revision: 3572
          http://dlvhex.svn.sourceforge.net/dlvhex/?rev=3572&view=rev
Author:   chrisr86
Date:     2012-02-25 11:24:39 +0000 (Sat, 25 Feb 2012)
Log Message:
-----------
update benchmark.sh

Modified Paths:
--------------
    dlvhex-dlplugin/branches/release2x/examples/benchmark.sh
    dlvhex-dlplugin/branches/release2x/examples/bird.owl

Modified: dlvhex-dlplugin/branches/release2x/examples/benchmark.sh
===================================================================
--- dlvhex-dlplugin/branches/release2x/examples/benchmark.sh	2012-02-24 20:00:32 UTC (rev 3571)
+++ dlvhex-dlplugin/branches/release2x/examples/benchmark.sh	2012-02-25 11:24:39 UTC (rev 3572)
@@ -74,7 +74,7 @@
 	for c in "${confs[@]}"
 	do
 		if [ ${timeout[$i]} -eq 0 ]; then
-			/usr/bin/time -o time.txt -f %e dlvhex $c $1 2>/dev/null >/dev/null
+			/usr/bin/time -o time.txt -f %e dlvhex2 $c $1 2>/dev/null >/dev/null
 			output=`cat time.txt`
 			timeout[$i]=`echo "$output > $4" | bc`
 			if [ ${timeout[$i]} -eq 1 ]; then

Modified: dlvhex-dlplugin/branches/release2x/examples/bird.owl
===================================================================
--- dlvhex-dlplugin/branches/release2x/examples/bird.owl	2012-02-24 20:00:32 UTC (rev 3571)
+++ dlvhex-dlplugin/branches/release2x/examples/bird.owl	2012-02-25 11:24:39 UTC (rev 3572)
@@ -26,11 +26,12 @@
 <!--	<Penguin rdf:ID="Joe"/> 
 	<Penguin rdf:ID="Jin"/> 
 	<Bird rdf:ID="John"/>
-	<Bird rdf:ID="Min"/>
+<!--	<Bird rdf:ID="Min"/>
 	<Penguin rdf:ID="Thomas"/>
 	<Bird rdf:ID="Mush"/>
 	<Penguin rdf:ID="Ilham"/>
 	<Bird rdf:ID="Caroline"/>
 	<Penguin rdf:ID="Ivan"/>-->
+-->
 
 </rdf:RDF>

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