CASC-J11
The 11th IJCAR ATP System Competition
CASC-J11
Was it Worth the Gamble? You Bet it Was!
- Random Horse Division - 40 entries (FOF Guess/Result/500)
- Tie 1st: $66 - Andre D. - Etableau 0.67 (off by 1)
- Tie 1st: $66 - Pascal F. - Vampire 4.7 (off by 1)
- 3rd: $27 - Andre D. - cvc5 1.0 (off by 4)
Things Keep Getting Better!
- Focus on (higher-order) model finding
To Conclude ...
The End ... Questions?