iters=5 new-facts=1 prior-facts=1 | | mean | 278.694-278.696=-0.002 | | σ | 0.011-0.012=-0.000 | | min | 278.685-278.685=-0.000 | | max | 278.714-278.714=-0.001 |
| | mean | 2648.000-2870.000=-222.000 | | σ | 0.000 | | min | 2648.000-2870.000=-222.000 | | max | 2648.000-2870.000=-222.000 |
| | mean | 0.418-0.420=-0.002 | | σ | 0.001-0.004=-0.003 | | min | 0.417-0.418=-0.001 | | max | 0.419-0.427=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.869-2268.873=-0.003 | | σ | 0.006-0.006=-0.000 | | min | 2268.862-2268.866=-0.004 | | max | 2268.877-2268.879=-0.001 |
| | mean | 2648.000-2870.000=-222.000 | | σ | 0.000 | | min | 2648.000-2870.000=-222.000 | | max | 2648.000-2870.000=-222.000 |
| | mean | 2.929-2.967=-0.038 | | σ | 0.114-0.074=0.041 | | min | 2.850-2.903=-0.053 | | max | 3.131-3.074=0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.244-4952.249=-0.005 | | σ | 0.884-0.891=-0.007 | | min | 4951.413-4951.323=0.090 | | max | 4953.754-4953.736=0.018 |
| | mean | 2648.000-2870.000=-222.000 | | σ | 0.000 | | min | 2648.000-2870.000=-222.000 | | max | 2648.000-2870.000=-222.000 |
| | mean | 7.899-7.806=0.092 | | σ | 0.047-0.256=-0.208 | | min | 7.841-7.628=0.213 | | max | 7.951-8.215=-0.263 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.071-5167.004=0.067 | | σ | 0.008-0.156=-0.148 | | min | 5167.064-5166.724=0.340 | | max | 5167.084-5167.087=-0.003 |
| | mean | 3347.600-3416.600=-69.000 | | σ | 451.212-417.220=33.992 | | min | 2735.000-2870.000=-135.000 | | max | 3943.000-3965.000=-22.000 |
| | mean | 9.413-9.305=0.107 | | σ | 0.235-0.213=0.022 | | min | 9.019-9.050=-0.031 | | max | 9.576-9.549=0.027 |
|