System | Version | Divisions | Entrant | Institution | Entry date | Executable (.gz or .tar.gz) | Sources (.tar.gz) |
---|---|---|---|---|---|---|---|
Bliksem | 1.10 | MIX UEQ SAT FOF SEM | Hans de Nivelle | Max Planck Institut für Informatik | 15/5/00 | Executable | Source |
E | 0.6 | MIX UEQ | Stephan Schulz | Technische Universität München | 28/3/00 | Executable | Source |
E-SETHEO | 2000csp | MIX UEQ FOF SEM | Stephan Schulz (Reinhold Letz, Gernot Stenz) | Technische Universität München | 6/4/00 | Executable | Source |
Gandalf | c-2.1 | MIX UEQ FOF SEM | Tanel Tammet | Tallinn Technical University | 2/5/00 | Executable | Source |
GandalfSat | 1.0 | SAT | Tanel Tammet | Computing Centre | 6/5/00 | Executable | Source |
HOTTER | 0.1 | Withdrawn | Hantao Zhang | University of Iowa | 4/5/00 | ||
MACE | 1.4 | SAT | William McCune (Larry Wos, Ross Overbeek, Rusty Lusk) | Argonne National Laboratory | 2/4/00 | Executable | Source |
MUSCADET | 2.2 | FOF SEM | Dominique Pastre | Université René Descartes | 27/4/00 | Executable | Source |
Otter-MACE | 437 | SAT | CASC-16 | CASC | 25/11/99 | Executable | Source |
Otter | 3.1 | MIX UEQ FOF SEM | William McCune (Larry Wos, Ross Overbeek, Rusty Lusk) | Argonne National Laboratory | 2/4/00 | Executable | Source |
SCOTT | 5.0.0 | MIX UEQ FOF SEM | Kahlil Hodgson (John Slaney) | Australian National University | 15/5/00 | Executable | Source |
SCOTTSat | 5.0.0 | SAT | Kahlil Hodgson (John Slaney) | Australian National University | 15/5/00 | Executable | Source |
SPASS | 1.00T | FOF | CASC-16 | CASC | 25/11/99 | Executable | Source |
Vampire | 0.0 | MIX | CASC-16 | CASC | 25/11/99 | Executable | Source |
Vampire | 1.0 | MIX UEQ FOF SEM | Alexandre Riazanov (Andrei Voronkov) | The University of Manchester | 24/4/00 | Executable | Source |
Waldmeister | 799 | UEQ | CASC-16 | CASC | 25/11/99 | Executable | Source |
Waldmeister | 600 | UEQ | Thomas Hillenbrand (Bernd Loechner, Andreas Jaeger, Arnim Buch) | Universität Kaiserslautern | 8/5/00 | Executable | Source |
MIX | UEQ | SAT | FOF | SEM |
---|---|---|---|---|
Bliksem 1.10 E 0.6 E-SETHEO 2000csp Gandalf c-2.1 Otter 3.1 SCOTT 5.0.0 Vampire 0.0 Vampire 1.0 |
Bliksem 1.10 E 0.6 E-SETHEO 2000csp Gandalf c-2.1 Otter 3.1 SCOTT 5.0.0 Vampire 1.0 Waldmeister 799 Waldmeister 600 |
Bliksem 1.10 GandalfSat 1.0 MACE 1.4 Otter-MACE 437 SCOTTSat 5.0.0 |
Bliksem 1.10 E-SETHEO 2000csp Gandalf c-2.1 MUSCADET 2.2 Otter 3.1 SCOTT 5.0.0 SPASS 1.00T Vampire 1.0 |
Bliksem 1.10 E-SETHEO 2000csp Gandalf c-2.1 MUSCADET 2.2 Otter 3.1 SCOTT 5.0.0 Vampire 1.0 |
SHW-MIX | SHW-UEQ | SHW-SAT | SHW-FOF |
---|---|---|---|
Entrant | System | Phone | |
---|---|---|---|
Hans de Nivelle | Bliksem 1.10 | nivelle@mpi-sb.mpg.de | +49 681 9325223 |
Thomas Hillenbrand | Waldmeister 600 | hillen@informatik.uni-kl.de | - |
Kahlil Hodgson | SCOTT 5.0.0 SCOTTSat 5.0.0 | kahlil@arp.anu.edu.au | - |
William McCune | Otter 3.1 MACE 1.4 | mccune@mcs.anl.gov | +1 630 2523065 |
Dominique Pastre | MUSCADET 2.2 | pastre@math-info.univ-paris5.fr | +33 1 44553562 |
Alexandre Riazanov | Vampire 1.0 | riazanov@cs.man.ac.uk | +44 161 2756132 |
Stephan Schulz | E 0.6 E-SETHEO 2000csp | schulz@infomatik.tu-muenchen.de | +49 89 28927914 |
Tanel Tammet | Gandalf c-2.1 GandalfSat 1.0 | tammet@cc.ttu.ee | +372 5524876 |
Hantao Zhang | HOTTER 0.1 | hzhang@cs.uiowa.edu | +1 630 9793418 |