iters=5 new-facts=1 prior-facts=1 | | mean | 326.458-326.444=0.014 | | σ | 0.022-0.057=-0.035 | | min | 326.422-326.342=0.081 | | max | 326.483-326.478=0.005 |
| | mean | 2840.000-2586.000=254.000 | | σ | 0.000 | | min | 2840.000-2586.000=254.000 | | max | 2840.000-2586.000=254.000 |
| | mean | 0.425-0.427=-0.002 | | σ | 0.004-0.011=-0.007 | | min | 0.421-0.421=0.000 | | max | 0.431-0.447=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.611-1988.614=-0.003 | | σ | 0.011-0.010=0.001 | | min | 1988.594-1988.599=-0.004 | | max | 1988.622-1988.623=-0.001 |
| | mean | 2840.000-2586.000=254.000 | | σ | 0.000 | | min | 2840.000-2586.000=254.000 | | max | 2840.000-2586.000=254.000 |
| | mean | 2.754-2.700=0.054 | | σ | 0.141-0.104=0.037 | | min | 2.661-2.626=0.035 | | max | 2.991-2.879=0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.241-4813.501=-0.260 | | σ | 7.885-7.734=0.151 | | min | 4808.894-4809.901=-1.007 | | max | 4827.320-4827.334=-0.014 |
| | mean | 2840.000-2586.000=254.000 | | σ | 0.000 | | min | 2840.000-2586.000=254.000 | | max | 2840.000-2586.000=254.000 |
| | mean | 8.874-8.581=0.293 | | σ | 0.345-0.633=-0.288 | | min | 8.443-7.756=0.686 | | max | 9.205-9.451=-0.245 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018-5000.877=0.142 | | σ | 0.038-0.198=-0.160 | | min | 5000.979-5000.650=0.328 | | max | 5001.063-5001.042=0.021 |
| | mean | 3007.800-2973.800=34.000 | | σ | 189.916-280.725=-90.809 | | min | 2840.000-2588.000=252.000 | | max | 3303.000-3311.000=-8.000 |
| | mean | 9.758-9.626=0.132 | | σ | 0.299-0.570=-0.270 | | min | 9.415-8.634=0.780 | | max | 10.216-10.097=0.119 |
|