iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.674=0.021 | | σ | 0.011-0.007=0.004 | | min | 278.684-278.666=0.018 | | max | 278.712-278.682=0.029 |
| | mean | 2605.000-2633.000=-28.000 | | σ | 0.000 | | min | 2605.000-2633.000=-28.000 | | max | 2605.000-2633.000=-28.000 |
| | mean | 0.416-0.417=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.415-0.415=-0.000 | | max | 0.417-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.864-2268.848=0.016 | | σ | 0.005-0.005=0.000 | | min | 2268.859-2268.841=0.018 | | max | 2268.872-2268.854=0.018 |
| | mean | 2605.000-2633.000=-28.000 | | σ | 0.000 | | min | 2605.000-2633.000=-28.000 | | max | 2605.000-2633.000=-28.000 |
| | mean | 2.999-2.949=0.050 | | σ | 0.151-0.114=0.037 | | min | 2.894-2.873=0.021 | | max | 3.266-3.150=0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.329-4952.328=0.000 | | σ | 0.882-0.771=0.112 | | min | 4951.863-4951.941=-0.078 | | max | 4953.903-4953.705=0.198 |
| | mean | 2605.000-2633.000=-28.000 | | σ | 0.000 | | min | 2605.000-2633.000=-28.000 | | max | 2605.000-2633.000=-28.000 |
| | mean | 8.134-7.890=0.243 | | σ | 0.276-0.145=0.130 | | min | 7.789-7.752=0.038 | | max | 8.474-8.119=0.355 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.067-5166.909=0.158 | | σ | 0.012-0.196=-0.184 | | min | 5167.056-5166.686=0.370 | | max | 5167.085-5167.055=0.030 |
| | mean | 3423.400-3411.800=11.600 | | σ | 453.882-454.012=-0.130 | | min | 2810.000-2776.000=34.000 | | max | 3993.000-3969.000=24.000 |
| | mean | 9.054-9.414=-0.360 | | σ | 0.269-0.275=-0.005 | | min | 8.736-9.128=-0.392 | | max | 9.483-9.866=-0.383 |
|