iters=5 new-facts=1 prior-facts=1 | | mean | 278.849-278.697=0.152 | | σ | 0.005-0.013=-0.008 | | min | 278.845-278.684=0.161 | | max | 278.858-278.718=0.140 |
| | mean | 2736.000-2645.000=91.000 | | σ | 0.000 | | min | 2736.000-2645.000=91.000 | | max | 2736.000-2645.000=91.000 |
| | mean | 0.410-0.418=-0.008 | | σ | 0.004-0.001=0.003 | | min | 0.407-0.416=-0.008 | | max | 0.418-0.419=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.903-2268.875=0.028 | | σ | 0.014-0.010=0.005 | | min | 2268.887-2268.866=0.021 | | max | 2268.918-2268.888=0.030 |
| | mean | 2736.000-2645.000=91.000 | | σ | 0.000 | | min | 2736.000-2645.000=91.000 | | max | 2736.000-2645.000=91.000 |
| | mean | 2.947-2.910=0.037 | | σ | 0.164-0.170=-0.005 | | min | 2.851-2.756=0.095 | | max | 3.238-3.173=0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4953.928-4952.362=1.566 | | σ | 1.133-0.816=0.317 | | min | 4952.871-4951.964=0.907 | | max | 4955.818-4953.821=1.997 |
| | mean | 2736.000-2645.000=91.000 | | σ | 0.000 | | min | 2736.000-2645.000=91.000 | | max | 2736.000-2645.000=91.000 |
| | mean | 7.993-7.925=0.068 | | σ | 0.405-0.139=0.266 | | min | 7.668-7.723=-0.055 | | max | 8.670-8.041=0.629 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.809-5167.004=1.805 | | σ | 0.084-0.147=-0.063 | | min | 5168.743-5166.742=2.001 | | max | 5168.903-5167.078=1.825 |
| | mean | 3438.600-3391.800=46.800 | | σ | 490.788-443.929=46.859 | | min | 2796.000-2768.000=28.000 | | max | 4086.000-3934.000=152.000 |
| | mean | 9.415-9.501=-0.086 | | σ | 0.270-0.142=0.128 | | min | 8.988-9.410=-0.421 | | max | 9.656-9.749=-0.093 |
|