iters=5 new-facts=1 prior-facts=1 | | mean | 274.876 | | σ | 0.010 | | min | 274.864 | | max | 274.887 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 0.408 | | σ | 0.002 | | min | 0.405 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2265.116 | | σ | 0.010 | | min | 2265.100 | | max | 2265.124 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 2.988 | | σ | 0.120 | | min | 2.833 | | max | 3.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.098 | | σ | 0.845 | | min | 4951.386 | | max | 4953.560 |
| | mean | 2658.000 | | σ | 0.000 | | min | 2658.000 | | max | 2658.000 |
| | mean | 7.934 | | σ | 0.124 | | min | 7.763 | | max | 8.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.853 | | σ | 0.117 | | min | 5166.687 | | max | 5167.016 |
| | mean | 3495.800 | | σ | 455.429 | | min | 2883.000 | | max | 4108.000 |
| | mean | 9.399 | | σ | 0.278 | | min | 9.078 | | max | 9.800 |
|