Results for instance klieber2017q-078-19-eq
Prenex non-CNF Track



Solver Time Result
QFUN0SAT
Cqesto_20180.61SAT
GhostQ___cegar_qcir_20197.22SAT
Quabs_201892.67SAT
QuAbS___quabs-caqe_201993.19SAT
quabs___caqe-hqspre461.32SAT
Qute_default900FAIL
GhostQ___plain_qcir_2019900FAIL