iters=5 new-facts=1 prior-facts=1 | | mean | 278.719 | | σ | 0.005 | | min | 278.711 | | max | 278.723 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.880 | | σ | 0.014 | | min | 2268.856 | | max | 2268.888 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 2.984 | | σ | 0.134 | | min | 2.895 | | max | 3.220 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.259 | | σ | 0.941 | | min | 4951.407 | | max | 4953.876 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 7.998 | | σ | 0.173 | | min | 7.797 | | max | 8.250 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.095 | | σ | 0.011 | | min | 5167.083 | | max | 5167.113 |
| | mean | 3362.400 | | σ | 448.654 | | min | 2840.000 | | max | 4016.000 |
| | mean | 9.376 | | σ | 0.296 | | min | 8.955 | | max | 9.698 |
|