iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-277.198=-0.005 | | σ | 0.005-0.012=-0.007 | | min | 277.187-277.179=0.008 | | max | 277.198-277.208=-0.010 |
| | mean | 2632.000-2707.000=-75.000 | | σ | 0.000 | | min | 2632.000-2707.000=-75.000 | | max | 2632.000-2707.000=-75.000 |
| | mean | 0.393-0.408=-0.015 | | σ | 0.002-0.009=-0.007 | | min | 0.390-0.403=-0.013 | | max | 0.394-0.423=-0.029 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.418-2174.427=-0.010 | | σ | 0.050-0.020=0.030 | | min | 2174.342-2174.393=-0.051 | | max | 2174.480-2174.442=0.038 |
| | mean | 2632.000-2707.000=-75.000 | | σ | 0.000 | | min | 2632.000-2707.000=-75.000 | | max | 2632.000-2707.000=-75.000 |
| | mean | 2.891-3.077=-0.186 | | σ | 0.151-0.150=0.001 | | min | 2.756-2.889=-0.133 | | max | 3.099-3.285=-0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.602-5052.632=-0.031 | | σ | 0.973-0.988=-0.014 | | min | 5052.014-5052.035=-0.020 | | max | 5054.335-5054.386=-0.051 |
| | mean | 2632.000-2707.000=-75.000 | | σ | 0.000 | | min | 2632.000-2707.000=-75.000 | | max | 2632.000-2707.000=-75.000 |
| | mean | 8.818-8.737=0.082 | | σ | 0.599-0.533=0.066 | | min | 7.991-8.293=-0.302 | | max | 9.464-9.574=-0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.428-5188.357=0.071 | | σ | 0.089-0.200=-0.111 | | min | 5188.352-5188.030=0.323 | | max | 5188.528-5188.523=0.006 |
| | mean | 3200.000-3222.600=-22.600 | | σ | 475.163-372.707=102.456 | | min | 2632.000-2707.000=-75.000 | | max | 3834.000-3693.000=141.000 |
| | mean | 8.729-8.831=-0.103 | | σ | 0.181-0.285=-0.104 | | min | 8.626-8.583=0.043 | | max | 9.050-9.316=-0.267 |
|