iters=5 new-facts=1 prior-facts=1 | | mean | 286.816-286.819=-0.003 | | σ | 0.035-0.036=-0.001 | | min | 286.770-286.769=0.000 | | max | 286.854-286.855=-0.001 |
| | mean | 1639.000-1630.000=9.000 | | σ | 0.000 | | min | 1639.000-1630.000=9.000 | | max | 1639.000-1630.000=9.000 |
| | mean | 0.392-0.395=-0.003 | | σ | 0.006-0.006=-0.000 | | min | 0.388-0.388=0.000 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.260-1297.253=0.008 | | σ | 0.083-0.079=0.004 | | min | 1297.167-1297.166=0.000 | | max | 1297.381-1297.343=0.037 |
| | mean | 1639.000-1630.000=9.000 | | σ | 0.000 | | min | 1639.000-1630.000=9.000 | | max | 1639.000-1630.000=9.000 |
| | mean | 2.058-2.102=-0.044 | | σ | 0.106-0.077=0.029 | | min | 1.978-2.004=-0.026 | | max | 2.242-2.195=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.310-1541.306=0.004 | | σ | 6.857-6.832=0.026 | | min | 1538.017-1538.072=-0.055 | | max | 1553.572-1553.523=0.050 |
| | mean | 1639.000-1630.000=9.000 | | σ | 0.000 | | min | 1639.000-1630.000=9.000 | | max | 1639.000-1630.000=9.000 |
| | mean | 2.248-2.162=0.085 | | σ | 0.172-0.071=0.101 | | min | 2.107-2.062=0.045 | | max | 2.503-2.248=0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.103-1859.111=-0.008 | | σ | 0.090-0.081=0.008 | | min | 1858.958-1858.989=-0.031 | | max | 1859.189-1859.185=0.004 |
| | mean | 1767.800-1789.400=-21.600 | | σ | 164.699-163.199=1.500 | | min | 1639.000-1630.000=9.000 | | max | 2020.000-1956.000=64.000 |
| | mean | 2.894-2.996=-0.103 | | σ | 0.206-0.113=0.093 | | min | 2.605-2.858=-0.254 | | max | 3.132-3.150=-0.018 |
|