CASC-J10
The 10th IJCAR ATP System Competition
CASC-J10
Was it Worth the Gamble? You Bet it Was!
-
Assigned Horse Division
(FOF Guess/Result/500)
- 1st: Half of €0 - Nick Smallbone - Vampire 4.5 428/429/500
- 2nd: One third of €0 - Andy Reynolds - Twee 2.2.1 64/68/500
- 3rd: One sixth of €0 - Alex Steen - Vampire 4.4 425/416/500
-
Chosen Horse Division
(FOF Guess/Result/500)
- 1st: Half of €0 - Koen Claessen - Enigma 0.5.1 400/401/500
- 2nd: One third of €0 - Edvard Holden - PyRes 1.3 32/26/500
- 3rd: One sixth of €0 - Laura Kovacs - Zipperp'n 2.0 247/237/500
Things Keep Getting Better!
- TH0 "Hammer's Slammers" Division
with a small wall clock time limit and a large prize (thanks to Jasmin).
- Annotation of FOF divsion proofs verified by TESC.
- Quo vadis TFA?
To Conclude ...
The End ... Questions?