iters=5 new-facts=1 prior-facts=1 | | mean | 275.755 | | σ | 0.008 | | min | 275.745 | | max | 275.765 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.404 | | σ | 0.011 | | min | 0.395 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.279 | | σ | 0.015 | | min | 2168.258 | | max | 2168.297 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 2.997 | | σ | 0.144 | | min | 2.757 | | max | 3.114 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.106 | | σ | 0.943 | | min | 5047.601 | | max | 5049.790 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.940 | | σ | 0.261 | | min | 8.589 | | max | 9.319 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.239 | | σ | 0.091 | | min | 5179.143 | | max | 5179.344 |
| | mean | 3232.600 | | σ | 392.878 | | min | 2701.000 | | max | 3741.000 |
| | mean | 9.632 | | σ | 0.775 | | min | 8.589 | | max | 10.604 |
|