QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'07
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Adaptive2clsQ | 1263.79 | 421.26 | 252.77 | 600 | 536.21 | 0.333 |
| aigqbf_s | 676.81 | 225.6 | 161.28 | 299.59 | 297.83 | 0.333 |
| aigqbf_sr | 1203.5 | 401.17 | 281.19 | 600 | 596.5 | 0.333 |
| AQME-1NN | 1229.17 | 409.72 | 269.09 | 600 | 570.83 | 0.333 |
| AQME-C4.5 | 1331.35 | 443.78 | 220.92 | 600 | 468.65 | 0.333 |
| AQME-RIPPER | 985.62 | 328.54 | 198.41 | 254.31 | 123 | 0.333 |
| EBDDRES | 75.57 | 25.19 | 1.26 | 24.32 | 0.04 | 0 |
| ncQuBE1.0 | 1259.44 | 419.81 | 254.82 | 600 | 540.56 | 0.333 |
| ncQuBE1.1 | 1303.01 | 434.34 | 234.28 | 600 | 496.99 | 0.333 |
| preQuel_sKizzo-0.10 | 1768.16 | 589.39 | 15.01 | 600 | 31.84 | 0 |
| qSS | 1222.42 | 407.47 | 272.27 | 600 | 577.58 | 0.333 |
| QUANTOR_2.15 | 1013.14 | 337.71 | 189.34 | 253.24 | 93.34 | 0.667 |
| qZilla | 1213.59 | 404.53 | 276.44 | 600 | 586.41 | 0.333 |
| sKizzo-0.10-qck | 1800 | 600 | 0 | 600 | 0 | 0 |
| sKizzo-0.10-std | 1800 | 600 | 0 | 600 | 0 | 0 |
| squolem | 1800 | 600 | 0 | 600 | 0 | 0 |
| yQuaffle | 1320.62 | 440.21 | 225.98 | 600 | 479.38 | 0.333 |