Unique instances for hqs
QBFEVAL'18 - DQBF Solvers Track


InstanceTimeResult
add10y.dqdimacs0.77SAT
mv8y.dqdimacs501.13SAT
mvs8n.dqdimacs26SAT
comp.blif_0.10_0.10_0_3_henkin.dqdimacs0.84UNSAT
comp.blif_0.10_0.20_1_3_henkin.dqdimacs1.22UNSAT
comp.blif_0.10_0.50_0_3_henkin.dqdimacs0.48UNSAT
comp.blif_0.10_0.50_1_3_henkin.dqdimacs0.69UNSAT
comp.blif_0.10_1.00_9_3_henkin.dqdimacs1.46UNSAT
comp.blif_0.20_0.10_0_2_henkin.dqdimacs3.37UNSAT
comp.blif_0.20_0.10_1_1_henkin.dqdimacs6.44UNSAT
comp.blif_0.20_1.00_4_0_henkin.dqdimacs1.94SAT
comp.blif_0.20_1.00_9_3_henkin.dqdimacs2.1SAT
comp.blif_0.30_0.50_2_1_henkin.dqdimacs2.12UNSAT
comp.blif_0.50_1.00_4_0_henkin.dqdimacs7.25SAT
comp.blif_0.50_1.00_5_1_henkin.dqdimacs433.81UNSAT
comp.blif_0.50_1.00_9_2_henkin.dqdimacs8.18SAT
comp.blif_0.60_1.00_5_2_henkin.dqdimacs3.83UNSAT
comp.blif_0.60_1.00_9_1_henkin.dqdimacs91.91SAT
term1.blif_0.10_1.00_5_3_henkin.dqdimacs1.12UNSAT
term1.blif_0.20_1.00_3_2_henkin.dqdimacs2.96UNSAT
term1.blif_0.50_1.00_5_0_henkin.dqdimacs1.78SAT
term1.blif_0.50_1.00_5_3_henkin.dqdimacs1.33UNSAT
amba_decomposed_decode_environment_16.dqdimacs0.61UNSAT
pec_adder_n_bit_1_19.dqdimacs18.19SAT
pec_adder_n_bit_1_3.dqdimacs7.6UNSAT
pec_adder_n_bit_3_18.dqdimacs16.08UNSAT
pec_adder_n_bit_3_1.dqdimacs17.58UNSAT
pec_adder_n_bit_5_11.dqdimacs11.6UNSAT
pec_adder_n_bit_5_18.dqdimacs11.61UNSAT
pec_adder_n_bit_9_11.dqdimacs111.97UNSAT
pec_adder_n_bit_9_17.dqdimacs61.02UNSAT
pec_adder_n_bit_9_20.dqdimacs888.95UNSAT
pec_adder_n_bit_9_22.dqdimacs44.25UNSAT
pec_look_ahead_arbiter_1_0.dqdimacs3.78SAT
pec_look_ahead_arbiter_1_11.dqdimacs2.11UNSAT
pec_look_ahead_arbiter_1_14.dqdimacs1.91UNSAT
pec_look_ahead_arbiter_1_2.dqdimacs2.7UNSAT
pec_look_ahead_arbiter_5_10.dqdimacs4.45UNSAT
pec_look_ahead_arbiter_5_12.dqdimacs12.23UNSAT
pec_look_ahead_arbiter_5_1.dqdimacs5.37UNSAT
pec_look_ahead_arbiter_5_2.dqdimacs4.51UNSAT
pec_look_ahead_arbiter_5_3.dqdimacs4.52UNSAT
pec_look_ahead_arbiter_7_22.dqdimacs5.84UNSAT
pec_look_ahead_arbiter_7_2.dqdimacs38.55UNSAT
pec_look_ahead_arbiter_7_9.dqdimacs13.04UNSAT
pec_multiplexer_1_11.dqdimacs1.63UNSAT
pec_multiplexer_1_26.dqdimacs0.81UNSAT
pec_multiplexer_1_2.dqdimacs2.19UNSAT
pec_multiplexer_1_4.dqdimacs0.96UNSAT
pec_multiplexer_1_8.dqdimacs1.11UNSAT
pec_multiplexer_3_2.dqdimacs3.71SAT
pec_multiplexer_3_30.dqdimacs0.97UNSAT
pec_multiplexer_3_6.dqdimacs1.27UNSAT
pec_multiplexer_5_11.dqdimacs0.81UNSAT
pec_multiplexer_5_12.dqdimacs5.85UNSAT
pec_multiplexer_5_17.dqdimacs12.32UNSAT
pec_multiplexer_5_2.dqdimacs11.68UNSAT
pec_multiplexer_5_5.dqdimacs27.44SAT
pec_multiplier_1_0.dqdimacs6.5SAT
pec_multiplier_1_11.dqdimacs2.04UNSAT
pec_multiplier_1_30.dqdimacs3.84UNSAT
pec_multiplier_3_2.dqdimacs6.16UNSAT
pec_multiplier_3_3.dqdimacs5.52UNSAT
pec_multiplier_3_4.dqdimacs4.19UNSAT