QBF Solver Evaluation Portal
qbflib.orgFamily FPGA_PLB_FIT_SLOW results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 5.96 | 1.99 | 1.77 | 1.35 | 1.14 | 1 |
| GRL | 207.54 | 69.18 | 5.99 | 65.19 | 0.48 | 0 |
| openQbf | 8200.89 | 2733.63 | 2345.02 | 1592.29 | 984.6 | 0.667 |
| preQuantor | 5.97 | 1.99 | 1.75 | 1.37 | 1.15 | 1 |
| Qbfl | 1761.05 | 587.02 | 3.13 | 584.87 | 0.13 | 0 |
| Quaffle | 1001.51 | 333.84 | 155.96 | 276.26 | 98.02 | 1 |
| QUANTOR | 17.12 | 5.71 | 2.06 | 4.68 | 0.82 | 1 |
| QUANTOR_hc | 17.08 | 5.69 | 2.11 | 4.64 | 0.84 | 1 |
| qube3.0 | 6474.71 | 2158.24 | 2724.01 | 473.66 | 473.47 | 0.667 |
| qube4.0 | 6497.7 | 2165.9 | 2719.29 | 496.65 | 496.46 | 0.667 |
| qube5.0 | 6478.21 | 2159.4 | 2723.22 | 477.28 | 477.11 | 0.667 |
| semprop | 1203.89 | 401.3 | 282.39 | 600.97 | 599.04 | 0.333 |
| sKizzo-0.9-abs | 17.48 | 5.83 | 5.76 | 3.76 | 3.72 | 1 |
| sKizzo-0.9-grn | 6.19 | 2.06 | 1.55 | 1.31 | 0.65 | 1 |
| sKizzo-0.9-std | 18.61 | 6.2 | 6.09 | 4.06 | 4.01 | 1 |
| SQBF | 6 | 2 | 1.77 | 1.36 | 1.14 | 1 |
| sSolve | 583.7 | 194.57 | 223.34 | 71.67 | 67.64 | 1 |
| ssolve+ut | 583.72 | 194.57 | 223.34 | 71.65 | 67.59 | 1 |
| ssolve-ut | 583.93 | 194.64 | 223.84 | 71.46 | 67.76 | 1 |
| WalkQSAT | 200.16 | 66.72 | 4.29 | 63.7 | 0.02 | 0 |
| yQuaffle | 6075.45 | 2025.15 | 2810.68 | 75.08 | 74.53 | 0.667 |