Results for instance CM-sat-04-01-06-3
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
QuAbS___quabs-caqe_20196.02SAT
Quabs_20186.04SAT
PortfolioGhostQQfunQuAbSQute___pf37.67SAT
PortfolioGhostQQfunQuAbSQute___pfs7.69SAT
PortfolioGhostQQfunQuAbSQute___pf28.85SAT
GhostQ___cegar_qcir_201926.1SAT
quabs___caqe-hqspre510.12SAT
GhostQ___plain_qcir_2019900.04FAIL
Qute_default900.07FAIL