iters=5 new-facts=1 prior-facts=1 | | mean | 324.709 | | σ | 0.042 | | min | 324.635 | | max | 324.730 |
| | mean | 2813.000 | | σ | 0.000 | | min | 2813.000 | | max | 2813.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.424 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251 | | σ | 0.016 | | min | 1985.231 | | max | 1985.265 |
| | mean | 2813.000 | | σ | 0.000 | | min | 2813.000 | | max | 2813.000 |
| | mean | 2.605 | | σ | 0.086 | | min | 2.530 | | max | 2.750 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.865 | | σ | 7.692 | | min | 4805.406 | | max | 4822.625 |
| | mean | 2813.000 | | σ | 0.000 | | min | 2813.000 | | max | 2813.000 |
| | mean | 8.935 | | σ | 0.126 | | min | 8.796 | | max | 9.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.394 | | σ | 0.152 | | min | 4996.122 | | max | 4996.478 |
| | mean | 3033.600 | | σ | 215.324 | | min | 2813.000 | | max | 3354.000 |
| | mean | 8.743 | | σ | 0.171 | | min | 8.491 | | max | 8.930 |
|