Results for instance klieber2017q-086-21-t1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
quabs___caqe-hqspre1.68UNSAT
PortfolioGhostQQfunQuAbSQute___pf35.88FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.9FAIL
PortfolioGhostQQfunQuAbSQute___pf27.11FAIL
Qute_default28.39UNSAT
Quabs_201839.28UNSAT
QuAbS___quabs-caqe_201939.45UNSAT
GhostQ___cegar_qcir_201963.06UNSAT
GhostQ___plain_qcir_2019900.03FAIL