Results for instance mvs16y.unsat
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
cqesto0.01UNSAT
QuAbS_20170.01UNSAT
Qute_hybrid0.01UNSAT
Qute_opt6170.01UNSAT
Qute_opt9930.01UNSAT
qfun0.10.08UNSAT
ghostq-plain0.09UNSAT
ghostq-cegar0.1UNSAT