iters=5 new-facts=1 prior-facts=1 | | mean | 287.358 | | σ | 0.015 | | min | 287.333 | | max | 287.375 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 0.378 | | σ | 0.005 | | min | 0.373 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.314 | | σ | 0.117 | | min | 1287.254 | | max | 1287.523 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 1.852 | | σ | 0.044 | | min | 1.809 | | max | 1.902 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.656 | | σ | 7.028 | | min | 1806.282 | | max | 1822.215 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 4.186 | | σ | 0.267 | | min | 3.885 | | max | 4.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.158 | | σ | 0.008 | | min | 2072.150 | | max | 2072.171 |
| | mean | 1849.400 | | σ | 206.851 | | min | 1627.000 | | max | 2085.000 |
| | mean | 4.895 | | σ | 0.179 | | min | 4.604 | | max | 5.087 |
|