Artur Meski
f0019619b3
- Minor codebase clean-up - Slight reorganisation of examples + tests so that we don't break stuff by accident - CI tests
68 lines
1.3 KiB
Bash
68 lines
1.3 KiB
Bash
#!/bin/sh
|
|
|
|
outdir="results"
|
|
basefname="bc_"
|
|
forms="`seq 1 4`"
|
|
seq_f1="`seq 1 25`"
|
|
seq_f2="`seq 1 25`"
|
|
seq_f3="`seq 9 25`"
|
|
seq_f4="`seq 1 25`"
|
|
|
|
tool="../main"
|
|
options="-c -z -v -B"
|
|
|
|
ulimit -t 3600
|
|
ulimit -v 2097152
|
|
|
|
for form in $forms; do
|
|
eval sequence='$'seq_f$form
|
|
for n in $sequence; do
|
|
echo $form $n
|
|
|
|
for part in PT MT; do
|
|
|
|
echo "$form $n $part"
|
|
|
|
if [ "$part" = "PT" ];then
|
|
popt="-x"
|
|
suf="_pt"
|
|
else
|
|
popt=""
|
|
suf=""
|
|
fi
|
|
|
|
stopfile="DONE_${basefname}_f${form}${suf}.done"
|
|
|
|
if [ -e "$stopfile" ];then
|
|
echo "Time limit - SKIPPING"
|
|
continue
|
|
fi
|
|
|
|
filename="$outdir/${basefname}${part}_f${form}_n${n}.out"
|
|
|
|
echo "$x" > $filename
|
|
|
|
./gen_bc.py $n $form > tmp.drs
|
|
|
|
echo "EXEC: $tool $options $popt tmp.drs"
|
|
$tool $options $popt tmp.drs >&1 >> $filename
|
|
|
|
result="$(tail -1 $filename | grep -E '.*;.*;.*;.*'| sed "s/STAT/$n /")"
|
|
if [ "$result" = "" ];then
|
|
echo "time limit"
|
|
touch $stopfile
|
|
else
|
|
echo $result >> results/summary_${basefname}${part}_f${form}
|
|
echo $result | sed 's/;/ /g' >> $outdir/${basefname}f${form}${suf}.dat
|
|
echo $result
|
|
fi
|
|
|
|
done
|
|
|
|
echo
|
|
done
|
|
done
|
|
|
|
rm -f DONE_*.done
|
|
|