Results for instance DW-unsat-09-22-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Qute_opt99375.4UNSAT
Cqesto_201877.99UNSAT
Quabs_201892.83UNSAT
PortfolioGhostQQfunQuAbSQute___pf3116.65UNSAT
PortfolioGhostQQfunQuAbSQute___pfs117.34UNSAT
PortfolioGhostQQfunQuAbSQute___pf2118.69UNSAT
GhostQ_PG___cegar_qcir_2018175.49UNSAT
QFUN271.94UNSAT
GhostQ_PG___plain_qcir_2018460.47UNSAT
Qute_hybrid467.26UNSAT
Qute_opt617900.01FAIL
quabs___caqe-hqspre900.06FAIL
quabs___caqe-bloqqer900.07FAIL