QBF Solver Evaluation Portal
qbflib.orgInstances of family s1269 solved by QUBE-LRN
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| s1269_d9_s | FAIL | 151.6 | |
| s1269_d10_s | FAIL | 152.04 | |
| s1269_d6_s | FAIL | 154.31 | |
| s1269_d15_u | FAIL | 157.63 | |
| s1269_d5_s | FAIL | 174.67 | |
| s1269_d4_s | FAIL | 178.51 | |
| s1269_d3_s | FAIL | 202.49 | |
| s1269_d2_s | FAIL | 311.3 |