iters=5 new-facts=1 prior-facts=1 | | mean | 271.602 | | σ | 0.008 | | min | 271.593 | | max | 271.609 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 0.385 | | σ | 0.005 | | min | 0.380 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1791.737 | | σ | 313.621 | | min | 1230.715 | | max | 1932.015 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 2.359 | | σ | 0.419 | | min | 1.625 | | max | 2.646 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.697 | | σ | 0.940 | | min | 4752.251 | | max | 4754.377 |
| | mean | 2709.000 | | σ | 0.000 | | min | 2709.000 | | max | 2709.000 |
| | mean | 8.815 | | σ | 0.305 | | min | 8.315 | | max | 9.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.137 | | σ | 0.169 | | min | 4942.836 | | max | 4943.223 |
| | mean | 2932.800 | | σ | 219.313 | | min | 2709.000 | | max | 3260.000 |
| | mean | 8.538 | | σ | 0.270 | | min | 8.335 | | max | 9.012 |
|