Results for instance klieber2017q-082-20-t1
Prenex non-CNF Track



Solver Time Result
QFUN0UNSAT
Cqesto_20183.6UNSAT
quabs___caqe-hqspre8.98UNSAT
GhostQ___cegar_qcir_20199.87UNSAT
QuAbS___quabs-caqe_201977.86UNSAT
Quabs_201879.15UNSAT
Qute_default371.28UNSAT
GhostQ___plain_qcir_2019900FAIL