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



Solver Time Result
Qute_opt9933.58UNSAT
Qute_hybrid3.73UNSAT
PortfolioGhostQQfunQuAbSQute___pf25.02UNSAT
PortfolioGhostQQfunQuAbSQute___pf36.12UNSAT
PortfolioGhostQQfunQuAbSQute___pfs6.15UNSAT
Quabs_20188.01UNSAT
quabs___caqe-bloqqer327.66UNSAT
Cqesto_2018900.01FAIL
GhostQ_PG___cegar_qcir_2018900.04FAIL
GhostQ_PG___plain_qcir_2018900.06FAIL
quabs___caqe-hqspre900.06FAIL
Qute_opt617900.07FAIL
QFUN900.08FAIL