Unique instances for dCaqe
QBFEVAL'19 - DQBF Solvers Track


InstanceTimeResult
pec_adder_n_bit_3_18.dqdimacs58.08UNSAT
pec_adder_n_bit_5_18.dqdimacs10.96UNSAT
pec_adder_n_bit_9_20.dqdimacs31.92UNSAT
amba3c5n.dqdimacs1.43SAT
amba6c5n.dqdimacs81.5SAT
mvs24n.dqdimacs0.35SAT
pec_adder_n_bit_4_5.dqdimacs86.77UNSAT