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



Solver Time Result
quabs___caqe-hqspre5.36UNSAT
PortfolioGhostQQfunQuAbSQute___pfs5.94FAIL
PortfolioGhostQQfunQuAbSQute___pf35.95FAIL
PortfolioGhostQQfunQuAbSQute___pf27.14FAIL
GhostQ___cegar_qcir_201922.08UNSAT
QuAbS___quabs-caqe_201933.12UNSAT
Quabs_201833.29UNSAT
Qute_default900.01FAIL
GhostQ___plain_qcir_2019900.04FAIL