iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-324.718=-0.012 | | σ | 0.048-0.030=0.018 | | min | 324.621-324.666=-0.044 | | max | 324.740-324.742=-0.003 |
| | mean | 2840.000-2829.000=11.000 | | σ | 0.000 | | min | 2840.000-2829.000=11.000 | | max | 2840.000-2829.000=11.000 |
| | mean | 0.426-0.424=0.001 | | σ | 0.006-0.003=0.003 | | min | 0.422-0.422=0.000 | | max | 0.436-0.429=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.253=0.016 | | σ | 0.007-0.016=-0.009 | | min | 1985.259-1985.231=0.028 | | max | 1985.277-1985.271=0.007 |
| | mean | 2840.000-2829.000=11.000 | | σ | 0.000 | | min | 2840.000-2829.000=11.000 | | max | 2840.000-2829.000=11.000 |
| | mean | 2.596-2.641=-0.046 | | σ | 0.058-0.119=-0.061 | | min | 2.543-2.555=-0.012 | | max | 2.669-2.830=-0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.911-4808.858=0.053 | | σ | 7.708-7.671=0.037 | | min | 4805.357-4805.385=-0.028 | | max | 4822.698-4822.580=0.118 |
| | mean | 2840.000-2829.000=11.000 | | σ | 0.000 | | min | 2840.000-2829.000=11.000 | | max | 2840.000-2829.000=11.000 |
| | mean | 8.833-8.828=0.004 | | σ | 0.627-0.122=0.504 | | min | 7.771-8.650=-0.879 | | max | 9.353-8.988=0.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.463-4996.459=0.004 | | σ | 0.021-0.025=-0.003 | | min | 4996.440-4996.421=0.019 | | max | 4996.482-4996.482=-0.000 |
| | mean | 3054.600-3063.400=-8.800 | | σ | 201.676-306.458=-104.782 | | min | 2840.000-2829.000=11.000 | | max | 3350.000-3537.000=-187.000 |
| | mean | 8.706-8.495=0.211 | | σ | 0.237-0.126=0.111 | | min | 8.475-8.334=0.141 | | max | 9.071-8.682=0.388 |
|