Results for instance Core1108_tbm_21.tex.module.000008
QBFEVAL'10 - Non-prenex Non-CNF Track.



Solver Time Result
qpro51.53SAT
CirQit2.11201.06FAIL