iters=5 new-facts=1 prior-facts=1 | | mean | 324.759 | | σ | 0.053 | | min | 324.664 | | max | 324.788 |
| | mean | 2781.000 | | σ | 0.000 | | min | 2781.000 | | max | 2781.000 |
| | mean | 0.426 | | σ | 0.008 | | min | 0.421 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322 | | σ | 0.016 | | min | 1985.301 | | max | 1985.338 |
| | mean | 2781.000 | | σ | 0.000 | | min | 2781.000 | | max | 2781.000 |
| | mean | 2.637 | | σ | 0.127 | | min | 2.513 | | max | 2.832 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.852 | | σ | 7.838 | | min | 4805.034 | | max | 4822.865 |
| | mean | 2781.000 | | σ | 0.000 | | min | 2781.000 | | max | 2781.000 |
| | mean | 8.756 | | σ | 0.195 | | min | 8.465 | | max | 8.985 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4816.406 | | σ | 402.780 | | min | 4095.891 | | max | 4996.656 |
| | mean | 3023.200 | | σ | 297.616 | | min | 2781.000 | | max | 3473.000 |
| | mean | 8.368 | | σ | 0.608 | | min | 7.339 | | max | 8.881 |
|