iters=5 new-facts=1 prior-facts=1 | | mean | 274.364-273.610=0.754 | | σ | 0.006-0.004=0.003 | | min | 274.360-273.606=0.754 | | max | 274.375-273.614=0.762 |
| | mean | 2848.000-2836.000=12.000 | | σ | 0.000 | | min | 2848.000-2836.000=12.000 | | max | 2848.000-2836.000=12.000 |
| | mean | 0.382-0.387=-0.005 | | σ | 0.004-0.008=-0.004 | | min | 0.375-0.380=-0.004 | | max | 0.384-0.396=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.759-1934.002=0.757 | | σ | 0.007-0.005=0.002 | | min | 1934.751-1933.997=0.754 | | max | 1934.770-1934.009=0.760 |
| | mean | 2848.000-2836.000=12.000 | | σ | 0.000 | | min | 2848.000-2836.000=12.000 | | max | 2848.000-2836.000=12.000 |
| | mean | 3.091-2.980=0.111 | | σ | 0.304-0.111=0.193 | | min | 2.856-2.827=0.030 | | max | 3.622-3.138=0.484 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.472-4754.637=0.835 | | σ | 0.895-0.929=-0.034 | | min | 4755.037-4753.861=1.176 | | max | 4757.073-4756.250=0.822 |
| | mean | 2848.000-2836.000=12.000 | | σ | 0.000 | | min | 2848.000-2836.000=12.000 | | max | 2848.000-2836.000=12.000 |
| | mean | 8.626-8.587=0.039 | | σ | 0.501-0.219=0.282 | | min | 7.740-8.397=-0.657 | | max | 8.956-8.946=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.983-4945.153=0.829 | | σ | 0.022-0.142=-0.119 | | min | 4945.953-4944.901=1.053 | | max | 4946.007-4945.241=0.766 |
| | mean | 3069.600-3058.800=10.800 | | σ | 232.960-193.301=39.659 | | min | 2848.000-2836.000=12.000 | | max | 3406.000-3327.000=79.000 |
| | mean | 8.545-8.514=0.031 | | σ | 0.135-0.169=-0.034 | | min | 8.410-8.284=0.126 | | max | 8.724-8.730=-0.005 |
|