QBF Solver Evaluation Portal
qbflib.orgInstances of family s386 solved by AQME-1NN
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| s386_d2_s | SAT | 1.31 | |
| s386_d3_s | SAT | 4.54 | |
| s386_d4_s | SAT | 17.35 | |
| s386_d5_s | SAT | 39.14 | |
| s386_d6_s | SAT | 62.67 | |
| s386_d7_s | FAIL | 598.61 | |
| s386_d8_u | FAIL | 599.01 | |
| s386_d9_u | FAIL | 599.39 | |
| s386_d10_u | FAIL | 599.69 | |
| s386_d12_u | FAIL | 600 | |
| s386_d11_u | FAIL | 600 |