iters=5 new-facts=1 prior-facts=1 | | mean | 278.842 | | σ | 0.009 | | min | 278.826 | | max | 278.849 |
| | mean | 2707.000 | | σ | 0.000 | | min | 2707.000 | | max | 2707.000 |
| | mean | 0.416 | | σ | 0.006 | | min | 0.408 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.906 | | σ | 0.007 | | min | 2268.893 | | max | 2268.910 |
| | mean | 2707.000 | | σ | 0.000 | | min | 2707.000 | | max | 2707.000 |
| | mean | 2.963 | | σ | 0.138 | | min | 2.874 | | max | 3.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.151 | | σ | 0.941 | | min | 4953.433 | | max | 4955.802 |
| | mean | 2707.000 | | σ | 0.000 | | min | 2707.000 | | max | 2707.000 |
| | mean | 8.070 | | σ | 0.369 | | min | 7.700 | | max | 8.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.813 | | σ | 0.083 | | min | 5168.744 | | max | 5168.905 |
| | mean | 3421.000 | | σ | 459.802 | | min | 2778.000 | | max | 3987.000 |
| | mean | 9.279 | | σ | 0.310 | | min | 8.917 | | max | 9.770 |
|