iters=5 new-facts=1 prior-facts=1 | | mean | 278.814-278.819=-0.005 | | σ | 0.007-0.007=0.000 | | min | 278.806-278.810=-0.004 | | max | 278.823-278.828=-0.005 |
| | mean | 2606.000-2690.000=-84.000 | | σ | 0.000 | | min | 2606.000-2690.000=-84.000 | | max | 2606.000-2690.000=-84.000 |
| | mean | 0.413-0.409=0.004 | | σ | 0.004-0.003=0.000 | | min | 0.410-0.407=0.003 | | max | 0.418-0.415=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.880-2268.878=0.002 | | σ | 0.015-0.018=-0.003 | | min | 2268.865-2268.856=0.008 | | max | 2268.895-2268.903=-0.008 |
| | mean | 2606.000-2690.000=-84.000 | | σ | 0.000 | | min | 2606.000-2690.000=-84.000 | | max | 2606.000-2690.000=-84.000 |
| | mean | 2.950-3.040=-0.090 | | σ | 0.217-0.152=0.065 | | min | 2.616-2.856=-0.239 | | max | 3.157-3.248=-0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.264-4954.265=-0.001 | | σ | 0.902-0.811=0.090 | | min | 4953.730-4953.826=-0.096 | | max | 4955.867-4955.709=0.158 |
| | mean | 2606.000-2690.000=-84.000 | | σ | 0.000 | | min | 2606.000-2690.000=-84.000 | | max | 2606.000-2690.000=-84.000 |
| | mean | 8.046-7.890=0.156 | | σ | 0.601-0.294=0.307 | | min | 7.588-7.592=-0.004 | | max | 9.090-8.343=0.746 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.786-5168.790=-0.004 | | σ | 0.077-0.078=-0.001 | | min | 5168.722-5168.726=-0.004 | | max | 5168.876-5168.878=-0.002 |
| | mean | 3436.400-3377.000=59.400 | | σ | 502.146-524.520=-22.374 | | min | 2846.000-2908.000=-62.000 | | max | 4176.000-4130.000=46.000 |
| | mean | 9.362-9.293=0.068 | | σ | 0.194-0.319=-0.125 | | min | 9.143-8.769=0.374 | | max | 9.660-9.637=0.023 |
|