iters=5 new-facts=1 prior-facts=1 | | mean | 272.758-272.759=-0.001 | | σ | 0.002-0.005=-0.003 | | min | 272.755-272.752=0.003 | | max | 272.760-272.765=-0.005 |
| | mean | 2771.000-2458.000=313.000 | | σ | 0.000 | | min | 2771.000-2458.000=313.000 | | max | 2771.000-2458.000=313.000 |
| | mean | 0.386-0.386=0.000 | | σ | 0.006-0.005=0.001 | | min | 0.381-0.382=-0.001 | | max | 0.394-0.393=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.131-1933.124=0.008 | | σ | 0.012-0.017=-0.005 | | min | 1933.115-1933.100=0.014 | | max | 1933.143-1933.146=-0.003 |
| | mean | 2771.000-2458.000=313.000 | | σ | 0.000 | | min | 2771.000-2458.000=313.000 | | max | 2771.000-2458.000=313.000 |
| | mean | 3.036-3.043=-0.007 | | σ | 0.040-0.054=-0.014 | | min | 2.993-2.993=0.001 | | max | 3.089-3.125=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.098-4753.830=0.268 | | σ | 0.891-0.707=0.184 | | min | 4753.523-4753.164=0.359 | | max | 4755.678-4755.034=0.644 |
| | mean | 2771.000-2458.000=313.000 | | σ | 0.000 | | min | 2771.000-2458.000=313.000 | | max | 2771.000-2458.000=313.000 |
| | mean | 8.289-8.769=-0.480 | | σ | 0.507-0.309=0.198 | | min | 7.779-8.434=-0.655 | | max | 9.039-9.131=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.463-4944.455=0.008 | | σ | 0.011-0.007=0.004 | | min | 4944.449-4944.446=0.003 | | max | 4944.477-4944.464=0.013 |
| | mean | 2987.600-2905.800=81.800 | | σ | 211.214-386.476=-175.262 | | min | 2771.000-2458.000=313.000 | | max | 3294.000-3436.000=-142.000 |
| | mean | 8.531-8.399=0.132 | | σ | 0.096-0.056=0.040 | | min | 8.430-8.321=0.109 | | max | 8.655-8.451=0.204 |
|