iters=5 new-facts=1 prior-facts=1 | | mean | 286.819 | | σ | 0.037 | | min | 286.767 | | max | 286.859 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 0.398 | | σ | 0.007 | | min | 0.390 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259 | | σ | 0.102 | | min | 1297.110 | | max | 1297.381 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.211 | | σ | 0.065 | | min | 2.149 | | max | 2.293 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.374 | | σ | 6.802 | | min | 1538.220 | | max | 1553.541 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.328 | | σ | 0.247 | | min | 2.158 | | max | 2.739 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.111 | | σ | 0.066 | | min | 1859.034 | | max | 1859.186 |
| | mean | 1766.400 | | σ | 152.775 | | min | 1618.000 | | max | 1923.000 |
| | mean | 3.034 | | σ | 0.223 | | min | 2.745 | | max | 3.251 |
|