Results for instance mvs8y.unsat
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
Qute_default0UNSAT
quabs___caqe-hqspre0UNSAT
Quabs_20180UNSAT
GhostQ___cegar_qcir_20190UNSAT
GhostQ___plain_qcir_20190UNSAT
QuAbS___quabs-caqe_20190UNSAT
PortfolioGhostQQfunQuAbSQute___pfs4.67UNSAT
PortfolioGhostQQfunQuAbSQute___pf24.77UNSAT
PortfolioGhostQQfunQuAbSQute___pf34.79UNSAT