obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var | |
---|---|---|---|---|---|---|---|---|---|---|
X2clsQ | 1368 | 0 | 0 | 26.0175 | 3600 | 2321.16 | 3600 | 3600 | 1647.05 | 0.70958 |
QuBE | 1368 | 0 | 0.02 | 2.3175 | 3600 | 1930.78 | 3600 | 3600 | 1751.88 | 0.907344 |
quantor | 1368 | 0 | 0 | 130.755 | 3600 | 2603.32 | 3600 | 3600 | 1595.67 | 0.612938 |
sKizzo | 1368 | 0 | 0 | 0.8375 | 293.195 | 1617.01 | 3600 | 3600 | 1734.22 | 1.07248 |
sSolve | 1368 | 0 | 0.72 | 1.5975 | 2082.43 | 1847.8 | 3600 | 3600 | 1747.01 | 0.945458 |
ok | timeout | memout | not_applicable | crash | other | |
---|---|---|---|---|---|---|
quantor | 28.289 | 4.751 | 66.959 | 0.000 | 0.000 | 0.000 |
QuBE | 49.050 | 43.640 | 7.310 | 0.000 | 0.000 | 0.000 |
sKizzo | 57.675 | 0.000 | 42.325 | 0.000 | 0.000 | 0.000 |
sSolve | 51.681 | 48.319 | 0.000 | 0.000 | 0.000 | 0.000 |
X2clsQ | 39.620 | 51.243 | 9.137 | 0.000 | 0.000 | 0.000 |
## Warning: Removed 3744 rows containing non-finite values (stat_boxplot).