Simulation Implementation

• Uses the TPTP results collection

• Results from
  • Bliksem 1.01
  • Gandalf c-1.0d
  • OtterMACE 437
  • SETHEO C-14
  • SPASS 0.85

• Simluated all modes over TPTP v2.1.0