iters=5 new-facts=1 prior-facts=1 | | mean | 303.780 | | σ | 0.069 | | min | 303.669 | | max | 303.841 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.399 | | σ | 0.010 | | min | 0.390 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.344 | | σ | 0.121 | | min | 1326.196 | | max | 1326.474 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.924 | | σ | 0.111 | | min | 1.801 | | max | 2.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.394 | | σ | 6.901 | | min | 1561.095 | | max | 1576.734 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.283 | | σ | 0.171 | | min | 2.037 | | max | 2.494 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.286 | | σ | 0.075 | | min | 1894.156 | | max | 1894.336 |
| | mean | 1788.800 | | σ | 168.731 | | min | 1639.000 | | max | 2023.000 |
| | mean | 3.030 | | σ | 0.141 | | min | 2.869 | | max | 3.206 |
|