iters=5 new-facts=1 prior-facts=1 | | mean | 277.387-278.887=-1.500 | | σ | 0.005-0.012=-0.006 | | min | 277.382-278.870=-1.488 | | max | 277.394-278.898=-1.503 |
| | mean | 2611.000-2675.000=-64.000 | | σ | 0.000 | | min | 2611.000-2675.000=-64.000 | | max | 2611.000-2675.000=-64.000 |
| | mean | 0.394-0.417=-0.023 | | σ | 0.004-0.003=0.001 | | min | 0.391-0.415=-0.024 | | max | 0.401-0.421=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.618-2269.065=-94.447 | | σ | 0.012-0.003=0.010 | | min | 2174.601-2269.061=-94.461 | | max | 2174.634-2269.067=-94.433 |
| | mean | 2611.000-2675.000=-64.000 | | σ | 0.000 | | min | 2611.000-2675.000=-64.000 | | max | 2611.000-2675.000=-64.000 |
| | mean | 2.847-3.096=-0.249 | | σ | 0.122-0.248=-0.126 | | min | 2.745-2.795=-0.050 | | max | 3.028-3.389=-0.360 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.667-4952.061=100.606 | | σ | 1.059-1.189=-0.130 | | min | 5051.768-4950.933=100.835 | | max | 5054.497-4953.926=100.571 |
| | mean | 2611.000-2675.000=-64.000 | | σ | 0.000 | | min | 2611.000-2675.000=-64.000 | | max | 2611.000-2675.000=-64.000 |
| | mean | 9.022-8.014=1.008 | | σ | 0.413-0.342=0.071 | | min | 8.521-7.647=0.875 | | max | 9.625-8.407=1.217 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.619-5167.262=21.357 | | σ | 0.088-0.015=0.073 | | min | 5188.546-5167.252=21.294 | | max | 5188.720-5167.288=21.432 |
| | mean | 3206.000-3427.400=-221.400 | | σ | 494.302-471.015=23.287 | | min | 2611.000-2868.000=-257.000 | | max | 3866.000-4110.000=-244.000 |
| | mean | 8.699-9.363=-0.663 | | σ | 0.130-0.258=-0.128 | | min | 8.561-9.084=-0.523 | | max | 8.913-9.743=-0.830 |
|