Unique instances for dqbdd
DQBF Solvers Track


InstanceTimeResult
crn_11_100_s.cnf.dqdimacs27.18SAT
crn_11_99_u.cnf.dqdimacs7.41UNSAT
C499.blif_0.50_1.00_8_1_henkin.dqdimacs188.73UNSAT
comp.blif_0.20_1.00_4_0_henkin.dqdimacs0SAT
comp.blif_0.20_1.00_9_3_henkin.dqdimacs0SAT
comp.blif_0.50_1.00_4_0_henkin.dqdimacs0.65SAT
pec_adder_n_bit_1_19.dqdimacs14.52SAT
pec_look_ahead_arbiter_1_0.dqdimacs8.75SAT
pec_multiplexer_3_2.dqdimacs2.2SAT
pec_multiplier_1_0.dqdimacs16.98SAT
cnt11n.dqdimacs574.86SAT
mv9y.dqdimacs113.26SAT
C432.blif_0.10_1.00_2_0_henkin.dqdimacs19.31SAT
C499.blif_0.10_1.00_7_2_henkin.dqdimacs180.17UNSAT
comp.blif_0.10_0.10_0_0_henkin.dqdimacs0.63SAT
comp.blif_0.10_0.20_0_0_henkin.dqdimacs0.58SAT
comp.blif_0.10_1.00_0_0_henkin.dqdimacs0SAT
comp.blif_0.10_1.00_2_0_henkin.dqdimacs0SAT
comp.blif_0.60_1.00_4_0_henkin.dqdimacs0.84SAT
comp.blif_0.60_1.00_5_0_henkin.dqdimacs1.22SAT
term1.blif_0.50_1.00_3_0_henkin.dqdimacs0.95SAT
C432.blif_0.10_0.10_1_0_henkin.dqdimacs29.92SAT
C499.blif_0.20_1.00_7_2_henkin.dqdimacs179.91UNSAT
comp.blif_0.10_0.20_1_0_henkin.dqdimacs0.83SAT
comp.blif_0.10_0.20_2_0_henkin.dqdimacs0.54SAT
term1.blif_0.60_1.00_3_0_henkin.dqdimacs0.93SAT
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacs0SAT
pec_adder_n_bit_2_10.dqdimacs38.41UNSAT
pec_adder_n_bit_3_38.dqdimacs26.6UNSAT
pec_adder_n_bit_4_4.dqdimacs12.14UNSAT
pec_adder_n_bit_5_90.dqdimacs13.77UNSAT
pec_multiplier_5_81.dqdimacs19.3UNSAT
pec_multiplier_5_91.dqdimacs7.55UNSAT