Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Adaptive2clsQ | 16905.63 | 444.88 | 222.9 | 600 | 433.03 | 0.263 |
aigqbf_s | 22800 | 600 | 0 | 600 | 0 | 0 |
aigqbf_sr | 22800 | 600 | 0 | 600 | 0 | 0 |
AQME-1NN | 17635.17 | 464.08 | 167.5 | 593.19 | 369.69 | 0.263 |
AQME-C4.5 | 15272.59 | 401.91 | 155.07 | 386.12 | 335.45 | 0.316 |
AQME-RIPPER | 19088.57 | 502.33 | 147.01 | 600 | 280.46 | 0.158 |
EBDDRES | 15154.68 | 398.81 | 244.09 | 600 | 506.82 | 0 |
ncQuBE1.0 | 17631.48 | 463.99 | 227.96 | 600 | 139.75 | 0 |
ncQuBE1.1 | 17637.88 | 464.15 | 227.94 | 600 | 142.68 | 0 |
preQuel_sKizzo-0.10 | 17382.48 | 457.43 | 146.8 | 491.56 | 270.03 | 0.421 |
qSS | 15080.14 | 396.85 | 208.95 | 459.34 | 441.57 | 0.105 |
QUANTOR_2.15 | 7861.15 | 206.87 | 182.26 | 115.65 | 258.89 | 0.579 |
qZilla | 19941.51 | 524.78 | 145.94 | 600 | 123.42 | 0.105 |
sKizzo-0.10-qck | 8799.33 | 231.56 | 183.67 | 185.87 | 207.71 | 0.579 |
sKizzo-0.10-std | 9471.72 | 249.26 | 175.72 | 189.17 | 294 | 0.553 |
squolem | 22800 | 600 | 0 | 600 | 0 | 0 |
yQuaffle | 22791.58 | 599.78 | 1.35 | 600 | 0 | 0.026 |