Results for instance DWs-unsat-12-25-1
QBFEVAL'18 - Prenex non-CNF Track



Solver Time Result
Quabs_2018257.16UNSAT
PortfolioGhostQQfunQuAbSQute___pf3387.09UNSAT
PortfolioGhostQQfunQuAbSQute___pf2392.45UNSAT
PortfolioGhostQQfunQuAbSQute___pfs394.36UNSAT
Cqesto_2018606.42UNSAT
GhostQ_PG___plain_qcir_2018900.01FAIL
QFUN900.01FAIL
quabs___caqe-bloqqer900.01FAIL
quabs___caqe-hqspre900.01FAIL
GhostQ_PG___cegar_qcir_2018900.03FAIL
Qute_opt993900.04FAIL
Qute_opt617900.09FAIL
Qute_hybrid900.09FAIL