iters=5 new-facts=1 prior-facts=1 | | mean | 269.381-268.621=0.760 | | σ | 0.007-0.005=0.002 | | min | 269.372-268.615=0.756 | | max | 269.388-268.628=0.760 |
| | mean | 2694.000-2778.000=-84.000 | | σ | 0.000 | | min | 2694.000-2778.000=-84.000 | | max | 2694.000-2778.000=-84.000 |
| | mean | 0.376-0.374=0.001 | | σ | 0.004-0.004=-0.000 | | min | 0.371-0.371=0.001 | | max | 0.381-0.381=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.739-1929.012=0.728 | | σ | 0.013-0.021=-0.008 | | min | 1929.722-1928.988=0.734 | | max | 1929.751-1929.041=0.710 |
| | mean | 2694.000-2778.000=-84.000 | | σ | 0.000 | | min | 2694.000-2778.000=-84.000 | | max | 2694.000-2778.000=-84.000 |
| | mean | 2.990-2.550=0.440 | | σ | 0.102-0.106=-0.004 | | min | 2.873-2.480=0.393 | | max | 3.099-2.734=0.365 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.524-4749.774=0.750 | | σ | 0.859-0.834=0.024 | | min | 4750.042-4749.275=0.767 | | max | 4752.054-4751.261=0.793 |
| | mean | 2694.000-2778.000=-84.000 | | σ | 0.000 | | min | 2694.000-2778.000=-84.000 | | max | 2694.000-2778.000=-84.000 |
| | mean | 8.416-8.364=0.051 | | σ | 0.443-0.484=-0.041 | | min | 7.935-7.710=0.225 | | max | 9.043-9.073=-0.030 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.987-4940.226=0.760 | | σ | 0.019-0.019=-0.000 | | min | 4940.962-4940.205=0.757 | | max | 4941.005-4940.251=0.754 |
| | mean | 2952.200-2980.600=-28.400 | | σ | 300.706-263.541=37.165 | | min | 2694.000-2778.000=-84.000 | | max | 3392.000-3398.000=-6.000 |
| | mean | 8.409-8.402=0.008 | | σ | 0.070-0.054=0.016 | | min | 8.345-8.344=0.001 | | max | 8.523-8.460=0.063 |
|