iters=5 new-facts=1 prior-facts=1 | | mean | 294.676 | | σ | 0.011 | | min | 294.660 | | max | 294.692 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 0.382 | | σ | 0.006 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.106 | | min | 1316.874 | | max | 1317.124 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 1.968 | | σ | 0.111 | | min | 1.864 | | max | 2.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.272 | | σ | 6.842 | | min | 1551.966 | | max | 1567.505 |
| | mean | 1663.000 | | σ | 0.000 | | min | 1663.000 | | max | 1663.000 |
| | mean | 2.238 | | σ | 0.226 | | min | 2.102 | | max | 2.641 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.776 | | σ | 0.038 | | min | 1884.737 | | max | 1884.840 |
| | mean | 1789.800 | | σ | 163.553 | | min | 1663.000 | | max | 2044.000 |
| | mean | 2.911 | | σ | 0.143 | | min | 2.722 | | max | 3.126 |
|