iters=5 new-facts=1 prior-facts=1 | | mean | 270.588 | | σ | 0.017 | | min | 270.576 | | max | 270.618 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 0.382 | | σ | 0.006 | | min | 0.379 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.041 | | σ | 0.006 | | min | 1931.033 | | max | 1931.048 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 2.962 | | σ | 0.156 | | min | 2.697 | | max | 3.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.846 | | σ | 0.808 | | min | 4751.379 | | max | 4753.288 |
| | mean | 2768.000 | | σ | 0.000 | | min | 2768.000 | | max | 2768.000 |
| | mean | 7.975 | | σ | 0.318 | | min | 7.733 | | max | 8.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.230 | | σ | 0.023 | | min | 4942.205 | | max | 4942.260 |
| | mean | 3032.000 | | σ | 319.601 | | min | 2768.000 | | max | 3513.000 |
| | mean | 8.346 | | σ | 0.141 | | min | 8.186 | | max | 8.562 |
|