ID: 
Title:Buy a ticketBuy a ticket
Author:Yi CaoYi Cao
Date:2007-05-16 11:56:202007-05-16 11:56:20
Score:3926.70343926.7034
Result:39072.48 (cyc: 10)39072.48 (cyc: 10)
CPU Time:45.499745.4997
Status:PassedPassed
Code: