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



Solver Time Result
Qute_opt993329.56UNSAT
Cqesto_2018468.7UNSAT
Qute_hybrid507.03UNSAT
Quabs_2018589.33UNSAT
PortfolioGhostQQfunQuAbSQute___pf3666.44UNSAT
PortfolioGhostQQfunQuAbSQute___pf2668.78UNSAT
PortfolioGhostQQfunQuAbSQute___pfs680.02UNSAT
GhostQ_PG___plain_qcir_2018900.01FAIL
QFUN900.01FAIL
quabs___caqe-bloqqer900.01FAIL
quabs___caqe-hqspre900.01FAIL
GhostQ_PG___cegar_qcir_2018900.02FAIL
Qute_opt617900.02FAIL