Results for instance JP-unsat-03-07-4
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs207.38UNSAT
PortfolioGhostQQfunQuAbSQute___pf3208.63UNSAT
PortfolioGhostQQfunQuAbSQute___pf2210.43UNSAT
Quabs_2018491.5UNSAT
quabs___caqe-hqspre862.66UNSAT
GhostQ___plain_qcir_2019900.03FAIL
QuAbS___quabs-caqe_2019900.05FAIL
Qute_default900.06FAIL
GhostQ___cegar_qcir_2019900.07FAIL