| THF | THN | TFA | TFN | FOF | FNT | CNF | SAT | EPR | SLH | LTB | T-Shirt Design | |||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CASC‑J9 (2018) | Satallax 3.3 | | Vampire 4.3 | | Vampire 4.3 | Vampire 4.3 | | | iProver 2.8 | | MaLARea 0.6 | Dagger in Heart | ||
| CASC‑26 (2017) | Satallax 3.2 | | Vampire 4.1 | | Vampire 4.2 | Vampire 4.1 | | | iProver 2.6 | Vampire 4.2 | Vampire 4.2 | Snowman | ||
| CASC‑J8 (2016) | Satallax 3.0 | | Vampire 4.1 | Beagle 0.9.47 | Vampire 4.0 | Vampire 4.1 | | | iProver 2.5 | Vampire 4.0 | ATP? DFM! | |||
| CASC‑25 (2015) | Satallax 2.8 | Nitpick 2015 | VampireZ3 1.0 | CVC4 1.5 | Vampire 4.0 | Vampire 4.0 | | | Vampire 4.0 | | Vampire 4.0 | Sailing | ||
| CASC‑J7 (2014) | Satallax‑MaLeS 1.3 | | CVC4 1.4 | | Vampire 2.6 | iProver 1.0‑SAT | | | iProver 0.9 | Waldmeister 710 | | Vienna Sausage | ||
| CASC‑24 (2013) | Satallax‑MaLeS 1.2 | | SPASS+T 2.2.19 | | Vampire 2.6 | iProver 1.0‑SAT | | | iProver 0.9 | | MaLARea 0.5 | Brain | ||
| CASC‑J6 (2012) | Isabelle 2012 | | Princess 120604 | | Vampire 2.6 | Paradox 3.0 | | | iProver 0.9 | | Vampire 2.6 | Troll | ||
| CASC‑23 (2011) | Satallax 2.1 | | SPASS+T 2.2.14 | | Vampire 0.6 | Paradox 3.0 | E 1.4pre | | iProver 0.9 | Waldmeister 710 | Vampire‑LTB 1.8 | Flower Power | ||
| 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 | Bagpipes | ||
| 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 | Guillotine | ||
| CASC‑J4 (2008) | | | | | Vampire 10.0 (A&P) | MetaProver 1.0(A) Paradox 3.0(M) | Vampire 10.0 | MetaProver 1.0 | iProver 0.5 | Waldmeister 806 | SInE 0.3 | 'Roo and Koalas | ||
| 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 | | Fishing | ||
| CASC‑J3 (2006) | | | | | Vampire 8.1 (A&P) | | Vampire 8.1 (A&P) | Paradox 1.3 (A&M) | Darwin 1.3 | Waldmeister 806 | | CASC Beer | ||
| CASC‑20 (2005) | | | | | Vampire 8.0 (A&P) | | Vampire 8.0 (A&P) | Paradox 1.3 (A&M) | DCTP 10.21p | Waldmeister 704 | | ATP seems Impossible | ||
| 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 | | Love and Hate | ||
| 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 | | State Space Explosion | ||
| CASC‑18 (2002) | | | | | Vampire 5.0 | | Vampire 5.0 (A&P) | Gandalf c-2.5-SAT | E‑SETHEO csp02 | Waldmeister 702 | | Rainbow | ||
| CASC‑JC (2001) | | | | | E‑SETHEO csp01 | | E‑SETHEO csp01 (A) VampireJC 2.0 (A&P) | GandalfSat 1.0 | E‑SETHEO csp01 | Waldmeister 601 | SEM | Wizard logos | ||
| CASC‑17 (2000) | | | | | VampireFOF 1.0 | | E 0.6 | GandalfSat 1.0 | | Waldmeister 600 | E‑SETHEO csp00 | Flying saucer | ||
| CASC‑16 (1999) | | | | | SPASS 1.00T | | Vampire 0.0 | OtterMACE 437 | | Waldmeister 799 | | Spray can | ||
| CASC‑15 (1998) | | | | | SPASS 1.0.0a | | Gandalf c‑1.1 | SPASS 1.0.0a | | Waldmeister 798 | | Worm and butterfly | ||
| CASC‑14 (1997) | | | | | SPASS 0.77 | | Gandalf | SPASS 0.77 | | Waldmeister | | Meat mincer | ||
| CASC‑13 (1996) | | | | | | | E-SETHEO | | | Otter 3.0.4z | |
