Results for instance s499_d22_u
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
qsts0.05UNSAT
quabs-minisat0.73UNSAT
quabs-picosat2.44UNSAT
xb-bid-qsts4.45SAT
xb-qsts4.47SAT
ghostq-cegar9.63UNSAT
ghostq-plain12.25UNSAT
rareqs-nn167.87UNSAT