#!/bin/ksh
#####################################################
# Script for generating reference problems          #
#####################################################
NINST="-all 64"
OPT="-clauses 16 -vars 4 -depth 1 -lits 3"

echo "Generation"
echo "  bound"

bound ${OPT}     ${NINST}
bound ${OPT} -K  ${NINST}
bound ${OPT} -S4 ${NINST}

OPT="-clauses 20 -vars 2 -depth 2 -lits 4"
for PROBLEM in qbf qbf-inv qbf-cpdl qbf-S5n
do
    echo "  ${PROBLEM}"

    ${PROBLEM} ${OPT} ${NINST}
    for OPT2 in K S4
    do
        ${PROBLEM} ${OPT} -${OPT2} ${NINST}
    done
done

OPT="-clauses 32 -vars 4 -depth 1 -lits 4"
for PROBLEM in psat psat-inv
do
    echo "  ${PROBLEM}"

    ${PROBLEM} ${OPT} ${NINST}
    for OPT2 in K S4
    do
         ${PROBLEM} ${OPT} -${OPT2}  ${NINST}
    done
done

    echo "tar+gzip"

for PROBLEM in bound qbf qbf-inv qbf-cpdl qbf-S5n psat psat-inv
do
    echo "  ${PROBLEM}"

    for OPT in cnf modK modS4
    do
        tar -cf ${PROBLEM}-${OPT}.tar p-${PROBLEM}-${OPT}*
        rm -f p-${PROBLEM}-${OPT}*
        gzip ${PROBLEM}-${OPT}.tar
    done
done