iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.586=-0.006 | | σ | 0.052-0.052=0.000 | | min | 324.488-324.496=-0.008 | | max | 324.611-324.625=-0.013 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 0.426-0.429=-0.003 | | σ | 0.006-0.006=-0.001 | | min | 0.422-0.423=-0.001 | | max | 0.436-0.438=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.138-1985.140=-0.003 | | σ | 0.012-0.013=-0.001 | | min | 1985.127-1985.125=0.002 | | max | 1985.155-1985.157=-0.002 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 2.641-2.753=-0.112 | | σ | 0.103-0.144=-0.042 | | min | 2.555-2.557=-0.002 | | max | 2.785-2.929=-0.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.739-4808.744=-0.005 | | σ | 7.665-7.673=-0.007 | | min | 4805.251-4805.262=-0.011 | | max | 4822.451-4822.469=-0.018 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 8.682-8.950=-0.268 | | σ | 0.517-0.130=0.387 | | min | 7.778-8.807=-1.029 | | max | 9.022-9.104=-0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.341-4996.351=-0.010 | | σ | 0.017-0.023=-0.006 | | min | 4996.313-4996.327=-0.014 | | max | 4996.355-4996.376=-0.021 |
| | mean | 3065.200-3047.400=17.800 | | σ | 303.369-230.004=73.365 | | min | 2840.000-2828.000=12.000 | | max | 3531.000-3286.000=245.000 |
| | mean | 8.512-8.645=-0.133 | | σ | 0.130-0.113=0.017 | | min | 8.401-8.490=-0.089 | | max | 8.733-8.785=-0.052 |
|