----------------------------- clasp-mt/bin/run ----------------------------
#!/bin/bash
if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

SOLVER=clasp
GROUNDER=gringo
OPTIONS="-t8"

MAXINT=$1
MAX_NESTING_LEVEL=$2 
OUTP="$3"
SCRIPTDIR=`dirname $0`
CLASP="${SCRIPTDIR}/${SOLVER}"
GRINGO="${SCRIPTDIR}/${GROUNDER}"


trap ":" 24 15
$GRINGO --foobar="$OUTP" | $CLASP --outf=1 -q1,1 $OPTIONS
declare -a retvals=( "${PIPESTATUS[@]}" )
test ${retvals[0]} -gt 0 && exit ${retvals[0]} || exit ${retvals[1]}

----------------------------- clasp-st/bin/run ----------------------------
#!/bin/bash
if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

SOLVER=clasp
GROUNDER=gringo
OPTIONS="--opt-heuristic=3 --reset-restarts=1 --restart-on-model --opt-strategy=5"

MAXINT=$1
MAX_NESTING_LEVEL=$2 
OUTP="$3"
SCRIPTDIR=`dirname $0`
CLASP="${SCRIPTDIR}/${SOLVER}"
GRINGO="${SCRIPTDIR}/${GROUNDER}"


trap ":" 24 15
$GRINGO --foobar="$OUTP" | $CLASP --outf=1 -q1,1 $OPTIONS
declare -a retvals=( "${PIPESTATUS[@]}" )
test ${retvals[0]} -gt 0 && exit ${retvals[0]} || exit ${retvals[1]}

----------------------------- lp2bv2+boolector/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + ACYC2BV + BOOLECTOR

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${MAIN%%/bin}/tmp

symfile=$TMP/$$-symbols.sm
outfile=$TMP/$$-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 -k 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/acyc2solver-1.5 --bv 2>/dev/null \
| fgrep -v get-model \
| $BIN/boolector-1.6.0 --smt2 -m 2>/dev/null >$outfile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[8]}
rval=$?

exit $rval
----------------------------- lp2graph/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2GRAPH

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/lp2sat-1.20 -g 2>/dev/null \
| $BIN/acycglucose_simp /dev/stdin $outfile 1>/dev/null 2>/dev/null

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[7]}
rval=$?

exit $rval
----------------------------- lp2maxsat+clasp/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + LP2SAT + CLASP

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 -ko 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/lp2sat-1.24 -b 2>/dev/null \
| $BIN/clasp-2.1.5 --config=trendy --quiet=1,1 2>/dev/null >$outfile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[7]}
rval=$?

exit $rval
----------------------------- lp2mip2/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + ACYC2MIP + CPLEX (optimizing)

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
infile=$TMP/$unid-input.lp
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 -ko 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/acyc2solver-1.5 --mip 2>/dev/null >$infile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  rm -f $symfile $infile
  exit 128
fi

for i in 1 2 3 4 5
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    rm -f $symfile $infile
    exit 1
  fi
done

if test "`head -2 $infile | tail -1`" = ""
then
  let opt=0
else
  let opt=1
fi

wd=`pwd`
cd $TMP
( echo "read "$infile; \
  echo "set threads 1"; \
  echo "optimize"; \
  echo "display solution variables var_*" ) \
| cplex > $outfile 2>/dev/null
rval=$?
cd $wd
rm -f $infile
rm -f $TMP/cplex.log
rm -f $TMP/clone*.log

if test $rval -ne 0
then
  echo "UNKNOWN"
  exit 1
fi

$BIN/judge $symfile $outfile $opt
rval=$?

exit $rval
----------------------------- lp2mip2-mt/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + ACYC2SOLVER + CPLEX (6 threads, optimizing)

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
infile=$TMP/$unid-input.lp
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 -ko 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/acyc2solver-1.5 --mip 2>/dev/null >$infile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  rm -f $symfile $infile
  exit 128
fi

for i in 1 2 3 4 5
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    rm -f $symfile $infile
    exit 1
  fi
done

if test "`head -2 $infile | tail -1`" = ""
then
  let opt=0
else
  let opt=1
fi

wd=`pwd`
cd $TMP
( echo "read "$infile; \
  echo "set threads 6"; \
  echo "optimize"; \
  echo "display solution variables var_*" ) \
| cplex > $outfile 2>/dev/null
rval=$?
cd $wd
rm -f $infile
rm -f $TMP/cplex.log
rm -f $TMP/clone*.log

if test $rval -ne 0
then
  echo "UNKNOWN"
  exit 1
fi

$BIN/judge $symfile $outfile $opt
rval=$?

exit $rval
----------------------------- lp2normal2+clasp/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2NORMAL2 (1.5) + CLASP (3.0.3)

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lp2normal2-1.7 -k \
  -cR-if "1000 < n * (log k) * (log (n - k + 1))" \
  -wR-if "x = n * (1 + log(w/n)); 10000 < x * (log x)^2" \
  -oqn 2>/dev/null \
| $BIN/igen-1.7 2>/dev/null \
| $BIN/clasp-3.0.3 --config=trendy --outf=1 -V0

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

exit ${rvals[3]}
----------------------------- lp2sat3+glucose/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + LP2SAT + GLUCOSE

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/lp2sat-1.20 -b 2>/dev/null \
| $BIN/glucose-3.0 /dev/stdin $outfile 1>/dev/null 2>/dev/null

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[7]}
rval=$?

exit $rval
----------------------------- lp2sat3+lingeling/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + LP2SAT + LINGELING

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/lp2sat-1.20 -b 2>/dev/null \
| $BIN/lingeling-ayi 2>/dev/null >$outfile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[7]}
rval=$?

exit $rval
----------------------------- lp2sat3+plingeling-mt/bin/run ----------------------------
#!/bin/bash

# Wrapper script for LP2ACYC + LP2SAT + LINGELING

if test $# -ne 3
then
  echo "The script $0 must be invoked with three parameters!"
  exit 128
fi

trap ":" 24 15

BIN=`dirname $0`
TMP=${BIN%%/bin}/tmp

unid=`hostname -s`-$$
symfile=$TMP/$unid-symbols.sm
outfile=$TMP/$unid-output.txt

gringo-aspcomp2014 --foobar="$3" 2>/dev/null \
| $BIN/lpstrip-1.8 2>/dev/null \
| $BIN/lpcat-1.25 -s=$symfile 2>/dev/null \
| $BIN/lpshift-1.2 2>/dev/null \
| $BIN/lp2normal2-1.7 2>/dev/null \
| $BIN/lp2acyc-1.12 2>/dev/null \
| $BIN/lp2sat-1.20 -b 2>/dev/null \
| $BIN/plingeling-ayi -t 6 2>/dev/null >$outfile

declare -a rvals=("${PIPESTATUS[@]}")

if test ${rvals[0]} -ne 0
then
  echo "Grounding error!"
  exit 128
fi

for i in 1 2 3 4 5 6
do
  if test ${rvals[$i]} -ne 0
  then
    echo "UNKNOWN"
    exit 1
  fi
done

$BIN/judge $symfile $outfile ${rvals[7]}
rval=$?

exit $rval
----------------------------- wasp1.5/bin/run ----------------------------
#!/bin/bash
if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

MAXINT=$1
MAX_NESTING_LEVEL=$2
OUTP="$3"
PIPE=/tmp/wasppipe_$$
SCRIPTDIR=`dirname $0`

$SCRIPTDIR/selector --stdin --selector=$$ --silent | $SCRIPTDIR/run2 $PIPE $MAXINT $MAX_NESTING_LEVEL $OUTP
declare -a retvals=( "${PIPESTATUS[@]}" )
test ${retvals[0]} -gt 0 && exit ${retvals[0]} || exit ${retvals[1]}

----------------------------- wasp1/bin/run ----------------------------
#!/usr/bin/env bash
# by Mario Alviano

set -o pipefail     # Disable output buffering

if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

MAXINT=$1
MAX_NESTING_LEVEL=$2    # NOTE: MAX_NESTING_LEVEL is not used in this version of DLV
OUTPUT_PREDICATES=$3

SCRIPTDIR=`dirname $0`
BIN=$SCRIPTDIR/dlv
WASP=$SCRIPTDIR/wasp1

$BIN -- -nofinitecheck -pfilter=$OUTPUT_PREDICATES | $WASP --heuristic-berkmin=512 --competition-output
ECODE=$?

exit $ECODE
----------------------------- wasp2/bin/run ----------------------------
#!/usr/bin/env bash
# by Mario Alviano

set -o pipefail     # Disable output buffering

if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

MAXINT=$1
MAX_NESTING_LEVEL=$2    # NOTE: MAX_NESTING_LEVEL is not used in this version of DLV
OUTPUT_PREDICATES=$3

SCRIPTDIR=`dirname $0`
BIN=gringo-aspcomp2014
WASP=$SCRIPTDIR/wasp

$BIN --foobar="$OUTPUT_PREDICATES" | $WASP --competition-output
ECODE=$?

exit $ECODE
----------------------------- wasp_wmsu1_only_weak/bin/run ----------------------------
#!/usr/bin/env bash
# by Mario Alviano

set -o pipefail     # Disable output buffering

if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

MAXINT=$1
MAX_NESTING_LEVEL=$2    # NOTE: MAX_NESTING_LEVEL is not used in this version of DLV
OUTPUT_PREDICATES=$3

SCRIPTDIR=`dirname $0`
BIN=$SCRIPTDIR/dlv
WASP=$SCRIPTDIR/wasp1

$BIN -- -nofinitecheck -pfilter=$OUTPUT_PREDICATES | $WASP --heuristic-berkmin=512 --wmsu1 --competition-output
ECODE=$?

exit $ECODE
----------------------------- wasp_wpm1_only_weak/bin/run ----------------------------
#!/usr/bin/env bash
# by Mario Alviano

set -o pipefail     # Disable output buffering

if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

MAXINT=$1
MAX_NESTING_LEVEL=$2    # NOTE: MAX_NESTING_LEVEL is not used in this version of DLV
OUTPUT_PREDICATES=$3

SCRIPTDIR=`dirname $0`
BIN=$SCRIPTDIR/dlv
WASP=$SCRIPTDIR/wasp1

$BIN -- -nofinitecheck -pfilter=$OUTPUT_PREDICATES | $WASP --heuristic-berkmin=512 --wpm1 --competition-output
ECODE=$?

exit $ECODE
-------------------------------------------------------------------------------------