iters=5 new-facts=1 prior-facts=1 | | mean | 270.125 | | σ | 0.009 | | min | 270.114 | | max | 270.139 |
| | mean | 2811.000 | | σ | 0.000 | | min | 2811.000 | | max | 2811.000 |
| | mean | 0.373 | | σ | 0.001 | | min | 0.371 | | max | 0.373 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.591 | | σ | 0.005 | | min | 1930.587 | | max | 1930.599 |
| | mean | 2811.000 | | σ | 0.000 | | min | 2811.000 | | max | 2811.000 |
| | mean | 2.483 | | σ | 0.074 | | min | 2.377 | | max | 2.554 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.055 | | σ | 0.844 | | min | 4750.484 | | max | 4752.550 |
| | mean | 2811.000 | | σ | 0.000 | | min | 2811.000 | | max | 2811.000 |
| | mean | 8.493 | | σ | 0.583 | | min | 7.607 | | max | 9.078 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.530 | | σ | 0.091 | | min | 4941.454 | | max | 4941.632 |
| | mean | 3031.200 | | σ | 222.036 | | min | 2811.000 | | max | 3332.000 |
| | mean | 8.590 | | σ | 0.185 | | min | 8.421 | | max | 8.870 |
|