iters=5 new-facts=1 prior-facts=1 | | mean | 286.822-286.807=0.015 | | σ | 0.038-0.036=0.003 | | min | 286.769-286.764=0.005 | | max | 286.865-286.854=0.011 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 0.396-0.396=-0.000 | | σ | 0.007-0.006=0.001 | | min | 0.388-0.392=-0.004 | | max | 0.402-0.403=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.269-1297.259=0.011 | | σ | 0.084-0.125=-0.041 | | min | 1297.155-1297.074=0.081 | | max | 1297.374-1297.411=-0.037 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 2.261-2.195=0.066 | | σ | 0.115-0.097=0.018 | | min | 2.171-2.053=0.119 | | max | 2.455-2.318=0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.368-1541.381=-0.013 | | σ | 6.804-6.806=-0.002 | | min | 1538.212-1538.238=-0.026 | | max | 1553.537-1553.555=-0.018 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 2.310-2.348=-0.038 | | σ | 0.252-0.271=-0.019 | | min | 2.118-2.143=-0.025 | | max | 2.727-2.800=-0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.111-1859.110=0.001 | | σ | 0.066-0.067=-0.001 | | min | 1859.028-1859.030=-0.003 | | max | 1859.190-1859.191=-0.001 |
| | mean | 1777.600-1796.400=-18.800 | | σ | 129.181-156.097=-26.916 | | min | 1645.000-1647.000=-2.000 | | max | 1909.000-1958.000=-49.000 |
| | mean | 3.053-2.990=0.064 | | σ | 0.241-0.157=0.084 | | min | 2.806-2.830=-0.023 | | max | 3.359-3.221=0.138 |
|