torpacyc

details

attribute	current value
name	torpacyc
description	no description
owning solver	cycsrs-29-07-2015.5

contents

#!/bin/sh 
./cycsrs prove torpacyc long none $1 -t300 #$STAREXEC_WALLCLOCK_LIMIT

back to cycsrs-29-07-2015.5