Results for instance szymanski-6-s
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
Qute_hybrid0.11UNSAT
Qute_opt6170.11UNSAT
Qute_opt9930.11UNSAT
QuAbS_20170.98UNSAT
qfun0.11.38UNSAT
cqesto3.65UNSAT
ghostq-cegar900FAIL
ghostq-plain900FAIL