Results for instance SR-sat-02-01-06-3
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
Qute_default20.21SAT
PortfolioGhostQQfunQuAbSQute___pf342.03SAT
PortfolioGhostQQfunQuAbSQute___pfs42.05SAT
PortfolioGhostQQfunQuAbSQute___pf243.45SAT
QuAbS___quabs-caqe_201992.09SAT
Quabs_201892.87SAT
GhostQ___cegar_qcir_2019520.39SAT
quabs___caqe-hqspre679.44SAT
GhostQ___plain_qcir_2019900.07FAIL