iters=5 new-facts=1 prior-facts=1 | | mean | 326.636-326.642=-0.006 | | σ | 0.053-0.050=0.003 | | min | 326.541-326.552=-0.011 | | max | 326.667-326.672=-0.005 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 0.427-0.424=0.003 | | σ | 0.004-0.001=0.003 | | min | 0.423-0.422=0.001 | | max | 0.432-0.425=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.801-1988.802=-0.001 | | σ | 0.013-0.010=0.003 | | min | 1988.784-1988.791=-0.007 | | max | 1988.814-1988.814=-0.000 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 2.779-2.691=0.088 | | σ | 0.163-0.082=0.081 | | min | 2.664-2.603=0.061 | | max | 3.044-2.784=0.260 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.682-4813.521=0.161 | | σ | 7.767-7.807=-0.040 | | min | 4810.127-4809.608=0.518 | | max | 4827.575-4827.479=0.096 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 8.617-8.812=-0.195 | | σ | 0.770-0.289=0.481 | | min | 7.744-8.533=-0.789 | | max | 9.637-9.176=0.460 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.126-5001.134=-0.008 | | σ | 0.177-0.152=0.025 | | min | 5000.813-5000.864=-0.051 | | max | 5001.228-5001.225=0.002 |
| | mean | 2984.800-3047.400=-62.600 | | σ | 404.790-208.495=196.295 | | min | 2617.000-2834.000=-217.000 | | max | 3557.000-3311.000=246.000 |
| | mean | 9.729-9.824=-0.095 | | σ | 0.211-0.134=0.077 | | min | 9.411-9.628=-0.218 | | max | 9.994-9.976=0.018 |
|