iters=5 new-facts=1 prior-facts=1 | | mean | 422.738 | | σ | 0.077 | | min | 422.600 | | max | 422.777 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 0.578 | | σ | 0.005 | | min | 0.572 | | max | 0.585 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2122.002 | | σ | 0.021 | | min | 2121.979 | | max | 2122.029 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 2.931 | | σ | 0.105 | | min | 2.762 | | max | 3.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5109.824 | | σ | 7.800 | | min | 5105.849 | | max | 5123.767 |
| | mean | 2827.000 | | σ | 0.000 | | min | 2827.000 | | max | 2827.000 |
| | mean | 9.373 | | σ | 0.315 | | min | 9.003 | | max | 9.767 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5295.092 | | σ | 0.171 | | min | 5294.786 | | max | 5295.180 |
| | mean | 3092.000 | | σ | 297.511 | | min | 2827.000 | | max | 3523.000 |
| | mean | 9.374 | | σ | 0.371 | | min | 9.000 | | max | 9.910 |
|