#!/bin/bash

task=$2
file=$4
extra=$8

solver=""
if [[ $task == EE* ]]; then
    solver="sat-to-sat -n=0"
else
    solver="sat-to-sat"
fi


if [ -d "solvers/s2s/$task" ]; then
    export TMPDIR="/users/bartb/tmp/"
    instance=`mktemp`
    cp $file $instance
    sed -i 's/att(/in_attack(/g' $instance
    sed -i 's/arg(/in_node(/g' $instance
    echo "" >> $instance
    echo "in_test($extra)." >> $instance

#  "solvers/s2s/$task/run.sh" "/home/bartb/Documents/forestry/graphsat/tests/link.sh" $instance 
    "solvers/s2s/$task/run.sh" "/home/bartb/Documents/forestry/graphsat/tests/link.sh" $instance | $solver 
    result=${PIPESTATUS[1]}
    rm $instance
    exit $result
else
    echo "UNSUPPORTED TASK $task"
    exit 1
fi