iters=5 new-facts=1 prior-facts=1 | | mean | 190.718 | | σ | 0.006 | | min | 190.710 | | max | 190.727 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 0.281 | | σ | 0.005 | | min | 0.277 | | max | 0.289 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.500 | | σ | 0.005 | | min | 1989.491 | | max | 1989.503 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 2.652 | | σ | 0.093 | | min | 2.513 | | max | 2.727 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.177 | | σ | 0.622 | | min | 4879.889 | | max | 4881.291 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 8.202 | | σ | 0.188 | | min | 8.000 | | max | 8.467 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.792 | | σ | 0.009 | | min | 4891.777 | | max | 4891.798 |
| | mean | 3276.000 | | σ | 512.562 | | min | 2606.000 | | max | 3761.000 |
| | mean | 8.067 | | σ | 0.121 | | min | 7.965 | | max | 8.215 |
|