Results for instance DW-sat-08-22-1
QBFEVAL'17 - Prenex non-CNF Track



Solver Time Result
cqesto9.65SAT
QuAbS_201710.87SAT
ghostq-cegar82.9SAT
ghostq-plain102.2SAT
qfun0.1136.32SAT
Qute_opt993330.85SAT
Qute_hybrid862.42SAT
Qute_opt617900FAIL