| System | Version | Divisions | Entrant | Institution | Entry date | System Description |
|---|---|---|---|---|---|---|
| CARINE | 0.72 | MIX* | Paul Haroun | McGill University | 23/6/03 | Description |
| CiME2 | 2.01 | UEQ | Evelyne Contejean (Benjamin Monate) | LRI, Universite Paris-Sud | 26/6/03 | Description |
| DCTP | 1.3 | MIX SAT EPR | Gernot Stenz | Max-Planck-Institut für Informatik | 27/6/03 | Description |
| DCTP | 10.2p | MIX FOF SAT EPR | Gernot Stenz | Max-Planck-Institut für Informatik | 27/6/03 | Description |
| E | 0.8 | MIX EPR UEQ | Stephan Schulz | Technische Universität München and RISC Linz | 20/04/03 | Description |
| EP | 0.8 | MIX* | Stephan Schulz | Technische Universität München and RISC Linz | 23/64/03 | Description |
| E-SETHEO | csp02 | EPR | CASC-18 | CASC | 10/3/03 | Description |
| E-SETHEO | csp03 | MIX FOF SAT EPR UEQ | Gernot Stenz (Reinhold Letz, Stephan Schulz) | Max-Planck-Institut für Informatik | 27/6/03 | Description |
| Gandalf | c-2.5-SAT | SAT | CASC-18 | CASC | 10/3/03 | Description |
| Gandalf | c-2.6 | MIX, SAT*, EPR, UEQ | Tanel Tammet | Tallinn Technical University | 16/6/03 | Description |
| Gandalf | c-2.6-PRF | MIX* | Tanel Tammet | Tallinn Technical University | 16/6/03 | Description |
| MUSCADET | 2.4 | FOF | Dominique Pastre | Université René Descartes | 9/5/03 | Description |
| Octopus | N | MIX (demo) | Monty Newborn (Zongyan Wang) | McGill University | 22/5/03 | Description |
| Otter | 3.2 | MIX* FOF UEQ | CASC-18 (William McCune) | CASC (Argonne National Laboratory) | 30/6/03 | Description |
| Paradox | 1.0 | SAT* EPR | Koen Claessen (Niklas Sörensson) | Chalmers University of Technology | 24/3/03 | Description |
| THEO | J2003 | MIX* | Monty Newborn (Zongyan Wang) | McGill University | 26/6/03 | Description |
| Vampire | 5.0 | MIX* FOF | CASC-18 | CASC | 10/3/03 | Description |
| Vampire | 6.0 | MIX* FOF EPR UEQ | Andrei Voronkov (Alexandre Riazanov) | The University of Manchester | 28/6/03 | Description |
| Waldmeister | 702 | UEQ | CASC-18 | CASC | 10/3/03 | Description |
| Waldmeister | 703 | UEQ | Thomas Hillenbrand (Jean-Marie Gaillourdet, Bernd Löchner) | Max-Planck-Institut für Informatik, Universität Kaiserslautern | 27/6/03 | Description |
| MIX | FOF | SAT | EPR | UEQ |
|---|---|---|---|---|
|
CARINE 0.72* DCTP 1.3 DCTP 10.2p E 0.8 EP 0.8* E-SETHEO csp03 Gandalf c-2.6 Gandalf c-2.6-PRF* Otter 3.2* THEO J2003* Vampire 5.0* Vampire 6.0* |
DCTP 10.2p E-SETHEO csp03 MUSCADET 2.4 Otter 3.2 Vampire 5.0 Vampire 6.0 |
DCTP 1.3 DCTP 10.2p E-SETHEO csp03 Gandalf c-2.5-SAT Gandalf c-2.6* Paradox 1.0* |
DCTP 1.3 DCTP 10.2p E 0.8 E-SETHEO csp02 E-SETHEO csp03 Gandalf c-2.6 Paradox 1.0 Vampire 6.0 |
CiME2 2.01 E 0.8 E-SETHEO csp03 Gandalf c-2.6 Otter 3.2 Vampire 6.0 Waldmeister 702 Waldmeister 703 |
| MIX | UEQ | SAT | FOF | EPR |
|---|---|---|---|---|
|
Octopus N |
|
|
|
|
| Entrant | System | Phone | T-Shirt | |
|---|---|---|---|---|
| Koen Claessen | Paradox 1.0 | koen@cs.chalmers.se | +46 31 7725424 | Large |
| Evelyne Contejean | CiME2 2.01 | contejea@lri.fr | +33 169156476 | XLarge |
| Paul Haroun | CARINE 0.72 | pharoun@cs.mcgill.ca | +1 514 7394481 | Medium |
| Thomas Hillenbrand | Waldmeister 703 | hillen@mpi-sb.mpg.de | +49 681 9325217 | XLarge |
| Monty Newborn | Octopus N | newborn@cs.mcgill.ca | +1 514 3987079 | Large |
| Dominique Pastre | MUSCADET 2.4 | pastre@math-info.univ-paris5.fr | +33 1 44553562 | Medium |
| Stephan Schulz | E 0.8, EP 0.8 | schulz@informatik.tu-muenchen.de | +49 89 28917882 | XLarge |
| Gernot Stenz | E-SETHEO csp03, DCTP 1.3 | stenz@mpi-sb.mpg.de | +49 681 9325205 | Large |
| Tanel Tammet | Gandalf c-2.6 | tammet@staff.ttu.ee | +37 25524876 | Large |
| Andrei Voronkov | Vampire 6.0 | riazanov@cs.man.ac.uk | +44 161 2756116 | XLarge |