iters=5 new-facts=1 prior-facts=1 | | mean | 301.464 | | σ | 0.078 | | min | 301.331 | | max | 301.533 |
| | mean | 1450.000 | | σ | 0.000 | | min | 1450.000 | | max | 1450.000 |
| | mean | 0.398 | | σ | 0.008 | | min | 0.389 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.069 | | σ | 0.119 | | min | 1323.924 | | max | 1324.206 |
| | mean | 1450.000 | | σ | 0.000 | | min | 1450.000 | | max | 1450.000 |
| | mean | 1.906 | | σ | 0.138 | | min | 1.817 | | max | 2.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.093 | | σ | 6.888 | | min | 1558.788 | | max | 1574.410 |
| | mean | 1450.000 | | σ | 0.000 | | min | 1450.000 | | max | 1450.000 |
| | mean | 2.312 | | σ | 0.233 | | min | 2.023 | | max | 2.560 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.958 | | σ | 0.068 | | min | 1891.859 | | max | 1892.012 |
| | mean | 1733.000 | | σ | 232.799 | | min | 1450.000 | | max | 2031.000 |
| | mean | 2.940 | | σ | 0.084 | | min | 2.871 | | max | 3.050 |
|