iters=5 new-facts=1 prior-facts=1 | | mean | 275.569 | | σ | 0.007 | | min | 275.564 | | max | 275.578 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 0.406 | | σ | 0.010 | | min | 0.398 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.097 | | σ | 0.003 | | min | 2168.092 | | max | 2168.099 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 2.990 | | σ | 0.154 | | min | 2.782 | | max | 3.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.673 | | σ | 1.120 | | min | 5046.469 | | max | 5049.523 |
| | mean | 2792.000 | | σ | 0.000 | | min | 2792.000 | | max | 2792.000 |
| | mean | 8.924 | | σ | 0.511 | | min | 8.086 | | max | 9.444 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.045 | | σ | 0.077 | | min | 5178.970 | | max | 5179.129 |
| | mean | 3240.000 | | σ | 353.095 | | min | 2792.000 | | max | 3706.000 |
| | mean | 9.973 | | σ | 0.112 | | min | 9.795 | | max | 10.104 |
|