Results for instance DWs-sat-10-24-1
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
QuAbS_201720.09SAT
qfun0.194.19SAT
cqesto162.64SAT
ghostq-cegar227SAT
ghostq-plain228.2SAT
Qute_hybrid877.51FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL