QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 38621.28 | 2413.83 | 2793.69 | 529.17 | 5971.41 | 0.313 |
| GRL | 7027.28 | 439.21 | 227.19 | 600.75 | 418.71 | 0 |
| openQbf | 96013.44 | 6000.84 | 0.07 | 6000.86 | 0.1 | 0 |
| preQuantor | 18502.2 | 1156.39 | 2327.58 | 22.97 | 139.12 | 0.25 |
| Qbfl | 41899.44 | 2618.72 | 2609.08 | 599.65 | 5385.07 | 0 |
| Quaffle | 8775.59 | 548.47 | 15.04 | 545.27 | 25.23 | 0 |
| QUANTOR | 12329.41 | 770.59 | 1976.8 | 25.4 | 29.25 | 0.25 |
| QUANTOR_hc | 1527.43 | 95.46 | 191.35 | 25.16 | 28.97 | 0.25 |
| qube3.0 | 56179.44 | 3511.22 | 2492.56 | 4067.45 | 5449.11 | 0.063 |
| qube4.0 | 55247.46 | 3452.97 | 2665.66 | 4845.38 | 5462.74 | 0.063 |
| qube5.0 | 55252.72 | 3453.3 | 2664.99 | 4842.69 | 5462.07 | 0.063 |
| semprop | 8503.65 | 531.48 | 184.15 | 600.99 | 0.06 | 0.125 |
| sKizzo-0.9-abs | 8166.94 | 510.43 | 1434.97 | 65.06 | 239.49 | 0.563 |
| sKizzo-0.9-grn | 32005.36 | 2000.34 | 2650.83 | 465.66 | 5773.92 | 0.313 |
| sKizzo-0.9-std | 5668.53 | 354.28 | 913.6 | 59.27 | 239.3 | 0.625 |
| SQBF | 17480.9 | 1092.56 | 1004.38 | 855.3 | 938.73 | 0.25 |
| sSolve | 93634.32 | 5852.15 | 446.29 | 5999.43 | 0.8 | 0.125 |
| ssolve+ut | 88545.24 | 5534.08 | 1459.85 | 5999.37 | 1.42 | 0.125 |
| ssolve-ut | 93642.78 | 5852.67 | 443.96 | 6000.3 | 0.07 | 0.125 |
| WalkQSAT | 8082.8 | 505.18 | 200.08 | 600.99 | 0.03 | 0 |
| yQuaffle | 9179.58 | 573.72 | 18.54 | 581.36 | 31.74 | 0 |