CASC-J11 - the 11th IJCAR ATP System Competition

1 view
Skip to first unread message

Geoff Sutcliffe

unread,
Aug 9, 2022, 2:20:03 AM8/9/22
to TPTP World
Hi TPTP World!

The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the
evolving summary of results at ...
    https://www.tptp.org/CASC/J11/WWWFiles/DivisionSummary1.html
... and all the detailed results at ...
    https://www.tptp.org/CASC/J11/RealTimeResults.html
You can read all about the competition at ...
    https://www.tptp.org/CASC/J11/

Cheers,

Geoff
Reply all
Reply to author
Forward
0 new messages