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



Solver Time Result
qsts0.03SAT
rareqs-nn0.69SAT
quabs-picosat0.98SAT
xb-bid-qsts1.48SAT
xb-qsts1.48SAT
ghostq-cegar599.71FAIL
quabs-minisat599.71FAIL
ghostq-plain599.81FAIL