Results for instance k0325261.h.oe
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
Qute_default0FAIL
quabs___caqe-hqspre0SAT
Quabs_20180FAIL
GhostQ___cegar_qcir_20190FAIL
GhostQ___plain_qcir_20190FAIL
QuAbS___quabs-caqe_20190.01SAT
PortfolioGhostQQfunQuAbSQute___pfs4.76FAIL
PortfolioGhostQQfunQuAbSQute___pf34.77FAIL
PortfolioGhostQQfunQuAbSQute___pf24.83FAIL