2011

• Source
• Benchmarks
  • Results: search
  • Results: clause exchange
  • Results: optimization
  • Instances

2009

• Source
• Benchmarks
  • One answer set (claspar)
  • All answer sets (claspar)
  • One answer set (platypus)
  • Encodingis/Instances