iters=5 new-facts=1 prior-facts=1 | | mean | 272.788-272.794=-0.006 | | σ | 0.008-0.006=0.002 | | min | 272.774-272.786=-0.012 | | max | 272.796-272.802=-0.006 |
| | mean | 2495.000-2774.000=-279.000 | | σ | 0.000 | | min | 2495.000-2774.000=-279.000 | | max | 2495.000-2774.000=-279.000 |
| | mean | 0.379-0.377=0.001 | | σ | 0.001-0.003=-0.001 | | min | 0.376-0.374=0.003 | | max | 0.380-0.381=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.220-1933.226=-0.006 | | σ | 0.006-0.006=0.000 | | min | 1933.209-1933.218=-0.009 | | max | 1933.226-1933.234=-0.008 |
| | mean | 2495.000-2774.000=-279.000 | | σ | 0.000 | | min | 2495.000-2774.000=-279.000 | | max | 2495.000-2774.000=-279.000 |
| | mean | 3.003-3.099=-0.097 | | σ | 0.121-0.102=0.020 | | min | 2.849-3.017=-0.168 | | max | 3.186-3.238=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.970-4756.938=0.033 | | σ | 7.594-7.601=-0.007 | | min | 4753.497-4753.507=-0.010 | | max | 4770.554-4770.535=0.019 |
| | mean | 2495.000-2774.000=-279.000 | | σ | 0.000 | | min | 2495.000-2774.000=-279.000 | | max | 2495.000-2774.000=-279.000 |
| | mean | 8.499-8.502=-0.003 | | σ | 0.423-0.246=0.177 | | min | 7.870-8.095=-0.225 | | max | 8.876-8.739=0.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.308-4944.456=-0.148 | | σ | 0.312-0.009=0.303 | | min | 4943.750-4944.443=-0.693 | | max | 4944.462-4944.468=-0.006 |
| | mean | 2930.200-3049.000=-118.800 | | σ | 383.960-266.364=117.595 | | min | 2495.000-2774.000=-279.000 | | max | 3419.000 |
| | mean | 8.445-8.729=-0.284 | | σ | 0.102-0.352=-0.250 | | min | 8.333-8.404=-0.071 | | max | 8.602-9.226=-0.624 |
|