Results for instance CM-sat-03-01-06-4
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf25.67SAT
PortfolioGhostQQfunQuAbSQute___pf36.73SAT
PortfolioGhostQQfunQuAbSQute___pfs6.81SAT
Quabs_20189.43SAT
QuAbS___quabs-caqe_20199.48SAT
GhostQ___cegar_qcir_201923.79SAT
quabs___caqe-hqspre90.15SAT
GhostQ___plain_qcir_2019124.09SAT
Qute_default147.29SAT