iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.505=0.105 | | σ | 0.007-0.008=-0.001 | | min | 273.601-273.497=0.104 | | max | 273.618-273.519=0.099 |
| | mean | 2845.000-2871.000=-26.000 | | σ | 0.000 | | min | 2845.000-2871.000=-26.000 | | max | 2845.000-2871.000=-26.000 |
| | mean | 0.387-0.387=-0.000 | | σ | 0.010-0.003=0.007 | | min | 0.379-0.385=-0.006 | | max | 0.403-0.392=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.001-1933.897=0.105 | | σ | 0.019-0.009=0.010 | | min | 1933.973-1933.886=0.087 | | max | 1934.023-1933.906=0.117 |
| | mean | 2845.000-2871.000=-26.000 | | σ | 0.000 | | min | 2845.000-2871.000=-26.000 | | max | 2845.000-2871.000=-26.000 |
| | mean | 3.104-3.002=0.102 | | σ | 0.328-0.147=0.181 | | min | 2.870-2.787=0.083 | | max | 3.679-3.188=0.491 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4614.224-4754.739=-140.514 | | σ | 314.523-0.792=313.731 | | min | 4051.591-4754.335=-702.744 | | max | 4756.329-4756.154=0.176 |
| | mean | 2845.000-2871.000=-26.000 | | σ | 0.000 | | min | 2845.000-2871.000=-26.000 | | max | 2845.000-2871.000=-26.000 |
| | mean | 8.139-7.980=0.159 | | σ | 0.723-0.256=0.467 | | min | 7.017-7.839=-0.822 | | max | 8.790-8.435=0.355 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.220-4945.112=0.108 | | σ | 0.015-0.014=0.001 | | min | 4945.202-4945.090=0.112 | | max | 4945.244-4945.124=0.120 |
| | mean | 3025.200-3041.600=-16.400 | | σ | 263.403-253.416=9.987 | | min | 2845.000-2871.000=-26.000 | | max | 3445.000-3449.000=-4.000 |
| | mean | 8.567-8.432=0.136 | | σ | 0.185-0.069=0.116 | | min | 8.413-8.327=0.085 | | max | 8.792-8.498=0.295 |
|