System
Version
Divisions
R
Entrant (Associates)
Entrant's Affiliation
Entry date
Description
Solutions
V
Source
E
3.5.1
THF FOF FNT UEQ
Stephan Schulz
DHBW Stuttgart
08/05/26
GDV
2.0
ProoVer
Geoff Sutcliffe
University of Miami
08/04/26
Drodi
4.1.1
FOF FNT UEQ
Oscar Contreras
Amateur Programmer
24/03/26
ProofCheck
1.0
ProoVer
Jeff Machado (Larry Lesyna)
Private
30/04/26
Mace4
2026-4F
FNT
Jeff Machado (Larry Lesyna)
Private
30/04/26
Prover9
1109a
Demo: FOF
✓
CASC
(William McCune, Bob Veroff)
CASC
(University of New Mexico)
23/03/26
Description
Samples
Source
Prover9
2026-4F
FOF UEQ
Jeff Machado (Larry Lesyna)
Private
30/04/26
PyCheck
0.1
ProoVer
Stephan Schulz
DHBW Stuttgart
08/05/26
Twee
2.7
UEQ
Nick Smallbone (Guy Axelrod)
Chalmers University of Technology
09/05/26
Vampire
5.0
Demo: THF FOF UEQ
✓
CASC
CASC-30 winner
23/03/26
Description
Samples
Source
Division Lists
Competition Divisions
THF
FOF
FNT
UEQ
ProoVer
E 3.5.1
Drodi 4.1.1
E 3.5.1
Prover9 2026-4F
Drodi 4.1.1
E 3.5.1
Mace4 2026-4F
Drodi 4.1.1
E 3.5.1
Prover9 2026-4F
Twee 2.7
ProofCheck 1.0
PyCheck 0.1
Demonstration Divisions
Vampire 5.0
Prover9 1109a
Vampire 5.0
Vampire 4.8
Vampire 5.0
GDV 2.0
Personal Details
Who
System
T-Shirt
Rego
Here?
Dinner?
Notes
Oscar Contreras
Drodi 4.1.1
Large
No
No
Oscar Contreras, c/ Portugal, 4,
Urb. Penas Albas 28810 Villalbilla
Madrid, Spain
Jeff Machado
Mace4 2026-4F, Prover9 2026-4F, ProofCheck 1.0
XXLarge
USD
No
No
Post
Aart Middeldorp
Panelist
XLarge
Free
Yes
Yes
Cláudia Nalon
Panelist
Small
Free
Yes
Yes
Stephan Schulz
E 3.5.1, PyCheck 0.1
XXLarge
Martina Seidl
Panelist
Large
Free
Nick Smallbone
Twee 2.7
XLarge
Geoff Sutcliffe
Organizer, GDV 2.0
XLarge ✓
Free
Yes
Yes
Wear