Results for instance ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
Qute_opt9935.99UNSAT
Qute_hybrid16.17UNSAT
QuAbS_2017216.79UNSAT
ghostq-cegar900FAIL
ghostq-plain900FAIL
cqesto900FAIL
qfun0.1900FAIL
Qute_opt617900FAIL