Results for instance klieber2017q-100-25-eq
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
QFUN0.67SAT
Cqesto_20182.07SAT
PortfolioGhostQQfunQuAbSQute___pfs5.7FAIL
PortfolioGhostQQfunQuAbSQute___pf35.83FAIL
PortfolioGhostQQfunQuAbSQute___pf26.95FAIL
GhostQ_PG___cegar_qcir_201825.81SAT
Quabs_2018163SAT
quabs___caqe-hqspre900FAIL
GhostQ_PG___plain_qcir_2018900.01FAIL
Qute_opt617900.02FAIL
Qute_opt993900.07FAIL
quabs___caqe-bloqqer900.07FAIL
Qute_hybrid900.09FAIL