#!/bin/sh

# Domain DOMINO: input = number of dominos

RINGS="2 3 4 5 10 15 20 25"

TIMEOUT=1800

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

echo "Running domino problems"

ulimit -t $TIMEOUT

echo "*** DOMAIN = RING, APPROXIMATION = PC ***"
for d in $RINGS; do
    echo "PROBLEM = RING($d)"
	$PL ring_${d}.al $ARG1
done

echo "*** DOMAIN = RING, APPROXIMATION = PH ***"
for d in $RINGS; do
    echo "PROBLEM = RING($d)"
    $PL ring_${d}.al $ARG2 
done

ulimit

