iters=5 new-facts=1 prior-facts=1 | | mean | 324.709 | | σ | 0.040 | | min | 324.638 | | max | 324.731 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 0.426 | | σ | 0.003 | | min | 0.422 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271 | | σ | 0.008 | | min | 1985.259 | | max | 1985.277 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 2.621 | | σ | 0.178 | | min | 2.461 | | max | 2.927 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.750 | | σ | 7.396 | | min | 4805.337 | | max | 4821.980 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 8.984 | | σ | 0.227 | | min | 8.705 | | max | 9.253 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.392 | | σ | 0.157 | | min | 4996.114 | | max | 4996.478 |
| | mean | 2939.800 | | σ | 450.548 | | min | 2422.000 | | max | 3541.000 |
| | mean | 8.506 | | σ | 0.129 | | min | 8.427 | | max | 8.731 |
|