QBF Solver Evaluation Portal
qbflib.orgFamily tipdiam results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 36735.58 | 432.18 | 267.66 | 600 | 585.24 | 0.282 |
| aigqbf_s | 26970.08 | 317.3 | 284.2 | 424.75 | 598.48 | 0.506 |
| aigqbf_sr | 28950.19 | 340.59 | 286.2 | 600 | 597.69 | 0.459 |
| AQME-1NN | 20038.22 | 235.74 | 267.66 | 85.55 | 598.55 | 0.624 |
| AQME-C4.5 | 19159.44 | 225.41 | 260.55 | 88.27 | 598.54 | 0.647 |
| AQME-RIPPER | 19387.28 | 228.09 | 261.98 | 87.62 | 598.99 | 0.624 |
| EBDDRES | 1959.73 | 23.06 | 11.54 | 28.71 | 5.39 | 0.212 |
| ncQuBE1.0 | 17239.94 | 202.82 | 275.08 | 3.54 | 599.89 | 0.682 |
| ncQuBE1.1 | 16139.26 | 189.87 | 272.67 | 1.92 | 599.9 | 0.706 |
| preQuel_sKizzo-0.10 | 42400.03 | 498.82 | 216.01 | 600 | 0 | 0.176 |
| qSS | 26075.71 | 306.77 | 276.72 | 372.76 | 580.63 | 0.576 |
| QUANTOR_2.15 | 2131.09 | 25.07 | 66.2 | 15.15 | 13.67 | 0.271 |
| qZilla | 36057.1 | 424.2 | 267.01 | 600 | 577.82 | 0.318 |
| sKizzo-0.10-qck | 21405.15 | 251.83 | 266.36 | 107.09 | 599.17 | 0.635 |
| sKizzo-0.10-std | 21338.88 | 251.05 | 268.63 | 125.28 | 599.19 | 0.635 |
| squolem | 44839.27 | 527.52 | 191.02 | 600 | 0 | 0.129 |
| yQuaffle | 36801.8 | 432.96 | 266.56 | 600 | 571.43 | 0.282 |