iters=5 new-facts=1 prior-facts=1 | | mean | 324.583-324.011=0.572 | | σ | 0.054-0.058=-0.003 | | min | 324.487-323.908=0.578 | | max | 324.610-324.039=0.571 |
| | mean | 2461.000-2524.000=-63.000 | | σ | 0.000 | | min | 2461.000-2524.000=-63.000 | | max | 2461.000-2524.000=-63.000 |
| | mean | 0.428-0.431=-0.003 | | σ | 0.007-0.010=-0.003 | | min | 0.423-0.425=-0.002 | | max | 0.440-0.449=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.146-1984.598=0.548 | | σ | 0.008-0.009=-0.000 | | min | 1985.135-1984.585=0.549 | | max | 1985.153-1984.606=0.546 |
| | mean | 2461.000-2524.000=-63.000 | | σ | 0.000 | | min | 2461.000-2524.000=-63.000 | | max | 2461.000-2524.000=-63.000 |
| | mean | 2.592-2.605=-0.014 | | σ | 0.102-0.149=-0.047 | | min | 2.456-2.462=-0.006 | | max | 2.721-2.813=-0.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.748-4808.240=0.508 | | σ | 7.725-7.812=-0.087 | | min | 4805.264-4804.688=0.576 | | max | 4822.566-4822.214=0.352 |
| | mean | 2461.000-2524.000=-63.000 | | σ | 0.000 | | min | 2461.000-2524.000=-63.000 | | max | 2461.000-2524.000=-63.000 |
| | mean | 8.965-8.836=0.128 | | σ | 0.339-0.220=0.119 | | min | 8.456-8.585=-0.129 | | max | 9.374-9.056=0.319 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.347-4995.808=0.539 | | σ | 0.021-0.018=0.003 | | min | 4996.326-4995.785=0.541 | | max | 4996.371-4995.829=0.541 |
| | mean | 3003.200-3020.800=-17.600 | | σ | 271.020-290.837=-19.817 | | min | 2609.000 | | max | 3336.000-3389.000=-53.000 |
| | mean | 8.664-8.834=-0.170 | | σ | 0.141-0.297=-0.156 | | min | 8.472-8.472=0.000 | | max | 8.794-9.237=-0.443 |
|