QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 3706.94 | 336.99 | 288.35 | 600 | 599.79 | 0.455 |
| aigqbf_s | 3708.4 | 337.13 | 288.34 | 600 | 595.09 | 0.455 |
| aigqbf_sr | 3745.75 | 340.52 | 284.98 | 600 | 594.7 | 0.455 |
| AQME-1NN | 2005.93 | 182.36 | 254.46 | 9.49 | 206.5 | 0.818 |
| AQME-C4.5 | 2006.39 | 182.4 | 254.45 | 9.56 | 206.35 | 0.818 |
| AQME-RIPPER | 2135.06 | 194.1 | 248.68 | 16.95 | 206.37 | 0.818 |
| EBDDRES | 235.34 | 21.39 | 11.41 | 20.45 | 32.19 | 0.182 |
| ncQuBE1.0 | 5542.45 | 503.86 | 182.29 | 600 | 270.98 | 0.091 |
| ncQuBE1.1 | 5057.71 | 459.79 | 203.52 | 600 | 368.49 | 0.091 |
| preQuel_sKizzo-0.10 | 1476.65 | 134.24 | 222.81 | 11.17 | 69.26 | 0.727 |
| qSS | 3655.99 | 332.36 | 249.74 | 429.24 | 523.36 | 0.727 |
| QUANTOR_2.15 | 1405.36 | 127.76 | 223.05 | 28.05 | 38.82 | 0.364 |
| qZilla | 3604.35 | 327.67 | 272.95 | 430.42 | 599.79 | 0.545 |
| sKizzo-0.10-qck | 1642.54 | 149.32 | 226.09 | 14.69 | 106.71 | 0.727 |
| sKizzo-0.10-std | 1626.77 | 147.89 | 226.4 | 19.01 | 68.84 | 0.727 |
| squolem | 5788.67 | 526.24 | 164.9 | 600 | 283.53 | 0.182 |
| yQuaffle | 6600 | 600 | 0 | 600 | 0 | 0 |