Results for instance klieber2017q-074-18-eq
Prenex non-CNF Track



Solver Time Result
QFUN0SAT
Cqesto_20188.11SAT
GhostQ___cegar_qcir_201911.38SAT
quabs___caqe-hqspre62.64SAT
Quabs_2018117.04SAT
QuAbS___quabs-caqe_2019120.94SAT
Qute_default900FAIL
GhostQ___plain_qcir_2019900FAIL