iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.382=0.370 | | σ | 0.006-0.007=-0.000 | | min | 271.743-271.372=0.371 | | max | 271.759-271.391=0.368 |
| | mean | 2778.000-2765.000=13.000 | | σ | 0.000 | | min | 2778.000-2765.000=13.000 | | max | 2778.000-2765.000=13.000 |
| | mean | 0.383-0.379=0.003 | | σ | 0.005-0.006=-0.001 | | min | 0.380-0.374=0.006 | | max | 0.392-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.189-1931.816=0.373 | | σ | 0.011-0.002=0.008 | | min | 1932.178-1931.813=0.365 | | max | 1932.203-1931.818=0.385 |
| | mean | 2778.000-2765.000=13.000 | | σ | 0.000 | | min | 2778.000-2765.000=13.000 | | max | 2778.000-2765.000=13.000 |
| | mean | 2.882-2.912=-0.030 | | σ | 0.285-0.168=0.117 | | min | 2.505-2.658=-0.153 | | max | 3.187-3.094=0.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.902-4752.540=0.362 | | σ | 0.882-0.853=0.030 | | min | 4752.400-4752.047=0.354 | | max | 4754.468-4754.055=0.414 |
| | mean | 2778.000-2765.000=13.000 | | σ | 0.000 | | min | 2778.000-2765.000=13.000 | | max | 2778.000-2765.000=13.000 |
| | mean | 8.704-8.512=0.192 | | σ | 0.475-0.496=-0.020 | | min | 7.896-7.745=0.151 | | max | 9.094-9.005=0.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.369-4943.005=0.364 | | σ | 0.016-0.015=0.000 | | min | 4943.352-4942.982=0.370 | | max | 4943.387-4943.023=0.364 |
| | mean | 3022.000-3045.800=-23.800 | | σ | 229.290-252.112=-22.822 | | min | 2778.000-2765.000=13.000 | | max | 3330.000-3395.000=-65.000 |
| | mean | 8.730-8.538=0.192 | | σ | 0.187-0.170=0.017 | | min | 8.552-8.327=0.225 | | max | 9.033-8.788=0.245 |
|