iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.736=0.025 | | σ | 0.043-0.043=0.000 | | min | 324.684-324.661=0.024 | | max | 324.790-324.771=0.019 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 0.417-0.427=-0.010 | | σ | 0.002-0.005=-0.003 | | min | 0.416-0.424=-0.008 | | max | 0.420-0.436=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.328=-0.014 | | σ | 0.015-0.007=0.008 | | min | 1985.292-1985.319=-0.027 | | max | 1985.334-1985.337=-0.003 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 2.636-2.639=-0.003 | | σ | 0.129-0.091=0.038 | | min | 2.515-2.580=-0.065 | | max | 2.817-2.794=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111-4808.986=0.124 | | σ | 7.773-7.756=0.018 | | min | 4805.604-4804.968=0.636 | | max | 4823.016-4822.848=0.168 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 9.162-8.776=0.386 | | σ | 0.341-0.563=-0.222 | | min | 8.925-7.784=1.141 | | max | 9.755-9.115=0.641 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.634=-0.082 | | σ | 0.151-0.019=0.132 | | min | 4996.285-4996.610=-0.326 | | max | 4996.646-4996.656=-0.010 |
| | mean | 3047.600-3035.200=12.400 | | σ | 270.853-205.359=65.494 | | min | 2840.000-2823.000=17.000 | | max | 3465.000-3288.000=177.000 |
| | mean | 8.503-8.670=-0.167 | | σ | 0.114-0.150=-0.037 | | min | 8.444-8.506=-0.062 | | max | 8.705-8.847=-0.141 |
|