iters=5 new-facts=1 prior-facts=1 | | mean | 273.422 | | σ | 0.003 | | min | 273.420 | | max | 273.426 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 0.386 | | σ | 0.009 | | min | 0.380 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.810 | | σ | 0.011 | | min | 1933.793 | | max | 1933.823 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 2.864 | | σ | 0.189 | | min | 2.534 | | max | 2.984 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.547 | | σ | 0.912 | | min | 4754.107 | | max | 4756.176 |
| | mean | 2416.000 | | σ | 0.000 | | min | 2416.000 | | max | 2416.000 |
| | mean | 8.805 | | σ | 0.188 | | min | 8.575 | | max | 9.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.970 | | σ | 0.167 | | min | 4944.672 | | max | 4945.063 |
| | mean | 2978.000 | | σ | 285.703 | | min | 2596.000 | | max | 3321.000 |
| | mean | 8.659 | | σ | 0.248 | | min | 8.426 | | max | 9.027 |
|