Results for instance possibility3_0_6-bin
QBFEVAL'10 - Non-prenex Non-CNF Track.



Solver Time Result
CirQit2.1826.62UNSAT
qpro1200.08FAIL