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



Solver Time Result
qpro0.14UNSAT
CMS_Solver393.65UNSAT
pQBF600.05FAIL