iters=5 new-facts=1 prior-facts=1 | | mean | 270.237-270.231=0.006 | | σ | 0.004-0.008=-0.004 | | min | 270.231-270.220=0.011 | | max | 270.241-270.241=0.000 |
| | mean | 2423.000-2773.000=-350.000 | | σ | 0.000 | | min | 2423.000-2773.000=-350.000 | | max | 2423.000-2773.000=-350.000 |
| | mean | 0.375-0.377=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 0.369-0.370=-0.001 | | max | 0.379-0.383=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.703-1930.700=0.004 | | σ | 0.013-0.017=-0.004 | | min | 1930.687-1930.673=0.014 | | max | 1930.719-1930.717=0.002 |
| | mean | 2423.000-2773.000=-350.000 | | σ | 0.000 | | min | 2423.000-2773.000=-350.000 | | max | 2423.000-2773.000=-350.000 |
| | mean | 2.511-2.534=-0.024 | | σ | 0.058-0.097=-0.040 | | min | 2.457-2.417=0.040 | | max | 2.587-2.678=-0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.492-4751.442=0.050 | | σ | 0.885-0.885=0.000 | | min | 4750.882-4750.861=0.020 | | max | 4753.043-4753.001=0.042 |
| | mean | 2423.000-2773.000=-350.000 | | σ | 0.000 | | min | 2423.000-2773.000=-350.000 | | max | 2423.000-2773.000=-350.000 |
| | mean | 8.565-8.258=0.307 | | σ | 0.832-0.669=0.162 | | min | 7.658-7.608=0.049 | | max | 9.687-9.146=0.541 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.801-4941.718=0.082 | | σ | 0.143-0.202=-0.058 | | min | 4941.545-4941.465=0.080 | | max | 4941.877-4941.884=-0.007 |
| | mean | 3012.400-3052.000=-39.600 | | σ | 259.586-342.809=-83.223 | | min | 2624.000-2773.000=-149.000 | | max | 3317.000-3563.000=-246.000 |
| | mean | 8.488-8.417=0.071 | | σ | 0.117-0.126=-0.008 | | min | 8.344-8.338=0.006 | | max | 8.581-8.628=-0.047 |
|