Results for instance SR-unsat-03-01-06-2
Prenex non-CNF Track



Solver Time Result
quabs___caqe-hqspre805.75UNSAT
Qute_default900FAIL
Cqesto_2018900FAIL
QFUN900FAIL
Quabs_2018900FAIL
GhostQ___cegar_qcir_2019900FAIL
GhostQ___plain_qcir_2019900FAIL
QuAbS___quabs-caqe_2019900FAIL