iters=5 new-facts=1 prior-facts=1 | | mean | 274.364-273.503=0.861 | | σ | 0.006-0.008=-0.001 | | min | 274.360-273.491=0.868 | | max | 274.375-273.510=0.865 |
| | mean | 2848.000-2869.000=-21.000 | | σ | 0.000 | | min | 2848.000-2869.000=-21.000 | | max | 2848.000-2869.000=-21.000 |
| | mean | 0.382-0.382=-0.000 | | σ | 0.004-0.005=-0.001 | | min | 0.375-0.378=-0.003 | | max | 0.384-0.391=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.759-1933.900=0.859 | | σ | 0.007-0.013=-0.005 | | min | 1934.751-1933.890=0.860 | | max | 1934.770-1933.921=0.848 |
| | mean | 2848.000-2869.000=-21.000 | | σ | 0.000 | | min | 2848.000-2869.000=-21.000 | | max | 2848.000-2869.000=-21.000 |
| | mean | 3.091-2.905=0.187 | | σ | 0.304-0.119=0.185 | | min | 2.856-2.740=0.116 | | max | 3.622-3.062=0.560 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.472-4754.648=0.824 | | σ | 0.895-0.844=0.051 | | min | 4755.037-4754.103=0.935 | | max | 4757.073-4756.134=0.938 |
| | mean | 2848.000-2869.000=-21.000 | | σ | 0.000 | | min | 2848.000-2869.000=-21.000 | | max | 2848.000-2869.000=-21.000 |
| | mean | 8.626-8.821=-0.195 | | σ | 0.501-0.478=0.023 | | min | 7.740-8.438=-0.698 | | max | 8.956-9.629=-0.672 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.983-4945.117=0.865 | | σ | 0.022-0.016=0.006 | | min | 4945.953-4945.097=0.856 | | max | 4946.007-4945.134=0.873 |
| | mean | 3069.600-3071.400=-1.800 | | σ | 232.960-216.625=16.335 | | min | 2848.000-2869.000=-21.000 | | max | 3406.000-3391.000=15.000 |
| | mean | 8.545-8.686=-0.140 | | σ | 0.135-0.191=-0.056 | | min | 8.410-8.456=-0.046 | | max | 8.724-8.976=-0.252 |
|