iters=5 new-facts=1 prior-facts=1 | | mean | 324.736-324.763=-0.027 | | σ | 0.043-0.053=-0.010 | | min | 324.661-324.668=-0.008 | | max | 324.771-324.791=-0.020 |
| | mean | 2823.000-2724.000=99.000 | | σ | 0.000 | | min | 2823.000-2724.000=99.000 | | max | 2823.000-2724.000=99.000 |
| | mean | 0.427-0.429=-0.001 | | σ | 0.005-0.008=-0.004 | | min | 0.424-0.422=0.002 | | max | 0.436-0.443=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.328-1985.320=0.008 | | σ | 0.007-0.014=-0.007 | | min | 1985.319-1985.298=0.021 | | max | 1985.337-1985.336=0.002 |
| | mean | 2823.000-2724.000=99.000 | | σ | 0.000 | | min | 2823.000-2724.000=99.000 | | max | 2823.000-2724.000=99.000 |
| | mean | 2.639-2.607=0.032 | | σ | 0.091-0.062=0.030 | | min | 2.580-2.555=0.025 | | max | 2.794-2.712=0.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.986-4809.081=-0.094 | | σ | 7.756-7.710=0.046 | | min | 4804.968-4805.552=-0.584 | | max | 4822.848-4822.872=-0.024 |
| | mean | 2823.000-2724.000=99.000 | | σ | 0.000 | | min | 2823.000-2724.000=99.000 | | max | 2823.000-2724.000=99.000 |
| | mean | 8.776-8.954=-0.177 | | σ | 0.563-0.118=0.445 | | min | 7.784-8.800=-1.016 | | max | 9.115-9.073=0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.634-4996.622=0.012 | | σ | 0.019-0.021=-0.002 | | min | 4996.610-4996.600=0.010 | | max | 4996.656-4996.648=0.007 |
| | mean | 3035.200-3024.800=10.400 | | σ | 205.359-353.014=-147.655 | | min | 2823.000-2724.000=99.000 | | max | 3288.000-3546.000=-258.000 |
| | mean | 8.670-8.509=0.161 | | σ | 0.150-0.127=0.024 | | min | 8.506-8.417=0.089 | | max | 8.847-8.731=0.116 |
|