Results for instance SR-unsat-02-01-06-1
Prenex non-CNF Track



Solver Time Result
Qute_default0UNSAT
Cqesto_20180UNSAT
QFUN0UNSAT
quabs___caqe-hqspre0UNSAT
Quabs_20180UNSAT
QuAbS___quabs-caqe_20190UNSAT
GhostQ___cegar_qcir_20190.22UNSAT
GhostQ___plain_qcir_20190.22UNSAT