#!/bin/sh

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