iters=5 new-facts=1 prior-facts=1 | | mean | 270.238 | | σ | 0.007 | | min | 270.227 | | max | 270.244 |
| | mean | 2411.000 | | σ | 0.000 | | min | 2411.000 | | max | 2411.000 |
| | mean | 0.383 | | σ | 0.014 | | min | 0.371 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.701 | | σ | 0.011 | | min | 1930.689 | | max | 1930.713 |
| | mean | 2411.000 | | σ | 0.000 | | min | 2411.000 | | max | 2411.000 |
| | mean | 2.531 | | σ | 0.090 | | min | 2.457 | | max | 2.641 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.365 | | σ | 0.904 | | min | 4750.901 | | max | 4752.979 |
| | mean | 2411.000 | | σ | 0.000 | | min | 2411.000 | | max | 2411.000 |
| | mean | 8.710 | | σ | 0.342 | | min | 8.248 | | max | 9.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.728 | | σ | 0.314 | | min | 4941.166 | | max | 4941.881 |
| | mean | 3021.400 | | σ | 312.687 | | min | 2607.000 | | max | 3424.000 |
| | mean | 8.524 | | σ | 0.141 | | min | 8.383 | | max | 8.719 |
|