iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-275.569=-0.001 | | σ | 0.007-0.006=0.001 | | min | 275.557-275.561=-0.004 | | max | 275.575-275.575=-0.000 |
| | mean | 2844.000-2779.000=65.000 | | σ | 0.000 | | min | 2844.000-2779.000=65.000 | | max | 2844.000-2779.000=65.000 |
| | mean | 0.404-0.405=-0.001 | | σ | 0.007-0.012=-0.006 | | min | 0.397-0.395=0.001 | | max | 0.411-0.422=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2168.088=0.013 | | σ | 0.010-0.014=-0.004 | | min | 2168.089-2168.068=0.021 | | max | 2168.113-2168.104=0.008 |
| | mean | 2844.000-2779.000=65.000 | | σ | 0.000 | | min | 2844.000-2779.000=65.000 | | max | 2844.000-2779.000=65.000 |
| | mean | 3.050-3.026=0.024 | | σ | 0.172-0.136=0.036 | | min | 2.811-2.818=-0.008 | | max | 3.223-3.187=0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.888-5047.934=-0.046 | | σ | 0.878-0.897=-0.019 | | min | 5047.414-5047.346=0.067 | | max | 5049.450-5049.501=-0.051 |
| | mean | 2844.000-2779.000=65.000 | | σ | 0.000 | | min | 2844.000-2779.000=65.000 | | max | 2844.000-2779.000=65.000 |
| | mean | 8.830-9.191=-0.362 | | σ | 0.374-0.589=-0.215 | | min | 8.214-8.485=-0.271 | | max | 9.122-10.020=-0.898 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.908-5179.055=-0.146 | | σ | 0.263-0.084=0.180 | | min | 5178.625-5178.969=-0.345 | | max | 5179.149-5179.149=-0.000 |
| | mean | 3250.600-3258.000=-7.400 | | σ | 328.141-354.970=-26.828 | | min | 2844.000-2779.000=65.000 | | max | 3695.000-3703.000=-8.000 |
| | mean | 9.855-10.000=-0.145 | | σ | 0.323-0.259=0.065 | | min | 9.463-9.577=-0.114 | | max | 10.222-10.226=-0.004 |
|