iters=5 new-facts=1 prior-facts=1 | | mean | 297.320-297.312=0.007 | | σ | 0.008-0.013=-0.005 | | min | 297.308-297.291=0.016 | | max | 297.329-297.327=0.002 |
| | mean | 1511.000-1518.000=-7.000 | | σ | 0.000 | | min | 1511.000-1518.000=-7.000 | | max | 1511.000-1518.000=-7.000 |
| | mean | 0.391-0.391=0.000 | | σ | 0.006-0.006=0.000 | | min | 0.386-0.387=-0.001 | | max | 0.400-0.402=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.000-1299.003=-0.003 | | σ | 0.098-0.090=0.008 | | min | 1298.837-1298.845=-0.008 | | max | 1299.062-1299.066=-0.004 |
| | mean | 1511.000-1518.000=-7.000 | | σ | 0.000 | | min | 1511.000-1518.000=-7.000 | | max | 1511.000-1518.000=-7.000 |
| | mean | 1.905-1.972=-0.067 | | σ | 0.139-0.084=0.055 | | min | 1.810-1.853=-0.043 | | max | 2.151-2.076=0.075 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.171-1719.175=-0.004 | | σ | 6.913-6.942=-0.029 | | min | 1715.945-1715.977=-0.033 | | max | 1731.532-1731.590=-0.058 |
| | mean | 1511.000-1518.000=-7.000 | | σ | 0.000 | | min | 1511.000-1518.000=-7.000 | | max | 1511.000-1518.000=-7.000 |
| | mean | 3.322-3.112=0.211 | | σ | 0.280-0.475=-0.196 | | min | 3.027-2.730=0.297 | | max | 3.638-3.916=-0.279 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.934-1981.941=-0.007 | | σ | 0.037-0.022=0.015 | | min | 1981.870-1981.910=-0.040 | | max | 1981.968-1981.969=-0.001 |
| | mean | 1796.400-1738.000=58.400 | | σ | 234.334-177.979=56.355 | | min | 1532.000-1518.000=14.000 | | max | 2127.000-1976.000=151.000 |
| | mean | 3.295-3.129=0.166 | | σ | 0.377-0.039=0.338 | | min | 3.040-3.093=-0.053 | | max | 3.961-3.193=0.768 |
|