iters=5 new-facts=1 prior-facts=1 | | mean | 190.718-190.720=-0.002 | | σ | 0.006-0.005=0.002 | | min | 190.710-190.715=-0.005 | | max | 190.727-190.727=0.000 |
| | mean | 2606.000-2623.000=-17.000 | | σ | 0.000 | | min | 2606.000-2623.000=-17.000 | | max | 2606.000-2623.000=-17.000 |
| | mean | 0.281-0.278=0.003 | | σ | 0.005-0.000=0.004 | | min | 0.277-0.278=-0.000 | | max | 0.289-0.279=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.500-1989.495=0.005 | | σ | 0.005-0.013=-0.008 | | min | 1989.491-1989.485=0.006 | | max | 1989.503-1989.513=-0.010 |
| | mean | 2606.000-2623.000=-17.000 | | σ | 0.000 | | min | 2606.000-2623.000=-17.000 | | max | 2606.000-2623.000=-17.000 |
| | mean | 2.652-2.581=0.071 | | σ | 0.093-0.082=0.010 | | min | 2.513-2.470=0.043 | | max | 2.727-2.674=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.177-4880.169=0.009 | | σ | 0.622-0.626=-0.004 | | min | 4879.889-4879.883=0.006 | | max | 4881.291-4881.289=0.001 |
| | mean | 2606.000-2623.000=-17.000 | | σ | 0.000 | | min | 2606.000-2623.000=-17.000 | | max | 2606.000-2623.000=-17.000 |
| | mean | 8.202-8.064=0.138 | | σ | 0.188-0.241=-0.053 | | min | 8.000-7.774=0.226 | | max | 8.467-8.428=0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.792-4891.789=0.003 | | σ | 0.009-0.014=-0.005 | | min | 4891.777-4891.771=0.005 | | max | 4891.798-4891.805=-0.007 |
| | mean | 3276.000-3295.600=-19.600 | | σ | 512.562-499.103=13.459 | | min | 2606.000-2623.000=-17.000 | | max | 3761.000-3757.000=4.000 |
| | mean | 8.067-8.117=-0.049 | | σ | 0.121-0.158=-0.037 | | min | 7.965-7.992=-0.026 | | max | 8.215-8.312=-0.097 |
|