iters=5 new-facts=1 prior-facts=1 | | mean | 278.818 | | σ | 0.006 | | min | 278.809 | | max | 278.823 |
| | mean | 2617.000 | | σ | 0.000 | | min | 2617.000 | | max | 2617.000 |
| | mean | 0.413 | | σ | 0.006 | | min | 0.407 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.878 | | σ | 0.008 | | min | 2268.866 | | max | 2268.889 |
| | mean | 2617.000 | | σ | 0.000 | | min | 2617.000 | | max | 2617.000 |
| | mean | 2.973 | | σ | 0.116 | | min | 2.881 | | max | 3.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.197 | | σ | 0.863 | | min | 4953.693 | | max | 4955.735 |
| | mean | 2617.000 | | σ | 0.000 | | min | 2617.000 | | max | 2617.000 |
| | mean | 8.272 | | σ | 0.217 | | min | 7.939 | | max | 8.490 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.720 | | σ | 0.195 | | min | 5168.397 | | max | 5168.878 |
| | mean | 3442.400 | | σ | 463.570 | | min | 2867.000 | | max | 4114.000 |
| | mean | 9.277 | | σ | 0.126 | | min | 9.142 | | max | 9.442 |
|