iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-277.721=0.974 | | σ | 0.012-0.010=0.002 | | min | 278.682-277.708=0.973 | | max | 278.708-277.732=0.976 |
| | mean | 2647.000-2652.000=-5.000 | | σ | 0.000 | | min | 2647.000-2652.000=-5.000 | | max | 2647.000-2652.000=-5.000 |
| | mean | 0.420-0.405=0.014 | | σ | 0.001-0.000=0.001 | | min | 0.418-0.405=0.014 | | max | 0.421-0.406=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.840-2267.872=0.968 | | σ | 0.025-0.007=0.018 | | min | 2268.819-2267.866=0.953 | | max | 2268.879-2267.884=0.995 |
| | mean | 2647.000-2652.000=-5.000 | | σ | 0.000 | | min | 2647.000-2652.000=-5.000 | | max | 2647.000-2652.000=-5.000 |
| | mean | 3.629-3.162=0.468 | | σ | 0.362-0.210=0.152 | | min | 3.385-2.847=0.537 | | max | 4.263-3.389=0.874 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.055-4955.008=1.046 | | σ | 0.832-0.841=-0.009 | | min | 4955.539-4954.543=0.996 | | max | 4957.534-4956.509=1.025 |
| | mean | 2647.000-2652.000=-5.000 | | σ | 0.000 | | min | 2647.000-2652.000=-5.000 | | max | 2647.000-2652.000=-5.000 |
| | mean | 7.948-8.096=-0.148 | | σ | 0.201-0.420=-0.220 | | min | 7.769-7.656=0.113 | | max | 8.283-8.605=-0.322 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.704-5169.650=1.055 | | σ | 0.150-0.372=-0.222 | | min | 5170.483-5168.997=1.486 | | max | 5170.856-5169.858=0.999 |
| | mean | 3427.200-3376.200=51.000 | | σ | 500.261-518.408=-18.147 | | min | 2834.000-2911.000=-77.000 | | max | 4166.000-4118.000=48.000 |
| | mean | 9.409-9.374=0.034 | | σ | 0.123-0.197=-0.074 | | min | 9.257-9.158=0.100 | | max | 9.588-9.630=-0.042 |
|