QBF Solver Evaluation Portal
qbflib.orgUnique instances for QChaffLearn
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| counter_re_32 | 0.13 | UNSAT |
| counter_r_64 | 0.54 | UNSAT |
| k_ph_n-20 | 3.36 | UNSAT |
| counter_re_64 | 0.54 | UNSAT |
| counter_r_32 | 0.13 | UNSAT |
| adder-14-unsat | 4.83 | UNSAT |
| C880.blif_0.10_1.00_0_0_out_exact | 127.79 | UNSAT |
| C880.blif_0.10_0.20_0_1_inp_exact | 4.49 | UNSAT |
| adder-10-unsat | 0.63 | UNSAT |
| counter_r_16 | 0.04 | UNSAT |
| C499.blif_0.10_0.20_0_1_out_exact | 15.17 | UNSAT |
| k_ph_p-20 | 3.44 | UNSAT |
| k_ph_p-12 | 39.66 | UNSAT |
| C880.blif_0.10_1.00_0_0_inp_exact | 3.09 | UNSAT |
| k_ph_n-21 | 3.62 | UNSAT |
| counter_e_64 | 0.62 | UNSAT |
| C880.blif_0.10_0.20_0_0_inp_exact | 13.23 | UNSAT |
| counter_64 | 0.53 | UNSAT |
| counter_e_32 | 0.14 | UNSAT |
| k_ph_p-16 | 0.84 | UNSAT |
| counter_re_16 | 0.04 | UNSAT |
| adder-12-unsat | 2.12 | UNSAT |
| counter_e_16 | 0.04 | UNSAT |
| adder-16-unsat | 22.23 | UNSAT |
| k_ph_p-21 | 4.19 | UNSAT |
| C499.blif_0.10_0.20_0_0_inp_exact | 3.06 | UNSAT |