iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-277.739=0.934 | | σ | 0.014-0.014=-0.000 | | min | 278.660-277.721=0.939 | | max | 278.696-277.756=0.940 |
| | mean | 2631.000-2691.000=-60.000 | | σ | 0.000 | | min | 2631.000-2691.000=-60.000 | | max | 2631.000-2691.000=-60.000 |
| | mean | 0.418-0.411=0.007 | | σ | 0.002-0.002=-0.000 | | min | 0.416-0.408=0.008 | | max | 0.420-0.413=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.833-2267.883=0.951 | | σ | 0.021-0.007=0.014 | | min | 2268.809-2267.873=0.936 | | max | 2268.853-2267.891=0.963 |
| | mean | 2631.000-2691.000=-60.000 | | σ | 0.000 | | min | 2631.000-2691.000=-60.000 | | max | 2631.000-2691.000=-60.000 |
| | mean | 3.118-2.978=0.140 | | σ | 0.157-0.088=0.068 | | min | 2.863-2.913=-0.050 | | max | 3.275-3.133=0.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.344-4955.215=-2.871 | | σ | 0.775-0.986=-0.210 | | min | 4951.955-4954.507=-2.553 | | max | 4953.730-4956.917=-3.187 |
| | mean | 2631.000-2691.000=-60.000 | | σ | 0.000 | | min | 2631.000-2691.000=-60.000 | | max | 2631.000-2691.000=-60.000 |
| | mean | 7.816-7.996=-0.180 | | σ | 0.138-0.169=-0.031 | | min | 7.582-7.849=-0.267 | | max | 7.943-8.286=-0.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.047-5169.760=-2.714 | | σ | 0.006-0.083=-0.077 | | min | 5167.039-5169.695=-2.655 | | max | 5167.053-5169.852=-2.799 |
| | mean | 3355.200-3401.400=-46.200 | | σ | 427.903-473.727=-45.824 | | min | 2936.000-2750.000=186.000 | | max | 3791.000-3996.000=-205.000 |
| | mean | 9.307-9.204=0.103 | | σ | 0.216-0.128=0.088 | | min | 9.065-9.080=-0.015 | | max | 9.620-9.379=0.241 |
|