#!/bin/ksh
#####################################################
# Script for generating reference problems          #
#####################################################

SAMPLES=$1

if test -z "${SAMPLES}"
then
  echo ""
  echo "Usage: genref nsamples"
  echo ""
  exit
fi

DIR=`pwd`

for SOURCE in bound-cnf bound-S5n persat unbound-qbf unbound-S5n
do	
 gcc -O3 "${SOURCE}.c" -o sampler

   echo "Making ${SOURCE}"
   mkdir "${SOURCE}"
   cp sampler "${SOURCE}"
   cd "${SOURCE}"
   for CLAUSES in 8 16 32
   do
     sampler -clauses ${CLAUSES} -all ${SAMPLES}
   done
   rm sampler
   cd ${DIR}
   tar -cf "${SOURCE}.tar" "${SOURCE}"
   gzip --best "${SOURCE}.tar"

 for OPT in K S4
 do
   echo "Making ${SOURCE}-mod${OPT}"
   mkdir "${SOURCE}-mod${OPT}"
   cp sampler "${SOURCE}-mod${OPT}/"
   cd "${SOURCE}-mod${OPT}"
   for CLAUSES in 8 16 32
   do
     sampler -clauses ${CLAUSES} -all ${SAMPLES} "-${OPT}"
   done
   rm sampler
   cd ${DIR}
   tar -cf "${SOURCE}-mod${OPT}.tar" "${SOURCE}-mod${OPT}"
   rm -fR "${SOURCE}-mod${OPT}"
   gzip --best "${SOURCE}-mod${OPT}.tar"
 done
done

exit