| THF | FOF | FNT | CNF | SAT | EPR | UEQ | LTB | |||
|---|---|---|---|---|---|---|---|---|---|---|
| CASC‑J5 (2010) | LEO‑II 1.2 | Vampire 0.6 (A&P) | Paradox 3.0 (A&M) | Vampire 0.6 | | iProver 0.8 | Waldmeister 710 | Vampire‑LTB 0.6 | ||
| CASC‑22 (2009) | TPS 3.080227G1d | Vampire 11.0 (A&P) | Paradox 3.0(A&M) | Vampire 10.0 | Paradox 3.0 | iProver 0.7 | Waldmeister C09a | Vampire‑LTB 11.0 | ||
| CASC‑J4 (2008) | | Vampire 10.0 (A&P) | MetaProver 1.0(A) Paradox 2.2(M) | Vampire 10.0 | MetaProver 1.0 | iProver 0.5 | Waldmeister 806 | SInE 0.3 | ||
| CASC‑21 (2007) | | Vampire 9.0 (A&P) | Paradox 2.2(A&M) | Vampire 8.1 (A&P) | Paradox 1.3 (A&M) | Darwin 1.3 | Waldmeister 806 | | ||
| CASC‑J3 (2006) | | Vampire 8.1 (A&P) | | Vampire 8.1 (A&P) | Paradox 1.3 (A&M) | Darwin 1.3 | Waldmeister 806 | | ||
| CASC‑20 (2005) | | Vampire 8.0 (A&P) | | Vampire 8.0 (A&P) | Paradox 1.3 (A&M) | DCTP 10.21p | Waldmeister 704 | | ||
| CASC‑J2 (2004) | | Vampire 7.0 (A&P) | | Vampire 7.0 (A&P) | Gandalf c‑2.6‑SAT (A) Paradox 1.0‑casc (M) | DCTP 10.21p | Waldmeister 704 | | ||
| CASC‑19 (2003) | | Vampire 6.0 | | Vampire 6.0 (A&P) | Gandalf c‑2.6‑SAT (A) Paradox 1.0‑casc (M) | DCTP 1.3-SAT | Waldmeister 702 | | ||
| CASC‑18 (2002) | | Vampire 5.0 | | Vampire 5.0 (A&P) | Gandalf c-2.5-SAT | E‑SETHEO csp02 | Waldmeister 702 | | ||
| CASC‑JC (2001) | | E‑SETHEO csp01 | | E‑SETHEO csp01 (A) VampireJC 2.0 (A&P) | GandalfSat 1.0 | E‑SETHEO csp01 | Waldmeister 601 | SEM | ||
| CASC‑17 (2000) | | VampireFOF 1.0 | | E 0.6 | GandalfSat 1.0 | | Waldmeister 600 | E‑SETHEO csp00 | ||
| CASC‑16 (1999) | | SPASS 1.00T | | Vampire 0.0 | OtterMACE 437 | | Waldmeister 799 | | ||
| CASC‑15 (1998) | | SPASS 1.0.0a | | Gandalf c‑1.1 | SPASS 1.0.0a | | Waldmeister 798 | | ||
| CASC‑14 (1997) | | SPASS 0.77 | | Gandalf | SPASS 0.77 | | Waldmeister | | ||
| CASC‑13 (1996) | | | | E-SETHEO | | | Otter 3.0.4z | |