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



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf35.92FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.95FAIL
PortfolioGhostQQfunQuAbSQute___pf27.07FAIL
GhostQ___cegar_qcir_201921.86SAT
QuAbS___quabs-caqe_201958.39SAT
Quabs_201860.39SAT
quabs___caqe-hqspre460.56SAT
Qute_default900.01FAIL
GhostQ___plain_qcir_2019900.02FAIL