iters=5 new-facts=1 prior-facts=1 | | mean | 324.760 | | σ | 0.057 | | min | 324.660 | | max | 324.797 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.426 | | σ | 0.007 | | min | 0.422 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.330 | | σ | 0.007 | | min | 1985.322 | | max | 1985.338 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.559 | | σ | 0.111 | | min | 2.428 | | max | 2.685 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.093 | | σ | 7.713 | | min | 4805.594 | | max | 4822.890 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 9.051 | | σ | 0.281 | | min | 8.798 | | max | 9.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.488 | | σ | 0.183 | | min | 4996.280 | | max | 4996.643 |
| | mean | 3062.200 | | σ | 218.149 | | min | 2837.000 | | max | 3385.000 |
| | mean | 8.681 | | σ | 0.226 | | min | 8.464 | | max | 9.032 |
|