iters=5 new-facts=1 prior-facts=1 | | mean | 324.007-324.013=-0.006 | | σ | 0.052-0.061=-0.009 | | min | 323.918-323.904=0.014 | | max | 324.046-324.046=0.000 |
| | mean | 2888.000-2413.000=475.000 | | σ | 0.000 | | min | 2888.000-2413.000=475.000 | | max | 2888.000-2413.000=475.000 |
| | mean | 0.432-0.432=0.000 | | σ | 0.005-0.009=-0.004 | | min | 0.428-0.427=0.001 | | max | 0.438-0.447=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.586-1984.587=-0.001 | | σ | 0.025-0.021=0.004 | | min | 1984.560-1984.559=0.001 | | max | 1984.613-1984.610=0.003 |
| | mean | 2888.000-2413.000=475.000 | | σ | 0.000 | | min | 2888.000-2413.000=475.000 | | max | 2888.000-2413.000=475.000 |
| | mean | 2.670-2.662=0.007 | | σ | 0.246-0.105=0.141 | | min | 2.519-2.553=-0.034 | | max | 3.106-2.785=0.321 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.232-4808.118=0.114 | | σ | 7.824-7.507=0.317 | | min | 4804.638-4804.697=-0.059 | | max | 4822.227-4821.546=0.681 |
| | mean | 2888.000-2413.000=475.000 | | σ | 0.000 | | min | 2888.000-2413.000=475.000 | | max | 2888.000-2413.000=475.000 |
| | mean | 8.848-8.815=0.033 | | σ | 0.149-0.172=-0.023 | | min | 8.635-8.621=0.015 | | max | 9.021-9.060=-0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.740-4995.808=-0.068 | | σ | 0.155-0.021=0.134 | | min | 4995.465-4995.783=-0.318 | | max | 4995.837-4995.829=0.009 |
| | mean | 3035.600-2928.000=107.600 | | σ | 174.861-411.545=-236.684 | | min | 2888.000-2413.000=475.000 | | max | 3316.000-3428.000=-112.000 |
| | mean | 8.644-8.645=-0.001 | | σ | 0.146-0.255=-0.109 | | min | 8.498-8.410=0.088 | | max | 8.856-9.033=-0.177 |
|