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



Solver Time Result
quabs___caqe-hqspre0UNSAT
PortfolioGhostQQfunQuAbSQute___pf24.8UNSAT
PortfolioGhostQQfunQuAbSQute___pfs5.18UNSAT
PortfolioGhostQQfunQuAbSQute___pf35.2UNSAT
QuAbS___quabs-caqe_20195.29UNSAT
Quabs_20185.3UNSAT
Qute_default7.68UNSAT
GhostQ___plain_qcir_201978.13UNSAT
GhostQ___cegar_qcir_2019900.08FAIL