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



Solver Time Result
xb-bid-qsts0.05SAT
xb-qsts0.05SAT
quabs-minisat0.06SAT
qsts0.07SAT
quabs-picosat0.5SAT
ghostq-cegar1.53SAT
rareqs-nn1.7SAT
ghostq-plain3.26SAT