iters=5 new-facts=1 prior-facts=1 | | mean | 278.674 | | σ | 0.013 | | min | 278.666 | | max | 278.696 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 0.424 | | σ | 0.009 | | min | 0.419 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848 | | σ | 0.005 | | min | 2268.843 | | max | 2268.857 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 2.937 | | σ | 0.053 | | min | 2.885 | | max | 3.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.194 | | σ | 0.633 | | min | 4951.826 | | max | 4953.318 |
| | mean | 2603.000 | | σ | 0.000 | | min | 2603.000 | | max | 2603.000 |
| | mean | 8.074 | | σ | 0.380 | | min | 7.722 | | max | 8.518 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.053 | | σ | 0.011 | | min | 5167.044 | | max | 5167.065 |
| | mean | 3352.400 | | σ | 452.789 | | min | 2756.000 | | max | 3957.000 |
| | mean | 9.495 | | σ | 0.412 | | min | 9.072 | | max | 10.110 |
|