Results for instance mutex-2-s
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
qsts0SAT
quabs-picosat0.01SAT
quabs-minisat0.04SAT
xb-qsts0.06SAT
rareqs-nn0.07SAT
xb-bid-qsts0.07SAT
ghostq-plain0.1SAT
ghostq-cegar0.13SAT