QBF Solver Evaluation Portal
qbflib.orgInstances of family s386 solved by hiqqer3
QBFEVAL'16 - Prenex CNF Track.
| Instance | Result | Time | |
|---|---|---|---|
| s386_d2_s | SAT | 0.51 | |
| s386_d6_s | SAT | 27.82 | |
| s386_d8_u | UNSAT | 75.64 | |
| s386_d7_s | SAT | 127.16 | |
| s386_d4_s | SAT | 291.7 | |
| s386_d9_u | UNSAT | 539.26 | |
| s386_d3_s | SAT | 564.03 | |
| s386_d12_u | UNSAT | 571.87 | |
| s386_d11_u | UNSAT | 582.81 | |
| s386_d10_u | FAIL | 599.71 |