iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.822=-0.000 | | σ | 0.004-0.006=-0.002 | | min | 278.817-278.813=0.005 | | max | 278.828-278.829=-0.001 |
| | mean | 2684.000-2696.000=-12.000 | | σ | 0.000 | | min | 2684.000-2696.000=-12.000 | | max | 2684.000-2696.000=-12.000 |
| | mean | 0.409-0.415=-0.006 | | σ | 0.005-0.012=-0.007 | | min | 0.406-0.407=-0.000 | | max | 0.418-0.436=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.888-2268.896=-0.008 | | σ | 0.008-0.013=-0.006 | | min | 2268.878-2268.881=-0.003 | | max | 2268.898-2268.913=-0.015 |
| | mean | 2684.000-2696.000=-12.000 | | σ | 0.000 | | min | 2684.000-2696.000=-12.000 | | max | 2684.000-2696.000=-12.000 |
| | mean | 2.966-3.207=-0.241 | | σ | 0.139-0.130=0.009 | | min | 2.891-3.069=-0.178 | | max | 3.214-3.359=-0.145 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.293-4954.063=0.230 | | σ | 1.023-1.154=-0.131 | | min | 4953.577-4952.789=0.788 | | max | 4956.100-4955.941=0.159 |
| | mean | 2684.000-2696.000=-12.000 | | σ | 0.000 | | min | 2684.000-2696.000=-12.000 | | max | 2684.000-2696.000=-12.000 |
| | mean | 8.188-8.014=0.174 | | σ | 0.711-0.357=0.353 | | min | 7.685-7.752=-0.067 | | max | 9.409-8.603=0.807 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.832-5168.821=0.012 | | σ | 0.100-0.089=0.011 | | min | 5168.721-5168.721=-0.001 | | max | 5168.915-5168.888=0.026 |
| | mean | 3441.400-3333.400=108.000 | | σ | 455.336-392.528=62.808 | | min | 2789.000-2943.000=-154.000 | | max | 3975.000-3728.000=247.000 |
| | mean | 9.550-9.238=0.312 | | σ | 0.475-0.330=0.145 | | min | 9.000-8.949=0.051 | | max | 10.237-9.700=0.537 |
|