iters=5 new-facts=1 prior-facts=1 | | mean | 269.383 | | σ | 0.006 | | min | 269.373 | | max | 269.389 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.378 | | σ | 0.003 | | min | 0.376 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.743 | | σ | 0.020 | | min | 1929.718 | | max | 1929.762 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 2.986 | | σ | 0.127 | | min | 2.779 | | max | 3.129 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.155 | | σ | 1.085 | | min | 4749.466 | | max | 4752.046 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 8.500 | | σ | 0.473 | | min | 7.744 | | max | 8.991 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.928 | | σ | 0.135 | | min | 4940.687 | | max | 4941.005 |
| | mean | 2983.600 | | σ | 271.312 | | min | 2771.000 | | max | 3398.000 |
| | mean | 8.433 | | σ | 0.121 | | min | 8.354 | | max | 8.646 |
|