Results for instance JP-unsat-02-06-3
Prenex non-CNF Track



Solver Time Result
Cqesto_20182.31UNSAT
Quabs_20183.63UNSAT
QuAbS___quabs-caqe_20193.68UNSAT
quabs___caqe-hqspre9.69UNSAT
GhostQ___cegar_qcir_201914.34UNSAT
QFUN24.36UNSAT
Qute_default900FAIL
GhostQ___plain_qcir_2019900FAIL