#!/bin/sh

PL=../../../cpa
ARG1="-pc"
ARG2="-ph"

PROBS="blw1.al blw2.al blw3.al blw4.al blw5.al"

echo "DOMAIN = BLOCKS WORLD, Approximation = PC"
for f in $PROBS; do
	echo "PROBLEM = $f"
	$PL $f $ARG1
done

echo "DOMAIN = BLOCKS WORLD, Approximation = TTU"
for f in $PROBS; do
	echo "PROBLEM $f"
	$PL $f $ARG2
done

