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

The Performance Data