iters=5 new-facts=1 prior-facts=1 | | mean | 278.693 | | σ | 0.014 | | min | 278.676 | | max | 278.707 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.838 | | σ | 0.013 | | min | 2268.826 | | max | 2268.856 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 3.557 | | σ | 0.167 | | min | 3.383 | | max | 3.796 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.908 | | σ | 0.594 | | min | 4955.560 | | max | 4956.962 |
| | mean | 2661.000 | | σ | 0.000 | | min | 2661.000 | | max | 2661.000 |
| | mean | 8.090 | | σ | 0.411 | | min | 7.842 | | max | 8.817 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4964.551 | | σ | 461.196 | | min | 4139.538 | | max | 5170.873 |
| | mean | 3352.800 | | σ | 287.111 | | min | 2890.000 | | max | 3593.000 |
| | mean | 9.209 | | σ | 1.108 | | min | 7.364 | | max | 10.305 |
|