iters=5 new-facts=1 prior-facts=1 | | mean | 275.568 | | σ | 0.008 | | min | 275.561 | | max | 275.580 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 0.407 | | σ | 0.012 | | min | 0.395 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094 | | σ | 0.011 | | min | 2168.079 | | max | 2168.106 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 2.966 | | σ | 0.131 | | min | 2.776 | | max | 3.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.924 | | σ | 0.906 | | min | 5047.398 | | max | 5049.539 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 8.994 | | σ | 0.392 | | min | 8.304 | | max | 9.246 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.047 | | σ | 0.081 | | min | 5178.970 | | max | 5179.151 |
| | mean | 3284.200 | | σ | 418.538 | | min | 2701.000 | | max | 3671.000 |
| | mean | 9.788 | | σ | 0.584 | | min | 8.830 | | max | 10.247 |
|