iters=5 new-facts=1 prior-facts=1 | | mean | 286.820 | | σ | 0.038 | | min | 286.769 | | max | 286.859 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.398 | | σ | 0.006 | | min | 0.391 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.175 | | σ | 0.069 | | min | 1297.083 | | max | 1297.255 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.908 | | σ | 0.172 | | min | 1.793 | | max | 2.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.321 | | σ | 6.825 | | min | 1538.076 | | max | 1553.526 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.168 | | σ | 0.078 | | min | 2.129 | | max | 2.307 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114 | | σ | 0.061 | | min | 1859.050 | | max | 1859.190 |
| | mean | 1777.000 | | σ | 147.843 | | min | 1634.000 | | max | 1929.000 |
| | mean | 2.957 | | σ | 0.209 | | min | 2.824 | | max | 3.322 |
|