iters=5 new-facts=1 prior-facts=1 | | mean | 301.475 | | σ | 0.062 | | min | 301.376 | | max | 301.537 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.391 | | σ | 0.006 | | min | 0.386 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.071 | | σ | 0.121 | | min | 1323.925 | | max | 1324.213 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.920 | | σ | 0.104 | | min | 1.814 | | max | 2.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.061 | | σ | 6.915 | | min | 1558.748 | | max | 1574.427 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.236 | | σ | 0.261 | | min | 1.993 | | max | 2.666 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.949 | | σ | 0.071 | | min | 1891.852 | | max | 1892.011 |
| | mean | 1771.800 | | σ | 177.149 | | min | 1629.000 | | max | 2050.000 |
| | mean | 2.969 | | σ | 0.101 | | min | 2.888 | | max | 3.128 |
|