iters=5 new-facts=1 prior-facts=1 | | mean | 269.931 | | σ | 0.009 | | min | 269.923 | | max | 269.944 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 0.373 | | σ | 0.006 | | min | 0.370 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.385 | | σ | 0.016 | | min | 1930.366 | | max | 1930.406 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 2.605 | | σ | 0.305 | | min | 2.373 | | max | 3.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.612 | | σ | 1.112 | | min | 4749.169 | | max | 4752.286 |
| | mean | 2762.000 | | σ | 0.000 | | min | 2762.000 | | max | 2762.000 |
| | mean | 8.634 | | σ | 0.302 | | min | 8.305 | | max | 9.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334 | | σ | 0.087 | | min | 4941.255 | | max | 4941.428 |
| | mean | 3031.600 | | σ | 228.977 | | min | 2762.000 | | max | 3304.000 |
| | mean | 8.754 | | σ | 0.400 | | min | 8.362 | | max | 9.359 |
|