#!/bin/ksh

BENCHMARK="$1"

if test -z "$BENCHMARK"
then
	echo
	echo "usage: $0 <benchmark>"
	echo
	echo "where benchmark is any of bound, qbd, qbf-inv, ..."
	echo
 	echo "To restrict the chosen benchmark it is possible to use"
        echo "bound-cnf-K3, bound-cnf-K3-C4 etc."
	echo
	exit 1
fi

for FILE in `ls p-${SRC}*` ;
do

rm -f tmp.1 tmp.2
mv ${FILE} tmp.1

sed "s/r1-/2/gp" tmp.1 > tmp.2
sed "s/r1/1/gp" tmp.2 > ${FILE}

done