Congratulations to the 2011 Winners! (at CASC-23)
In summary, "easy" problems that were being solved in 2007 took three minutes to compute. Much harder problems, performing inference over the entire SUMO ontology, are now being solved in around 3 seconds.
The SUMO reasoning prize is for the best reasoning performance on a set of SUMO-based tests.
The SUMO inference prizes totalling US$3000.00 were awarded to the best performance on the SMO category of the LTB division of CASC, held as CADE each year. The LTB division has an assurance ranking class and a proof ranking class. In each ranking class the first place winner received $750, the second place $500, and the third place $250 (a system that wins the proof ranking class might also win the assurance ranking class).
Employees of the sponsor, its subcontractors and funded partners are not eligible. Submission of open source provers is encouraged, although not strictly required.
Previous Year's Winners
2010 Winners: (at CASC-J5)
2009 Winners: (at CASC-22)
2008 Winners: (at CASC-J4)