iters=5 new-facts=1 prior-facts=1 | | mean | 269.931 | | σ | 0.005 | | min | 269.926 | | max | 269.937 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.373 | | σ | 0.007 | | min | 0.368 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.398 | | σ | 0.009 | | min | 1930.389 | | max | 1930.410 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 2.510 | | σ | 0.069 | | min | 2.453 | | max | 2.613 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.872 | | σ | 0.775 | | min | 4750.282 | | max | 4752.227 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 8.487 | | σ | 0.346 | | min | 8.189 | | max | 9.064 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.333 | | σ | 0.089 | | min | 4941.255 | | max | 4941.435 |
| | mean | 2996.800 | | σ | 264.195 | | min | 2650.000 | | max | 3322.000 |
| | mean | 8.526 | | σ | 0.184 | | min | 8.332 | | max | 8.721 |
|