iters=5 new-facts=1 prior-facts=1 | | mean | 277.193 | | σ | 0.007 | | min | 277.184 | | max | 277.203 |
| | mean | 2666.000 | | σ | 0.000 | | min | 2666.000 | | max | 2666.000 |
| | mean | 0.402 | | σ | 0.012 | | min | 0.392 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.690 | | σ | 0.025 | | min | 2169.666 | | max | 2169.730 |
| | mean | 2666.000 | | σ | 0.000 | | min | 2666.000 | | max | 2666.000 |
| | mean | 2.915 | | σ | 0.135 | | min | 2.803 | | max | 3.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.571 | | σ | 0.982 | | min | 5049.056 | | max | 5051.320 |
| | mean | 2666.000 | | σ | 0.000 | | min | 2666.000 | | max | 2666.000 |
| | mean | 9.056 | | σ | 0.611 | | min | 8.107 | | max | 9.597 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.651 | | σ | 0.093 | | min | 5180.565 | | max | 5180.759 |
| | mean | 3258.400 | | σ | 445.662 | | min | 2666.000 | | max | 3847.000 |
| | mean | 8.986 | | σ | 0.472 | | min | 8.695 | | max | 9.802 |
|