QBF Solver Evaluation Portal
qbflib.orgFamily Abduction results for solvers
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 64291.31 | 212.18 | 239.19 | 70.05 | 550.7 | 0.736 |
| aigqbf_s | 87377.13 | 288.37 | 270.72 | 243.98 | 590.73 | 0.637 |
| aigqbf_sr | 104676.44 | 345.47 | 272.9 | 600 | 568.57 | 0.482 |
| AQME-1NN | 23333.32 | 77.01 | 121.47 | 56.75 | 87.63 | 0.924 |
| AQME-C4.5 | 17306.87 | 57.12 | 154.04 | 0.81 | 5.66 | 0.917 |
| AQME-RIPPER | 3811.7 | 12.58 | 19.16 | 0.9 | 20.44 | 0.891 |
| EBDDRES | 8033.8 | 26.51 | 10.24 | 30.81 | 2.65 | 0.069 |
| ncQuBE1.0 | 12328.4 | 40.69 | 144.57 | 0.28 | 0.76 | 0.937 |
| ncQuBE1.1 | 11206.18 | 36.98 | 138.2 | 0.28 | 0.75 | 0.944 |
| preQuel_sKizzo-0.10 | 30232.96 | 99.78 | 201.71 | 3.23 | 41.69 | 0.558 |
| qSS | 19747.46 | 65.17 | 137.64 | 11.08 | 49.83 | 0.696 |
| QUANTOR_2.15 | 44312.4 | 146.25 | 171.03 | 60.22 | 186.58 | 0.241 |
| qZilla | 103174.44 | 340.51 | 283.06 | 600 | 584.78 | 0.469 |
| sKizzo-0.10-qck | 19284.99 | 63.65 | 143.24 | 19.15 | 50.34 | 0.492 |
| sKizzo-0.10-std | 32019.63 | 105.68 | 204.46 | 3.45 | 55.71 | 0.535 |
| squolem | 176805.47 | 583.52 | 90.8 | 600 | 0 | 0.04 |
| yQuaffle | 26184.3 | 86.42 | 208.92 | 0.13 | 1.53 | 0.858 |