iters=5 new-facts=1 prior-facts=1 | | mean | 324.692-324.706=-0.014 | | σ | 0.047-0.048=-0.001 | | min | 324.609-324.621=-0.012 | | max | 324.722-324.740=-0.017 |
| | mean | 2845.000-2840.000=5.000 | | σ | 0.000 | | min | 2845.000-2840.000=5.000 | | max | 2845.000-2840.000=5.000 |
| | mean | 0.424-0.426=-0.001 | | σ | 0.002-0.006=-0.003 | | min | 0.423-0.422=0.001 | | max | 0.429-0.436=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.257-1985.270=-0.013 | | σ | 0.006-0.007=-0.002 | | min | 1985.248-1985.259=-0.011 | | max | 1985.263-1985.277=-0.015 |
| | mean | 2845.000-2840.000=5.000 | | σ | 0.000 | | min | 2845.000-2840.000=5.000 | | max | 2845.000-2840.000=5.000 |
| | mean | 2.633-2.596=0.038 | | σ | 0.076-0.058=0.018 | | min | 2.564-2.543=0.020 | | max | 2.716-2.669=0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.731-4808.911=-0.180 | | σ | 7.765-7.708=0.057 | | min | 4804.823-4805.357=-0.534 | | max | 4822.614-4822.698=-0.085 |
| | mean | 2845.000-2840.000=5.000 | | σ | 0.000 | | min | 2845.000-2840.000=5.000 | | max | 2845.000-2840.000=5.000 |
| | mean | 8.798-8.833=-0.035 | | σ | 0.304-0.627=-0.322 | | min | 8.301-7.771=0.529 | | max | 9.014-9.353=-0.339 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.454-4996.463=-0.009 | | σ | 0.019-0.021=-0.003 | | min | 4996.434-4996.440=-0.006 | | max | 4996.473-4996.482=-0.009 |
| | mean | 3039.000-3054.600=-15.600 | | σ | 202.000-201.676=0.324 | | min | 2845.000-2840.000=5.000 | | max | 3327.000-3350.000=-23.000 |
| | mean | 8.642-8.706=-0.064 | | σ | 0.186-0.237=-0.052 | | min | 8.483-8.475=0.008 | | max | 8.944-9.071=-0.126 |
|