iters=5 new-facts=1 prior-facts=1 | | mean | 286.820-286.819=0.000 | | σ | 0.037-0.036=0.000 | | min | 286.773-286.769=0.003 | | max | 286.858-286.855=0.004 |
| | mean | 1640.000-1630.000=10.000 | | σ | 0.000 | | min | 1640.000-1630.000=10.000 | | max | 1640.000-1630.000=10.000 |
| | mean | 0.396-0.395=0.001 | | σ | 0.006-0.006=-0.000 | | min | 0.390-0.388=0.002 | | max | 0.403-0.403=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.213-1297.253=-0.039 | | σ | 0.073-0.079=-0.006 | | min | 1297.133-1297.166=-0.034 | | max | 1297.301-1297.343=-0.042 |
| | mean | 1640.000-1630.000=10.000 | | σ | 0.000 | | min | 1640.000-1630.000=10.000 | | max | 1640.000-1630.000=10.000 |
| | mean | 2.051-2.102=-0.051 | | σ | 0.047-0.077=-0.030 | | min | 2.000-2.004=-0.004 | | max | 2.124-2.195=-0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.353-1541.306=0.047 | | σ | 6.814-6.832=-0.017 | | min | 1538.165-1538.072=0.093 | | max | 1553.540-1553.523=0.017 |
| | mean | 1640.000-1630.000=10.000 | | σ | 0.000 | | min | 1640.000-1630.000=10.000 | | max | 1640.000-1630.000=10.000 |
| | mean | 2.301-2.162=0.139 | | σ | 0.240-0.071=0.169 | | min | 2.140-2.062=0.077 | | max | 2.699-2.248=0.452 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.115-1859.111=0.004 | | σ | 0.085-0.081=0.003 | | min | 1858.987-1858.989=-0.002 | | max | 1859.199-1859.185=0.014 |
| | mean | 1795.400-1789.400=6.000 | | σ | 179.485-163.199=16.286 | | min | 1640.000-1630.000=10.000 | | max | 2055.000-1956.000=99.000 |
| | mean | 2.948-2.996=-0.049 | | σ | 0.152-0.113=0.039 | | min | 2.767-2.858=-0.092 | | max | 3.119-3.150=-0.031 |
|