iters=5 new-facts=1 prior-facts=1 | | mean | 270.241 | | σ | 0.006 | | min | 270.234 | | max | 270.248 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.379 | | σ | 0.007 | | min | 0.373 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.702 | | σ | 0.007 | | min | 1930.695 | | max | 1930.709 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.577 | | σ | 0.122 | | min | 2.465 | | max | 2.713 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.368 | | σ | 0.937 | | min | 4750.863 | | max | 4753.041 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.700 | | σ | 0.364 | | min | 8.144 | | max | 9.121 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.800 | | σ | 0.164 | | min | 4941.511 | | max | 4941.906 |
| | mean | 3077.400 | | σ | 261.408 | | min | 2832.000 | | max | 3351.000 |
| | mean | 8.821 | | σ | 0.357 | | min | 8.392 | | max | 9.336 |
|