iters=5 new-facts=1 prior-facts=1 | | mean | 324.764-272.757=52.007 | | σ | 0.046-0.003=0.043 | | min | 324.683-272.752=51.931 | | max | 324.794-272.761=52.033 |
| | mean | 2834.000-2413.000=421.000 | | σ | 0.000 | | min | 2834.000-2413.000=421.000 | | max | 2834.000-2413.000=421.000 |
| | mean | 0.422-0.385=0.037 | | σ | 0.001-0.006=-0.004 | | min | 0.421-0.380=0.041 | | max | 0.424-0.393=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.327-1933.157=52.171 | | σ | 0.004-0.018=-0.014 | | min | 1985.322-1933.132=52.190 | | max | 1985.330-1933.180=52.150 |
| | mean | 2834.000-2413.000=421.000 | | σ | 0.000 | | min | 2834.000-2413.000=421.000 | | max | 2834.000-2413.000=421.000 |
| | mean | 2.691-2.837=-0.145 | | σ | 0.176-0.244=-0.067 | | min | 2.543-2.504=0.040 | | max | 2.905-3.152=-0.248 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.078-4756.724=52.354 | | σ | 7.694-7.714=-0.020 | | min | 4805.584-4752.877=52.707 | | max | 4822.842-4770.512=52.330 |
| | mean | 2834.000-2413.000=421.000 | | σ | 0.000 | | min | 2834.000-2413.000=421.000 | | max | 2834.000-2413.000=421.000 |
| | mean | 8.797-8.636=0.161 | | σ | 0.144-0.385=-0.242 | | min | 8.591-8.082=0.510 | | max | 8.944-9.026=-0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.624-4944.254=52.371 | | σ | 0.021-0.193=-0.173 | | min | 4996.596-4944.026=52.570 | | max | 4996.647-4944.403=52.243 |
| | mean | 3035.000-2894.800=140.200 | | σ | 207.434-388.802=-181.368 | | min | 2834.000-2413.000=421.000 | | max | 3327.000-3400.000=-73.000 |
| | mean | 8.692-8.422=0.269 | | σ | 0.191-0.068=0.122 | | min | 8.476-8.366=0.110 | | max | 8.994-8.517=0.478 |
|