execReasoner.sh: using the sime timeout program from competition

adrianomelo · Jan 21, 2015 · 7d4e6eb · 7d4e6eb
1 parent d9fb126
commit 7d4e6eb
Showing 1 changed file with 4 additions and 9 deletions.
diff --git a/execReasoner.sh b/execReasoner.sh
@@ -1,10 +1,5 @@
 #!/bin/bash
-# 
-# OWL Reasoner Evaluation Workshop (ORE) 2013
-# Example reasoner executor script
-# Last updated: 27-Mar-13
-# 
-ulimit -t 180
-cd /Users/amelo/forest/ufpe/ore-comptetition/data/reasoners/leancor/
-#echo $*
-swipl -O -q -G7g -T7g -L7g -f owl2_cli.pl -t halt. -g main $* 2> $5_err
+
+cd $(dirname $0)
+timeoutsec=`expr $1 / 1000`
+timeout $timeoutsec swipl -O -q -G7g -T7g -L7g -f owl2_cli.pl -t halt. -g main $*