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



Solver Time Result
qsts0.06SAT
quabs-minisat0.51SAT
xb-qsts0.61SAT
xb-bid-qsts0.62SAT
ghostq-plain1.51SAT
quabs-picosat1.55SAT
ghostq-cegar57.5SAT
rareqs-nn599.71FAIL