#!/bin/sh

exec ./vampire_rel_static_ahmed-new-hol_6848 --input_syntax tptp --proof tptp --output_axiom_names on --mode portfolio --schedule snake_slh $1 -m 12000  -t $STAREXEC_CPU_LIMIT
