iters=5 new-facts=1 prior-facts=1 | | mean | 303.781-303.796=-0.015 | | σ | 0.062-0.047=0.015 | | min | 303.682-303.727=-0.045 | | max | 303.841-303.852=-0.011 |
| | mean | 1637.000-1612.000=25.000 | | σ | 0.000 | | min | 1637.000-1612.000=25.000 | | max | 1637.000-1612.000=25.000 |
| | mean | 0.394-0.397=-0.003 | | σ | 0.008-0.008=0.000 | | min | 0.389-0.391=-0.003 | | max | 0.408-0.411=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.329-1326.325=0.003 | | σ | 0.105-0.114=-0.010 | | min | 1326.192-1326.188=0.003 | | max | 1326.447-1326.443=0.003 |
| | mean | 1637.000-1612.000=25.000 | | σ | 0.000 | | min | 1637.000-1612.000=25.000 | | max | 1637.000-1612.000=25.000 |
| | mean | 1.933-1.921=0.012 | | σ | 0.102-0.092=0.010 | | min | 1.823-1.821=0.001 | | max | 2.047-2.029=0.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.409-1564.384=0.025 | | σ | 6.864-6.907=-0.043 | | min | 1561.150-1561.077=0.073 | | max | 1576.685-1576.734=-0.049 |
| | mean | 1637.000-1612.000=25.000 | | σ | 0.000 | | min | 1637.000-1612.000=25.000 | | max | 1637.000-1612.000=25.000 |
| | mean | 2.331-2.264=0.067 | | σ | 0.248-0.223=0.026 | | min | 2.056-2.013=0.043 | | max | 2.706-2.563=0.143 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.282-1894.275=0.007 | | σ | 0.071-0.062=0.009 | | min | 1894.159-1894.167=-0.008 | | max | 1894.332-1894.313=0.019 |
| | mean | 1803.000-1764.400=38.600 | | σ | 184.172-194.774=-10.601 | | min | 1637.000-1612.000=25.000 | | max | 2060.000-2068.000=-8.000 |
| | mean | 3.058-2.978=0.080 | | σ | 0.122-0.168=-0.045 | | min | 2.911-2.847=0.064 | | max | 3.211-3.267=-0.056 |
|