iters=5 new-facts=1 prior-facts=1 | | mean | 278.998-279.000=-0.002 | | σ | 0.007-0.009=-0.002 | | min | 278.986-278.991=-0.005 | | max | 279.003-279.013=-0.010 |
| | mean | 2864.000-2854.000=10.000 | | σ | 0.000 | | min | 2864.000-2854.000=10.000 | | max | 2864.000-2854.000=10.000 |
| | mean | 0.385-0.387=-0.001 | | σ | 0.008-0.006=0.001 | | min | 0.380-0.380=-0.000 | | max | 0.398-0.396=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.427-1939.430=-0.003 | | σ | 0.020-0.021=-0.001 | | min | 1939.398-1939.395=0.003 | | max | 1939.445-1939.450=-0.005 |
| | mean | 2864.000-2854.000=10.000 | | σ | 0.000 | | min | 2864.000-2854.000=10.000 | | max | 2864.000-2854.000=10.000 |
| | mean | 2.571-2.557=0.013 | | σ | 0.115-0.110=0.005 | | min | 2.499-2.473=0.026 | | max | 2.771-2.748=0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.041-4760.208=-0.167 | | σ | 0.976-0.878=0.098 | | min | 4759.382-4759.688=-0.306 | | max | 4761.770-4761.770=0.000 |
| | mean | 2864.000-2854.000=10.000 | | σ | 0.000 | | min | 2864.000-2854.000=10.000 | | max | 2864.000-2854.000=10.000 |
| | mean | 8.516-8.369=0.147 | | σ | 0.589-0.394=0.195 | | min | 7.855-7.827=0.028 | | max | 9.016-8.931=0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.627-4950.479=0.148 | | σ | 0.027-0.313=-0.287 | | min | 4950.591-4949.920=0.671 | | max | 4950.656-4950.641=0.014 |
| | mean | 3078.600-3087.200=-8.600 | | σ | 289.376-307.362=-17.987 | | min | 2864.000-2854.000=10.000 | | max | 3529.000-3559.000=-30.000 |
| | mean | 8.492-8.438=0.054 | | σ | 0.116-0.157=-0.041 | | min | 8.419-8.272=0.146 | | max | 8.691-8.693=-0.002 |
|