Results for instance sortnetsort9.v.stepl.007
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
PortfolioGhostQQfunQuAbSQute___pf35.78FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.82FAIL
PortfolioGhostQQfunQuAbSQute___pf26.99FAIL
quabs___caqe-hqspre20.74SAT
quabs___caqe-bloqqer32.69SAT
QFUN48.36SAT
Qute_hybrid900FAIL
GhostQ_PG___plain_qcir_2018900.01FAIL
Qute_opt617900.01FAIL
Quabs_2018900.01FAIL
Cqesto_2018900.06FAIL
GhostQ_PG___cegar_qcir_2018900.08FAIL
Qute_opt993900.09FAIL