iters=5 new-facts=1 prior-facts=1 | | mean | 270.127-270.126=0.001 | | σ | 0.005-0.006=-0.002 | | min | 270.123-270.119=0.003 | | max | 270.133-270.134=-0.001 |
| | mean | 2415.000-2492.000=-77.000 | | σ | 0.000 | | min | 2415.000-2492.000=-77.000 | | max | 2415.000-2492.000=-77.000 |
| | mean | 0.382-0.382=0.000 | | σ | 0.005-0.010=-0.005 | | min | 0.379-0.372=0.008 | | max | 0.390-0.393=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.595-1930.589=0.006 | | σ | 0.008-0.019=-0.011 | | min | 1930.586-1930.558=0.027 | | max | 1930.605-1930.605=0.000 |
| | mean | 2415.000-2492.000=-77.000 | | σ | 0.000 | | min | 2415.000-2492.000=-77.000 | | max | 2415.000-2492.000=-77.000 |
| | mean | 2.539-2.528=0.011 | | σ | 0.083-0.091=-0.009 | | min | 2.471-2.441=0.030 | | max | 2.671-2.640=0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.060-4751.132=-0.072 | | σ | 0.877-0.789=0.088 | | min | 4750.610-4750.660=-0.050 | | max | 4752.625-4752.534=0.091 |
| | mean | 2415.000-2492.000=-77.000 | | σ | 0.000 | | min | 2415.000-2492.000=-77.000 | | max | 2415.000-2492.000=-77.000 |
| | mean | 8.667-8.087=0.580 | | σ | 0.710-0.371=0.340 | | min | 7.646-7.713=-0.067 | | max | 9.408-8.504=0.904 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.464-4941.384=0.080 | | σ | 0.126-0.198=-0.072 | | min | 4941.280-4941.100=0.180 | | max | 4941.634-4941.610=0.024 |
| | mean | 3010.400-2945.000=65.400 | | σ | 281.084-417.886=-136.802 | | min | 2618.000-2492.000=126.000 | | max | 3319.000-3508.000=-189.000 |
| | mean | 8.648-8.387=0.261 | | σ | 0.235-0.087=0.148 | | min | 8.367-8.282=0.084 | | max | 8.938-8.487=0.451 |
|