iters=5 new-facts=1 prior-facts=1 | | mean | 294.677 | | σ | 0.013 | | min | 294.656 | | max | 294.689 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.377 | | σ | 0.006 | | min | 0.372 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.931 | | σ | 0.103 | | min | 1316.871 | | max | 1317.114 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.888 | | σ | 0.074 | | min | 1.802 | | max | 1.985 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.291 | | σ | 6.851 | | min | 1551.972 | | max | 1567.541 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.272 | | σ | 0.221 | | min | 2.136 | | max | 2.658 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.780 | | σ | 0.028 | | min | 1884.753 | | max | 1884.826 |
| | mean | 1743.600 | | σ | 134.925 | | min | 1655.000 | | max | 1960.000 |
| | mean | 2.934 | | σ | 0.069 | | min | 2.872 | | max | 3.014 |
|