iters=5 new-facts=1 prior-facts=1 | | mean | 286.821 | | σ | 0.034 | | min | 286.781 | | max | 286.864 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.403 | | σ | 0.013 | | min | 0.392 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.234 | | σ | 0.076 | | min | 1297.145 | | max | 1297.322 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.084 | | σ | 0.076 | | min | 2.007 | | max | 2.174 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.320 | | σ | 6.848 | | min | 1538.075 | | max | 1553.566 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.226 | | σ | 0.127 | | min | 2.110 | | max | 2.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112 | | σ | 0.080 | | min | 1859.002 | | max | 1859.194 |
| | mean | 1800.600 | | σ | 155.659 | | min | 1652.000 | | max | 1962.000 |
| | mean | 2.961 | | σ | 0.164 | | min | 2.808 | | max | 3.202 |
|