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



Solver Time Result
quabs___caqe-hqspre3.88SAT
PortfolioGhostQQfunQuAbSQute___pfs149.64SAT
PortfolioGhostQQfunQuAbSQute___pf2151.82SAT
PortfolioGhostQQfunQuAbSQute___pf3167.73SAT
QuAbS___quabs-caqe_2019272.13SAT
Quabs_2018277.08SAT
GhostQ___cegar_qcir_2019900.01FAIL
Qute_default900.02FAIL
GhostQ___plain_qcir_2019900.08FAIL