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



Solver Time Result
Quabs_20180UNSAT
QuAbS___quabs-caqe_20190UNSAT
Qute_default1.48UNSAT
PortfolioGhostQQfunQuAbSQute___pf24.73UNSAT
PortfolioGhostQQfunQuAbSQute___pf36.23UNSAT
PortfolioGhostQQfunQuAbSQute___pfs6.27UNSAT
GhostQ___cegar_qcir_201917.49UNSAT
GhostQ___plain_qcir_201929.95UNSAT
quabs___caqe-hqspre143.92UNSAT