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



Solver Time Result
pQBF0.01FAIL
CMS_Solver604.31FAIL
qpro630.64FAIL