default

#!/bin/sh 
./cycsrs prove combA3 long none $1 -t$STAREXEC_WALLCLOCK_LIMIT