iters=5 new-facts=1 prior-facts=1 | | mean | 273.407-275.758=-2.350 | | σ | 0.010-0.008=0.003 | | min | 273.399-275.751=-2.352 | | max | 273.422-275.766=-2.344 |
| | mean | 2450.000-2494.000=-44.000 | | σ | 0.000 | | min | 2450.000-2494.000=-44.000 | | max | 2450.000-2494.000=-44.000 |
| | mean | 0.402-0.400=0.002 | | σ | 0.007-0.007=0.001 | | min | 0.391-0.395=-0.004 | | max | 0.410-0.412=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.838-2168.282=-234.443 | | σ | 0.013-0.011=0.001 | | min | 1933.822-2168.263=-234.441 | | max | 1933.851-2168.291=-234.440 |
| | mean | 2450.000-2494.000=-44.000 | | σ | 0.000 | | min | 2450.000-2494.000=-44.000 | | max | 2450.000-2494.000=-44.000 |
| | mean | 3.105-2.991=0.115 | | σ | 0.133-0.160=-0.027 | | min | 2.998-2.793=0.206 | | max | 3.279-3.121=0.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.250-5047.878=-293.627 | | σ | 0.702-0.740=-0.038 | | min | 4753.740-5047.225=-293.485 | | max | 4755.488-5049.148=-293.661 |
| | mean | 2450.000-2494.000=-44.000 | | σ | 0.000 | | min | 2450.000-2494.000=-44.000 | | max | 2450.000-2494.000=-44.000 |
| | mean | 8.753-8.846=-0.094 | | σ | 0.730-0.452=0.279 | | min | 7.686-8.286=-0.600 | | max | 9.642-9.392=0.250 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.807-5178.877=-234.070 | | σ | 0.086-0.387=-0.300 | | min | 4944.739-5178.446=-233.707 | | max | 4944.902-5179.342=-234.440 |
| | mean | 2980.000-3221.800=-241.800 | | σ | 351.343-383.720=-32.376 | | min | 2529.000-2704.000=-175.000 | | max | 3317.000-3723.000=-406.000 |
| | mean | 8.676-9.763=-1.087 | | σ | 0.170-0.317=-0.147 | | min | 8.465-9.414=-0.949 | | max | 8.891-10.105=-1.214 |
|