iters=5 new-facts=1 prior-facts=1 | | mean | 280.262 | | σ | 0.006 | | min | 280.252 | | max | 280.270 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 0.416 | | σ | 0.004 | | min | 0.412 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.321 | | σ | 0.030 | | min | 2270.272 | | max | 2270.349 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 2.986 | | σ | 0.098 | | min | 2.860 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.465 | | σ | 1.042 | | min | 5146.584 | | max | 5149.273 |
| | mean | 2659.000 | | σ | 0.000 | | min | 2659.000 | | max | 2659.000 |
| | mean | 8.669 | | σ | 0.656 | | min | 8.171 | | max | 9.821 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.570 | | σ | 0.126 | | min | 5285.396 | | max | 5285.743 |
| | mean | 3362.000 | | σ | 563.990 | | min | 2659.000 | | max | 4086.000 |
| | mean | 10.029 | | σ | 0.230 | | min | 9.655 | | max | 10.289 |
|