iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.761=0.001 | | σ | 0.056-0.043=0.012 | | min | 324.663-324.684=-0.021 | | max | 324.793-324.790=0.003 |
| | mean | 2848.000-2840.000=8.000 | | σ | 0.000 | | min | 2848.000-2840.000=8.000 | | max | 2848.000-2840.000=8.000 |
| | mean | 0.429-0.417=0.012 | | σ | 0.009-0.002=0.008 | | min | 0.424-0.416=0.008 | | max | 0.445-0.420=0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.313=0.003 | | σ | 0.015-0.015=-0.000 | | min | 1985.298-1985.292=0.006 | | max | 1985.332-1985.334=-0.002 |
| | mean | 2848.000-2840.000=8.000 | | σ | 0.000 | | min | 2848.000-2840.000=8.000 | | max | 2848.000-2840.000=8.000 |
| | mean | 2.658-2.636=0.021 | | σ | 0.105-0.129=-0.024 | | min | 2.567-2.515=0.052 | | max | 2.778-2.817=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.000-4809.111=-0.110 | | σ | 7.774-7.773=0.001 | | min | 4805.014-4805.604=-0.589 | | max | 4822.897-4823.016=-0.119 |
| | mean | 2848.000-2840.000=8.000 | | σ | 0.000 | | min | 2848.000-2840.000=8.000 | | max | 2848.000-2840.000=8.000 |
| | mean | 8.795-9.162=-0.367 | | σ | 0.409-0.341=0.068 | | min | 8.075-8.925=-0.850 | | max | 9.056-9.755=-0.699 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.489-4996.552=-0.063 | | σ | 0.192-0.151=0.041 | | min | 4996.256-4996.285=-0.028 | | max | 4996.647-4996.646=0.001 |
| | mean | 3067.000-3047.600=19.400 | | σ | 291.781-270.853=20.928 | | min | 2848.000-2840.000=8.000 | | max | 3517.000-3465.000=52.000 |
| | mean | 8.543-8.503=0.040 | | σ | 0.132-0.114=0.018 | | min | 8.465-8.444=0.021 | | max | 8.777-8.705=0.072 |
|