iters=5 new-facts=1 prior-facts=1 | | mean | 300.723 | | σ | 0.023 | | min | 300.694 | | max | 300.754 |
| | mean | 1457.000 | | σ | 0.000 | | min | 1457.000 | | max | 1457.000 |
| | mean | 0.392 | | σ | 0.006 | | min | 0.385 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.878 | | σ | 0.104 | | min | 1322.807 | | max | 1323.061 |
| | mean | 1457.000 | | σ | 0.000 | | min | 1457.000 | | max | 1457.000 |
| | mean | 1.976 | | σ | 0.133 | | min | 1.835 | | max | 2.177 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.330 | | σ | 6.873 | | min | 1557.986 | | max | 1573.617 |
| | mean | 1457.000 | | σ | 0.000 | | min | 1457.000 | | max | 1457.000 |
| | mean | 2.347 | | σ | 0.237 | | min | 2.100 | | max | 2.616 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.821 | | σ | 0.043 | | min | 1890.794 | | max | 1890.896 |
| | mean | 1764.000 | | σ | 155.702 | | min | 1529.000 | | max | 1956.000 |
| | mean | 3.098 | | σ | 0.199 | | min | 2.895 | | max | 3.317 |
|