QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 659.51 | 329.75 | 270.25 | 329.75 | 0 | 0.5 |
| aigqbf_s | 33.79 | 16.9 | 13.58 | 16.9 | 0 | 0.5 |
| aigqbf_sr | 320.91 | 160.45 | 157.1 | 160.45 | 0 | 0.5 |
| AQME-1NN | 114.85 | 57.43 | 56.43 | 57.43 | 0 | 1 |
| AQME-C4.5 | 115.3 | 57.65 | 56.57 | 57.65 | 0 | 1 |
| AQME-RIPPER | 115.23 | 57.61 | 56.5 | 57.61 | 0 | 1 |
| EBDDRES | 50.76 | 25.38 | 0.82 | 25.38 | 0 | 0 |
| ncQuBE1.0 | 603.9 | 301.95 | 298.05 | 301.95 | 0 | 0.5 |
| ncQuBE1.1 | 602.26 | 301.13 | 298.87 | 301.13 | 0 | 0.5 |
| preQuel_sKizzo-0.10 | 1200 | 600 | 0 | 600 | 0 | 0 |
| qSS | 618.88 | 309.44 | 290.56 | 309.44 | 0 | 0.5 |
| QUANTOR_2.15 | 10.89 | 5.44 | 4.95 | 5.44 | 0 | 0.5 |
| qZilla | 631.62 | 315.81 | 284.19 | 315.81 | 0 | 0.5 |
| sKizzo-0.10-qck | 600.49 | 300.24 | 299.76 | 300.24 | 0 | 0.5 |
| sKizzo-0.10-std | 600.5 | 300.25 | 299.75 | 300.25 | 0 | 0.5 |
| squolem | 1200 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 601.92 | 300.96 | 299.04 | 300.96 | 0 | 0.5 |