Results for instance DW-sat-08-23-1
Prenex non-CNF Track



Solver Time Result
Cqesto_201815.07SAT
Quabs_201835.22SAT
QuAbS___quabs-caqe_201935.72SAT
GhostQ___plain_qcir_201939.06SAT
GhostQ___cegar_qcir_201992.68SAT
QFUN120.4SAT
quabs___caqe-hqspre506.49SAT
Qute_default900FAIL