iters=5 new-facts=1 prior-facts=1 | | mean | 190.720-190.714=0.005 | | σ | 0.005-0.005=-0.000 | | min | 190.715-190.709=0.006 | | max | 190.727-190.719=0.008 |
| | mean | 2623.000-2642.000=-19.000 | | σ | 0.000 | | min | 2623.000-2642.000=-19.000 | | max | 2623.000-2642.000=-19.000 |
| | mean | 0.278-0.280=-0.002 | | σ | 0.000-0.001=-0.001 | | min | 0.278-0.279=-0.001 | | max | 0.279-0.282=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.495-1989.504=-0.009 | | σ | 0.013-0.016=-0.003 | | min | 1989.485-1989.483=0.001 | | max | 1989.513-1989.519=-0.006 |
| | mean | 2623.000-2642.000=-19.000 | | σ | 0.000 | | min | 2623.000-2642.000=-19.000 | | max | 2623.000-2642.000=-19.000 |
| | mean | 2.581-2.408=0.173 | | σ | 0.082-0.096=-0.013 | | min | 2.470-2.319=0.152 | | max | 2.674-2.567=0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.169-4880.170=-0.001 | | σ | 0.626-0.575=0.051 | | min | 4879.883-4879.889=-0.006 | | max | 4881.289-4881.197=0.092 |
| | mean | 2623.000-2642.000=-19.000 | | σ | 0.000 | | min | 2623.000-2642.000=-19.000 | | max | 2623.000-2642.000=-19.000 |
| | mean | 8.064-8.264=-0.200 | | σ | 0.241-0.412=-0.171 | | min | 7.774-7.803=-0.029 | | max | 8.428-8.929=-0.501 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.789-4891.781=0.008 | | σ | 0.014-0.011=0.003 | | min | 4891.771-4891.771=0.001 | | max | 4891.805-4891.797=0.008 |
| | mean | 3295.600-3367.800=-72.200 | | σ | 499.103-489.056=10.047 | | min | 2623.000-2764.000=-141.000 | | max | 3757.000-4051.000=-294.000 |
| | mean | 8.117-8.149=-0.032 | | σ | 0.158-0.145=0.014 | | min | 7.992-7.964=0.028 | | max | 8.312-8.317=-0.005 |
|