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



Solver Time Result
qpro0.02SAT
CirQit2.10.02SAT