iters=5 new-facts=1 prior-facts=1 | | mean | 326.480-326.440=0.040 | | σ | 0.048-0.060=-0.012 | | min | 326.397-326.334=0.063 | | max | 326.513-326.476=0.037 |
| | mean | 2817.000-2691.000=126.000 | | σ | 0.000 | | min | 2817.000-2691.000=126.000 | | max | 2817.000-2691.000=126.000 |
| | mean | 0.432-0.427=0.004 | | σ | 0.010-0.005=0.005 | | min | 0.422-0.424=-0.003 | | max | 0.445-0.436=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.678-1988.616=0.062 | | σ | 0.004-0.012=-0.008 | | min | 1988.672-1988.596=0.076 | | max | 1988.684-1988.629=0.055 |
| | mean | 2817.000-2691.000=126.000 | | σ | 0.000 | | min | 2817.000-2691.000=126.000 | | max | 2817.000-2691.000=126.000 |
| | mean | 2.723-2.690=0.034 | | σ | 0.094-0.060=0.035 | | min | 2.667-2.641=0.025 | | max | 2.890-2.783=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.586-4813.495=0.091 | | σ | 7.755-7.702=0.053 | | min | 4809.964-4809.912=0.052 | | max | 4827.456-4827.271=0.184 |
| | mean | 2817.000-2691.000=126.000 | | σ | 0.000 | | min | 2817.000-2691.000=126.000 | | max | 2817.000-2691.000=126.000 |
| | mean | 8.493-8.313=0.180 | | σ | 0.924-0.600=0.325 | | min | 7.710-7.851=-0.141 | | max | 9.831-9.217=0.614 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.077-5001.011=0.066 | | σ | 0.030-0.018=0.012 | | min | 5001.042-5000.989=0.052 | | max | 5001.119-5001.031=0.088 |
| | mean | 3054.600-2982.200=72.400 | | σ | 308.413-336.416=-28.003 | | min | 2817.000-2691.000=126.000 | | max | 3527.000-3478.000=49.000 |
| | mean | 9.829-9.601=0.228 | | σ | 0.112-0.404=-0.292 | | min | 9.714-8.888=0.826 | | max | 10.004-9.830=0.174 |
|