Results for instance klieber2017q-086-21-t1
Prenex non-CNF Track



Solver Time Result
QFUN0UNSAT
quabs___caqe-hqspre1.66UNSAT
Cqesto_20183.18UNSAT
Qute_default28.56UNSAT
Quabs_201838.95UNSAT
QuAbS___quabs-caqe_201939.29UNSAT
GhostQ___cegar_qcir_201962.4UNSAT
GhostQ___plain_qcir_2019900FAIL