iters=5 new-facts=1 prior-facts=1 | | mean | 286.826 | | σ | 0.042 | | min | 286.770 | | max | 286.878 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.404 | | σ | 0.012 | | min | 0.389 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.245 | | σ | 0.058 | | min | 1297.178 | | max | 1297.320 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.081 | | σ | 0.074 | | min | 2.012 | | max | 2.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.310 | | σ | 6.833 | | min | 1538.077 | | max | 1553.529 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.210 | | σ | 0.159 | | min | 2.056 | | max | 2.409 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116 | | σ | 0.081 | | min | 1859.007 | | max | 1859.206 |
| | mean | 1791.600 | | σ | 154.066 | | min | 1644.000 | | max | 1951.000 |
| | mean | 2.970 | | σ | 0.068 | | min | 2.863 | | max | 3.047 |
|