Results for instance klieber2017q-082-20-t1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs4.78UNSAT
PortfolioGhostQQfunQuAbSQute___pf34.81UNSAT
PortfolioGhostQQfunQuAbSQute___pf25.95UNSAT
quabs___caqe-hqspre8.98UNSAT
GhostQ___cegar_qcir_20199.99UNSAT
QuAbS___quabs-caqe_201978.13UNSAT
Quabs_201878.77UNSAT
Qute_default363.04UNSAT
GhostQ___plain_qcir_2019900.12FAIL