iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-324.766=0.000 | | σ | 0.053-0.048=0.006 | | min | 324.671-324.681=-0.010 | | max | 324.794-324.793=0.001 |
| | mean | 2822.000-2690.000=132.000 | | σ | 0.000 | | min | 2822.000-2690.000=132.000 | | max | 2822.000-2690.000=132.000 |
| | mean | 0.431-0.427=0.004 | | σ | 0.010-0.010=-0.000 | | min | 0.423-0.420=0.003 | | max | 0.442-0.445=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1985.317=0.000 | | σ | 0.022-0.020=0.002 | | min | 1985.297-1985.284=0.013 | | max | 1985.343-1985.332=0.010 |
| | mean | 2822.000-2690.000=132.000 | | σ | 0.000 | | min | 2822.000-2690.000=132.000 | | max | 2822.000-2690.000=132.000 |
| | mean | 2.636-2.617=0.019 | | σ | 0.134-0.079=0.055 | | min | 2.518-2.558=-0.040 | | max | 2.812-2.733=0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.120-4808.975=0.145 | | σ | 7.705-7.796=-0.091 | | min | 4805.573-4805.048=0.525 | | max | 4822.903-4822.914=-0.011 |
| | mean | 2822.000-2690.000=132.000 | | σ | 0.000 | | min | 2822.000-2690.000=132.000 | | max | 2822.000-2690.000=132.000 |
| | mean | 8.833-9.029=-0.196 | | σ | 0.473-0.132=0.342 | | min | 7.993-8.889=-0.897 | | max | 9.127-9.234=-0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626-4996.494=0.132 | | σ | 0.024-0.178=-0.154 | | min | 4996.593-4996.285=0.308 | | max | 4996.653-4996.640=0.013 |
| | mean | 3054.400-3058.800=-4.400 | | σ | 303.324-293.251=10.073 | | min | 2822.000-2690.000=132.000 | | max | 3520.000-3333.000=187.000 |
| | mean | 8.512-8.914=-0.402 | | σ | 0.122-0.415=-0.293 | | min | 8.410-8.568=-0.158 | | max | 8.723-9.554=-0.832 |
|