iters=5 new-facts=1 prior-facts=1 | | mean | 324.773 | | σ | 0.026 | | min | 324.727 | | max | 324.788 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.324 | | σ | 0.015 | | min | 1985.303 | | max | 1985.343 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.635 | | σ | 0.098 | | min | 2.520 | | max | 2.770 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.906 | | σ | 7.873 | | min | 4804.980 | | max | 4822.976 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.765 | | σ | 0.538 | | min | 8.086 | | max | 9.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626 | | σ | 0.028 | | min | 4996.583 | | max | 4996.651 |
| | mean | 3059.200 | | σ | 298.733 | | min | 2832.000 | | max | 3518.000 |
| | mean | 8.485 | | σ | 0.119 | | min | 8.383 | | max | 8.690 |
|