iters=5 new-facts=1 prior-facts=1 | | mean | 278.816 | | σ | 0.004 | | min | 278.812 | | max | 278.821 |
| | mean | 2692.000 | | σ | 0.000 | | min | 2692.000 | | max | 2692.000 |
| | mean | 0.411 | | σ | 0.005 | | min | 0.407 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874 | | σ | 0.015 | | min | 2268.852 | | max | 2268.892 |
| | mean | 2692.000 | | σ | 0.000 | | min | 2692.000 | | max | 2692.000 |
| | mean | 2.952 | | σ | 0.110 | | min | 2.880 | | max | 3.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.215 | | σ | 0.807 | | min | 4953.726 | | max | 4955.641 |
| | mean | 2692.000 | | σ | 0.000 | | min | 2692.000 | | max | 2692.000 |
| | mean | 8.048 | | σ | 0.206 | | min | 7.738 | | max | 8.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.784 | | σ | 0.085 | | min | 5168.719 | | max | 5168.878 |
| | mean | 3376.400 | | σ | 450.816 | | min | 2773.000 | | max | 3964.000 |
| | mean | 9.177 | | σ | 0.215 | | min | 8.842 | | max | 9.428 |
|