iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-277.719=0.000 | | σ | 0.008-0.008=0.000 | | min | 277.708-277.708=0.000 | | max | 277.730-277.729=0.001 |
| | mean | 2653.000-2649.000=4.000 | | σ | 0.000 | | min | 2653.000-2649.000=4.000 | | max | 2653.000-2649.000=4.000 |
| | mean | 0.409-0.407=0.003 | | σ | 0.001-0.002=-0.001 | | min | 0.409-0.404=0.005 | | max | 0.410-0.408=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.869-2267.892=-0.022 | | σ | 0.016-0.012=0.004 | | min | 2267.850-2267.881=-0.031 | | max | 2267.888-2267.910=-0.022 |
| | mean | 2653.000-2649.000=4.000 | | σ | 0.000 | | min | 2653.000-2649.000=4.000 | | max | 2653.000-2649.000=4.000 |
| | mean | 3.235-3.079=0.157 | | σ | 0.196-0.229=-0.033 | | min | 2.930-2.739=0.191 | | max | 3.437-3.333=0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.056-4954.921=0.135 | | σ | 0.819-0.927=-0.108 | | min | 4954.595-4954.069=0.526 | | max | 4956.514-4956.501=0.014 |
| | mean | 2653.000-2649.000=4.000 | | σ | 0.000 | | min | 2653.000-2649.000=4.000 | | max | 2653.000-2649.000=4.000 |
| | mean | 7.919-7.924=-0.004 | | σ | 0.290-0.318=-0.028 | | min | 7.642-7.635=0.007 | | max | 8.323-8.389=-0.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.646-5169.787=-0.141 | | σ | 0.222-0.086=0.136 | | min | 5169.343-5169.693=-0.349 | | max | 5169.852-5169.855=-0.003 |
| | mean | 3359.200-3374.000=-14.800 | | σ | 451.646-518.675=-67.029 | | min | 2919.000-2909.000=10.000 | | max | 3821.000-4117.000=-296.000 |
| | mean | 9.364-9.102=0.263 | | σ | 0.136-0.163=-0.027 | | min | 9.138-8.870=0.268 | | max | 9.474-9.301=0.172 |
|