iters=5 new-facts=1 prior-facts=1 | | mean | 270.139 | | σ | 0.008 | | min | 270.130 | | max | 270.152 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 0.376 | | σ | 0.004 | | min | 0.369 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.594 | | σ | 0.024 | | min | 1930.567 | | max | 1930.616 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 2.566 | | σ | 0.155 | | min | 2.452 | | max | 2.839 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.290 | | σ | 0.909 | | min | 4750.780 | | max | 4752.908 |
| | mean | 2773.000 | | σ | 0.000 | | min | 2773.000 | | max | 2773.000 |
| | mean | 8.559 | | σ | 0.585 | | min | 7.659 | | max | 9.040 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.771 | | σ | 0.024 | | min | 4941.747 | | max | 4941.797 |
| | mean | 3020.800 | | σ | 226.564 | | min | 2773.000 | | max | 3319.000 |
| | mean | 8.785 | | σ | 0.282 | | min | 8.490 | | max | 9.209 |
|