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



Solver Time Result
Quabs_2018900.02FAIL
quabs___caqe-bloqqer900.02FAIL
GhostQ_PG___plain_qcir_2018900.02FAIL
PortfolioGhostQQfunQuAbSQute___pfs900.06FAIL
quabs___caqe-hqspre900.07FAIL
QFUN900.07FAIL
GhostQ_PG___cegar_qcir_2018900.07FAIL
PortfolioGhostQQfunQuAbSQute___pf2900.08FAIL
Cqesto_2018900.08FAIL
Qute_opt617900.08FAIL
Qute_hybrid900.08FAIL
PortfolioGhostQQfunQuAbSQute___pf3900.09FAIL
Qute_opt993900.09FAIL