iters=5 new-facts=1 prior-facts=1 | | mean | 270.142-270.145=-0.003 | | σ | 0.007-0.007=0.000 | | min | 270.131-270.134=-0.003 | | max | 270.151-270.152=-0.000 |
| | mean | 2772.000-2495.000=277.000 | | σ | 0.000 | | min | 2772.000-2495.000=277.000 | | max | 2772.000-2495.000=277.000 |
| | mean | 0.378-0.379=-0.001 | | σ | 0.002-0.002=0.001 | | min | 0.374-0.377=-0.003 | | max | 0.380-0.381=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.600-1930.609=-0.009 | | σ | 0.020-0.012=0.008 | | min | 1930.573-1930.597=-0.024 | | max | 1930.624-1930.625=-0.001 |
| | mean | 2772.000-2495.000=277.000 | | σ | 0.000 | | min | 2772.000-2495.000=277.000 | | max | 2772.000-2495.000=277.000 |
| | mean | 2.561-2.521=0.040 | | σ | 0.152-0.074=0.078 | | min | 2.461-2.458=0.003 | | max | 2.829-2.612=0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.316-4751.311=0.005 | | σ | 0.926-0.928=-0.002 | | min | 4750.804-4750.789=0.015 | | max | 4752.962-4752.958=0.004 |
| | mean | 2772.000-2495.000=277.000 | | σ | 0.000 | | min | 2772.000-2495.000=277.000 | | max | 2772.000-2495.000=277.000 |
| | mean | 8.517-8.593=-0.076 | | σ | 0.556-0.464=0.092 | | min | 7.579-7.965=-0.387 | | max | 8.979-9.026=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.705-4941.563=0.142 | | σ | 0.166-0.186=-0.020 | | min | 4941.410-4941.411=-0.001 | | max | 4941.797-4941.773=0.024 |
| | mean | 3008.200-3013.800=-5.600 | | σ | 219.449-259.093=-39.644 | | min | 2772.000-2629.000=143.000 | | max | 3305.000-3321.000=-16.000 |
| | mean | 8.448-8.545=-0.097 | | σ | 0.138-0.134=0.004 | | min | 8.329-8.430=-0.101 | | max | 8.677-8.777=-0.100 |
|