iters=5 new-facts=1 prior-facts=1 | | mean | 282.194 | | σ | 0.008 | | min | 282.180 | | max | 282.200 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 0.408 | | σ | 0.002 | | min | 0.405 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.713 | | σ | 0.020 | | min | 2174.677 | | max | 2174.728 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 2.867 | | σ | 0.137 | | min | 2.745 | | max | 3.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.579 | | σ | 0.938 | | min | 5054.120 | | max | 5056.254 |
| | mean | 2772.000 | | σ | 0.000 | | min | 2772.000 | | max | 2772.000 |
| | mean | 8.892 | | σ | 0.545 | | min | 8.181 | | max | 9.445 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.658 | | σ | 0.080 | | min | 5185.586 | | max | 5185.750 |
| | mean | 3273.600 | | σ | 428.735 | | min | 2772.000 | | max | 3849.000 |
| | mean | 9.722 | | σ | 0.481 | | min | 8.996 | | max | 10.121 |
|