Results for instance klieber2017q-070-17-t1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
GhostQ___cegar_qcir_20191.26UNSAT
quabs___caqe-hqspre4.83UNSAT
PortfolioGhostQQfunQuAbSQute___pfs5.88FAIL
PortfolioGhostQQfunQuAbSQute___pf35.93FAIL
PortfolioGhostQQfunQuAbSQute___pf26.99FAIL
QuAbS___quabs-caqe_201958.08UNSAT
Quabs_201858.8UNSAT
GhostQ___plain_qcir_2019900.04FAIL
Qute_default900.06FAIL