iters=5 new-facts=1 prior-facts=1 | | mean | 279.558-279.555=0.003 | | σ | 0.009-0.004=0.004 | | min | 279.546-279.552=-0.006 | | max | 279.568-279.562=0.006 |
| | mean | 2836.000-2769.000=67.000 | | σ | 0.000 | | min | 2836.000-2769.000=67.000 | | max | 2836.000-2769.000=67.000 |
| | mean | 0.410-0.407=0.003 | | σ | 0.006-0.002=0.004 | | min | 0.405-0.404=0.000 | | max | 0.419-0.409=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.496-2178.486=0.010 | | σ | 0.020-0.016=0.004 | | min | 2178.468-2178.466=0.002 | | max | 2178.517-2178.506=0.011 |
| | mean | 2836.000-2769.000=67.000 | | σ | 0.000 | | min | 2836.000-2769.000=67.000 | | max | 2836.000-2769.000=67.000 |
| | mean | 3.353-3.290=0.063 | | σ | 0.198-0.326=-0.128 | | min | 3.039-2.771=0.268 | | max | 3.538-3.643=-0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.426-5056.318=0.108 | | σ | 0.977-1.124=-0.146 | | min | 5055.808-5055.235=0.573 | | max | 5058.162-5058.225=-0.064 |
| | mean | 2836.000-2769.000=67.000 | | σ | 0.000 | | min | 2836.000-2769.000=67.000 | | max | 2836.000-2769.000=67.000 |
| | mean | 8.939-8.702=0.237 | | σ | 0.645-0.631=0.015 | | min | 8.192-8.141=0.051 | | max | 9.596-9.657=-0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.804-5193.733=0.071 | | σ | 0.082-0.122=-0.040 | | min | 5193.738-5193.559=0.179 | | max | 5193.902-5193.904=-0.002 |
| | mean | 3302.000-3244.600=57.400 | | σ | 357.387-350.069=7.318 | | min | 2836.000-2769.000=67.000 | | max | 3650.000-3681.000=-31.000 |
| | mean | 9.068-8.840=0.228 | | σ | 0.367-0.180=0.187 | | min | 8.781-8.657=0.124 | | max | 9.690-9.037=0.653 |
|