Results for instance DWs-sat-10-24-1
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
QuAbS___quabs-caqe_201966.86SAT
Quabs_201867.08SAT
PortfolioGhostQQfunQuAbSQute___pf2155.84SAT
PortfolioGhostQQfunQuAbSQute___pfs157.97SAT
PortfolioGhostQQfunQuAbSQute___pf3158.26SAT
GhostQ___plain_qcir_2019225.54SAT
GhostQ___cegar_qcir_2019228.74SAT
Qute_default553.72SAT
quabs___caqe-hqspre603.48SAT