iters=5 new-facts=1 prior-facts=1 | | mean | 321.064-271.955=49.108 | | σ | 0.012-0.008=0.004 | | min | 321.045-271.946=49.099 | | max | 321.077-271.965=49.112 |
| | mean | 2850.000-2618.000=232.000 | | σ | 0.000 | | min | 2850.000-2618.000=232.000 | | max | 2850.000-2618.000=232.000 |
| | mean | 0.420-0.384=0.036 | | σ | 0.001-0.005=-0.004 | | min | 0.418-0.380=0.038 | | max | 0.421-0.391=0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.628-1932.331=49.297 | | σ | 0.008-0.010=-0.002 | | min | 1981.615-1932.320=49.295 | | max | 1981.635-1932.347=49.288 |
| | mean | 2850.000-2618.000=232.000 | | σ | 0.000 | | min | 2850.000-2618.000=232.000 | | max | 2850.000-2618.000=232.000 |
| | mean | 2.599-2.993=-0.394 | | σ | 0.071-0.206=-0.135 | | min | 2.531-2.694=-0.163 | | max | 2.698-3.191=-0.493 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.237-4752.919=52.318 | | σ | 7.708-1.038=6.670 | | min | 4801.726-4752.065=49.661 | | max | 4819.025-4754.698=64.328 |
| | mean | 2850.000-2618.000=232.000 | | σ | 0.000 | | min | 2850.000-2618.000=232.000 | | max | 2850.000-2618.000=232.000 |
| | mean | 8.703-8.519=0.183 | | σ | 0.214-0.672=-0.458 | | min | 8.402-7.649=0.753 | | max | 8.882-9.212=-0.329 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.832-4943.490=49.342 | | σ | 0.020-0.153=-0.133 | | min | 4992.813-4943.217=49.596 | | max | 4992.862-4943.575=49.286 |
| | mean | 3066.400-3015.200=51.200 | | σ | 225.820-266.220=-40.400 | | min | 2850.000-2620.000=230.000 | | max | 3300.000-3328.000=-28.000 |
| | mean | 8.703-8.591=0.112 | | σ | 0.259-0.160=0.100 | | min | 8.441-8.405=0.036 | | max | 9.094-8.740=0.354 |
|