iters=5 new-facts=1 prior-facts=1 | | mean | 297.314-285.441=11.873 | | σ | 0.008-0.010=-0.002 | | min | 297.307-285.426=11.881 | | max | 297.328-285.453=11.875 |
| | mean | 1625.000-1534.000=91.000 | | σ | 0.000 | | min | 1625.000-1534.000=91.000 | | max | 1625.000-1534.000=91.000 |
| | mean | 0.394-0.381=0.013 | | σ | 0.007-0.007=-0.000 | | min | 0.387-0.375=0.012 | | max | 0.402-0.389=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.661-1285.487=13.174 | | σ | 0.025-0.078=-0.053 | | min | 1298.625-1285.354=13.272 | | max | 1298.690-1285.536=13.153 |
| | mean | 1625.000-1534.000=91.000 | | σ | 0.000 | | min | 1625.000-1534.000=91.000 | | max | 1625.000-1534.000=91.000 |
| | mean | 1.883-1.874=0.009 | | σ | 0.050-0.052=-0.002 | | min | 1.833-1.825=0.008 | | max | 1.964-1.948=0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.875-1705.833=13.042 | | σ | 6.934-6.843=0.090 | | min | 1715.648-1702.645=13.003 | | max | 1731.275-1718.073=13.202 |
| | mean | 1625.000-1534.000=91.000 | | σ | 0.000 | | min | 1625.000-1534.000=91.000 | | max | 1625.000-1534.000=91.000 |
| | mean | 2.959-2.930=0.029 | | σ | 0.443-0.191=0.252 | | min | 2.533-2.650=-0.117 | | max | 3.687-3.161=0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.621-1968.431=13.190 | | σ | 0.016-0.012=0.005 | | min | 1981.602-1968.423=13.179 | | max | 1981.640-1968.452=13.188 |
| | mean | 1880.600-1768.600=112.000 | | σ | 194.444-196.133=-1.690 | | min | 1625.000-1534.000=91.000 | | max | 2087.000-1969.000=118.000 |
| | mean | 3.258-3.103=0.155 | | σ | 0.093-0.171=-0.078 | | min | 3.143-2.878=0.265 | | max | 3.345-3.348=-0.003 |
|