iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-269.934=-0.002 | | σ | 0.010-0.006=0.004 | | min | 269.919-269.927=-0.008 | | max | 269.945-269.943=0.002 |
| | mean | 2846.000-2470.000=376.000 | | σ | 0.000 | | min | 2846.000-2470.000=376.000 | | max | 2846.000-2470.000=376.000 |
| | mean | 0.374-0.382=-0.008 | | σ | 0.007-0.011=-0.004 | | min | 0.368-0.372=-0.004 | | max | 0.386-0.400=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.401-1930.386=0.015 | | σ | 0.004-0.025=-0.021 | | min | 1930.396-1930.357=0.039 | | max | 1930.407-1930.411=-0.004 |
| | mean | 2846.000-2470.000=376.000 | | σ | 0.000 | | min | 2846.000-2470.000=376.000 | | max | 2846.000-2470.000=376.000 |
| | mean | 2.565-2.566=-0.001 | | σ | 0.089-0.161=-0.072 | | min | 2.471-2.406=0.065 | | max | 2.666-2.830=-0.164 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.633-4750.851=-0.217 | | σ | 1.078-0.810=0.269 | | min | 4749.751-4750.338=-0.587 | | max | 4752.460-4752.278=0.182 |
| | mean | 2846.000-2470.000=376.000 | | σ | 0.000 | | min | 2846.000-2470.000=376.000 | | max | 2846.000-2470.000=376.000 |
| | mean | 8.686-8.637=0.049 | | σ | 0.622-0.224=0.398 | | min | 7.605-8.411=-0.806 | | max | 9.132-8.925=0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.336-4941.332=0.004 | | σ | 0.078-0.084=-0.005 | | min | 4941.271-4941.259=0.012 | | max | 4941.431-4941.426=0.005 |
| | mean | 3101.600-2961.600=140.000 | | σ | 259.112-272.859=-13.747 | | min | 2846.000-2595.000=251.000 | | max | 3364.000-3316.000=48.000 |
| | mean | 8.744-8.450=0.294 | | σ | 0.240-0.032=0.208 | | min | 8.436-8.411=0.025 | | max | 8.972-8.495=0.477 |
|