Results for instance DWs-unsat-11-23-1
Prenex non-CNF Track



Solver Time Result
QuAbS___quabs-caqe_201990.82UNSAT
Quabs_201891.8UNSAT
Cqesto_2018231.84UNSAT
GhostQ___cegar_qcir_2019554.14UNSAT
quabs___caqe-hqspre607.88UNSAT
Qute_default900FAIL
QFUN900FAIL
GhostQ___plain_qcir_2019900FAIL