Results for instance CM-sat-07-01-07-3
Prenex non-CNF Track



Solver Time Result
Cqesto_201842.28SAT
Quabs_2018412.47SAT
quabs___caqe-hqspre563.31SAT
QuAbS___quabs-caqe_2019713.07SAT
GhostQ___cegar_qcir_2019742.01SAT
Qute_default900FAIL
QFUN900FAIL
GhostQ___plain_qcir_2019900FAIL