iters=5 new-facts=1 prior-facts=1 | | mean | 269.362 | | σ | 0.013 | | min | 269.346 | | max | 269.376 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.378 | | σ | 0.005 | | min | 0.374 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.753 | | σ | 0.018 | | min | 1929.740 | | max | 1929.785 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 2.969 | | σ | 0.320 | | min | 2.469 | | max | 3.324 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.494 | | σ | 0.838 | | min | 4750.029 | | max | 4751.987 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.449 | | σ | 0.500 | | min | 7.756 | | max | 8.968 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.989 | | σ | 0.012 | | min | 4940.974 | | max | 4941.004 |
| | mean | 3030.000 | | σ | 286.497 | | min | 2695.000 | | max | 3414.000 |
| | mean | 8.547 | | σ | 0.174 | | min | 8.360 | | max | 8.771 |
|