iters=5 new-facts=1 prior-facts=1 | | mean | 272.791 | | σ | 0.008 | | min | 272.782 | | max | 272.803 |
| | mean | 2518.000 | | σ | 0.000 | | min | 2518.000 | | max | 2518.000 |
| | mean | 0.379 | | σ | 0.005 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.218 | | σ | 0.010 | | min | 1933.205 | | max | 1933.233 |
| | mean | 2518.000 | | σ | 0.000 | | min | 2518.000 | | max | 2518.000 |
| | mean | 2.989 | | σ | 0.121 | | min | 2.873 | | max | 3.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.730 | | σ | 7.377 | | min | 4752.891 | | max | 4769.913 |
| | mean | 2518.000 | | σ | 0.000 | | min | 2518.000 | | max | 2518.000 |
| | mean | 8.636 | | σ | 0.409 | | min | 8.209 | | max | 9.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.452 | | σ | 0.027 | | min | 4944.415 | | max | 4944.481 |
| | mean | 2938.200 | | σ | 296.406 | | min | 2518.000 | | max | 3305.000 |
| | mean | 8.484 | | σ | 0.169 | | min | 8.293 | | max | 8.700 |
|