Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Adaptive2clsQ | 87.37 | 14.56 | 8.24 | 16.53 | 17.03 | 1 |
aigqbf_s | 1381.8 | 230.3 | 166.6 | 160.56 | 37.19 | 0 |
aigqbf_sr | 3600 | 600 | 0 | 600 | 0 | 0 |
AQME-1NN | 32.58 | 5.43 | 3.03 | 4.96 | 4.61 | 1 |
AQME-C4.5 | 32.98 | 5.5 | 3.03 | 5.01 | 4.56 | 1 |
AQME-RIPPER | 33.25 | 5.54 | 3.02 | 5.05 | 4.56 | 1 |
EBDDRES | 180.22 | 30.04 | 0.79 | 30.06 | 1.66 | 0 |
ncQuBE1.0 | 3527.97 | 587.99 | 26.84 | 600 | 72.03 | 0.167 |
ncQuBE1.1 | 3600 | 600 | 0 | 600 | 0 | 0 |
preQuel_sKizzo-0.10 | 62.58 | 10.43 | 5.05 | 11.66 | 13.01 | 1 |
qSS | 627.12 | 104.52 | 221.67 | 4.31 | 7.61 | 0.833 |
QUANTOR_2.15 | 117.88 | 19.65 | 9.31 | 22.72 | 23.43 | 1 |
qZilla | 635.65 | 105.94 | 205.47 | 19.31 | 23.15 | 1 |
sKizzo-0.10-qck | 20.77 | 3.46 | 1.56 | 4.22 | 4.14 | 1 |
sKizzo-0.10-std | 62.33 | 10.39 | 4.81 | 11.61 | 12.18 | 1 |
squolem | 3600 | 600 | 0 | 600 | 0 | 0 |
yQuaffle | 1578.62 | 263.1 | 243.11 | 144.42 | 161.74 | 0.667 |