iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.037 | | min | 285.343 | | max | 285.432 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.381 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.784 | | σ | 0.119 | | min | 1295.650 | | max | 1295.933 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.862 | | σ | 0.066 | | min | 1.801 | | max | 1.939 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.902 | | σ | 6.876 | | min | 1536.623 | | max | 1552.199 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 2.246 | | σ | 0.297 | | min | 1.958 | | max | 2.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.679 | | σ | 0.063 | | min | 1857.617 | | max | 1857.770 |
| | mean | 1774.800 | | σ | 172.290 | | min | 1636.000 | | max | 2029.000 |
| | mean | 2.867 | | σ | 0.059 | | min | 2.787 | | max | 2.954 |
|