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



Solver Time Result
QuAbS_20173.47SAT
cqesto178.12SAT
ghostq-cegar561.11SAT
Qute_hybrid877.21FAIL
ghostq-plain900FAIL
qfun0.1900FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL