Results for instance klieber2017q-062-15-t1
Prenex non-CNF Track



Solver Time Result
Cqesto_20180UNSAT
QFUN0UNSAT
quabs___caqe-hqspre1.5UNSAT
GhostQ___cegar_qcir_20196.58UNSAT
Quabs_201816.35UNSAT
QuAbS___quabs-caqe_201916.42UNSAT
Qute_default30.21UNSAT
GhostQ___plain_qcir_2019900FAIL