#!/bin/bash
SCRIPTDIR=$(dirname "$0")
export LD_LIBRARY_PATH="$SCRIPTDIR/lib:$LD_LIBRARY_PATH"
$SCRIPTDIR/main.exe -under 20 -cdclT-mcsat 900 $1

# PWD=`pwd`
# #echo "PWD is $PWD"
# #echo "LD_LIBRARY_PATH is $LD_LIBRARY_PATH"
# export LD_LIBRARY_PATH="$PWD/unpack/e83784db3ad50f72565646716413a89eb34de188066c32e88d7c0cb7c79947a0/lib:$LD_LIBRARY_PATH"
# #ldd --version
# unpack/e83784db3ad50f72565646716413a89eb34de188066c32e88d7c0cb7c79947a0/main.exe -under 10 -cdclT-mcsat 900 $1
