QBF Solver Evaluation Portal
qbflib.orgInstances of family circuits solved by QuBE6.1
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| k3_1_2 | SAT | 0.09 | |
| k3_2_2 | SAT | 0.25 | |
| k3_1_1 | SAT | 0.81 | |
| k3_2_1 | SAT | 3.72 | |
| k6_2_2 | FAIL | 283.89 | |
| k14_3_2 | FAIL | 600 | |
| k6_4_4 | FAIL | 600 | |
| k7_3_2 | FAIL | 600 | |
| k7_4_4 | FAIL | 600 | |
| k10_4_4 | FAIL | 600 | |
| k14_2_4 | FAIL | 600 | |
| k8_3_3 | FAIL | 600 | |
| k7_4_2 | FAIL | 600 | |
| k14_2_2 | FAIL | 600 | |
| k12_4_4 | FAIL | 600 | |
| k6_3_3 | FAIL | 600 | |
| k8_4_4 | FAIL | 600 | |
| k7_4_3 | FAIL | 600 | |
| k8_4_3 | FAIL | 600 | |
| k10_4_2 | FAIL | 600 | |
| k7_3_3 | FAIL | 600 | |
| k10_4_3 | FAIL | 600 | |
| k7_2_3 | FAIL | 600 | |
| k14_4_3 | FAIL | 600 | |
| k6_4_3 | FAIL | 600 | |
| k10_3_2 | FAIL | 600 | |
| k12_2_2 | FAIL | 600 | |
| k12_4_2 | FAIL | 600 | |
| k12_2_4 | FAIL | 600 | |
| k5_2_2 | FAIL | 600 | |
| k12_3_4 | FAIL | 600 | |
| k4_2_2 | FAIL | 600 | |
| k12_4_3 | FAIL | 600 | |
| k8_3_2 | FAIL | 600 | |
| k6_2_3 | FAIL | 600 | |
| k8_3_4 | FAIL | 600 | |
| k8_4_2 | FAIL | 600 | |
| k10_2_4 | FAIL | 600 | |
| k10_2_3 | FAIL | 600 | |
| k10_3_3 | FAIL | 600 | |
| k14_4_4 | FAIL | 600 | |
| k12_3_3 | FAIL | 600 | |
| k6_3_4 | FAIL | 600 | |
| k14_4_2 | FAIL | 600 | |
| k7_2_4 | FAIL | 600 | |
| k12_2_3 | FAIL | 600 | |
| k14_3_4 | FAIL | 600 | |
| k8_2_2 | FAIL | 600 | |
| k7_3_4 | FAIL | 600 | |
| k8_2_4 | FAIL | 600 | |
| k12_3_2 | FAIL | 600 | |
| k6_3_2 | FAIL | 600 | |
| k5_3_2 | FAIL | 600 | |
| k10_2_2 | FAIL | 600 | |
| k14_3_3 | FAIL | 600 | |
| k10_3_4 | FAIL | 600 | |
| k5_2_3 | FAIL | 600 | |
| k6_4_2 | FAIL | 600 | |
| k8_2_3 | FAIL | 600 | |
| k5_3_3 | FAIL | 600 | |
| k6_2_4 | FAIL | 600 | |
| k7_2_2 | FAIL | 600 | |
| k14_2_3 | FAIL | 600 |