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



Solver Time Result
Qute_default1.37UNSAT
PortfolioGhostQQfunQuAbSQute___pf25.15UNSAT
PortfolioGhostQQfunQuAbSQute___pf36.24UNSAT
PortfolioGhostQQfunQuAbSQute___pfs6.31UNSAT
QuAbS___quabs-caqe_20197.95UNSAT
Quabs_20188.04UNSAT
quabs___caqe-hqspre900.01FAIL
GhostQ___plain_qcir_2019900.01FAIL
GhostQ___cegar_qcir_2019900.02FAIL