iters=5 new-facts=1 prior-facts=1 | | mean | 303.771-303.781=-0.010 | | σ | 0.081-0.065=0.016 | | min | 303.638-303.678=-0.041 | | max | 303.850-303.843=0.008 |
| | mean | 1635.000-1611.000=24.000 | | σ | 0.000 | | min | 1635.000-1611.000=24.000 | | max | 1635.000-1611.000=24.000 |
| | mean | 0.395-0.394=0.001 | | σ | 0.008-0.009=-0.000 | | min | 0.391-0.389=0.001 | | max | 0.410-0.409=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.331-1326.333=-0.002 | | σ | 0.109-0.106=0.003 | | min | 1326.194-1326.199=-0.005 | | max | 1326.454-1326.463=-0.010 |
| | mean | 1635.000-1611.000=24.000 | | σ | 0.000 | | min | 1635.000-1611.000=24.000 | | max | 1635.000-1611.000=24.000 |
| | mean | 1.927-1.943=-0.016 | | σ | 0.097-0.107=-0.010 | | min | 1.823-1.823=0.000 | | max | 2.037-2.040=-0.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.417-1564.464=-0.047 | | σ | 6.856-6.823=0.033 | | min | 1561.182-1561.268=-0.086 | | max | 1576.677-1576.666=0.012 |
| | mean | 1635.000-1611.000=24.000 | | σ | 0.000 | | min | 1635.000-1611.000=24.000 | | max | 1635.000-1611.000=24.000 |
| | mean | 2.343-2.394=-0.051 | | σ | 0.264-0.333=-0.069 | | min | 2.029-2.081=-0.053 | | max | 2.653-2.864=-0.211 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.284-1894.284=0.000 | | σ | 0.071-0.073=-0.003 | | min | 1894.158-1894.155=0.003 | | max | 1894.327-1894.336=-0.008 |
| | mean | 1784.400-1796.600=-12.200 | | σ | 168.595-200.651=-32.056 | | min | 1635.000-1611.000=24.000 | | max | 2020.000-2071.000=-51.000 |
| | mean | 3.047-3.036=0.011 | | σ | 0.138-0.125=0.013 | | min | 2.876-2.882=-0.007 | | max | 3.224-3.223=0.000 |
|