Unique instances for dCaqe
QBFEVAL'18 - DQBF Solvers Track


InstanceTimeResult
C499.blif_0.50_1.00_8_1_henkin.dqdimacs0.75UNSAT
amba_case_study_system_1.dqdimacs458.81UNSAT
amba_case_study_unreal2_system_1.dqdimacs489.34UNSAT