iters=5 new-facts=1 prior-facts=1 | | mean | 279.510-279.528=-0.018 | | σ | 0.007-0.005=0.002 | | min | 279.499-279.523=-0.024 | | max | 279.516-279.536=-0.019 |
| | mean | 2743.000-2746.000=-3.000 | | σ | 0.000 | | min | 2743.000-2746.000=-3.000 | | max | 2743.000-2746.000=-3.000 |
| | mean | 0.410-0.407=0.002 | | σ | 0.007-0.001=0.006 | | min | 0.401-0.405=-0.004 | | max | 0.419-0.408=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442-2178.457=-0.015 | | σ | 0.012-0.012=-0.001 | | min | 2178.422-2178.439=-0.017 | | max | 2178.453-2178.474=-0.021 |
| | mean | 2743.000-2746.000=-3.000 | | σ | 0.000 | | min | 2743.000-2746.000=-3.000 | | max | 2743.000-2746.000=-3.000 |
| | mean | 3.318-3.370=-0.051 | | σ | 0.258-0.147=0.111 | | min | 2.998-3.200=-0.202 | | max | 3.718-3.556=0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.382-5056.262=0.120 | | σ | 0.932-1.071=-0.139 | | min | 5055.880-5055.343=0.536 | | max | 5058.045-5058.119=-0.074 |
| | mean | 2743.000-2746.000=-3.000 | | σ | 0.000 | | min | 2743.000-2746.000=-3.000 | | max | 2743.000-2746.000=-3.000 |
| | mean | 8.481-8.644=-0.163 | | σ | 0.392-0.510=-0.118 | | min | 8.043-7.999=0.044 | | max | 9.021-9.360=-0.339 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.660-5193.770=-0.110 | | σ | 0.134-0.089=0.046 | | min | 5193.490-5193.702=-0.212 | | max | 5193.848-5193.872=-0.024 |
| | mean | 3232.600-3273.800=-41.200 | | σ | 482.256-387.011=95.245 | | min | 2743.000-2746.000=-3.000 | | max | 3923.000-3641.000=282.000 |
| | mean | 8.784-8.819=-0.035 | | σ | 0.175-0.115=0.060 | | min | 8.635-8.665=-0.030 | | max | 9.028-8.985=0.043 |
|