System
       Version
       Divisions
       R 
       Entrant (Associates)
       Entrant's Affiliation
       Entry date
       Description
       Solutions
       V
       Source
 
      
      
      
      
      
      
      
      
      
      
      
 
       Connect++
       0.6.1
       FOF ICU
       ✓
       Sean Holden
       University of Cambridge
       01/07/25
       Description
       Samples
         Source
 
       CSE_E
       1.7
       FOF UEQ ICU
       ✓
       Peiyao Liu (Baojie Rui, Yang Xu, 
          Stephan Schulz, Jun Liu, Shuwei Chen)
      Xihua University
       27/06/25
       Description
       Samples
         Source
 
       CSI_Enigma
       1.0.6
       EPR 
          Demo: FOF UEQ ICU
      ✓
       Guoyan Zeng (Yang Xu, Hailin Guo, 
          Peiyao Liu, Guanfeng Wu, Jan Jakubuv,
          Stephan Schulz, Jun Liu, Shuwei Chen,
          Feng Cao, Jian Zhong, Xingxing He,
          Peng Xu)
      Southwest Jiaotong University
       30/06/25
       Description
       Samples
         Source
 
       cvc5
       1.3.0
       TFN 
          Demo: THF TFA FOF SLH
      ✓
       Andrew Reynolds (Cesare Tinelli, 
          Clark Barrett, Lydia Kondylidou)
      University of Iowa
       03/07/25
       Description
       Samples
         Source
 
       Drodi
       4.1.0
       FOF EPR UEQ ICU
       ✓
       Oscar Contreras
       Amateur Programmer
       04/03/25
       Description
       Samples
         Source
 
       E
       3.3.0
       THF FOF EPR UEQ 
          SLH ICU
      ✓
       Stephan Schulz
       DHBW Stuttgart
       07/03/25
       Description
       Samples
         Source
 
       hopCoP
       0.1
       FOF
       ✓
       Michael Rawson (Clemens Eisenhofer, 
          Laura Kovács)
      University of Southampton
       03/07/25
       Description
       Samples
         Source
 
       iProver
       3.9
       Demo: TFN
       ✓
       CASC
       CASC-J12 winner
       24/02/25
       Description
       Samples
         Source
 
       iProver
       3.9.3
       TFA TFN FOF EPR 
          UEQ ICU
      ✓
       Konstantin Korovin
       The University of Manchester
       01/07/25
       Description
       Samples
         Source
 
       LastButNotLeast
       0
       FOF
       ✓
       Julie Cailler
       University of Lorraine, CNRS, 
          Inria, LORIA
      01/07/25
       Description
       Samples
         Source
 
       Leo-III
       1.7.19
       THF 
          Demo: SLH
      ✓
       Alexander Steen (Christoph Benzmüller)
       University of Greifswald
       07/07/25
       Description
       Samples
         Source
 
       LisaTT
       0.9.1
       FOF
         Simon Guilloud (Sankalp Gambhir)
       EPFL
       01/07/25
       Description
       Samples
        Source
 
       Prover9
       1109a
       Demo: FOF
       ✓
       CASC 
(William McCune, Bob Veroff)
      CASC 
(University of New Mexico)
      24/02/25
       Description
       Samples
         Source
 
       SPASS-SCL
       0.1
       EPR 
          Demo: FOF
      ✓
       Christoph Weidenbach (Simon Schwarz, 
          Yasmine Briefs, Lorenz Leutgeb, Fabian
          Wobito, Charlotte Weidenbach)
      Max Planck Institute for Informatics
       07/03/25
       Description
           Source
 
       Toma
       0.7
       UEQ
       ✓
       Teppei Saito (Nao Hirokawa)
       Japan Advanced Institute of Science 
          and Technology
      16/06/25
       Description
       Samples
         Source
 
       Twee
       2.6.0
       UEQ
       ✓
       Nick Smallbone
       Chalmers University of Technology
       27/06/25
       Description
       Samples
         Source
 
       Vampire
       4.9
       Demo: THF TFA FOF 
          Demo: UEQ SLH ICU
      ✓
       CASC
       CASC-J12 winner
       24/02/25
       Description
       Samples
         Source
 
       Vampire
       5.0
       THF TFA TFN FOF 
          EPR UEQ SLH ICU
      ✓
       Michael Rawson (Filip Bártek, Ahmed 
          Bhayat, Robin Coutelier, Márton Hajdú,
          Matthias Hetzenberger, Petra Hozzová,
          Laura Kovács, Jakob Rath, Giles Reger,
          Martin Riener, Martin Suda, Johannes
          Schoisswohl, Andrei Voronkov)
      University of Southampton
       03/07/25
       Description
       Samples
         Source
 
       Zipperposition
       2.1.9999
       THF FOF
       ✓
       Jasmin Blanchette (Alexander Bentkamp, 
          Simon Cruanes, Petar Vukmirović)
      Ludwig-Maximilians-Universität 
          München
      09/04/25
       Description
       Samples
         Source
 
Division Lists
       Competition Divisions
 
       THF
       TFA
       TFN
       FOF
       EPR
       UEQ
       SLH
       ICU ✓?
 
      
          E 3.3.0 
          Leo-III 1.7.19
          Vampire 5.0
          Zipperposition 2.1.9999
     
          iProver 3.9.3 
          Vampire 5.0
     
          cvc5 1.3.0 
          iProver 3.9.3
          Vampire 5.0
     
          Connect++ 0.6.1 
          CSE_E 1.7
          Drodi 4.1.0
          E 3.3.0
          hopCoP 0.1
          iProver 3.9.3
          LastButNotLeast 0
          LisaTT 0.9.1
          Vampire 5.0
          Zipperposition 2.1.9999
     
          CSI_Enigma 1.0.6 
          Drodi 4.1.0
          E 3.3.0
          iProver 3.9.3
          SPASS-SCL 0.1
          Vampire 5.0
     
          CSE_E 1.7 
          Drodi 4.1.0
          E 3.3.0
          iProver 3.9.3
          Toma 0.7
          Twee 2.6.0
          Vampire 5.0
     
          E 3.3.0 
          Vampire 5.0
     
          Connect++ 0.6.1 ✓ 
          CSE_E 1.7 ✓
          Drodi 4.1.0 ✓
          E 3.3.0 ✓
          iProver 3.9.3 ✓
          Vampire 5.0 ✓
       Demonstration Divisions
 
      
          cvc5 1.3.0 
          Vampire 4.9
     
          cvc5 1.3.0 
          Vampire 4.9
     
          iProver 3.9 
     
          CSI_Enigma 1.0.6 
          cvc5 1.3.0
          Prover9 1109a
          SPASS-SCL 0.1
          Vampire 4.9
     
      
          CSI_Enigma 1.0.6 
          Vampire 4.9
     
          cvc5 1.3.0 
          Leo-III 1.7.19
          Vampire 4.9
     
          CSI_Enigma 1.0.6 ✓ 
          Vampire 4.9 ✗
Personal Details
       Who
       System
       T-Shirt
       Rego
       Here?
       Dinner?
       Notes
 
      
      
      
      
      
      
       
 
       
          Christoph Benzmüller
       Leo-III 1.7.18
       Small
         
      Yes
       No
       
 
       
          Jasmin Blanchette
       Zipperposition 2.1.9999
       Large
       €
       No
       No
       Give T-shirt to Martin
 
       Yasmine Briefs
       SPASS-SCL 0.1
       Small
       €
       Yes
       Yes
       
 
       Julie Cailler
       LastButNotLeast 0
       Medium
       €
       Yes
       Yes
       
 
       Oscar Contreras
       Drodi 4.1.0
       Large
       €
       No
       No
       
          Oscar Contreras, c/ Portugal, 4, 
          Urb. Penas Albas 28810 Villalbilla
          Madrid, Spain
       
          Robin Coutelier
       Vampire 5.0
       Large
       €
       Yes
       Yes
       
 
       
          Clemens Eisenhofer
       hopCoP 0.1
       Medium
       €
       Yes
       Yes
       From Michael
 
       Sankalp Gambhir
       LisaTT 0.9.1
       Medium
       €
       Yes
       Yes
       
 
       Simon Guilloud
       LisaTT 0.9.1
       Large
       €
       Yes
       Yes
       
 
       
          Thomas Hader
       Vampire 5.0
       Large
       €
       Yes
       Yes
       
 
       
          Márton Hajdú
       Vampire 5.0
       Medium
       €
       Yes
       Yes
       
 
       Sean Holden
       Connect++ 0.6.1
       Large
         
      WS only
       No
       
 
       Lydia Kondylidou
       cvc5 1.3.0
       Medium
       €T
       No
       No
       Give to MartinD
 
       Konstantin Korovin
       iProver 3.9.3
       Medium
         
      No
       No
       Give to Renate
 
       
          Lorenz Leutgeb
       SPASS-SCL 0.1
       Large
       €
       Yes
       Yes
       
 
       Peiyao Liu
       CSE_E 1.7
       Small
         
      No
       No
       Post to Jun Liu 
          17 Meadowlands
          Jordanstown, Newtownabbey BT37 0UR
          County Antrim, Northern Ireland, UK
       Aart Middeldorp
       Panelist
       XLarge
       Free
       Yes
       Yes
       
 
       Cláudia Nalon
       Panelist
       Small
       Free
       Yes
       Yes
       
 
       Michael Rawson
       Vampire 5.0, hopCoP 0.1
       Medium
       €
       Yes
       Yes
       
 
       Andrew Reynolds
       cvc5 1.3.0
       Large
       €
       No
       Cesare
       Give to Cesare
 
       Teppei Saito
       Toma 0.7
       Large
         
      Yes
       Yes
       
 
       Stephan Schulz
       E 3.3.0
       XXLarge
       €
       Yes
       Yes
       
 
       Simon Schwarz
       SPASS-SCL 0.1
       Large
       €
       Yes
       Yes
       
 
       Nick Smallbone
       Twee 2.6.0
       XLarge
       €
       No
       No
       
 
       Alexander Steen
       Leo-III 1.7.19
       Medium
       €
       No
       Melanie
       
 
       Martin Suda
       Vampire 5.0
       Medium
       €
       Yes
       Yes
       
 
       Geoff Sutcliffe
       Organizer
       XLarge ✓
       Free
       Yes
       Yes
       Wear
 
       Andrei Voronkov
       Vampire 5.0
       Large
       €
       Yes
       Yes
       
 
       Tjark Weber
       Panelist
       XLarge
       Free
       No
       No
       Give shirt to Philipp Rümmer
 
       Christoph Weidenbach
       SPASS-SCL 0.1
       Large
       €
       Yes
       Student
       Ruth: T-shirt=M 
Charlotte: T-shirt=S
       Fabian Wobito
       SPASS-SCL 0.1
       XLarge
       €
       Yes
       Yes
       
 
       Guoyan Zeng
       CSI_Enigma 1.0.6
       Small
         
      No
       No
       Post to Jun Liu 
          17 Meadowlands
          Jordanstown, Newtownabbey BT37 0UR
          County Antrim, Northern Ireland, UK