iters=5 new-facts=1 prior-facts=1 | | mean | 193.329 | | σ | 0.008 | | min | 193.320 | | max | 193.339 |
| | mean | 2636.000 | | σ | 0.000 | | min | 2636.000 | | max | 2636.000 |
| | mean | 0.289 | | σ | 0.005 | | min | 0.282 | | max | 0.295 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1992.038 | | σ | 0.010 | | min | 1992.027 | | max | 1992.049 |
| | mean | 2636.000 | | σ | 0.000 | | min | 2636.000 | | max | 2636.000 |
| | mean | 2.641 | | σ | 0.208 | | min | 2.354 | | max | 2.931 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4882.434 | | σ | 0.850 | | min | 4881.255 | | max | 4883.641 |
| | mean | 2636.000 | | σ | 0.000 | | min | 2636.000 | | max | 2636.000 |
| | mean | 8.335 | | σ | 0.310 | | min | 8.037 | | max | 8.792 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4894.298 | | σ | 0.087 | | min | 4894.231 | | max | 4894.398 |
| | mean | 3290.600 | | σ | 500.982 | | min | 2636.000 | | max | 3762.000 |
| | mean | 8.060 | | σ | 0.087 | | min | 7.959 | | max | 8.195 |
|