iters=5 new-facts=1 prior-facts=1 | | mean | 272.016-271.756=0.260 | | σ | 0.005-0.006=-0.002 | | min | 272.010-271.750=0.260 | | max | 272.023-271.766=0.257 |
| | mean | 2847.000-2897.000=-50.000 | | σ | 0.000 | | min | 2847.000-2897.000=-50.000 | | max | 2847.000-2897.000=-50.000 |
| | mean | 0.388-0.384=0.004 | | σ | 0.011-0.010=0.001 | | min | 0.377-0.376=0.001 | | max | 0.404-0.397=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1792.204-1932.172=-139.968 | | σ | 313.584-0.006=313.578 | | min | 1231.247-1932.165=-700.918 | | max | 1932.476-1932.182=0.294 |
| | mean | 2847.000-2897.000=-50.000 | | σ | 0.000 | | min | 2847.000-2897.000=-50.000 | | max | 2847.000-2897.000=-50.000 |
| | mean | 2.714-2.992=-0.277 | | σ | 0.585-0.130=0.454 | | min | 1.705-2.792=-1.087 | | max | 3.125-3.121=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.919-4752.793=0.126 | | σ | 0.361-0.920=-0.559 | | min | 4752.644-4752.019=0.625 | | max | 4753.541-4754.390=-0.849 |
| | mean | 2847.000-2897.000=-50.000 | | σ | 0.000 | | min | 2847.000-2897.000=-50.000 | | max | 2847.000-2897.000=-50.000 |
| | mean | 8.670-8.428=0.242 | | σ | 0.362-0.349=0.013 | | min | 8.240-7.995=0.245 | | max | 9.154-8.827=0.327 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.559-4943.377=0.182 | | σ | 0.172-0.016=0.156 | | min | 4943.254-4943.360=-0.106 | | max | 4943.660-4943.397=0.263 |
| | mean | 2975.400-3068.000=-92.600 | | σ | 168.643-184.957=-16.314 | | min | 2847.000-2897.000=-50.000 | | max | 3259.000-3344.000=-85.000 |
| | mean | 8.558-8.540=0.018 | | σ | 0.135-0.161=-0.026 | | min | 8.393-8.370=0.023 | | max | 8.695-8.787=-0.091 |
|