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



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