iters=5 new-facts=1 prior-facts=1 | | mean | 278.696 | | σ | 0.013 | | min | 278.682 | | max | 278.717 |
| | mean | 2819.000 | | σ | 0.000 | | min | 2819.000 | | max | 2819.000 |
| | mean | 0.417 | | σ | 0.001 | | min | 0.415 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872 | | σ | 0.005 | | min | 2268.865 | | max | 2268.879 |
| | mean | 2819.000 | | σ | 0.000 | | min | 2819.000 | | max | 2819.000 |
| | mean | 2.942 | | σ | 0.108 | | min | 2.869 | | max | 3.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.372 | | σ | 0.750 | | min | 4951.965 | | max | 4953.711 |
| | mean | 2819.000 | | σ | 0.000 | | min | 2819.000 | | max | 2819.000 |
| | mean | 7.731 | | σ | 0.192 | | min | 7.565 | | max | 7.951 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.934 | | σ | 0.188 | | min | 5166.721 | | max | 5167.077 |
| | mean | 3401.600 | | σ | 425.623 | | min | 2819.000 | | max | 3932.000 |
| | mean | 9.607 | | σ | 0.216 | | min | 9.393 | | max | 9.901 |
|