iters=5 new-facts=1 prior-facts=1 | | mean | 324.711-324.702=0.009 | | σ | 0.040-0.055=-0.016 | | min | 324.640-324.603=0.037 | | max | 324.736-324.731=0.005 |
| | mean | 2841.000-2840.000=1.000 | | σ | 0.000 | | min | 2841.000-2840.000=1.000 | | max | 2841.000-2840.000=1.000 |
| | mean | 0.425-0.425=-0.000 | | σ | 0.001-0.002=-0.001 | | min | 0.423-0.423=0.000 | | max | 0.427-0.428=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.272-1985.258=0.014 | | σ | 0.008-0.020=-0.011 | | min | 1985.261-1985.226=0.035 | | max | 1985.283-1985.276=0.007 |
| | mean | 2841.000-2840.000=1.000 | | σ | 0.000 | | min | 2841.000-2840.000=1.000 | | max | 2841.000-2840.000=1.000 |
| | mean | 2.622-2.564=0.058 | | σ | 0.059-0.048=0.011 | | min | 2.570-2.512=0.058 | | max | 2.690-2.643=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.891-4808.910=-0.019 | | σ | 7.664-7.645=0.018 | | min | 4805.338-4805.327=0.011 | | max | 4822.599-4822.585=0.014 |
| | mean | 2841.000-2840.000=1.000 | | σ | 0.000 | | min | 2841.000-2840.000=1.000 | | max | 2841.000-2840.000=1.000 |
| | mean | 9.057-8.465=0.592 | | σ | 0.364-0.605=-0.241 | | min | 8.567-7.721=0.847 | | max | 9.382-9.051=0.330 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.404-4996.412=-0.008 | | σ | 0.141-0.141=0.001 | | min | 4996.153-4996.162=-0.009 | | max | 4996.486-4996.493=-0.007 |
| | mean | 3072.600-3052.200=20.400 | | σ | 231.267-222.074=9.193 | | min | 2841.000-2840.000=1.000 | | max | 3417.000-3371.000=46.000 |
| | mean | 8.695-8.666=0.029 | | σ | 0.218-0.200=0.018 | | min | 8.445-8.503=-0.057 | | max | 8.941-8.991=-0.050 |
|