Testing Environment

Problems

• Two scenarios: Supermarket trolley, and Kitchen sink

• Scenario axioms
• Uniqueness-of-names axioms and predicate completions
• Arithmetic axioms
• DEC axioms

Testing Tools

• Vampire 7.0 (after trying a few)

• Dell P3, 930Mhz, 512MB, Linux 2.4
• 300s CPU limit