iters=5 new-facts=1 prior-facts=1 | | mean | 269.929-269.933=-0.004 | | σ | 0.007-0.011=-0.004 | | min | 269.920-269.920=0.000 | | max | 269.938-269.946=-0.007 |
| | mean | 2799.000-2845.000=-46.000 | | σ | 0.000 | | min | 2799.000-2845.000=-46.000 | | max | 2799.000-2845.000=-46.000 |
| | mean | 0.373-0.374=-0.001 | | σ | 0.006-0.004=0.002 | | min | 0.368-0.371=-0.003 | | max | 0.383-0.381=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.386-1930.387=-0.001 | | σ | 0.018-0.019=-0.001 | | min | 1930.362-1930.361=0.001 | | max | 1930.404-1930.405=-0.002 |
| | mean | 2799.000-2845.000=-46.000 | | σ | 0.000 | | min | 2799.000-2845.000=-46.000 | | max | 2799.000-2845.000=-46.000 |
| | mean | 2.552-2.564=-0.012 | | σ | 0.162-0.139=0.023 | | min | 2.434-2.445=-0.011 | | max | 2.835-2.797=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.846-4750.892=-0.046 | | σ | 0.807-0.850=-0.043 | | min | 4750.289-4750.432=-0.143 | | max | 4752.269-4752.405=-0.135 |
| | mean | 2799.000-2845.000=-46.000 | | σ | 0.000 | | min | 2799.000-2845.000=-46.000 | | max | 2799.000-2845.000=-46.000 |
| | mean | 8.703-8.352=0.351 | | σ | 0.237-0.397=-0.160 | | min | 8.422-7.755=0.667 | | max | 9.066-8.866=0.201 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.336-4941.327=0.009 | | σ | 0.081-0.078=0.003 | | min | 4941.271-4941.265=0.006 | | max | 4941.427-4941.415=0.012 |
| | mean | 3048.000-3031.800=16.200 | | σ | 226.000-262.883=-36.883 | | min | 2799.000-2845.000=-46.000 | | max | 3325.000-3448.000=-123.000 |
| | mean | 8.593-8.391=0.202 | | σ | 0.123-0.071=0.052 | | min | 8.384-8.294=0.089 | | max | 8.701-8.454=0.247 |
|