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



Solver Time Result
xb-bid-qsts0.05SAT
xb-qsts0.05SAT
qsts0.06SAT
quabs-minisat0.23SAT
quabs-picosat0.39SAT
ghostq-cegar1.06SAT
rareqs-nn1.35SAT
ghostq-plain2.36SAT