iters=5 new-facts=1 prior-facts=1 | | mean | 190.719 | | σ | 0.017 | | min | 190.700 | | max | 190.742 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 0.279 | | σ | 0.001 | | min | 0.278 | | max | 0.280 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.489 | | σ | 0.011 | | min | 1989.478 | | max | 1989.505 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 2.409 | | σ | 0.097 | | min | 2.311 | | max | 2.571 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.071 | | σ | 0.598 | | min | 4879.730 | | max | 4881.133 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 8.196 | | σ | 0.197 | | min | 8.039 | | max | 8.502 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.699 | | σ | 0.080 | | min | 4891.619 | | max | 4891.792 |
| | mean | 3353.800 | | σ | 460.461 | | min | 2789.000 | | max | 4015.000 |
| | mean | 8.212 | | σ | 0.198 | | min | 7.977 | | max | 8.392 |
|