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



Solver Time Result
QFUN0SAT
Cqesto_20180.78SAT
PortfolioGhostQQfunQuAbSQute___pfs5.73FAIL
PortfolioGhostQQfunQuAbSQute___pf35.77FAIL
PortfolioGhostQQfunQuAbSQute___pf26.93FAIL
GhostQ_PG___cegar_qcir_20187.37SAT
Quabs_201876.37SAT
quabs___caqe-hqspre636.39SAT
Qute_opt993900.01FAIL
quabs___caqe-bloqqer900.01FAIL
Qute_hybrid900.01FAIL
Qute_opt617900.02FAIL
GhostQ_PG___plain_qcir_2018900.05FAIL