iters=5 new-facts=1 prior-facts=1 | | mean | 270.143-270.122=0.020 | | σ | 0.008-0.006=0.002 | | min | 270.134-270.117=0.017 | | max | 270.156-270.132=0.024 |
| | mean | 2770.000-2411.000=359.000 | | σ | 0.000 | | min | 2770.000-2411.000=359.000 | | max | 2770.000-2411.000=359.000 |
| | mean | 0.380-0.385=-0.006 | | σ | 0.001-0.008=-0.007 | | min | 0.378-0.379=-0.002 | | max | 0.380-0.399=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.607=-0.000 | | σ | 0.006-0.006=-0.000 | | min | 1930.600-1930.598=0.002 | | max | 1930.614-1930.614=-0.001 |
| | mean | 2770.000-2411.000=359.000 | | σ | 0.000 | | min | 2770.000-2411.000=359.000 | | max | 2770.000-2411.000=359.000 |
| | mean | 2.549-2.554=-0.005 | | σ | 0.082-0.117=-0.035 | | min | 2.480-2.432=0.047 | | max | 2.686-2.686=0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.317-4751.308=0.009 | | σ | 0.925-0.852=0.073 | | min | 4750.775-4750.892=-0.117 | | max | 4752.958-4752.830=0.128 |
| | mean | 2770.000-2411.000=359.000 | | σ | 0.000 | | min | 2770.000-2411.000=359.000 | | max | 2770.000-2411.000=359.000 |
| | mean | 8.486-8.397=0.090 | | σ | 0.536-0.325=0.211 | | min | 7.664-7.845=-0.181 | | max | 9.062-8.620=0.442 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.699-4941.702=-0.003 | | σ | 0.152-0.150=0.002 | | min | 4941.428-4941.437=-0.009 | | max | 4941.784-4941.794=-0.011 |
| | mean | 3017.200-3009.200=8.000 | | σ | 230.775-293.266=-62.491 | | min | 2770.000-2601.000=169.000 | | max | 3320.000-3387.000=-67.000 |
| | mean | 8.619-8.739=-0.120 | | σ | 0.241-0.334=-0.093 | | min | 8.357-8.458=-0.102 | | max | 8.963-9.319=-0.356 |
|