iters=5 new-facts=1 prior-facts=1 | | mean | 279.510-279.512=-0.003 | | σ | 0.007-0.006=0.001 | | min | 279.501-279.504=-0.003 | | max | 279.518-279.518=0.000 |
| | mean | 2766.000-2764.000=2.000 | | σ | 0.000 | | min | 2766.000-2764.000=2.000 | | max | 2766.000-2764.000=2.000 |
| | mean | 0.412-0.409=0.003 | | σ | 0.006-0.007=-0.001 | | min | 0.406-0.404=0.003 | | max | 0.419-0.420=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.444-2178.434=0.010 | | σ | 0.007-0.018=-0.011 | | min | 2178.438-2178.402=0.036 | | max | 2178.456-2178.449=0.008 |
| | mean | 2766.000-2764.000=2.000 | | σ | 0.000 | | min | 2766.000-2764.000=2.000 | | max | 2766.000-2764.000=2.000 |
| | mean | 3.307-3.351=-0.044 | | σ | 0.099-0.084=0.015 | | min | 3.218-3.262=-0.044 | | max | 3.477-3.467=0.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.261-5056.257=0.004 | | σ | 1.085-1.093=-0.008 | | min | 5055.361-5055.170=0.191 | | max | 5058.142-5058.097=0.045 |
| | mean | 2766.000-2764.000=2.000 | | σ | 0.000 | | min | 2766.000-2764.000=2.000 | | max | 2766.000-2764.000=2.000 |
| | mean | 8.874-9.160=-0.286 | | σ | 0.673-0.514=0.159 | | min | 8.028-8.258=-0.230 | | max | 9.572-9.529=0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.754-5193.668=0.086 | | σ | 0.093-0.140=-0.047 | | min | 5193.679-5193.466=0.212 | | max | 5193.859-5193.858=0.001 |
| | mean | 3227.400-3287.400=-60.000 | | σ | 359.140-451.052=-91.912 | | min | 2838.000-2764.000=74.000 | | max | 3769.000-3913.000=-144.000 |
| | mean | 8.725-8.969=-0.244 | | σ | 0.128-0.081=0.048 | | min | 8.566-8.914=-0.347 | | max | 8.912-9.108=-0.196 |
|