Results for instance ken.oop^2.C-d4
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pfs5.77FAIL
PortfolioGhostQQfunQuAbSQute___pf35.84FAIL
PortfolioGhostQQfunQuAbSQute___pf26.88FAIL
QFUN900.02FAIL
quabs___caqe-bloqqer900.03FAIL
Qute_opt617900.04FAIL
Qute_opt993900.04FAIL
GhostQ_PG___plain_qcir_2018900.04FAIL
Quabs_2018900.06FAIL
Cqesto_2018900.06FAIL
quabs___caqe-hqspre900.07FAIL
Qute_hybrid900.07FAIL
GhostQ_PG___cegar_qcir_2018900.08FAIL