Results for instance klieber2017q-092-23-t1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
QFUN0.3UNSAT
Qute_opt9931.21UNSAT
Qute_opt6174.73UNSAT
PortfolioGhostQQfunQuAbSQute___pf35.8FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.84FAIL
PortfolioGhostQQfunQuAbSQute___pf26.94FAIL
Quabs_201815.47UNSAT
quabs___caqe-bloqqer16UNSAT
quabs___caqe-hqspre18.64UNSAT
GhostQ_PG___cegar_qcir_201824.77UNSAT
Qute_hybrid28.87UNSAT
Cqesto_2018128.68UNSAT
GhostQ_PG___plain_qcir_2018900.1FAIL