System Testing Setup
The Systems
Bliksem 1.12
E 0.62
Gandalf c-1.9c
Otter 3.0.6
SCOTT 6.0.0
SETHEO 3.3
S-SETHEO 0.0
SNARK 990218
SPASS 1.03
Waldmeister 600
Vampire 2.0
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
