Results for instance adder-10-sat
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
xb-bid-qsts27.02UNSAT
qsts451.84FAIL
xb-qsts599.53FAIL
rareqs-nn599.62FAIL
ghostq-cegar599.71FAIL
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
ghostq-plain599.91FAIL