iters=5 new-facts=1 prior-facts=1 | | mean | 297.307 | | σ | 0.017 | | min | 297.277 | | max | 297.321 |
| | mean | 1563.000 | | σ | 0.000 | | min | 1563.000 | | max | 1563.000 |
| | mean | 0.392 | | σ | 0.010 | | min | 0.386 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.000 | | σ | 0.092 | | min | 1298.840 | | max | 1299.070 |
| | mean | 1563.000 | | σ | 0.000 | | min | 1563.000 | | max | 1563.000 |
| | mean | 1.883 | | σ | 0.074 | | min | 1.772 | | max | 1.939 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.187 | | σ | 6.895 | | min | 1715.994 | | max | 1731.519 |
| | mean | 1563.000 | | σ | 0.000 | | min | 1563.000 | | max | 1563.000 |
| | mean | 3.045 | | σ | 0.220 | | min | 2.854 | | max | 3.352 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.935 | | σ | 0.046 | | min | 1981.868 | | max | 1981.996 |
| | mean | 1848.000 | | σ | 245.423 | | min | 1563.000 | | max | 2144.000 |
| | mean | 3.271 | | σ | 0.262 | | min | 3.078 | | max | 3.716 |
|