iters=5 new-facts=1 prior-facts=1 | | mean | 278.814-278.792=0.021 | | σ | 0.009-0.007=0.003 | | min | 278.803-278.785=0.018 | | max | 278.828-278.802=0.025 |
| | mean | 2646.000-2732.000=-86.000 | | σ | 0.000 | | min | 2646.000-2732.000=-86.000 | | max | 2646.000-2732.000=-86.000 |
| | mean | 0.409-0.411=-0.002 | | σ | 0.005-0.006=-0.001 | | min | 0.405-0.406=-0.001 | | max | 0.416-0.419=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.869-2268.856=0.013 | | σ | 0.010-0.009=0.001 | | min | 2268.853-2268.849=0.004 | | max | 2268.880-2268.871=0.009 |
| | mean | 2646.000-2732.000=-86.000 | | σ | 0.000 | | min | 2646.000-2732.000=-86.000 | | max | 2646.000-2732.000=-86.000 |
| | mean | 2.995-3.061=-0.066 | | σ | 0.090-0.216=-0.126 | | min | 2.906-2.853=0.052 | | max | 3.099-3.339=-0.240 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.262-4954.015=0.247 | | σ | 0.804-1.125=-0.321 | | min | 4953.853-4952.796=1.058 | | max | 4955.700-4955.859=-0.159 |
| | mean | 2646.000-2732.000=-86.000 | | σ | 0.000 | | min | 2646.000-2732.000=-86.000 | | max | 2646.000-2732.000=-86.000 |
| | mean | 7.930-8.009=-0.079 | | σ | 0.258-0.383=-0.125 | | min | 7.678-7.678=-0.000 | | max | 8.321-8.666=-0.346 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.819-5168.801=0.018 | | σ | 0.085-0.095=-0.010 | | min | 5168.722-5168.697=0.025 | | max | 5168.901-5168.913=-0.012 |
| | mean | 3508.200-3480.200=28.000 | | σ | 487.546-507.847=-20.302 | | min | 2873.000-2851.000=22.000 | | max | 4187.000-4181.000=6.000 |
| | mean | 9.338-9.521=-0.183 | | σ | 0.304-0.578=-0.274 | | min | 8.871-9.112=-0.241 | | max | 9.614-10.540=-0.926 |
|