iters=5 new-facts=1 prior-facts=1 | | mean | 278.701 | | σ | 0.010 | | min | 278.690 | | max | 278.717 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 0.418 | | σ | 0.002 | | min | 0.415 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874 | | σ | 0.005 | | min | 2268.869 | | max | 2268.879 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 3.106 | | σ | 0.189 | | min | 2.878 | | max | 3.346 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.198 | | σ | 0.771 | | min | 4951.729 | | max | 4953.568 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 7.889 | | σ | 0.276 | | min | 7.616 | | max | 8.348 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.916 | | σ | 0.023 | | min | 5166.886 | | max | 5166.948 |
| | mean | 3376.400 | | σ | 526.876 | | min | 2907.000 | | max | 4135.000 |
| | mean | 9.121 | | σ | 0.379 | | min | 8.540 | | max | 9.518 |
|