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



Solver Time Result
quabs-minisat0.05SAT
xb-bid-qsts0.05SAT
xb-qsts0.05SAT
qsts0.07SAT
quabs-picosat0.13SAT
ghostq-cegar1.27SAT
rareqs-nn1.57SAT
ghostq-plain3.13SAT