iters=5 new-facts=1 prior-facts=1 | | mean | 324.775-324.764=0.011 | | σ | 0.031-0.046=-0.015 | | min | 324.720-324.683=0.037 | | max | 324.792-324.794=-0.001 |
| | mean | 2753.000-2834.000=-81.000 | | σ | 0.000 | | min | 2753.000-2834.000=-81.000 | | max | 2753.000-2834.000=-81.000 |
| | mean | 0.433-0.422=0.011 | | σ | 0.019-0.001=0.018 | | min | 0.421-0.421=0.001 | | max | 0.466-0.424=0.043 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.323-1985.327=-0.004 | | σ | 0.008-0.004=0.004 | | min | 1985.313-1985.322=-0.009 | | max | 1985.333-1985.330=0.003 |
| | mean | 2753.000-2834.000=-81.000 | | σ | 0.000 | | min | 2753.000-2834.000=-81.000 | | max | 2753.000-2834.000=-81.000 |
| | mean | 2.625-2.691=-0.066 | | σ | 0.126-0.176=-0.050 | | min | 2.475-2.543=-0.068 | | max | 2.776-2.905=-0.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.869-4809.078=-0.209 | | σ | 7.823-7.694=0.129 | | min | 4804.649-4805.584=-0.935 | | max | 4822.844-4822.842=0.001 |
| | mean | 2753.000-2834.000=-81.000 | | σ | 0.000 | | min | 2753.000-2834.000=-81.000 | | max | 2753.000-2834.000=-81.000 |
| | mean | 8.557-8.797=-0.240 | | σ | 0.533-0.144=0.389 | | min | 7.885-8.591=-0.707 | | max | 9.099-8.944=0.155 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.620-4996.624=-0.004 | | σ | 0.022-0.021=0.001 | | min | 4996.599-4996.596=0.003 | | max | 4996.648-4996.647=0.002 |
| | mean | 3035.400-3035.000=0.400 | | σ | 338.637-207.434=131.203 | | min | 2753.000-2834.000=-81.000 | | max | 3537.000-3327.000=210.000 |
| | mean | 8.536-8.692=-0.156 | | σ | 0.137-0.191=-0.054 | | min | 8.418-8.476=-0.058 | | max | 8.742-8.994=-0.252 |
|