iters=5 new-facts=1 prior-facts=1 | | mean | 273.607 | | σ | 0.006 | | min | 273.600 | | max | 273.615 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.383 | | σ | 0.006 | | min | 0.380 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.995 | | σ | 0.013 | | min | 1933.979 | | max | 1934.015 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.962 | | σ | 0.114 | | min | 2.769 | | max | 3.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.619 | | σ | 0.647 | | min | 4754.208 | | max | 4755.762 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.857 | | σ | 0.451 | | min | 8.263 | | max | 9.449 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.230 | | σ | 0.020 | | min | 4945.210 | | max | 4945.255 |
| | mean | 3015.600 | | σ | 196.048 | | min | 2838.000 | | max | 3314.000 |
| | mean | 8.659 | | σ | 0.117 | | min | 8.560 | | max | 8.856 |
|