Results for instance DW-unsat-11-26-1
Prenex non-CNF Track



Solver Time Result
Cqesto_2018448.03UNSAT
Quabs_2018576.97UNSAT
quabs___caqe-hqspre875.95UNSAT
Qute_default900FAIL
QFUN900FAIL
GhostQ___cegar_qcir_2019900FAIL
GhostQ___plain_qcir_2019900FAIL
QuAbS___quabs-caqe_2019900FAIL