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



Solver Time Result
Qute_default8.88SAT
PortfolioGhostQQfunQuAbSQute___pfs12.73SAT
PortfolioGhostQQfunQuAbSQute___pf312.77SAT
PortfolioGhostQQfunQuAbSQute___pf213.92SAT
Quabs_201846.28SAT
GhostQ___cegar_qcir_201946.6SAT
QuAbS___quabs-caqe_201946.62SAT
quabs___caqe-hqspre529.46SAT
GhostQ___plain_qcir_2019900.01FAIL