iters=5 new-facts=1 prior-facts=1 | | mean | 278.680 | | σ | 0.007 | | min | 278.669 | | max | 278.686 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 0.423 | | σ | 0.007 | | min | 0.417 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.849 | | σ | 0.005 | | min | 2268.842 | | max | 2268.853 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 2.974 | | σ | 0.175 | | min | 2.856 | | max | 3.272 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.235 | | σ | 0.840 | | min | 4951.769 | | max | 4953.730 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 8.108 | | σ | 0.277 | | min | 7.739 | | max | 8.495 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.949 | | σ | 0.086 | | min | 5166.885 | | max | 5167.044 |
| | mean | 3446.800 | | σ | 456.092 | | min | 2865.000 | | max | 4099.000 |
| | mean | 9.258 | | σ | 0.242 | | min | 9.028 | | max | 9.594 |
|