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



Solver Time Result
QFUN291.76SAT
Cqesto_2018526.54SAT
GhostQ___cegar_qcir_2019617.53SAT
Qute_default900FAIL
quabs___caqe-hqspre900FAIL
Quabs_2018900FAIL
GhostQ___plain_qcir_2019900FAIL
QuAbS___quabs-caqe_2019900FAIL