iters=5 new-facts=1 prior-facts=1 | | mean | 286.827 | | σ | 0.040 | | min | 286.773 | | max | 286.866 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.396 | | σ | 0.006 | | min | 0.389 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.239 | | σ | 0.058 | | min | 1297.169 | | max | 1297.300 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.062 | | σ | 0.090 | | min | 1.958 | | max | 2.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.325 | | σ | 6.829 | | min | 1538.099 | | max | 1553.537 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.230 | | σ | 0.177 | | min | 2.054 | | max | 2.505 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.124 | | σ | 0.059 | | min | 1859.045 | | max | 1859.194 |
| | mean | 1782.200 | | σ | 168.752 | | min | 1644.000 | | max | 2033.000 |
| | mean | 2.908 | | σ | 0.097 | | min | 2.803 | | max | 3.047 |
|