iters=5 new-facts=1 prior-facts=1 | | mean | 271.742-270.611=1.131 | | σ | 0.015-0.009=0.006 | | min | 271.729-270.600=1.129 | | max | 271.765-270.623=1.142 |
| | mean | 2881.000-2859.000=22.000 | | σ | 0.000 | | min | 2881.000-2859.000=22.000 | | max | 2881.000-2859.000=22.000 |
| | mean | 0.382-0.382=0.000 | | σ | 0.007-0.013=-0.006 | | min | 0.372-0.369=0.003 | | max | 0.390-0.402=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175-1931.040=1.135 | | σ | 0.005-0.006=-0.001 | | min | 1932.168-1931.031=1.137 | | max | 1932.181-1931.046=1.134 |
| | mean | 2881.000-2859.000=22.000 | | σ | 0.000 | | min | 2881.000-2859.000=22.000 | | max | 2881.000-2859.000=22.000 |
| | mean | 3.050-3.035=0.014 | | σ | 0.142-0.076=0.067 | | min | 2.958-2.979=-0.021 | | max | 3.297-3.142=0.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.960-4751.735=1.225 | | σ | 0.761-0.922=-0.161 | | min | 4752.512-4751.273=1.239 | | max | 4754.317-4753.381=0.936 |
| | mean | 2881.000-2859.000=22.000 | | σ | 0.000 | | min | 2881.000-2859.000=22.000 | | max | 2881.000-2859.000=22.000 |
| | mean | 8.011-8.714=-0.703 | | σ | 0.344-0.336=0.009 | | min | 7.693-8.318=-0.625 | | max | 8.545-8.985=-0.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.304-4942.233=1.071 | | σ | 0.167-0.017=0.151 | | min | 4943.006-4942.214=0.792 | | max | 4943.395-4942.250=1.145 |
| | mean | 3083.000-3056.200=26.800 | | σ | 277.996-190.774=87.222 | | min | 2881.000-2859.000=22.000 | | max | 3518.000-3332.000=186.000 |
| | mean | 8.408-8.641=-0.233 | | σ | 0.100-0.201=-0.101 | | min | 8.326-8.407=-0.082 | | max | 8.579-8.861=-0.282 |
|