QBF Solver Evaluation Portal
qbflib.orgInstances of family circuits solved by Nenofex
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| k3_2_1 | SAT | 0.04 | |
| k3_1_1 | SAT | 0.04 | |
| k3_1_2 | SAT | 0.06 | |
| k3_2_2 | SAT | 0.06 | |
| k4_2_2 | SAT | 0.4 | |
| k5_2_3 | SAT | 114.04 | |
| k10_3_4 | FAIL | 201.57 | |
| k10_4_2 | FAIL | 202.02 | |
| k10_4_3 | FAIL | 223.52 | |
| k10_4_4 | FAIL | 299.38 | |
| k12_2_2 | FAIL | 582.27 | |
| k14_3_2 | FAIL | 600 | |
| k6_4_4 | FAIL | 600 | |
| k7_3_2 | FAIL | 600 | |
| k7_4_4 | FAIL | 600 | |
| k14_2_4 | FAIL | 600 | |
| k8_3_3 | FAIL | 600 | |
| k6_2_2 | 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 | |
| k7_3_3 | FAIL | 600 | |
| k7_2_3 | FAIL | 600 | |
| k14_4_3 | FAIL | 600 | |
| k6_4_3 | FAIL | 600 | |
| k10_3_2 | FAIL | 600 | |
| k12_4_2 | FAIL | 600 | |
| k12_2_4 | FAIL | 600 | |
| k5_2_2 | FAIL | 600 | |
| k12_3_4 | 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 | |
| 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 |