Results for instance DW-unsat-11-27-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Qute_opt993249.2UNSAT
Cqesto_2018461.43UNSAT
Quabs_2018529.02UNSAT
PortfolioGhostQQfunQuAbSQute___pfs796.9UNSAT
Qute_hybrid807.16UNSAT
PortfolioGhostQQfunQuAbSQute___pf2807.24UNSAT
PortfolioGhostQQfunQuAbSQute___pf3820.48UNSAT
quabs___caqe-bloqqer900FAIL
GhostQ_PG___cegar_qcir_2018900.05FAIL
quabs___caqe-hqspre900.05FAIL
QFUN900.06FAIL
GhostQ_PG___plain_qcir_2018900.08FAIL
Qute_opt617900.09FAIL