QBF Solver Evaluation Portal
qbflib.orgInstances of family fpu solved by GhostQ___plain_pcnf_2019
QBFEVAL'19 - Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| fpu-10Xh-error01-nonuniform-depth-5 | UNSAT | 44.12 | |
| fpu-10Xh-error01-uniform-depth-4 | UNSAT | 64.2 | |
| fpu-10Xh-error01-nonuniform-depth-10 | UNSAT | 116.62 | |
| fpu-10Xh-error01-uniform-depth-10 | UNSAT | 260.48 | |
| fpu-10Xh-error01-nonuniform-depth-15 | UNSAT | 270.06 | |
| fpu-10Xh-error01-nonuniform-depth-20 | UNSAT | 307.49 | |
| fpu-10Xh-error01-nonuniform-depth-25 | UNSAT | 341.13 | |
| fpu-10Xh-error01-uniform-depth-15 | UNSAT | 460.61 | |
| fpu-10Xh-error01-uniform-depth-20 | FAIL | 609.77 | |
| fpu-10Xh-error01-uniform-depth-25 | FAIL | 680.14 |