iters=5 new-facts=1 prior-facts=1 | | mean | 286.821 | | σ | 0.039 | | min | 286.776 | | max | 286.870 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.404 | | σ | 0.012 | | min | 0.392 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.264 | | σ | 0.108 | | min | 1297.110 | | max | 1297.402 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.204 | | σ | 0.025 | | min | 2.179 | | max | 2.237 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.375 | | σ | 6.826 | | min | 1538.205 | | max | 1553.584 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.311 | | σ | 0.185 | | min | 2.166 | | max | 2.610 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.118 | | σ | 0.066 | | min | 1859.036 | | max | 1859.184 |
| | mean | 1786.200 | | σ | 146.180 | | min | 1647.000 | | max | 1938.000 |
| | mean | 2.979 | | σ | 0.189 | | min | 2.825 | | max | 3.268 |
|