Results for instance klieber2017q-088-22-eq
Prenex non-CNF Track



Solver Time Result
QFUN0SAT
Cqesto_20180.65SAT
GhostQ___cegar_qcir_201972.05SAT
Quabs_201884.07SAT
QuAbS___quabs-caqe_201986.91SAT
quabs___caqe-hqspre461.03SAT
Qute_default900FAIL
GhostQ___plain_qcir_2019900FAIL