iters=5 new-facts=1 prior-facts=1 | | mean | 286.822-286.820=0.002 | | σ | 0.042-0.037=0.005 | | min | 286.769-286.773=-0.004 | | max | 286.866-286.858=0.008 |
| | mean | 1642.000-1640.000=2.000 | | σ | 0.000 | | min | 1642.000-1640.000=2.000 | | max | 1642.000-1640.000=2.000 |
| | mean | 0.396-0.396=-0.000 | | σ | 0.008-0.006=0.002 | | min | 0.387-0.390=-0.004 | | max | 0.405-0.403=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.254-1297.213=0.040 | | σ | 0.126-0.073=0.054 | | min | 1297.053-1297.133=-0.079 | | max | 1297.388-1297.301=0.087 |
| | mean | 1642.000-1640.000=2.000 | | σ | 0.000 | | min | 1642.000-1640.000=2.000 | | max | 1642.000-1640.000=2.000 |
| | mean | 2.229-2.051=0.179 | | σ | 0.082-0.047=0.035 | | min | 2.099-2.000=0.099 | | max | 2.317-2.124=0.193 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.372-1541.353=0.019 | | σ | 6.804-6.814=-0.010 | | min | 1538.222-1538.165=0.057 | | max | 1553.542-1553.540=0.002 |
| | mean | 1642.000-1640.000=2.000 | | σ | 0.000 | | min | 1642.000-1640.000=2.000 | | max | 1642.000-1640.000=2.000 |
| | mean | 2.330-2.301=0.029 | | σ | 0.242-0.240=0.001 | | min | 2.174-2.140=0.034 | | max | 2.733-2.699=0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.120-1859.115=0.006 | | σ | 0.065-0.085=-0.020 | | min | 1859.033-1858.987=0.046 | | max | 1859.184-1859.199=-0.015 |
| | mean | 1786.000-1795.400=-9.400 | | σ | 168.465-179.485=-11.020 | | min | 1642.000-1640.000=2.000 | | max | 2031.000-2055.000=-24.000 |
| | mean | 2.977-2.948=0.030 | | σ | 0.071-0.152=-0.081 | | min | 2.854-2.767=0.088 | | max | 3.025-3.119=-0.094 |
|