iters=5 new-facts=1 prior-facts=1 | | mean | 303.785 | | σ | 0.050 | | min | 303.718 | | max | 303.839 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 0.393 | | σ | 0.001 | | min | 0.391 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.327 | | σ | 0.106 | | min | 1326.196 | | max | 1326.447 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 2.008 | | σ | 0.174 | | min | 1.850 | | max | 2.283 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.416 | | σ | 6.873 | | min | 1561.164 | | max | 1576.705 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 2.335 | | σ | 0.206 | | min | 2.056 | | max | 2.511 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.282 | | σ | 0.069 | | min | 1894.160 | | max | 1894.325 |
| | mean | 1759.200 | | σ | 212.702 | | min | 1511.000 | | max | 2031.000 |
| | mean | 3.067 | | σ | 0.116 | | min | 2.888 | | max | 3.172 |
|