Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
split_aprove
details
attribute
current value
name
split_aprove
description
no description
owning solver
cycsrs-29-07-2015.5
contents
#!/bin/sh ./cycsrs prove aprove long split $1 -t$STAREXEC_WALLCLOCK_LIMIT
back to cycsrs-29-07-2015.5