iters=5 new-facts=1 prior-facts=1 | | mean | 279.577 | | σ | 0.010 | | min | 279.566 | | max | 279.587 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 0.412 | | σ | 0.005 | | min | 0.409 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2172.207 | | σ | 0.018 | | min | 2172.176 | | max | 2172.218 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 3.026 | | σ | 0.154 | | min | 2.795 | | max | 3.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.048 | | σ | 1.054 | | min | 5053.212 | | max | 5055.883 |
| | mean | 2646.000 | | σ | 0.000 | | min | 2646.000 | | max | 2646.000 |
| | mean | 9.348 | | σ | 0.189 | | min | 9.068 | | max | 9.527 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5201.398 | | σ | 0.105 | | min | 5201.292 | | max | 5201.508 |
| | mean | 3293.000 | | σ | 412.667 | | min | 2717.000 | | max | 3671.000 |
| | mean | 10.143 | | σ | 0.293 | | min | 9.677 | | max | 10.466 |
|