iters=5 new-facts=1 prior-facts=1 | | mean | 300.682 | | σ | 0.045 | | min | 300.605 | | max | 300.716 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.401 | | σ | 0.006 | | min | 0.391 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.871 | | σ | 0.102 | | min | 1322.811 | | max | 1323.049 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.944 | | σ | 0.098 | | min | 1.835 | | max | 2.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.303 | | σ | 6.929 | | min | 1557.998 | | max | 1573.692 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.272 | | σ | 0.379 | | min | 1.920 | | max | 2.901 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.787 | | σ | 0.015 | | min | 1890.777 | | max | 1890.814 |
| | mean | 1778.200 | | σ | 166.384 | | min | 1645.000 | | max | 2031.000 |
| | mean | 2.921 | | σ | 0.059 | | min | 2.872 | | max | 3.019 |
|