iters=5 new-facts=1 prior-facts=1 | | mean | 294.676 | | σ | 0.017 | | min | 294.660 | | max | 294.702 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.384 | | σ | 0.006 | | min | 0.380 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.099 | | min | 1316.888 | | max | 1317.116 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.924 | | σ | 0.075 | | min | 1.852 | | max | 2.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.277 | | σ | 6.863 | | min | 1551.961 | | max | 1567.547 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.322 | | σ | 0.279 | | min | 2.133 | | max | 2.780 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.776 | | σ | 0.026 | | min | 1884.760 | | max | 1884.821 |
| | mean | 1792.800 | | σ | 162.734 | | min | 1655.000 | | max | 2031.000 |
| | mean | 2.908 | | σ | 0.047 | | min | 2.833 | | max | 2.963 |
|