combination2_aprove

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