Results for instance DW-sat-08-23-1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf39.36SAT
PortfolioGhostQQfunQuAbSQute___pfs9.45SAT
PortfolioGhostQQfunQuAbSQute___pf210.59SAT
Quabs_201834.85SAT
QuAbS___quabs-caqe_201934.99SAT
GhostQ___plain_qcir_201938.8SAT
GhostQ___cegar_qcir_201992.99SAT
quabs___caqe-hqspre508.81SAT
Qute_default900.06FAIL