#!/bin/sh

exec ./vampire_casc2023 --mode casc_sat -m 16384 --cores 7 -t $STAREXEC_WALLCLOCK_LIMIT $1
