QBF Solver Evaluation Portal
qbflib.orgInstances of family circuits solved by quantor3.0
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| k3_2_1 | SAT | 0.01 | |
| k3_1_1 | SAT | 0.01 | |
| k3_1_2 | SAT | 0.01 | |
| k3_2_2 | SAT | 0.02 | |
| k4_2_2 | SAT | 0.04 | |
| k12_3_2 | FAIL | 31.88 | |
| k10_4_3 | FAIL | 32.01 | |
| k12_4_2 | FAIL | 32.06 | |
| k12_2_4 | FAIL | 32.56 | |
| k12_4_4 | FAIL | 33.53 | |
| k12_3_4 | FAIL | 33.57 | |
| k10_4_4 | FAIL | 35.68 | |
| k12_4_3 | FAIL | 35.77 | |
| k12_3_3 | FAIL | 36.25 | |
| k12_2_2 | FAIL | 37.57 | |
| k14_4_3 | FAIL | 46.14 | |
| k14_2_3 | FAIL | 46.57 | |
| k5_2_3 | SAT | 46.67 | |
| k14_3_3 | FAIL | 47.06 | |
| k14_4_4 | FAIL | 49.28 | |
| k14_4_2 | FAIL | 49.4 | |
| k14_2_4 | FAIL | 49.71 | |
| k14_3_4 | FAIL | 49.84 | |
| k12_2_3 | FAIL | 50.28 | |
| k14_3_2 | FAIL | 50.83 | |
| k14_2_2 | FAIL | 64.63 | |
| k5_3_3 | SAT | 94.91 | |
| k6_3_2 | FAIL | 600 | |
| k5_3_2 | FAIL | 600 | |
| k10_2_2 | FAIL | 600 | |
| k10_3_4 | FAIL | 600 | |
| k6_4_2 | FAIL | 600 | |
| k8_2_3 | FAIL | 600 | |
| k6_2_4 | FAIL | 600 | |
| k7_2_2 | FAIL | 600 | |
| k6_4_4 | FAIL | 600 | |
| k7_3_2 | FAIL | 600 | |
| k7_4_4 | FAIL | 600 | |
| k8_3_3 | FAIL | 600 | |
| k6_2_2 | FAIL | 600 | |
| k7_4_2 | 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 | |
| k7_2_3 | FAIL | 600 | |
| k6_4_3 | FAIL | 600 | |
| k10_3_2 | FAIL | 600 | |
| k5_2_2 | 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 | |
| k6_3_4 | FAIL | 600 | |
| k7_2_4 | FAIL | 600 | |
| k8_2_2 | FAIL | 600 | |
| k7_3_4 | FAIL | 600 | |
| k8_2_4 | FAIL | 600 |