iters=5 new-facts=1 prior-facts=1 | | mean | 303.780-303.787=-0.007 | | σ | 0.076-0.051=0.026 | | min | 303.648-303.720=-0.072 | | max | 303.840-303.845=-0.004 |
| | mean | 1620.000-1518.000=102.000 | | σ | 0.000 | | min | 1620.000-1518.000=102.000 | | max | 1620.000-1518.000=102.000 |
| | mean | 0.399-0.391=0.008 | | σ | 0.007-0.001=0.007 | | min | 0.392-0.390=0.002 | | max | 0.410-0.392=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.338-1326.323=0.014 | | σ | 0.106-0.099=0.007 | | min | 1326.204-1326.193=0.011 | | max | 1326.462-1326.451=0.011 |
| | mean | 1620.000-1518.000=102.000 | | σ | 0.000 | | min | 1620.000-1518.000=102.000 | | max | 1620.000-1518.000=102.000 |
| | mean | 1.885-1.929=-0.044 | | σ | 0.082-0.078=0.004 | | min | 1.769-1.851=-0.082 | | max | 1.965-2.034=-0.069 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.391-1564.435=-0.044 | | σ | 6.931-6.871=0.060 | | min | 1561.103-1561.187=-0.084 | | max | 1576.785-1576.722=0.063 |
| | mean | 1620.000-1518.000=102.000 | | σ | 0.000 | | min | 1620.000-1518.000=102.000 | | max | 1620.000-1518.000=102.000 |
| | mean | 2.324-2.381=-0.056 | | σ | 0.294-0.219=0.075 | | min | 2.060-2.085=-0.024 | | max | 2.664-2.613=0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.279-1894.280=-0.001 | | σ | 0.076-0.069=0.007 | | min | 1894.144-1894.158=-0.014 | | max | 1894.323-1894.321=0.002 |
| | mean | 1770.000-1753.800=16.200 | | σ | 179.308-191.900=-12.592 | | min | 1620.000-1518.000=102.000 | | max | 2044.000-1943.000=101.000 |
| | mean | 2.916-3.053=-0.137 | | σ | 0.129-0.122=0.007 | | min | 2.789-2.890=-0.102 | | max | 3.133-3.219=-0.086 |
|