Unique instances for iprover_hqspre
QBFEVAL'18 - DQBF Solvers Track


InstanceTimeResult
bs16n.dqdimacs81.66SAT
bs16y.dqdimacs80.97SAT
amba_decomposed_arbiter_system_8.dqdimacs748.29SAT
full_arbiter_environment_4.dqdimacs68.04UNSAT
full_arbiter_unreal3_environment_2.dqdimacs68UNSAT