iters=5 new-facts=1 prior-facts=1 | | mean | 286.820 | | σ | 0.037 | | min | 286.771 | | max | 286.859 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 0.396 | | σ | 0.005 | | min | 0.390 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.273 | | σ | 0.093 | | min | 1297.139 | | max | 1297.386 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 2.253 | | σ | 0.070 | | min | 2.174 | | max | 2.366 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.362 | | σ | 6.807 | | min | 1538.182 | | max | 1553.537 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 2.277 | | σ | 0.212 | | min | 2.101 | | max | 2.608 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.125 | | σ | 0.057 | | min | 1859.040 | | max | 1859.177 |
| | mean | 1782.000 | | σ | 166.384 | | min | 1648.000 | | max | 2031.000 |
| | mean | 2.935 | | σ | 0.167 | | min | 2.676 | | max | 3.103 |
|