QBF Solver Evaluation Portal
qbflib.orgFamily k_d4_n results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 3000 | 600 | 0 | 600 | 0 | 0 |
| aigqbf_s | 296.6 | 59.32 | 27.25 | 60.64 | 43.98 | 1 |
| aigqbf_sr | 759.5 | 151.9 | 60.65 | 156.52 | 97.65 | 1 |
| AQME-1NN | 255.7 | 51.14 | 72.96 | 19.19 | 8.78 | 1 |
| AQME-C4.5 | 256.81 | 51.36 | 73.1 | 18.87 | 8.95 | 1 |
| AQME-RIPPER | 256.31 | 51.26 | 73.01 | 19.23 | 8.71 | 1 |
| EBDDRES | 117.81 | 23.56 | 0.1 | 23.57 | 0.13 | 0 |
| ncQuBE1.0 | 1428.67 | 285.73 | 20.63 | 276.94 | 11.41 | 0 |
| ncQuBE1.1 | 3000 | 600 | 0 | 600 | 0 | 0 |
| preQuel_sKizzo-0.10 | 8.72 | 1.74 | 0.88 | 1.73 | 1.3 | 1 |
| qSS | 85.08 | 17.02 | 8.28 | 18.99 | 8.84 | 1 |
| QUANTOR_2.15 | 52.23 | 10.45 | 0.12 | 10.48 | 0.19 | 0 |
| qZilla | 265.49 | 53.1 | 7.76 | 55.26 | 8.93 | 1 |
| sKizzo-0.10-qck | 24.16 | 4.83 | 1.56 | 5.34 | 2.13 | 1 |
| sKizzo-0.10-std | 70.29 | 14.06 | 6.11 | 17.15 | 8.39 | 1 |
| squolem | 607.49 | 121.5 | 48.4 | 129.62 | 80.77 | 1 |
| yQuaffle | 3000 | 600 | 0 | 600 | 0 | 0 |