iters=5 new-facts=1 prior-facts=1 | | mean | 345.188 | | σ | 0.066 | | min | 345.071 | | max | 345.226 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 0.447 | | σ | 0.006 | | min | 0.443 | | max | 0.457 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.370 | | σ | 0.010 | | min | 2007.357 | | max | 2007.382 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 2.737 | | σ | 0.162 | | min | 2.612 | | max | 2.956 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.270 | | σ | 7.742 | | min | 4828.664 | | max | 4846.118 |
| | mean | 2764.000 | | σ | 0.000 | | min | 2764.000 | | max | 2764.000 |
| | mean | 8.585 | | σ | 0.658 | | min | 7.677 | | max | 9.301 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.699 | | σ | 0.151 | | min | 5019.431 | | max | 5019.788 |
| | mean | 3009.600 | | σ | 234.295 | | min | 2764.000 | | max | 3318.000 |
| | mean | 9.874 | | σ | 0.152 | | min | 9.700 | | max | 10.077 |
|