Results for instance DWs-unsat-09-19-1
Prenex non-CNF Track



Solver Time Result
Quabs_201816.5UNSAT
QuAbS___quabs-caqe_201916.8UNSAT
Cqesto_201840.58UNSAT
GhostQ___cegar_qcir_201988.3UNSAT
QFUN151.68UNSAT
GhostQ___plain_qcir_2019444.29UNSAT
quabs___caqe-hqspre581.06UNSAT
Qute_default900FAIL