#!/bin/sh

exec ./vampire --mode casc --intent sat -m 16384 --cores 7 -t $STAREXEC_WALLCLOCK_LIMIT $1
