Results for instance k0327178.connected.oe
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
Qute_default0FAIL
Quabs_20180FAIL
GhostQ___cegar_qcir_20190FAIL
GhostQ___plain_qcir_20190FAIL
quabs___caqe-hqspre0.02SAT
QuAbS___quabs-caqe_20190.03SAT
PortfolioGhostQQfunQuAbSQute___pfs4.81FAIL
PortfolioGhostQQfunQuAbSQute___pf34.83FAIL
PortfolioGhostQQfunQuAbSQute___pf24.85FAIL