iters=5 new-facts=1 prior-facts=1 | | mean | 324.688-324.705=-0.017 | | σ | 0.053-0.049=0.004 | | min | 324.593-324.617=-0.024 | | max | 324.719-324.734=-0.015 |
| | mean | 2844.000-2464.000=380.000 | | σ | 0.000 | | min | 2844.000-2464.000=380.000 | | max | 2844.000-2464.000=380.000 |
| | mean | 0.425-0.424=0.001 | | σ | 0.002-0.002=-0.000 | | min | 0.424-0.422=0.001 | | max | 0.428-0.427=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249-1985.258=-0.009 | | σ | 0.016-0.022=-0.006 | | min | 1985.228-1985.229=-0.000 | | max | 1985.263-1985.281=-0.018 |
| | mean | 2844.000-2464.000=380.000 | | σ | 0.000 | | min | 2844.000-2464.000=380.000 | | max | 2844.000-2464.000=380.000 |
| | mean | 2.671-2.603=0.068 | | σ | 0.156-0.131=0.025 | | min | 2.535-2.469=0.066 | | max | 2.851-2.751=0.100 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.856-4808.869=-0.013 | | σ | 7.673-7.603=0.070 | | min | 4805.322-4805.396=-0.074 | | max | 4822.581-4822.469=0.112 |
| | mean | 2844.000-2464.000=380.000 | | σ | 0.000 | | min | 2844.000-2464.000=380.000 | | max | 2844.000-2464.000=380.000 |
| | mean | 8.883-8.812=0.072 | | σ | 0.177-0.363=-0.186 | | min | 8.635-8.175=0.459 | | max | 9.050-9.054=-0.005 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.444-4996.397=0.047 | | σ | 0.021-0.159=-0.138 | | min | 4996.417-4996.113=0.304 | | max | 4996.464-4996.479=-0.015 |
| | mean | 3067.000-2926.800=140.200 | | σ | 297.220-405.867=-108.647 | | min | 2844.000-2479.000=365.000 | | max | 3529.000-3468.000=61.000 |
| | mean | 8.523-8.493=0.031 | | σ | 0.115-0.114=0.002 | | min | 8.424-8.402=0.022 | | max | 8.723-8.680=0.043 |
|