iters=5 new-facts=1 prior-facts=1 | | mean | 280.908 | | σ | 0.009 | | min | 280.897 | | max | 280.915 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 0.418 | | σ | 0.006 | | min | 0.412 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.920 | | σ | 0.044 | | min | 2270.842 | | max | 2270.946 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 3.007 | | σ | 0.119 | | min | 2.909 | | max | 3.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.199 | | σ | 1.012 | | min | 5147.597 | | max | 5149.999 |
| | mean | 2741.000 | | σ | 0.000 | | min | 2741.000 | | max | 2741.000 |
| | mean | 9.165 | | σ | 0.473 | | min | 8.434 | | max | 9.714 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.253 | | σ | 0.110 | | min | 5286.109 | | max | 5286.392 |
| | mean | 3411.400 | | σ | 476.154 | | min | 2792.000 | | max | 3865.000 |
| | mean | 9.911 | | σ | 0.608 | | min | 8.854 | | max | 10.304 |
|