iters=5 new-facts=1 prior-facts=1 | | mean | 324.572 | | σ | 0.042 | | min | 324.497 | | max | 324.596 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 0.422 | | σ | 0.001 | | min | 0.421 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.131 | | σ | 0.010 | | min | 1985.116 | | max | 1985.145 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 2.613 | | σ | 0.081 | | min | 2.554 | | max | 2.739 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.735 | | σ | 7.662 | | min | 4805.263 | | max | 4822.442 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 8.908 | | σ | 0.414 | | min | 8.380 | | max | 9.520 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.316 | | σ | 0.029 | | min | 4996.270 | | max | 4996.342 |
| | mean | 3067.600 | | σ | 302.299 | | min | 2839.000 | | max | 3537.000 |
| | mean | 8.508 | | σ | 0.162 | | min | 8.374 | | max | 8.758 |
|