CASC-J9
The 9th IJCAR ATP System Competition
History and Motivations
CASC-J9
6 Divisions
23 Entrants
40 Results
Things Keep Getting Better!
FOF and FNT wall clock divisions
LTB parallel category, over TPTP language forms
To Conclude ...
Thanks
Conclusion
