iters=5 new-facts=1 prior-facts=1 | | mean | 278.695 | | σ | 0.012 | | min | 278.682 | | max | 278.708 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.840 | | σ | 0.025 | | min | 2268.819 | | max | 2268.879 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 3.629 | | σ | 0.362 | | min | 3.385 | | max | 4.263 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.055 | | σ | 0.832 | | min | 4955.539 | | max | 4957.534 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 7.948 | | σ | 0.201 | | min | 7.769 | | max | 8.283 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.704 | | σ | 0.150 | | min | 5170.483 | | max | 5170.856 |
| | mean | 3427.200 | | σ | 500.261 | | min | 2834.000 | | max | 4166.000 |
| | mean | 9.409 | | σ | 0.123 | | min | 9.257 | | max | 9.588 |
|