iters=5 new-facts=1 prior-facts=1 | | mean | 271.957-271.956=0.001 | | σ | 0.009-0.010=-0.002 | | min | 271.946-271.946=-0.001 | | max | 271.964-271.972=-0.009 |
| | mean | 2756.000-2456.000=300.000 | | σ | 0.000 | | min | 2756.000-2456.000=300.000 | | max | 2756.000-2456.000=300.000 |
| | mean | 0.386-0.390=-0.004 | | σ | 0.007-0.016=-0.009 | | min | 0.379-0.378=0.001 | | max | 0.395-0.416=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.319-1932.331=-0.012 | | σ | 0.006-0.014=-0.009 | | min | 1932.315-1932.308=0.007 | | max | 1932.329-1932.345=-0.016 |
| | mean | 2756.000-2456.000=300.000 | | σ | 0.000 | | min | 2756.000-2456.000=300.000 | | max | 2756.000-2456.000=300.000 |
| | mean | 2.997-2.997=0.000 | | σ | 0.059-0.094=-0.035 | | min | 2.910-2.870=0.040 | | max | 3.073-3.125=-0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.935-4753.093=-0.157 | | σ | 0.998-0.916=0.082 | | min | 4752.085-4752.578=-0.493 | | max | 4754.664-4754.722=-0.058 |
| | mean | 2756.000-2456.000=300.000 | | σ | 0.000 | | min | 2756.000-2456.000=300.000 | | max | 2756.000-2456.000=300.000 |
| | mean | 8.779-8.651=0.128 | | σ | 0.237-0.420=-0.183 | | min | 8.518-8.020=0.498 | | max | 9.065-9.108=-0.044 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557-4943.550=0.007 | | σ | 0.018-0.020=-0.002 | | min | 4943.542-4943.532=0.010 | | max | 4943.581-4943.581=-0.000 |
| | mean | 2998.800-2891.800=107.000 | | σ | 222.227-367.449=-145.222 | | min | 2756.000-2456.000=300.000 | | max | 3322.000-3399.000=-77.000 |
| | mean | 8.508-8.346=0.162 | | σ | 0.146-0.128=0.018 | | min | 8.352-8.172=0.180 | | max | 8.668-8.509=0.159 |
|