Results for instance assertion8_0_10-bin
QBFEVAL'08 - non-prenex non-cnf track.



Solver Time Result
pQBF0.01FAIL
CMS_Solver605.7FAIL
qpro640.21FAIL