iters=5 new-facts=1 prior-facts=1 | | mean | 326.577-326.571=0.006 | | σ | 0.062-0.056=0.007 | | min | 326.466-326.473=-0.007 | | max | 326.617-326.609=0.008 |
| | mean | 2834.000-2835.000=-1.000 | | σ | 0.000 | | min | 2834.000-2835.000=-1.000 | | max | 2834.000-2835.000=-1.000 |
| | mean | 0.441-0.424=0.016 | | σ | 0.017-0.005=0.012 | | min | 0.422-0.421=0.000 | | max | 0.457-0.433=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.746-1988.745=0.002 | | σ | 0.007-0.008=-0.000 | | min | 1988.740-1988.737=0.003 | | max | 1988.758-1988.755=0.003 |
| | mean | 2834.000-2835.000=-1.000 | | σ | 0.000 | | min | 2834.000-2835.000=-1.000 | | max | 2834.000-2835.000=-1.000 |
| | mean | 2.668-2.668=0.000 | | σ | 0.113-0.134=-0.021 | | min | 2.512-2.511=0.001 | | max | 2.789-2.857=-0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.486-4813.466=0.020 | | σ | 7.832-7.787=0.045 | | min | 4809.562-4809.657=-0.095 | | max | 4827.489-4827.391=0.098 |
| | mean | 2834.000-2835.000=-1.000 | | σ | 0.000 | | min | 2834.000-2835.000=-1.000 | | max | 2834.000-2835.000=-1.000 |
| | mean | 8.840-8.777=0.062 | | σ | 0.389-0.345=0.044 | | min | 8.424-8.270=0.154 | | max | 9.364-9.177=0.187 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.062-5001.136=-0.074 | | σ | 0.156-0.020=0.136 | | min | 5000.785-5001.109=-0.325 | | max | 5001.148-5001.157=-0.010 |
| | mean | 3080.800-3054.600=26.200 | | σ | 250.744-188.957=61.787 | | min | 2834.000-2835.000=-1.000 | | max | 3338.000-3318.000=20.000 |
| | mean | 9.763-9.764=-0.001 | | σ | 0.172-0.097=0.075 | | min | 9.514-9.670=-0.156 | | max | 9.935-9.910=0.025 |
|