iters=5 new-facts=1 prior-facts=1 | | mean | 326.638 | | σ | 0.050 | | min | 326.549 | | max | 326.673 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.428 | | σ | 0.006 | | min | 0.423 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.807 | | σ | 0.007 | | min | 1988.796 | | max | 1988.813 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 2.702 | | σ | 0.086 | | min | 2.598 | | max | 2.799 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.427 | | σ | 7.872 | | min | 4809.065 | | max | 4827.480 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 8.737 | | σ | 0.483 | | min | 8.076 | | max | 9.161 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.207 | | σ | 0.046 | | min | 5001.158 | | max | 5001.271 |
| | mean | 3011.200 | | σ | 266.130 | | min | 2650.000 | | max | 3353.000 |
| | mean | 9.500 | | σ | 0.623 | | min | 8.487 | | max | 10.165 |
|