iters=5 new-facts=1 prior-facts=1 | | mean | 301.477 | | σ | 0.053 | | min | 301.391 | | max | 301.528 |
| | mean | 1542.000 | | σ | 0.000 | | min | 1542.000 | | max | 1542.000 |
| | mean | 0.396 | | σ | 0.005 | | min | 0.392 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.050 | | σ | 0.103 | | min | 1323.930 | | max | 1324.193 |
| | mean | 1542.000 | | σ | 0.000 | | min | 1542.000 | | max | 1542.000 |
| | mean | 1.873 | | σ | 0.121 | | min | 1.748 | | max | 2.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.082 | | σ | 6.939 | | min | 1558.759 | | max | 1574.488 |
| | mean | 1542.000 | | σ | 0.000 | | min | 1542.000 | | max | 1542.000 |
| | mean | 2.321 | | σ | 0.307 | | min | 2.090 | | max | 2.842 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.951 | | σ | 0.084 | | min | 1891.825 | | max | 1892.013 |
| | mean | 1711.800 | | σ | 180.457 | | min | 1542.000 | | max | 1975.000 |
| | mean | 2.854 | | σ | 0.086 | | min | 2.711 | | max | 2.944 |
|