Results for instance DW-unsat-10-25-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Cqesto_2018228.3UNSAT
PortfolioGhostQQfunQuAbSQute___pfs257.86UNSAT
PortfolioGhostQQfunQuAbSQute___pf2261.98UNSAT
PortfolioGhostQQfunQuAbSQute___pf3282.91UNSAT
Qute_opt993330.35UNSAT
Qute_hybrid339.1UNSAT
Quabs_2018346.41UNSAT
GhostQ_PG___cegar_qcir_2018529.34UNSAT
GhostQ_PG___plain_qcir_2018673.76UNSAT
Qute_opt617750.47UNSAT
QFUN900.02FAIL
quabs___caqe-hqspre900.05FAIL
quabs___caqe-bloqqer900.08FAIL