Results for instance bs128n.sat
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
quabs___caqe-bloqqer0SAT
quabs___caqe-hqspre2.45SAT
Qute_opt6173.9SAT
Qute_hybrid4.76SAT
PortfolioGhostQQfunQuAbSQute___pfs5.72FAIL
PortfolioGhostQQfunQuAbSQute___pf35.76FAIL
QFUN6.59SAT
PortfolioGhostQQfunQuAbSQute___pf26.98FAIL
Qute_opt9937.11SAT
Quabs_2018900.01FAIL
GhostQ_PG___plain_qcir_2018900.02FAIL
GhostQ_PG___cegar_qcir_2018900.07FAIL
Cqesto_2018900.08FAIL