iters=5 new-facts=1 prior-facts=1 | | mean | 324.012 | | σ | 0.055 | | min | 323.913 | | max | 324.038 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585 | | σ | 0.023 | | min | 1984.561 | | max | 1984.608 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 2.654 | | σ | 0.111 | | min | 2.558 | | max | 2.794 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.037 | | σ | 7.866 | | min | 4803.617 | | max | 4822.076 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 8.580 | | σ | 0.362 | | min | 8.116 | | max | 8.978 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.740 | | σ | 0.160 | | min | 4995.458 | | max | 4995.843 |
| | mean | 3048.600 | | σ | 344.175 | | min | 2773.000 | | max | 3570.000 |
| | mean | 8.498 | | σ | 0.118 | | min | 8.406 | | max | 8.690 |
|