#!/bin/sh
if [ -z $SATHOME ] ; then SATHOME=".." ; fi;
BASE_NAME=$SATHOME/results/new/uf75/
PROBLEMS=satlib/uf75/*
BIN_DIR=$SATHOME/bin

COMMON_ARGS="-ml 3 -nr -rep 100 -mr 1 -mf 500000"

racing 1 "-rho 0.995 -del 0.0015 -pcp 10 -fcp 10"		sdfflt sdfflt "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 1 "-rho 0.99 -alpha 1.2 -noise 0.0005 -cp 100"		esg esg "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 1 "-pf dlmparams/dlmpara-4" 									dlm2k dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 1 "-hoos 0.01 -sbp 0.7"											pnovel pnovel "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 1 "-sbp 0.6" 																novel novel "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 1 "-noise 0.5"																wsat wsat "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 ""																					wsat-g wsat-g "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 ""																					wsat-b wsat-b "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 ""																					hsat hsat "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-tm 0.2"																	sa sa "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 ""																					gsat gsat "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-rho 0.995 -del 0.0005 -pcp 50 -fcp 10 -lc 1"		sdflc1 sdfflt "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 

racing 0 "-pf dlmparams/dlmpara-1" 									dlm2k-1 dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-pf dlmparams/dlmpara-2" 									dlm2k-2 dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-pf dlmparams/dlmpara-3" 									dlm2k-3 dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-pf dlmparams/dlmpara-4" 									dlm2k-4 dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 
racing 0 "-pf dlmparams/dlmpara-5" 									dlm2k-5 dlm2k "$COMMON_ARGS" $BASE_NAME "$SATHOME/cnf/$PROBLEMS.cnf" $BIN_DIR 

# Tuned DLM
# Tuned Novelty
# Tuned Novelty+
# Tuned WSAT