iters=5 new-facts=1 prior-facts=1 | | mean | 278.264 | | σ | 0.007 | | min | 278.258 | | max | 278.277 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 0.414 | | σ | 0.011 | | min | 0.404 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.522 | | σ | 0.011 | | min | 2175.510 | | max | 2175.537 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 2.886 | | σ | 0.230 | | min | 2.687 | | max | 3.277 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.468 | | σ | 1.061 | | min | 5133.600 | | max | 5136.317 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 9.075 | | σ | 0.323 | | min | 8.617 | | max | 9.528 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.359 | | σ | 0.102 | | min | 5238.265 | | max | 5238.470 |
| | mean | 3205.600 | | σ | 448.846 | | min | 2731.000 | | max | 3841.000 |
| | mean | 8.829 | | σ | 0.101 | | min | 8.732 | | max | 8.987 |
|