iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.791=0.000 | | σ | 0.003-0.008=-0.004 | | min | 272.789-272.782=0.007 | | max | 272.797-272.803=-0.006 |
| | mean | 2432.000-2518.000=-86.000 | | σ | 0.000 | | min | 2432.000-2518.000=-86.000 | | max | 2432.000-2518.000=-86.000 |
| | mean | 0.379-0.379=0.001 | | σ | 0.007-0.005=0.001 | | min | 0.376-0.375=0.001 | | max | 0.391-0.388=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.227-1933.218=0.009 | | σ | 0.021-0.010=0.011 | | min | 1933.200-1933.205=-0.005 | | max | 1933.249-1933.233=0.017 |
| | mean | 2432.000-2518.000=-86.000 | | σ | 0.000 | | min | 2432.000-2518.000=-86.000 | | max | 2432.000-2518.000=-86.000 |
| | mean | 2.937-2.989=-0.052 | | σ | 0.308-0.121=0.187 | | min | 2.392-2.873=-0.481 | | max | 3.134-3.181=-0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.821-4756.730=0.091 | | σ | 7.720-7.377=0.344 | | min | 4752.909-4752.891=0.018 | | max | 4770.623-4769.913=0.710 |
| | mean | 2432.000-2518.000=-86.000 | | σ | 0.000 | | min | 2432.000-2518.000=-86.000 | | max | 2432.000-2518.000=-86.000 |
| | mean | 8.667-8.636=0.030 | | σ | 0.486-0.409=0.077 | | min | 7.942-8.209=-0.267 | | max | 9.058-9.086=-0.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.449-4944.452=-0.003 | | σ | 0.021-0.027=-0.005 | | min | 4944.429-4944.415=0.014 | | max | 4944.476-4944.481=-0.005 |
| | mean | 2962.000-2938.200=23.800 | | σ | 277.383-296.406=-19.023 | | min | 2589.000-2518.000=71.000 | | max | 3321.000-3305.000=16.000 |
| | mean | 8.538-8.484=0.054 | | σ | 0.149-0.169=-0.020 | | min | 8.424-8.293=0.132 | | max | 8.796-8.700=0.096 |
|