QBF Solver Evaluation Portal
qbflib.orgFamily k_path_p results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 0.24 | 0.05 | 0.02 | 0.06 | 0.04 | 1 |
| GRL | 3003.49 | 600.7 | 0.07 | 600.71 | 0.1 | 0 |
| openQbf | 30004.18 | 6000.84 | 0.04 | 6000.84 | 0.03 | 0 |
| preQuantor | 0.29 | 0.06 | 0.02 | 0.06 | 0.04 | 1 |
| Qbfl | 2982.23 | 596.45 | 1.05 | 596.58 | 1.56 | 0 |
| Quaffle | 2826.49 | 565.3 | 1.46 | 564.95 | 2.04 | 0 |
| QUANTOR | 0.24 | 0.05 | 0.02 | 0.05 | 0.03 | 1 |
| QUANTOR_hc | 0.09 | 0.02 | 0.01 | 0.01 | 0.01 | 1 |
| qube3.0 | 10455.04 | 2091.01 | 1639.31 | 1305.83 | 1242.27 | 0 |
| qube4.0 | 13550.91 | 2710.18 | 1797.24 | 2571.65 | 1600.91 | 0 |
| qube5.0 | 13154.38 | 2630.88 | 1824.46 | 2510.94 | 1562.92 | 0 |
| semprop | 2101.05 | 420.21 | 239.77 | 601 | 451.98 | 0.4 |
| sKizzo-0.9-abs | 41.68 | 8.34 | 4.05 | 9.77 | 5.01 | 1 |
| sKizzo-0.9-grn | 3726.28 | 745.26 | 864.23 | 164.82 | 776.37 | 1 |
| sKizzo-0.9-std | 39.11 | 7.82 | 3.74 | 9.65 | 4.67 | 1 |
| SQBF | 0.27 | 0.05 | 0.03 | 0.05 | 0.03 | 1 |
| sSolve | 34.55 | 6.91 | 3.48 | 6.97 | 5.42 | 1 |
| ssolve+ut | 37.16 | 7.43 | 3.6 | 7.67 | 5.71 | 1 |
| ssolve-ut | 34.87 | 6.97 | 3.53 | 7.25 | 5.62 | 1 |
| WalkQSAT | 3004.99 | 601 | 0 | 601 | 0 | 0 |
| yQuaffle | 19194.23 | 3838.85 | 2644.55 | 5998.03 | 5398.15 | 0 |