Results for instance klieber2017q-078-19-eq
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf35.8FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.83FAIL
PortfolioGhostQQfunQuAbSQute___pf27.07FAIL
GhostQ___cegar_qcir_20197.17SAT
QuAbS___quabs-caqe_201989.84SAT
Quabs_201891SAT
quabs___caqe-hqspre461.3SAT
GhostQ___plain_qcir_2019900.06FAIL
Qute_default900.08FAIL