Entrants

System Delivery

• StarExec packages
• Source
• Fully automatic, fixed command line
• Tested for soundness (2 failures in CASC-28, fixed)