iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.195=-0.000 | | σ | 0.008-0.006=0.002 | | min | 277.185-277.191=-0.006 | | max | 277.206-277.204=0.002 |
| | mean | 2618.000-2646.000=-28.000 | | σ | 0.000 | | min | 2618.000-2646.000=-28.000 | | max | 2618.000-2646.000=-28.000 |
| | mean | 0.395-0.403=-0.008 | | σ | 0.009-0.008=0.001 | | min | 0.389-0.398=-0.009 | | max | 0.411-0.417=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.424-2174.421=0.003 | | σ | 0.018-0.018=-0.000 | | min | 2174.393-2174.400=-0.008 | | max | 2174.435-2174.445=-0.009 |
| | mean | 2618.000-2646.000=-28.000 | | σ | 0.000 | | min | 2618.000-2646.000=-28.000 | | max | 2618.000-2646.000=-28.000 |
| | mean | 2.870-2.860=0.011 | | σ | 0.239-0.143=0.095 | | min | 2.743-2.745=-0.002 | | max | 3.296-3.073=0.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.624-5052.495=0.129 | | σ | 0.968-1.048=-0.080 | | min | 5052.034-5051.675=0.359 | | max | 5054.342-5054.328=0.015 |
| | mean | 2618.000-2646.000=-28.000 | | σ | 0.000 | | min | 2618.000-2646.000=-28.000 | | max | 2618.000-2646.000=-28.000 |
| | mean | 8.615-9.130=-0.515 | | σ | 0.583-0.390=0.193 | | min | 8.040-8.490=-0.449 | | max | 9.455-9.420=0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.349-5188.414=-0.065 | | σ | 0.204-0.097=0.106 | | min | 5188.018-5188.314=-0.296 | | max | 5188.517-5188.523=-0.006 |
| | mean | 3200.400-3206.800=-6.400 | | σ | 480.789-477.351=3.439 | | min | 2618.000-2646.000=-28.000 | | max | 3831.000-3851.000=-20.000 |
| | mean | 8.755-8.721=0.035 | | σ | 0.136-0.192=-0.056 | | min | 8.673-8.616=0.057 | | max | 8.997-9.063=-0.066 |
|