#!/bin/sh

exec ./vampire-hol --input_syntax tptp --proof tptp --output_axiom_names on --mode portfolio --schedule snake_slh $1 -m 16384 -t $STAREXEC_CPU_LIMIT
