System Testing Setup
E-SETHEO excluded, as its compositional nature makes analysis hard. The active components are included here.
The Performance Data
Systems given sufficient resources to pass their PPPs
Most systems tested on
SUN Ultra-80, 1GB RAM
300 second CPU time limit (total)
SNARK and SETHEO 3.3 tested on other machines