iters=5 new-facts=1 prior-facts=1 | | mean | 326.575-326.507=0.068 | | σ | 0.043-0.048=-0.005 | | min | 326.503-326.421=0.082 | | max | 326.616-326.534=0.082 |
| | mean | 2630.000-2611.000=19.000 | | σ | 0.000 | | min | 2630.000-2611.000=19.000 | | max | 2630.000-2611.000=19.000 |
| | mean | 0.424-0.425=-0.000 | | σ | 0.007-0.005=0.002 | | min | 0.420-0.421=-0.000 | | max | 0.436-0.433=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.727-1988.674=0.054 | | σ | 0.018-0.012=0.006 | | min | 1988.707-1988.654=0.053 | | max | 1988.749-1988.684=0.065 |
| | mean | 2630.000-2611.000=19.000 | | σ | 0.000 | | min | 2630.000-2611.000=19.000 | | max | 2630.000-2611.000=19.000 |
| | mean | 2.803-2.756=0.047 | | σ | 0.283-0.182=0.101 | | min | 2.632-2.626=0.006 | | max | 3.305-3.078=0.227 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.458-4813.439=0.019 | | σ | 7.778-7.820=-0.042 | | min | 4809.613-4809.600=0.013 | | max | 4827.367-4827.423=-0.056 |
| | mean | 2630.000-2611.000=19.000 | | σ | 0.000 | | min | 2630.000-2611.000=19.000 | | max | 2630.000-2611.000=19.000 |
| | mean | 8.985-8.507=0.478 | | σ | 0.192-0.690=-0.498 | | min | 8.674-7.824=0.851 | | max | 9.173-9.581=-0.408 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.146-5000.856=0.290 | | σ | 0.034-0.305=-0.271 | | min | 5001.112-5000.392=0.720 | | max | 5001.200-5001.073=0.127 |
| | mean | 2989.800-2949.600=40.200 | | σ | 275.427-354.817=-79.389 | | min | 2630.000-2611.000=19.000 | | max | 3317.000-3418.000=-101.000 |
| | mean | 9.752-9.529=0.223 | | σ | 0.388-0.403=-0.015 | | min | 9.113-8.821=0.292 | | max | 10.125-9.779=0.347 |
|