Results for instance klieber2017q-078-19-eq
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
QFUN0SAT
Cqesto_20180.61SAT
PortfolioGhostQQfunQuAbSQute___pfs5.76FAIL
PortfolioGhostQQfunQuAbSQute___pf35.82FAIL
PortfolioGhostQQfunQuAbSQute___pf26.88FAIL
GhostQ_PG___cegar_qcir_20187.43SAT
Quabs_201891.8SAT
Qute_hybrid900.01FAIL
quabs___caqe-bloqqer900.02FAIL
Qute_opt993900.03FAIL
Qute_opt617900.03FAIL
GhostQ_PG___plain_qcir_2018900.04FAIL
quabs___caqe-hqspre900.09FAIL