solver testcase
533701.tar.bz2 (application/x-bzip2), 3.82 MB, created by Michal Svec on 2009-08-24 11:30:21 UTC
(hide)
 
Creator: Michal Svec
Created: 2009-08-24 11:30:21 UTC
Size: 3.82 MB

Attachment is not viewable in your browser because its MIME type (application/x-bzip2) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 533701: 314791