Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Adaptive2clsQ | 9509.7 | 396.24 | 269.95 | 600 | 545.6 | 0.375 |
aigqbf_s | 9322.2 | 388.43 | 229.69 | 447.12 | 424.58 | 0.458 |
aigqbf_sr | 13332.52 | 555.52 | 141.88 | 600 | 0 | 0.167 |
AQME-1NN | 10109.59 | 421.23 | 256.93 | 600 | 439.32 | 0.292 |
AQME-C4.5 | 10128.68 | 422.03 | 256.4 | 600 | 439.26 | 0.292 |
AQME-RIPPER | 9766.9 | 406.95 | 263.03 | 600 | 517.03 | 0.375 |
EBDDRES | 2148.08 | 89.5 | 156.48 | 36.42 | 26.71 | 0.083 |
ncQuBE1.0 | 11865.86 | 494.41 | 214.07 | 600 | 0 | 0.208 |
ncQuBE1.1 | 11694.86 | 487.29 | 222.99 | 600 | 0 | 0.208 |
preQuel_sKizzo-0.10 | 8578.2 | 357.43 | 268.49 | 600 | 525.48 | 0.458 |
qSS | 11401.86 | 475.08 | 243.52 | 600 | 0 | 0.208 |
QUANTOR_2.15 | 4462.04 | 185.92 | 231.37 | 45.05 | 322.56 | 0.542 |
qZilla | 9788.57 | 407.86 | 266.59 | 600 | 583.03 | 0.417 |
sKizzo-0.10-qck | 8793.58 | 366.4 | 268.27 | 600 | 573.71 | 0.458 |
sKizzo-0.10-std | 8514.53 | 354.77 | 271.61 | 574.86 | 583.24 | 0.458 |
squolem | 14400 | 600 | 0 | 600 | 0 | 0 |
yQuaffle | 9993.25 | 416.39 | 261.43 | 600 | 512.34 | 0.333 |