iters=5 new-facts=1 prior-facts=1 | | mean | 273.503 | | σ | 0.008 | | min | 273.491 | | max | 273.510 |
| | mean | 2869.000 | | σ | 0.000 | | min | 2869.000 | | max | 2869.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.378 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.900 | | σ | 0.013 | | min | 1933.890 | | max | 1933.921 |
| | mean | 2869.000 | | σ | 0.000 | | min | 2869.000 | | max | 2869.000 |
| | mean | 2.905 | | σ | 0.119 | | min | 2.740 | | max | 3.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.648 | | σ | 0.844 | | min | 4754.103 | | max | 4756.134 |
| | mean | 2869.000 | | σ | 0.000 | | min | 2869.000 | | max | 2869.000 |
| | mean | 8.821 | | σ | 0.478 | | min | 8.438 | | max | 9.629 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.117 | | σ | 0.016 | | min | 4945.097 | | max | 4945.134 |
| | mean | 3071.400 | | σ | 216.625 | | min | 2869.000 | | max | 3391.000 |
| | mean | 8.686 | | σ | 0.191 | | min | 8.456 | | max | 8.976 |
|