QBF Solver Evaluation Portal
qbflib.orgFamily Sorting_networks results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 14235.12 | 268.59 | 272.06 | 85.26 | 570.37 | 0.604 |
| aigqbf_s | 23391.84 | 441.36 | 201.43 | 600 | 379.45 | 0 |
| aigqbf_sr | 31632.15 | 596.83 | 22.84 | 600 | 0 | 0 |
| AQME-1NN | 7433.63 | 140.26 | 197.65 | 15.83 | 234.38 | 0.868 |
| AQME-C4.5 | 7788.18 | 146.95 | 206.6 | 15.87 | 234.13 | 0.849 |
| AQME-RIPPER | 7636.5 | 144.08 | 200.48 | 15.93 | 236.71 | 0.868 |
| EBDDRES | 1611.23 | 30.4 | 3.86 | 31.88 | 3.02 | 0 |
| ncQuBE1.0 | 19636.74 | 370.5 | 274.14 | 600 | 579.92 | 0.434 |
| ncQuBE1.1 | 20465.89 | 386.15 | 276.42 | 600 | 579.14 | 0.396 |
| preQuel_sKizzo-0.10 | 18962.28 | 357.78 | 271.58 | 600 | 572.07 | 0.396 |
| qSS | 15549.24 | 293.38 | 267.23 | 208.11 | 587.2 | 0.509 |
| QUANTOR_2.15 | 2075.12 | 39.15 | 80.03 | 33.18 | 26.73 | 0.491 |
| qZilla | 10475.48 | 197.65 | 244.91 | 50.75 | 382.21 | 0.774 |
| sKizzo-0.10-qck | 18148.97 | 342.43 | 278.07 | 600 | 564.65 | 0.434 |
| sKizzo-0.10-std | 18788.89 | 354.51 | 265.49 | 600 | 507.5 | 0.415 |
| squolem | 31800 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 22851.68 | 431.16 | 268.75 | 600 | 589.84 | 0.283 |