iters=5 new-facts=1 prior-facts=1 | | mean | 324.762-324.691=0.071 | | σ | 0.056-0.056=0.001 | | min | 324.662-324.591=0.071 | | max | 324.800-324.723=0.077 |
| | mean | 2847.000-2840.000=7.000 | | σ | 0.000 | | min | 2847.000-2840.000=7.000 | | max | 2847.000-2840.000=7.000 |
| | mean | 0.432-0.424=0.008 | | σ | 0.008-0.003=0.005 | | min | 0.422-0.422=0.001 | | max | 0.440-0.429=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.239=0.078 | | σ | 0.016-0.014=0.003 | | min | 1985.291-1985.223=0.068 | | max | 1985.330-1985.259=0.071 |
| | mean | 2847.000-2840.000=7.000 | | σ | 0.000 | | min | 2847.000-2840.000=7.000 | | max | 2847.000-2840.000=7.000 |
| | mean | 2.621-2.577=0.043 | | σ | 0.068-0.090=-0.022 | | min | 2.551-2.468=0.082 | | max | 2.715-2.697=0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.106-4808.748=0.359 | | σ | 7.628-7.753=-0.126 | | min | 4805.595-4804.811=0.784 | | max | 4822.749-4822.609=0.141 |
| | mean | 2847.000-2840.000=7.000 | | σ | 0.000 | | min | 2847.000-2840.000=7.000 | | max | 2847.000-2840.000=7.000 |
| | mean | 8.935-8.687=0.247 | | σ | 0.456-0.256=0.200 | | min | 8.367-8.306=0.062 | | max | 9.633-8.951=0.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.453=0.176 | | σ | 0.023-0.019=0.004 | | min | 4996.598-4996.427=0.171 | | max | 4996.653-4996.471=0.182 |
| | mean | 3056.600-3031.600=25.000 | | σ | 226.085-263.215=-37.131 | | min | 2847.000-2840.000=7.000 | | max | 3393.000-3448.000=-55.000 |
| | mean | 8.751-8.483=0.269 | | σ | 0.170-0.034=0.136 | | min | 8.496-8.441=0.055 | | max | 8.958-8.534=0.424 |
|