iters=5 new-facts=1 prior-facts=1 | | mean | 303.526 | | σ | 0.036 | | min | 303.479 | | max | 303.571 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.387 | | σ | 0.001 | | min | 0.386 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.080 | | σ | 0.133 | | min | 1325.903 | | max | 1326.232 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.948 | | σ | 0.112 | | min | 1.838 | | max | 2.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.107 | | σ | 6.894 | | min | 1560.797 | | max | 1576.433 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 2.278 | | σ | 0.175 | | min | 2.126 | | max | 2.570 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.006 | | σ | 0.069 | | min | 1893.890 | | max | 1894.065 |
| | mean | 1740.200 | | σ | 171.319 | | min | 1517.000 | | max | 1960.000 |
| | mean | 2.924 | | σ | 0.074 | | min | 2.825 | | max | 2.997 |
|