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



Solver Time Result
quabs___caqe-bloqqer13.05SAT
quabs___caqe-hqspre14.5SAT
PortfolioGhostQQfunQuAbSQute___pf2133.23SAT
PortfolioGhostQQfunQuAbSQute___pf3134.82SAT
PortfolioGhostQQfunQuAbSQute___pfs135.16SAT
Quabs_2018456.55SAT
GhostQ_PG___plain_qcir_2018900FAIL
Qute_hybrid900.02FAIL
QFUN900.05FAIL
Cqesto_2018900.06FAIL
Qute_opt617900.06FAIL
GhostQ_PG___cegar_qcir_2018900.09FAIL
Qute_opt993900.1FAIL