yap-6.3/packages/CLPBN/clpbn/bp/benchmarks/city/hve_tests.sh

#!/bin/bash

source city.sh
source ../benchs.sh

SOLVER="hve"

YAP=~/bin/$SHORTNAME-$SOLVER

LOG_FILE=$SOLVER.log
#LOG_FILE=results`date "+ %H:%M:%S %d-%m-%Y"`.

rm -f $LOG_FILE
rm -f ignore.$LOG_FILE

run_all_graphs "hve(elim_heuristic=min_neighbors)     " min_neighbors
refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00			`#!/bin/bash`

improvements on benchmarkings 2012-04-11 23:48:59 +01:00			`source city.sh`
			`source ../benchs.sh`
refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00
improvements on benchmarkings 2012-04-11 23:48:59 +01:00			`SOLVER="hve"`
refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00
improvements on benchmarkings 2012-04-11 23:48:59 +01:00			`YAP=~/bin/$SHORTNAME-$SOLVER`

			`LOG_FILE=$SOLVER.log`
			#LOG_FILE=results`date "+ %H:%M:%S %d-%m-%Y"`.
refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00
			`rm -f $LOG_FILE`
			`rm -f ignore.$LOG_FILE`

improvements on benchmarkings 2012-04-11 23:48:59 +01:00			`run_all_graphs "hve(elim_heuristic=min_neighbors) " min_neighbors`
refactor the city benchmarks and introduce set_solver/1 2012-04-11 19:15:52 +01:00