Results for instance ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp
QBFEVAL'19 - Prenex non-CNF Track



Solver Time Result
Quabs_20180UNSAT
QuAbS___quabs-caqe_20190UNSAT
Qute_default2.69UNSAT
PortfolioGhostQQfunQuAbSQute___pf25.55UNSAT
PortfolioGhostQQfunQuAbSQute___pf36.61UNSAT
PortfolioGhostQQfunQuAbSQute___pfs6.71UNSAT
quabs___caqe-hqspre25.4UNSAT
GhostQ___plain_qcir_2019102.96UNSAT
GhostQ___cegar_qcir_2019511.88UNSAT