iters=5 new-facts=1 prior-facts=1 | | mean | 278.827-278.824=0.004 | | σ | 0.004-0.007=-0.003 | | min | 278.820-278.812=0.009 | | max | 278.830-278.831=-0.000 |
| | mean | 2728.000-2596.000=132.000 | | σ | 0.000 | | min | 2728.000-2596.000=132.000 | | max | 2728.000-2596.000=132.000 |
| | mean | 0.413-0.414=-0.001 | | σ | 0.006-0.010=-0.004 | | min | 0.407-0.405=0.001 | | max | 0.421-0.429=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.889-2268.878=0.011 | | σ | 0.011-0.012=-0.001 | | min | 2268.877-2268.857=0.020 | | max | 2268.904-2268.886=0.018 |
| | mean | 2728.000-2596.000=132.000 | | σ | 0.000 | | min | 2728.000-2596.000=132.000 | | max | 2728.000-2596.000=132.000 |
| | mean | 3.105-2.932=0.174 | | σ | 0.131-0.049=0.082 | | min | 2.926-2.889=0.037 | | max | 3.274-3.013=0.261 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.306-4954.289=0.017 | | σ | 0.943-0.936=0.007 | | min | 4953.665-4953.706=-0.041 | | max | 4955.972-4955.952=0.021 |
| | mean | 2728.000-2596.000=132.000 | | σ | 0.000 | | min | 2728.000-2596.000=132.000 | | max | 2728.000-2596.000=132.000 |
| | mean | 7.980-7.982=-0.003 | | σ | 0.412-0.367=0.045 | | min | 7.707-7.649=0.058 | | max | 8.707-8.581=0.126 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.827-5168.759=0.068 | | σ | 0.086-0.221=-0.135 | | min | 5168.731-5168.386=0.345 | | max | 5168.892-5168.908=-0.015 |
| | mean | 3366.800-3404.000=-37.200 | | σ | 410.074-445.308=-35.234 | | min | 2967.000-2806.000=161.000 | | max | 3786.000-3974.000=-188.000 |
| | mean | 9.306-9.356=-0.050 | | σ | 0.185-0.541=-0.356 | | min | 9.064-8.801=0.263 | | max | 9.505-10.007=-0.502 |
|