QBF Solver Evaluation Portal
qbflib.orgFamily Chain results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 0.18 | 0.05 | 0.01 | 0.05 | 0.01 | 1 |
| GRL | 2403.88 | 600.97 | 0.02 | 600.97 | 0.03 | 0 |
| openQbf | 16041.28 | 4010.32 | 2049.99 | 4357.02 | 3980.98 | 0.5 |
| preQuantor | 0.13 | 0.03 | 0.01 | 0.03 | 0.02 | 1 |
| Qbfl | 2105.42 | 526.36 | 126.22 | 599.06 | 145.97 | 0.25 |
| Quaffle | 1723.35 | 430.84 | 155.24 | 482.08 | 273.1 | 0.5 |
| QUANTOR | 0.23 | 0.06 | 0 | 0.06 | 0 | 1 |
| QUANTOR_hc | 0.28 | 0.07 | 0.01 | 0.07 | 0.01 | 1 |
| qube3.0 | 24002.15 | 6000.54 | 0.14 | 6000.61 | 0.19 | 0 |
| qube4.0 | 0.89 | 0.22 | 0.03 | 0.22 | 0.04 | 1 |
| qube5.0 | 20871.24 | 5217.81 | 1355.95 | 6000.67 | 1565.74 | 0.25 |
| semprop | 0.22 | 0.06 | 0.02 | 0.06 | 0.04 | 1 |
| sKizzo-0.9-abs | 0.29 | 0.07 | 0.01 | 0.08 | 0.02 | 1 |
| sKizzo-0.9-grn | 0.3 | 0.08 | 0.02 | 0.07 | 0.02 | 1 |
| sKizzo-0.9-std | 0.33 | 0.08 | 0.01 | 0.08 | 0.02 | 1 |
| SQBF | 0.13 | 0.03 | 0.01 | 0.04 | 0.02 | 1 |
| sSolve | 1.18 | 0.3 | 0.03 | 0.29 | 0.05 | 1 |
| ssolve+ut | 1.14 | 0.29 | 0.03 | 0.29 | 0.05 | 1 |
| ssolve-ut | 1.01 | 0.25 | 0.01 | 0.25 | 0.03 | 1 |
| WalkQSAT | 2319.58 | 579.9 | 36.54 | 600.99 | 42.2 | 0.25 |
| yQuaffle | 23996.76 | 5999.19 | 0.14 | 5999.23 | 0.21 | 0 |