Results for instance CM-unsat-07-01-06-2
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs252.08UNSAT
PortfolioGhostQQfunQuAbSQute___pf2256.63UNSAT
PortfolioGhostQQfunQuAbSQute___pf3256.78UNSAT
Quabs_2018261.21UNSAT
QuAbS___quabs-caqe_2019262.36UNSAT
quabs___caqe-hqspre776.93UNSAT
Qute_default900.03FAIL
GhostQ___cegar_qcir_2019900.04FAIL
GhostQ___plain_qcir_2019900.04FAIL