iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.668=0.032 | | σ | 0.012-0.010=0.001 | | min | 278.687-278.656=0.031 | | max | 278.715-278.678=0.037 |
| | mean | 2651.000-2687.000=-36.000 | | σ | 0.000 | | min | 2651.000-2687.000=-36.000 | | max | 2651.000-2687.000=-36.000 |
| | mean | 0.416-0.420=-0.004 | | σ | 0.002-0.001=0.001 | | min | 0.413-0.418=-0.005 | | max | 0.419-0.421=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.864-2268.847=0.017 | | σ | 0.006-0.002=0.004 | | min | 2268.853-2268.843=0.011 | | max | 2268.869-2268.849=0.020 |
| | mean | 2651.000-2687.000=-36.000 | | σ | 0.000 | | min | 2651.000-2687.000=-36.000 | | max | 2651.000-2687.000=-36.000 |
| | mean | 3.054-3.007=0.047 | | σ | 0.151-0.139=0.012 | | min | 2.868-2.902=-0.034 | | max | 3.214-3.253=-0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.357-4952.351=0.006 | | σ | 0.789-0.775=0.013 | | min | 4951.949-4951.988=-0.039 | | max | 4953.767-4953.737=0.029 |
| | mean | 2651.000-2687.000=-36.000 | | σ | 0.000 | | min | 2651.000-2687.000=-36.000 | | max | 2651.000-2687.000=-36.000 |
| | mean | 7.896-7.799=0.098 | | σ | 0.193-0.084=0.109 | | min | 7.714-7.656=0.058 | | max | 8.163-7.867=0.296 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.999-5167.050=-0.051 | | σ | 0.165-0.008=0.157 | | min | 5166.706-5167.041=-0.336 | | max | 5167.096-5167.063=0.033 |
| | mean | 3422.600-3380.400=42.200 | | σ | 478.771-471.495=7.275 | | min | 2877.000-2745.000=132.000 | | max | 4136.000-3978.000=158.000 |
| | mean | 9.350-9.238=0.112 | | σ | 0.480-0.124=0.356 | | min | 8.517-9.114=-0.597 | | max | 9.725-9.397=0.328 |
|