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



Solver Time Result
QuAbS_201744.84SAT
cqesto130.87SAT
ghostq-plain284.57SAT
qfun0.1323.67SAT
ghostq-cegar393.18SAT
Qute_hybrid877.6FAIL
Qute_opt617900FAIL
Qute_opt993900FAIL