iters=5 new-facts=1 prior-facts=1 | | mean | 270.218 | | σ | 0.006 | | min | 270.208 | | max | 270.223 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.394 | | σ | 0.017 | | min | 0.371 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.692 | | σ | 0.019 | | min | 1930.666 | | max | 1930.711 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 2.568 | | σ | 0.137 | | min | 2.473 | | max | 2.805 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.147 | | σ | 1.077 | | min | 4750.346 | | max | 4752.979 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.686 | | σ | 0.339 | | min | 8.276 | | max | 9.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.864 | | σ | 0.020 | | min | 4941.844 | | max | 4941.894 |
| | mean | 2962.800 | | σ | 315.682 | | min | 2695.000 | | max | 3441.000 |
| | mean | 8.433 | | σ | 0.047 | | min | 8.371 | | max | 8.479 |
|