Results for instance klieber2017q-086-21-t1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
QFUN0UNSAT
Cqesto_20183.18UNSAT
quabs___caqe-bloqqer3.65UNSAT
PortfolioGhostQQfunQuAbSQute___pf35.77FAIL
PortfolioGhostQQfunQuAbSQute___pfs5.93FAIL
PortfolioGhostQQfunQuAbSQute___pf26.96FAIL
quabs___caqe-hqspre22.59UNSAT
Quabs_201839.42UNSAT
GhostQ_PG___cegar_qcir_201863.97UNSAT
Qute_opt617132.06UNSAT
Qute_opt993900FAIL
GhostQ_PG___plain_qcir_2018900.01FAIL
Qute_hybrid900.07FAIL