iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-279.512=0.001 | | σ | 0.011-0.008=0.003 | | min | 279.495-279.500=-0.004 | | max | 279.524-279.521=0.003 |
| | mean | 2838.000-2744.000=94.000 | | σ | 0.000 | | min | 2838.000-2744.000=94.000 | | max | 2838.000-2744.000=94.000 |
| | mean | 0.415-0.405=0.011 | | σ | 0.014-0.005=0.009 | | min | 0.404-0.400=0.004 | | max | 0.438-0.413=0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.451-2178.438=0.013 | | σ | 0.011-0.012=-0.000 | | min | 2178.441-2178.426=0.015 | | max | 2178.470-2178.455=0.016 |
| | mean | 2838.000-2744.000=94.000 | | σ | 0.000 | | min | 2838.000-2744.000=94.000 | | max | 2838.000-2744.000=94.000 |
| | mean | 3.311-3.366=-0.055 | | σ | 0.177-0.211=-0.034 | | min | 3.006-3.194=-0.188 | | max | 3.459-3.728=-0.269 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.374-5056.359=0.015 | | σ | 0.990-0.980=0.010 | | min | 5055.774-5055.804=-0.030 | | max | 5058.131-5058.104=0.026 |
| | mean | 2838.000-2744.000=94.000 | | σ | 0.000 | | min | 2838.000-2744.000=94.000 | | max | 2838.000-2744.000=94.000 |
| | mean | 9.184-8.945=0.239 | | σ | 0.463-0.600=-0.137 | | min | 8.393-8.067=0.327 | | max | 9.569-9.559=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.659-5193.736=-0.078 | | σ | 0.086-0.095=-0.010 | | min | 5193.512-5193.622=-0.110 | | max | 5193.730-5193.854=-0.125 |
| | mean | 3304.800-3220.400=84.400 | | σ | 454.169-467.854=-13.685 | | min | 2838.000-2744.000=94.000 | | max | 3944.000-3892.000=52.000 |
| | mean | 8.796-8.717=0.079 | | σ | 0.169-0.204=-0.035 | | min | 8.650-8.540=0.110 | | max | 8.996-9.070=-0.074 |
|