Results for instance DWs-sat-12-28-1
Prenex non-CNF Track



Solver Time Result
Cqesto_20187.19SAT
Quabs_2018351.72SAT
GhostQ___plain_qcir_2019447.64SAT
Qute_default900FAIL
QFUN900FAIL
quabs___caqe-hqspre900FAIL
GhostQ___cegar_qcir_2019900FAIL
QuAbS___quabs-caqe_2019900FAIL