iters=5 new-facts=1 prior-facts=1 | | mean | 269.379-271.993=-2.614 | | σ | 0.005-0.008=-0.003 | | min | 269.371-271.985=-2.614 | | max | 269.383-272.004=-2.621 |
| | mean | 2766.000-2846.000=-80.000 | | σ | 0.000 | | min | 2766.000-2846.000=-80.000 | | max | 2766.000-2846.000=-80.000 |
| | mean | 0.376-0.394=-0.018 | | σ | 0.004-0.014=-0.009 | | min | 0.374-0.381=-0.007 | | max | 0.384-0.415=-0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.741-1932.433=-2.692 | | σ | 0.016-0.014=0.002 | | min | 1929.720-1932.417=-2.697 | | max | 1929.758-1932.449=-2.691 |
| | mean | 2766.000-2846.000=-80.000 | | σ | 0.000 | | min | 2766.000-2846.000=-80.000 | | max | 2766.000-2846.000=-80.000 |
| | mean | 2.937-2.951=-0.014 | | σ | 0.261-0.311=-0.050 | | min | 2.478-2.470=0.008 | | max | 3.104-3.339=-0.234 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.504-4752.864=-2.359 | | σ | 0.856-1.139=-0.283 | | min | 4750.078-4751.514=-1.436 | | max | 4752.035-4754.647=-2.612 |
| | mean | 2766.000-2846.000=-80.000 | | σ | 0.000 | | min | 2766.000-2846.000=-80.000 | | max | 2766.000-2846.000=-80.000 |
| | mean | 8.479-8.220=0.259 | | σ | 0.343-0.684=-0.341 | | min | 7.894-7.687=0.206 | | max | 8.784-9.289=-0.505 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.986-4943.628=-2.643 | | σ | 0.010-0.021=-0.011 | | min | 4940.972-4943.608=-2.636 | | max | 4940.994-4943.658=-2.664 |
| | mean | 2987.600-3074.400=-86.800 | | σ | 221.213-299.757=-78.544 | | min | 2766.000-2846.000=-80.000 | | max | 3309.000-3535.000=-226.000 |
| | mean | 8.423-8.423=0.000 | | σ | 0.098-0.114=-0.016 | | min | 8.348-8.313=0.034 | | max | 8.579-8.571=0.007 |
|