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



Solver Time Result
Quabs_201813.58UNSAT
Cqesto_201821.78UNSAT
PortfolioGhostQQfunQuAbSQute___pfs22.15UNSAT
PortfolioGhostQQfunQuAbSQute___pf223.33UNSAT
PortfolioGhostQQfunQuAbSQute___pf323.86UNSAT
GhostQ_PG___cegar_qcir_201860.78UNSAT
QFUN82.89UNSAT
Qute_opt617149.58UNSAT
GhostQ_PG___plain_qcir_2018279.25UNSAT
Qute_opt993442.47UNSAT
Qute_hybrid463.35UNSAT
quabs___caqe-hqspre900.01FAIL
quabs___caqe-bloqqer900.02FAIL