iters=5 new-facts=1 prior-facts=1 | | mean | 269.933-269.928=0.005 | | σ | 0.010-0.006=0.004 | | min | 269.919-269.921=-0.002 | | max | 269.945-269.937=0.007 |
| | mean | 2516.000-2419.000=97.000 | | σ | 0.000 | | min | 2516.000-2419.000=97.000 | | max | 2516.000-2419.000=97.000 |
| | mean | 0.380-0.373=0.007 | | σ | 0.006-0.006=-0.000 | | min | 0.376-0.370=0.007 | | max | 0.390-0.383=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.399-1930.384=0.015 | | σ | 0.018-0.018=0.000 | | min | 1930.376-1930.363=0.013 | | max | 1930.420-1930.402=0.018 |
| | mean | 2516.000-2419.000=97.000 | | σ | 0.000 | | min | 2516.000-2419.000=97.000 | | max | 2516.000-2419.000=97.000 |
| | mean | 2.480-2.545=-0.065 | | σ | 0.124-0.156=-0.031 | | min | 2.318-2.447=-0.129 | | max | 2.661-2.818=-0.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.597-4750.847=-0.250 | | σ | 1.029-0.818=0.210 | | min | 4749.732-4750.309=-0.577 | | max | 4752.276-4752.293=-0.017 |
| | mean | 2516.000-2419.000=97.000 | | σ | 0.000 | | min | 2516.000-2419.000=97.000 | | max | 2516.000-2419.000=97.000 |
| | mean | 8.640-8.646=-0.005 | | σ | 0.228-0.188=0.040 | | min | 8.419-8.500=-0.081 | | max | 8.932-8.967=-0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334-4941.262=0.071 | | σ | 0.083-0.123=-0.039 | | min | 4941.266-4941.079=0.187 | | max | 4941.432-4941.425=0.007 |
| | mean | 2984.600-2981.800=2.800 | | σ | 308.334-282.544=25.790 | | min | 2575.000-2592.000=-17.000 | | max | 3376.000-3318.000=58.000 |
| | mean | 8.572-8.492=0.080 | | σ | 0.135-0.049=0.086 | | min | 8.412-8.409=0.003 | | max | 8.744-8.532=0.212 |
|