iters=5 new-facts=1 prior-facts=1 | | mean | 301.484-301.475=0.009 | | σ | 0.044-0.055=-0.011 | | min | 301.418-301.387=0.031 | | max | 301.538-301.526=0.012 |
| | mean | 1513.000-1514.000=-1.000 | | σ | 0.000 | | min | 1513.000-1514.000=-1.000 | | max | 1513.000-1514.000=-1.000 |
| | mean | 0.394-0.394=0.000 | | σ | 0.007-0.004=0.002 | | min | 0.387-0.389=-0.002 | | max | 0.401-0.400=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.056-1324.059=-0.002 | | σ | 0.108-0.108=0.000 | | min | 1323.924-1323.924=0.000 | | max | 1324.200-1324.192=0.009 |
| | mean | 1513.000-1514.000=-1.000 | | σ | 0.000 | | min | 1513.000-1514.000=-1.000 | | max | 1513.000-1514.000=-1.000 |
| | mean | 1.938-1.904=0.034 | | σ | 0.105-0.098=0.006 | | min | 1.834-1.819=0.015 | | max | 2.058-2.053=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.063-1562.100=-0.038 | | σ | 6.909-6.872=0.037 | | min | 1558.737-1558.806=-0.069 | | max | 1574.417-1574.389=0.028 |
| | mean | 1513.000-1514.000=-1.000 | | σ | 0.000 | | min | 1513.000-1514.000=-1.000 | | max | 1513.000-1514.000=-1.000 |
| | mean | 2.248-2.327=-0.079 | | σ | 0.220-0.159=0.061 | | min | 2.085-2.055=0.030 | | max | 2.633-2.441=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.969-1891.968=0.001 | | σ | 0.065-0.063=0.001 | | min | 1891.856-1891.856=-0.000 | | max | 1892.014-1892.006=0.008 |
| | mean | 1733.800-1730.200=3.600 | | σ | 213.328-208.270=5.058 | | min | 1513.000-1514.000=-1.000 | | max | 2042.000-2031.000=11.000 |
| | mean | 3.008-2.969=0.040 | | σ | 0.195-0.111=0.084 | | min | 2.866-2.856=0.010 | | max | 3.333-3.124=0.209 |
|