Results for instance 008-020-03-05-030.ncf-bin
QBFEVAL'08 - non-prenex non-cnf track.



Solver Time Result
qpro0.21UNSAT
pQBF600.05FAIL
CMS_Solver600.07FAIL