iters=5 new-facts=1 prior-facts=1 | | mean | 182.504-190.711=-8.207 | | σ | 18.361-0.006=18.355 | | min | 149.659-190.702=-41.044 | | max | 190.739-190.718=0.021 |
| | mean | 2627.000-2645.000=-18.000 | | σ | 0.000 | | min | 2627.000-2645.000=-18.000 | | max | 2627.000-2645.000=-18.000 |
| | mean | 0.268-0.280=-0.012 | | σ | 0.032-0.001=0.031 | | min | 0.213-0.280=-0.067 | | max | 0.290-0.281=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.490-1989.498=-0.008 | | σ | 0.027-0.013=0.014 | | min | 1989.447-1989.480=-0.033 | | max | 1989.515-1989.515=0.000 |
| | mean | 2627.000-2645.000=-18.000 | | σ | 0.000 | | min | 2627.000-2645.000=-18.000 | | max | 2627.000-2645.000=-18.000 |
| | mean | 2.518-2.610=-0.092 | | σ | 0.203-0.104=0.099 | | min | 2.330-2.506=-0.176 | | max | 2.784-2.779=0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.968-4880.083=-0.115 | | σ | 0.681-0.573=0.108 | | min | 4879.149-4879.737=-0.589 | | max | 4881.026-4881.094=-0.068 |
| | mean | 2627.000-2645.000=-18.000 | | σ | 0.000 | | min | 2627.000-2645.000=-18.000 | | max | 2627.000-2645.000=-18.000 |
| | mean | 8.185-8.202=-0.017 | | σ | 0.256-0.175=0.081 | | min | 7.821-8.067=-0.246 | | max | 8.537-8.438=0.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.688-4891.693=-0.006 | | σ | 0.089-0.078=0.010 | | min | 4891.613-4891.619=-0.006 | | max | 4891.794-4891.783=0.011 |
| | mean | 3262.800-3314.800=-52.000 | | σ | 408.584-518.766=-110.182 | | min | 2858.000-2645.000=213.000 | | max | 3675.000-3809.000=-134.000 |
| | mean | 8.144-8.082=0.062 | | σ | 0.194-0.116=0.078 | | min | 7.973-7.983=-0.010 | | max | 8.398-8.227=0.171 |
|