iters=5 new-facts=1 prior-facts=1 | | mean | 297.317-297.313=0.004 | | σ | 0.010-0.005=0.005 | | min | 297.310-297.308=0.001 | | max | 297.335-297.320=0.016 |
| | mean | 1626.000-1514.000=112.000 | | σ | 0.000 | | min | 1626.000-1514.000=112.000 | | max | 1626.000-1514.000=112.000 |
| | mean | 0.392-0.383=0.009 | | σ | 0.009-0.009=0.000 | | min | 0.385-0.379=0.007 | | max | 0.405-0.399=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.660-1298.622=0.037 | | σ | 0.087-0.079=0.008 | | min | 1298.505-1298.507=-0.002 | | max | 1298.711-1298.699=0.011 |
| | mean | 1626.000-1514.000=112.000 | | σ | 0.000 | | min | 1626.000-1514.000=112.000 | | max | 1626.000-1514.000=112.000 |
| | mean | 1.951-1.891=0.060 | | σ | 0.043-0.057=-0.014 | | min | 1.896-1.831=0.065 | | max | 2.009-1.983=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.874-1718.877=-0.003 | | σ | 6.902-6.948=-0.046 | | min | 1715.691-1715.652=0.040 | | max | 1731.217-1731.304=-0.086 |
| | mean | 1626.000-1514.000=112.000 | | σ | 0.000 | | min | 1626.000-1514.000=112.000 | | max | 1626.000-1514.000=112.000 |
| | mean | 2.993-3.187=-0.194 | | σ | 0.288-0.460=-0.171 | | min | 2.653-2.879=-0.225 | | max | 3.430-3.929=-0.500 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.602-1981.629=-0.027 | | σ | 0.007-0.019=-0.012 | | min | 1981.591-1981.598=-0.007 | | max | 1981.609-1981.651=-0.042 |
| | mean | 1836.600-1845.200=-8.600 | | σ | 194.019-227.131=-33.113 | | min | 1626.000-1536.000=90.000 | | max | 2100.000-2116.000=-16.000 |
| | mean | 3.172-3.360=-0.188 | | σ | 0.077-0.125=-0.049 | | min | 3.087-3.219=-0.132 | | max | 3.273-3.533=-0.260 |
|