#! /bin/bash

set -e

for file in $@; do
    echo -ne "$file PC-2  \r" 1>&2
    echo "Input: $file"
    csp-solve -C PC-2 --no-solve "$file" 
    echo -ne "$file DPC   \r" 1>&2
    echo "Input: $file"
    csp-solve -C DPC --no-solve "$file"
    echo -ne "$file PPC   \r" 1>&2
    echo "Input: $file"
    csp-solve -C PPC --no-solve "$file"
    echo -ne "$file TPPC  \r" 1>&2
    echo "Input: $file"
    csp-solve -C TPPC --no-solve "$file"
    echo -ne "$file TPPC-2\r" 1>&2
    echo "Input: $file"
    csp-solve -C TPPC-2 --no-solve "$file"
done
