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



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf276.35UNSAT
PortfolioGhostQQfunQuAbSQute___pfs81.36UNSAT
PortfolioGhostQQfunQuAbSQute___pf381.75UNSAT
Qute_default91.57UNSAT
quabs___caqe-hqspre900.02FAIL
QuAbS___quabs-caqe_2019900.04FAIL
Quabs_2018900.05FAIL
GhostQ___cegar_qcir_2019900.06FAIL
GhostQ___plain_qcir_2019900.07FAIL