QBF Solver Evaluation Portal
qbflib.orgInstances of family s386 solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | Result | Time | |
|---|---|---|---|
| s386_d2_s | SAT | 0.35 | |
| s386_d6_s | SAT | 13.17 | |
| s386_d8_u | UNSAT | 37.25 | |
| s386_d7_s | SAT | 42.94 | |
| s386_d4_s | SAT | 70.9 | |
| s386_d10_u | UNSAT | 169.27 | |
| s386_d9_u | UNSAT | 214.95 | |
| s386_d12_u | UNSAT | 233.92 | |
| s386_d11_u | UNSAT | 347.05 | |
| s386_d3_s | SAT | 363.43 |