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



Solver Time Result
Qute_default900.01FAIL
QuAbS___quabs-caqe_2019900.01FAIL
quabs___caqe-hqspre900.03FAIL
GhostQ___plain_qcir_2019900.03FAIL
GhostQ___cegar_qcir_2019900.04FAIL
PortfolioGhostQQfunQuAbSQute___pf3900.05FAIL
PortfolioGhostQQfunQuAbSQute___pfs900.07FAIL
PortfolioGhostQQfunQuAbSQute___pf2900.09FAIL
Quabs_2018900.09FAIL