iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.762=-0.000 | | σ | 0.056-0.043=0.013 | | min | 324.662-324.691=-0.029 | | max | 324.800-324.798=0.002 |
| | mean | 2847.000-2839.000=8.000 | | σ | 0.000 | | min | 2847.000-2839.000=8.000 | | max | 2847.000-2839.000=8.000 |
| | mean | 0.432-0.420=0.012 | | σ | 0.008-0.010=-0.003 | | min | 0.422-0.415=0.008 | | max | 0.440-0.438=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.330=-0.012 | | σ | 0.016-0.004=0.012 | | min | 1985.291-1985.325=-0.034 | | max | 1985.330-1985.334=-0.004 |
| | mean | 2847.000-2839.000=8.000 | | σ | 0.000 | | min | 2847.000-2839.000=8.000 | | max | 2847.000-2839.000=8.000 |
| | mean | 2.621-2.601=0.019 | | σ | 0.068-0.058=0.010 | | min | 2.551-2.522=0.029 | | max | 2.715-2.661=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4809.024=0.082 | | σ | 7.628-7.706=-0.079 | | min | 4805.595-4804.974=0.621 | | max | 4822.749-4822.794=-0.045 |
| | mean | 2847.000-2839.000=8.000 | | σ | 0.000 | | min | 2847.000-2839.000=8.000 | | max | 2847.000-2839.000=8.000 |
| | mean | 8.935-8.763=0.172 | | σ | 0.456-0.818=-0.361 | | min | 8.367-7.684=0.683 | | max | 9.633-9.963=-0.331 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.630=-0.001 | | σ | 0.023-0.025=-0.002 | | min | 4996.598-4996.589=0.009 | | max | 4996.653-4996.651=0.002 |
| | mean | 3056.600-3048.400=8.200 | | σ | 226.085-188.558=37.526 | | min | 2847.000-2839.000=8.000 | | max | 3393.000-3320.000=73.000 |
| | mean | 8.751-8.628=0.123 | | σ | 0.170-0.132=0.038 | | min | 8.496-8.483=0.012 | | max | 8.958-8.788=0.171 |
|