Results for instance full_arbiter_unreal3_environment_2.dqdimacs
QBFEVAL'19 - DQBF Solvers Track



Solver Time Result
hqs+ql+fs9.38UNSAT
hqs9.43UNSAT
hqs+ql9.49UNSAT
dCaqe35.58UNSAT
iprover_hqspre89.04UNSAT