iters=5 new-facts=1 prior-facts=1 | | mean | 324.694-324.690=0.004 | | σ | 0.047-0.051=-0.005 | | min | 324.612-324.599=0.013 | | max | 324.727-324.720=0.007 |
| | mean | 2824.000-2843.000=-19.000 | | σ | 0.000 | | min | 2824.000-2843.000=-19.000 | | max | 2824.000-2843.000=-19.000 |
| | mean | 0.429-0.424=0.005 | | σ | 0.007-0.003=0.004 | | min | 0.422-0.421=0.001 | | max | 0.439-0.429=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.252-1985.257=-0.005 | | σ | 0.013-0.005=0.007 | | min | 1985.237-1985.251=-0.014 | | max | 1985.265-1985.263=0.002 |
| | mean | 2824.000-2843.000=-19.000 | | σ | 0.000 | | min | 2824.000-2843.000=-19.000 | | max | 2824.000-2843.000=-19.000 |
| | mean | 2.593-2.581=0.012 | | σ | 0.108-0.074=0.034 | | min | 2.452-2.494=-0.042 | | max | 2.742-2.671=0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.535-4808.873=-0.338 | | σ | 7.903-7.625=0.278 | | min | 4804.188-4805.391=-1.203 | | max | 4822.637-4822.513=0.124 |
| | mean | 2824.000-2843.000=-19.000 | | σ | 0.000 | | min | 2824.000-2843.000=-19.000 | | max | 2824.000-2843.000=-19.000 |
| | mean | 8.566-9.066=-0.500 | | σ | 0.664-0.348=0.316 | | min | 7.769-8.518=-0.750 | | max | 9.134-9.473=-0.338 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384-4996.398=-0.014 | | σ | 0.165-0.140=0.026 | | min | 4996.090-4996.150=-0.061 | | max | 4996.471-4996.477=-0.006 |
| | mean | 3040.400-3051.600=-11.200 | | σ | 291.934-191.680=100.254 | | min | 2824.000-2843.000=-19.000 | | max | 3498.000-3330.000=168.000 |
| | mean | 8.505-8.661=-0.156 | | σ | 0.106-0.192=-0.085 | | min | 8.419-8.472=-0.052 | | max | 8.685-8.889=-0.205 |
|