iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-277.721=0.975 | | σ | 0.012-0.008=0.004 | | min | 278.687-277.712=0.975 | | max | 278.718-277.733=0.985 |
| | mean | 2659.000-2668.000=-9.000 | | σ | 0.000 | | min | 2659.000-2668.000=-9.000 | | max | 2659.000-2668.000=-9.000 |
| | mean | 0.415-0.408=0.008 | | σ | 0.001-0.001=0.000 | | min | 0.414-0.407=0.008 | | max | 0.417-0.409=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2267.891=0.981 | | σ | 0.003-0.007=-0.004 | | min | 2268.869-2267.881=0.988 | | max | 2268.876-2267.896=0.980 |
| | mean | 2659.000-2668.000=-9.000 | | σ | 0.000 | | min | 2659.000-2668.000=-9.000 | | max | 2659.000-2668.000=-9.000 |
| | mean | 2.891-3.085=-0.194 | | σ | 0.027-0.176=-0.149 | | min | 2.868-2.846=0.022 | | max | 2.934-3.239=-0.305 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.218-4955.080=-2.862 | | σ | 0.762-0.806=-0.044 | | min | 4951.859-4954.618=-2.759 | | max | 4953.580-4956.517=-2.937 |
| | mean | 2659.000-2668.000=-9.000 | | σ | 0.000 | | min | 2659.000-2668.000=-9.000 | | max | 2659.000-2668.000=-9.000 |
| | mean | 7.745-7.868=-0.123 | | σ | 0.090-0.178=-0.087 | | min | 7.605-7.668=-0.063 | | max | 7.841-8.010=-0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.920-5169.793=-2.873 | | σ | 0.009-0.084=-0.075 | | min | 5166.909-5169.700=-2.791 | | max | 5166.933-5169.868=-2.935 |
| | mean | 3399.400-3425.000=-25.600 | | σ | 459.749-501.460=-41.711 | | min | 2782.000-2830.000=-48.000 | | max | 3987.000-4163.000=-176.000 |
| | mean | 9.464-9.268=0.196 | | σ | 0.363-0.308=0.055 | | min | 8.976-8.979=-0.003 | | max | 9.968-9.787=0.180 |
|