iters=5 new-facts=1 prior-facts=1 | | mean | 266.765-266.784=-0.019 | | σ | 0.015-0.010=0.005 | | min | 266.752-266.774=-0.022 | | max | 266.790-266.799=-0.008 |
| | mean | 2473.000-2470.000=3.000 | | σ | 0.000 | | min | 2473.000-2470.000=3.000 | | max | 2473.000-2470.000=3.000 |
| | mean | 0.375-0.378=-0.003 | | σ | 0.002-0.009=-0.007 | | min | 0.373-0.372=0.001 | | max | 0.377-0.392=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.220-1927.207=0.013 | | σ | 0.014-0.011=0.003 | | min | 1927.206-1927.197=0.009 | | max | 1927.236-1927.223=0.013 |
| | mean | 2473.000-2470.000=3.000 | | σ | 0.000 | | min | 2473.000-2470.000=3.000 | | max | 2473.000-2470.000=3.000 |
| | mean | 2.915-2.999=-0.083 | | σ | 0.255-0.072=0.183 | | min | 2.476-2.890=-0.413 | | max | 3.126-3.088=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.726-4747.738=-0.012 | | σ | 0.816-0.822=-0.006 | | min | 4747.315-4747.220=0.095 | | max | 4749.184-4749.191=-0.007 |
| | mean | 2473.000-2470.000=3.000 | | σ | 0.000 | | min | 2473.000-2470.000=3.000 | | max | 2473.000-2470.000=3.000 |
| | mean | 8.322-8.317=0.004 | | σ | 0.680-0.531=0.150 | | min | 7.697-7.810=-0.113 | | max | 9.112-9.071=0.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.088-4938.166=-0.079 | | σ | 0.124-0.082=0.043 | | min | 4937.899-4938.103=-0.204 | | max | 4938.247-4938.257=-0.011 |
| | mean | 2942.200-2943.600=-1.400 | | σ | 408.109-416.301=-8.192 | | min | 2483.000-2470.000=13.000 | | max | 3483.000-3514.000=-31.000 |
| | mean | 8.462-8.440=0.023 | | σ | 0.075-0.100=-0.026 | | min | 8.414-8.340=0.074 | | max | 8.595-8.577=0.018 |
|