iters=5 new-facts=1 prior-facts=1 | | mean | 324.021 | | σ | 0.050 | | min | 323.931 | | max | 324.047 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 0.428 | | σ | 0.004 | | min | 0.425 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595 | | σ | 0.017 | | min | 1984.574 | | max | 1984.611 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 2.668 | | σ | 0.140 | | min | 2.582 | | max | 2.912 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.243 | | σ | 7.761 | | min | 4804.702 | | max | 4822.126 |
| | mean | 2888.000 | | σ | 0.000 | | min | 2888.000 | | max | 2888.000 |
| | mean | 8.758 | | σ | 0.306 | | min | 8.447 | | max | 9.134 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.801 | | σ | 0.025 | | min | 4995.775 | | max | 4995.838 |
| | mean | 3091.200 | | σ | 299.271 | | min | 2888.000 | | max | 3564.000 |
| | mean | 8.512 | | σ | 0.108 | | min | 8.449 | | max | 8.704 |
|