#!/bin/bash

BIN_NAME=isat_1.0r1322_64bit_static
ISAT_RELEASE=~/work/hshiwis/trunk/tools/isat/$BIN_NAME

for BENCH in `ls ../*.hys | sed "s/..\///g"`; do
    BENCH_OUT=$BENCH".out_"`hostname`"_"$BIN_NAME
    $ISAT_RELEASE ../$BENCH > $BENCH_OUT 2>&1
done &

BIN_NAME="hysat-0.8.6"
ISAT_RELEASE=~/work/hshiwis/trunk/tools/hysat/$BIN_NAME

for BENCH in `ls ../*.hys | sed "s/..\///g"`; do
    BENCH_OUT=$BENCH".out_"`hostname`"_"$BIN_NAME
    $ISAT_RELEASE ../$BENCH > $BENCH_OUT 2>&1
done &

BIN_NAME=isat_bmc_safe_frontend_r2117_64bit_static_stripped
ISAT_RELEASE=~/work/hshiwis/trunk/tools/isat/$BIN_NAME

for BENCH in `ls ../*.hys | sed "s/..\///g"`; do
    BENCH_OUT=$BENCH".out_"`hostname`"_"$BIN_NAME
    $ISAT_RELEASE --i ../$BENCH > $BENCH_OUT 2>&1
done &
