iters=5 new-facts=1 prior-facts=1 | | mean | 337.088 | | σ | 18.105 | | min | 304.702 | | max | 345.233 |
| | mean | 2766.000 | | σ | 0.000 | | min | 2766.000 | | max | 2766.000 |
| | mean | 0.436 | | σ | 0.028 | | min | 0.386 | | max | 0.455 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.367 | | σ | 0.011 | | min | 2007.350 | | max | 2007.378 |
| | mean | 2766.000 | | σ | 0.000 | | min | 2766.000 | | max | 2766.000 |
| | mean | 2.778 | | σ | 0.133 | | min | 2.683 | | max | 3.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.148 | | σ | 7.809 | | min | 4828.173 | | max | 4846.107 |
| | mean | 2766.000 | | σ | 0.000 | | min | 2766.000 | | max | 2766.000 |
| | mean | 8.687 | | σ | 0.687 | | min | 7.762 | | max | 9.334 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.703 | | σ | 0.162 | | min | 5019.416 | | max | 5019.791 |
| | mean | 2992.200 | | σ | 222.365 | | min | 2766.000 | | max | 3314.000 |
| | mean | 9.805 | | σ | 0.165 | | min | 9.578 | | max | 10.038 |
|