iters=5 new-facts=1 prior-facts=1 | | mean | 269.929-269.929=-0.000 | | σ | 0.009-0.009=0.000 | | min | 269.923-269.922=0.001 | | max | 269.945-269.944=0.000 |
| | mean | 2769.000-2852.000=-83.000 | | σ | 0.000 | | min | 2769.000-2852.000=-83.000 | | max | 2769.000-2852.000=-83.000 |
| | mean | 0.373-0.371=0.001 | | σ | 0.007-0.004=0.003 | | min | 0.369-0.367=0.002 | | max | 0.385-0.378=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.384-1930.376=0.008 | | σ | 0.017-0.011=0.005 | | min | 1930.369-1930.366=0.003 | | max | 1930.403-1930.395=0.008 |
| | mean | 2769.000-2852.000=-83.000 | | σ | 0.000 | | min | 2769.000-2852.000=-83.000 | | max | 2769.000-2852.000=-83.000 |
| | mean | 2.549-2.692=-0.144 | | σ | 0.201-0.136=0.065 | | min | 2.299-2.491=-0.192 | | max | 2.813-2.860=-0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.817-4750.763=0.054 | | σ | 0.846-0.957=-0.111 | | min | 4750.155-4750.000=0.155 | | max | 4752.298-4752.429=-0.131 |
| | mean | 2769.000-2852.000=-83.000 | | σ | 0.000 | | min | 2769.000-2852.000=-83.000 | | max | 2769.000-2852.000=-83.000 |
| | mean | 8.059-8.544=-0.484 | | σ | 0.397-0.506=-0.109 | | min | 7.662-7.754=-0.092 | | max | 8.531-9.116=-0.585 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.325-4941.334=-0.010 | | σ | 0.082-0.083=-0.000 | | min | 4941.257-4941.265=-0.008 | | max | 4941.420-4941.437=-0.017 |
| | mean | 3045.000-3078.200=-33.200 | | σ | 340.348-218.770=121.578 | | min | 2769.000-2852.000=-83.000 | | max | 3557.000-3288.000=269.000 |
| | mean | 8.401-8.531=-0.129 | | σ | 0.110-0.190=-0.080 | | min | 8.271-8.314=-0.043 | | max | 8.564-8.722=-0.158 |
|