iters=5 new-facts=1 prior-facts=1 | | mean | 324.760 | | σ | 0.058 | | min | 324.657 | | max | 324.791 |
| | mean | 2708.000 | | σ | 0.000 | | min | 2708.000 | | max | 2708.000 |
| | mean | 0.430 | | σ | 0.008 | | min | 0.424 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.319 | | σ | 0.015 | | min | 1985.301 | | max | 1985.336 |
| | mean | 2708.000 | | σ | 0.000 | | min | 2708.000 | | max | 2708.000 |
| | mean | 2.591 | | σ | 0.081 | | min | 2.512 | | max | 2.704 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.994 | | σ | 7.703 | | min | 4804.996 | | max | 4822.762 |
| | mean | 2708.000 | | σ | 0.000 | | min | 2708.000 | | max | 2708.000 |
| | mean | 8.723 | | σ | 0.427 | | min | 8.111 | | max | 9.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629 | | σ | 0.021 | | min | 4996.604 | | max | 4996.653 |
| | mean | 2981.800 | | σ | 319.080 | | min | 2708.000 | | max | 3454.000 |
| | mean | 8.595 | | σ | 0.160 | | min | 8.484 | | max | 8.877 |
|