iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-324.709=-0.003 | | σ | 0.048-0.042=0.006 | | min | 324.621-324.635=-0.013 | | max | 324.740-324.730=0.010 |
| | mean | 2840.000-2813.000=27.000 | | σ | 0.000 | | min | 2840.000-2813.000=27.000 | | max | 2840.000-2813.000=27.000 |
| | mean | 0.426-0.425=0.001 | | σ | 0.006-0.001=0.005 | | min | 0.422-0.424=-0.002 | | max | 0.436-0.426=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.251=0.019 | | σ | 0.007-0.016=-0.008 | | min | 1985.259-1985.231=0.028 | | max | 1985.277-1985.265=0.013 |
| | mean | 2840.000-2813.000=27.000 | | σ | 0.000 | | min | 2840.000-2813.000=27.000 | | max | 2840.000-2813.000=27.000 |
| | mean | 2.596-2.605=-0.009 | | σ | 0.058-0.086=-0.028 | | min | 2.543-2.530=0.013 | | max | 2.669-2.750=-0.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.911-4808.865=0.046 | | σ | 7.708-7.692=0.016 | | min | 4805.357-4805.406=-0.049 | | max | 4822.698-4822.625=0.074 |
| | mean | 2840.000-2813.000=27.000 | | σ | 0.000 | | min | 2840.000-2813.000=27.000 | | max | 2840.000-2813.000=27.000 |
| | mean | 8.833-8.935=-0.102 | | σ | 0.627-0.126=0.500 | | min | 7.771-8.796=-1.025 | | max | 9.353-9.061=0.291 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.463-4996.394=0.069 | | σ | 0.021-0.152=-0.131 | | min | 4996.440-4996.122=0.318 | | max | 4996.482-4996.478=0.004 |
| | mean | 3054.600-3033.600=21.000 | | σ | 201.676-215.324=-13.647 | | min | 2840.000-2813.000=27.000 | | max | 3350.000-3354.000=-4.000 |
| | mean | 8.706-8.743=-0.037 | | σ | 0.237-0.171=0.066 | | min | 8.475-8.491=-0.015 | | max | 9.071-8.930=0.140 |
|