iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.687=0.019 | | σ | 0.064-0.053=0.011 | | min | 324.593-324.593=-0.000 | | max | 324.745-324.721=0.024 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 0.435-0.432=0.003 | | σ | 0.012-0.008=0.004 | | min | 0.424-0.425=-0.001 | | max | 0.450-0.445=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.264=-0.000 | | σ | 0.017-0.010=0.007 | | min | 1985.240-1985.246=-0.006 | | max | 1985.280-1985.269=0.011 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 2.657-2.697=-0.040 | | σ | 0.169-0.156=0.013 | | min | 2.509-2.512=-0.003 | | max | 2.886-2.863=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.859-4808.873=-0.014 | | σ | 7.703-7.684=0.020 | | min | 4805.402-4805.340=0.061 | | max | 4822.639-4822.618=0.021 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 8.910-9.130=-0.221 | | σ | 0.094-0.407=-0.313 | | min | 8.813-8.576=0.237 | | max | 9.021-9.701=-0.680 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.393-4996.410=-0.017 | | σ | 0.155-0.157=-0.002 | | min | 4996.120-4996.131=-0.010 | | max | 4996.488-4996.505=-0.017 |
| | mean | 3046.200-3054.200=-8.000 | | σ | 221.721-229.414=-7.693 | | min | 2840.000-2844.000=-4.000 | | max | 3375.000-3297.000=78.000 |
| | mean | 8.694-8.854=-0.161 | | σ | 0.208-0.406=-0.197 | | min | 8.486-8.542=-0.057 | | max | 8.987-9.523=-0.536 |
|