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



Solver Time Result
qpro0.36UNSAT
CMS_Solver365.28UNSAT
pQBF600.04FAIL