iters=5 new-facts=1 prior-facts=1 | | mean | 269.933 | | σ | 0.006 | | min | 269.926 | | max | 269.941 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 0.377 | | σ | 0.009 | | min | 0.370 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.387 | | σ | 0.009 | | min | 1930.377 | | max | 1930.394 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 2.670 | | σ | 0.176 | | min | 2.473 | | max | 2.904 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.879 | | σ | 0.862 | | min | 4750.355 | | max | 4752.411 |
| | mean | 2791.000 | | σ | 0.000 | | min | 2791.000 | | max | 2791.000 |
| | mean | 8.481 | | σ | 0.457 | | min | 7.862 | | max | 9.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.198 | | σ | 0.190 | | min | 4940.937 | | max | 4941.421 |
| | mean | 3086.400 | | σ | 330.262 | | min | 2791.000 | | max | 3558.000 |
| | mean | 8.814 | | σ | 0.326 | | min | 8.602 | | max | 9.391 |
|