iters=5 new-facts=1 prior-facts=1 | | mean | 324.689-324.709=-0.019 | | σ | 0.056-0.048=0.008 | | min | 324.591-324.623=-0.032 | | max | 324.721-324.731=-0.010 |
| | mean | 2840.000-2832.000=8.000 | | σ | 0.000 | | min | 2840.000-2832.000=8.000 | | max | 2840.000-2832.000=8.000 |
| | mean | 0.432-0.427=0.005 | | σ | 0.010-0.009=0.001 | | min | 0.424-0.421=0.002 | | max | 0.449-0.442=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.260=-0.009 | | σ | 0.010-0.014=-0.005 | | min | 1985.235-1985.243=-0.008 | | max | 1985.259-1985.272=-0.013 |
| | mean | 2840.000-2832.000=8.000 | | σ | 0.000 | | min | 2840.000-2832.000=8.000 | | max | 2840.000-2832.000=8.000 |
| | mean | 2.707-2.665=0.042 | | σ | 0.219-0.110=0.109 | | min | 2.529-2.553=-0.024 | | max | 3.002-2.805=0.197 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.738-4808.786=-0.049 | | σ | 7.471-7.693=-0.222 | | min | 4805.348-4804.791=0.557 | | max | 4822.103-4822.535=-0.433 |
| | mean | 2840.000-2832.000=8.000 | | σ | 0.000 | | min | 2840.000-2832.000=8.000 | | max | 2840.000-2832.000=8.000 |
| | mean | 8.901-8.654=0.247 | | σ | 0.274-0.556=-0.282 | | min | 8.582-7.738=0.845 | | max | 9.297-9.167=0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459-4996.462=-0.003 | | σ | 0.021-0.016=0.005 | | min | 4996.431-4996.438=-0.008 | | max | 4996.476-4996.476=-0.000 |
| | mean | 3054.400-3071.000=-16.600 | | σ | 214.836-310.052=-95.216 | | min | 2840.000-2832.000=8.000 | | max | 3342.000-3545.000=-203.000 |
| | mean | 9.063-8.542=0.521 | | σ | 0.453-0.166=0.287 | | min | 8.473-8.313=0.160 | | max | 9.656-8.716=0.940 |
|