iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-279.511=-7.758 | | σ | 0.005-0.009=-0.004 | | min | 271.747-279.499=-7.751 | | max | 271.760-279.519=-7.759 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 0.378-0.411=-0.033 | | σ | 0.002-0.007=-0.004 | | min | 0.375-0.405=-0.031 | | max | 0.381-0.421=-0.040 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-2178.425=-246.246 | | σ | 0.011-0.037=-0.026 | | min | 1932.165-2178.359=-246.194 | | max | 1932.196-2178.449=-246.254 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 2.982-3.389=-0.407 | | σ | 0.186-0.117=0.069 | | min | 2.764-3.268=-0.504 | | max | 3.266-3.530=-0.264 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.913-5056.357=-303.445 | | σ | 0.849-0.973=-0.124 | | min | 4752.414-5055.766=-303.352 | | max | 4754.421-5058.083=-303.662 |
| | mean | 2766.000-2768.000=-2.000 | | σ | 0.000 | | min | 2766.000-2768.000=-2.000 | | max | 2766.000-2768.000=-2.000 |
| | mean | 8.441-9.034=-0.593 | | σ | 0.518-0.490=0.028 | | min | 7.610-8.168=-0.557 | | max | 8.947-9.359=-0.412 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.381-5193.674=-250.293 | | σ | 0.015-0.125=-0.111 | | min | 4943.361-5193.505=-250.144 | | max | 4943.396-5193.857=-250.460 |
| | mean | 3046.600-3276.200=-229.600 | | σ | 242.591-460.996=-218.405 | | min | 2766.000-2768.000=-2.000 | | max | 3395.000-3914.000=-519.000 |
| | mean | 8.807-8.976=-0.169 | | σ | 0.254-0.099=0.156 | | min | 8.468-8.861=-0.392 | | max | 9.181-9.094=0.087 |
|