CASC-J12
The 12th IJCAR ATP System Competition
CASC-J12
Was it Worth the Gamble? You Bet it Was!
- Random Horse Division - 51 entries (FOF Guess/Result/500)
- 1st: $125 - Simon G. - Prover9 1109a (pessimistic by 3)
- 2nd: $83 - Stephan S. - CSI_E 1.0 (optimistic by 4)
- 3rd: $27 - Christoph B. - Vampire 4.9 (pessimistic by 7)
Things Keep Getting Better!
- Keep pushing the TFA/TFN barrow - the world needs it
- Keep the ICU challenge - it is fun!
- Return of the EPR division? - it will be SPASS!
- CASC at CADE, ICProVer at IJCAR
To Conclude ...
The End ... Questions?