iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-271.755=1.751 | | σ | 0.005-0.009=-0.004 | | min | 273.498-271.744=1.754 | | max | 273.512-271.766=1.746 |
| | mean | 2850.000-2812.000=38.000 | | σ | 0.000 | | min | 2850.000-2812.000=38.000 | | max | 2850.000-2812.000=38.000 |
| | mean | 0.385-0.384=0.001 | | σ | 0.004-0.011=-0.007 | | min | 0.382-0.370=0.012 | | max | 0.392-0.400=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.889-1932.179=1.710 | | σ | 0.009-0.015=-0.006 | | min | 1933.876-1932.160=1.717 | | max | 1933.900-1932.197=1.703 |
| | mean | 2850.000-2812.000=38.000 | | σ | 0.000 | | min | 2850.000-2812.000=38.000 | | max | 2850.000-2812.000=38.000 |
| | mean | 3.034-2.929=0.105 | | σ | 0.065-0.152=-0.087 | | min | 2.954-2.726=0.228 | | max | 3.114-3.120=-0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.628-4752.754=1.875 | | σ | 0.832-1.045=-0.213 | | min | 4754.153-4751.862=2.290 | | max | 4756.105-4754.566=1.540 |
| | mean | 2850.000-2812.000=38.000 | | σ | 0.000 | | min | 2850.000-2812.000=38.000 | | max | 2850.000-2812.000=38.000 |
| | mean | 8.690-8.958=-0.268 | | σ | 0.331-0.133=0.198 | | min | 8.227-8.796=-0.569 | | max | 9.086-9.146=-0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.116-4943.366=1.750 | | σ | 0.023-0.015=0.009 | | min | 4945.089-4943.348=1.742 | | max | 4945.142-4943.385=1.757 |
| | mean | 3047.400-3004.000=43.400 | | σ | 205.703-274.332=-68.629 | | min | 2850.000-2812.000=38.000 | | max | 3341.000-3446.000=-105.000 |
| | mean | 8.667-8.453=0.214 | | σ | 0.212-0.048=0.164 | | min | 8.439-8.408=0.031 | | max | 8.872-8.533=0.340 |
|