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



Solver Time Result
quabs___caqe-bloqqer0.01SAT
PortfolioGhostQQfunQuAbSQute___pfs5.86FAIL
PortfolioGhostQQfunQuAbSQute___pf35.93FAIL
PortfolioGhostQQfunQuAbSQute___pf27.12FAIL
Qute_opt617900FAIL
Qute_opt993900.01FAIL
Quabs_2018900.02FAIL
Qute_hybrid900.04FAIL
GhostQ_PG___plain_qcir_2018900.05FAIL
GhostQ_PG___cegar_qcir_2018900.05FAIL
QFUN900.07FAIL
Cqesto_2018900.07FAIL
quabs___caqe-hqspre900.09FAIL