Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Adaptive2clsQ | 1238.16 | 309.54 | 290.52 | 313.81 | 580.92 | 0.5 |
aigqbf_s | 163.17 | 40.79 | 15.13 | 43 | 28.95 | 0 |
aigqbf_sr | 1742.33 | 435.58 | 118.31 | 495 | 163.94 | 0 |
AQME-1NN | 8.64 | 2.16 | 1 | 2.31 | 1.95 | 1 |
AQME-C4.5 | 8.93 | 2.23 | 1.01 | 2.4 | 1.95 | 1 |
AQME-RIPPER | 9.4 | 2.35 | 1.03 | 2.47 | 2.01 | 1 |
EBDDRES | 111.5 | 27.87 | 2.32 | 29.09 | 3.07 | 0 |
ncQuBE1.0 | 789.53 | 197.38 | 150.99 | 213.66 | 296.17 | 0.5 |
ncQuBE1.1 | 1814.07 | 453.52 | 253.71 | 600 | 292.96 | 0.25 |
preQuel_sKizzo-0.10 | 1.54 | 0.39 | 0.16 | 0.4 | 0.26 | 1 |
qSS | 7.34 | 1.84 | 1.53 | 1.86 | 3.05 | 1 |
QUANTOR_2.15 | 105.14 | 26.29 | 9.26 | 27.56 | 16.34 | 0.75 |
qZilla | 51.08 | 12.77 | 2.08 | 12.14 | 3.02 | 1 |
sKizzo-0.10-qck | 3.86 | 0.96 | 0.74 | 0.97 | 1.48 | 1 |
sKizzo-0.10-std | 3.86 | 0.96 | 0.74 | 0.97 | 1.47 | 1 |
squolem | 2400 | 600 | 0 | 600 | 0 | 0 |
yQuaffle | 2400 | 600 | 0 | 600 | 0 | 0 |