iters=5 new-facts=1 prior-facts=1 | | mean | 272.015-272.017=-0.002 | | σ | 0.006-0.008=-0.002 | | min | 272.007-272.007=-0.000 | | max | 272.023-272.028=-0.005 |
| | mean | 2851.000-2846.000=5.000 | | σ | 0.000 | | min | 2851.000-2846.000=5.000 | | max | 2851.000-2846.000=5.000 |
| | mean | 0.385-0.387=-0.002 | | σ | 0.008-0.016=-0.008 | | min | 0.380-0.362=0.018 | | max | 0.399-0.402=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.444-1932.438=0.006 | | σ | 0.010-0.010=-0.000 | | min | 1932.433-1932.425=0.008 | | max | 1932.456-1932.453=0.003 |
| | mean | 2851.000-2846.000=5.000 | | σ | 0.000 | | min | 2851.000-2846.000=5.000 | | max | 2851.000-2846.000=5.000 |
| | mean | 2.936-3.043=-0.108 | | σ | 0.178-0.104=0.074 | | min | 2.623-2.977=-0.354 | | max | 3.064-3.224=-0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.172-4753.151=0.021 | | σ | 0.839-0.849=-0.010 | | min | 4752.713-4752.694=0.019 | | max | 4754.665-4754.664=0.001 |
| | mean | 2851.000-2846.000=5.000 | | σ | 0.000 | | min | 2851.000-2846.000=5.000 | | max | 2851.000-2846.000=5.000 |
| | mean | 8.484-8.628=-0.144 | | σ | 0.452-0.252=0.199 | | min | 7.818-8.347=-0.529 | | max | 8.997-8.910=0.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.628-4943.635=-0.007 | | σ | 0.026-0.017=0.009 | | min | 4943.595-4943.622=-0.027 | | max | 4943.657-4943.660=-0.003 |
| | mean | 3072.000-3101.800=-29.800 | | σ | 226.112-269.998=-43.886 | | min | 2851.000-2846.000=5.000 | | max | 3404.000-3383.000=21.000 |
| | mean | 8.613-8.689=-0.076 | | σ | 0.233-0.230=0.003 | | min | 8.416-8.425=-0.009 | | max | 9.017-9.027=-0.010 |
|