iters=5 new-facts=1 prior-facts=1 | | mean | 270.133-270.128=0.005 | | σ | 0.004-0.007=-0.002 | | min | 270.127-270.117=0.010 | | max | 270.137-270.135=0.002 |
| | mean | 2431.000-2480.000=-49.000 | | σ | 0.000 | | min | 2431.000-2480.000=-49.000 | | max | 2431.000-2480.000=-49.000 |
| | mean | 0.381-0.379=0.002 | | σ | 0.002-0.006=-0.003 | | min | 0.378-0.370=0.008 | | max | 0.384-0.387=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.592-1930.591=0.002 | | σ | 0.012-0.011=0.001 | | min | 1930.578-1930.577=0.001 | | max | 1930.607-1930.603=0.004 |
| | mean | 2431.000-2480.000=-49.000 | | σ | 0.000 | | min | 2431.000-2480.000=-49.000 | | max | 2431.000-2480.000=-49.000 |
| | mean | 2.610-2.495=0.114 | | σ | 0.163-0.034=0.129 | | min | 2.451-2.465=-0.014 | | max | 2.878-2.550=0.328 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.954-4751.081=-0.127 | | σ | 0.629-0.827=-0.197 | | min | 4750.478-4750.499=-0.021 | | max | 4752.059-4752.543=-0.483 |
| | mean | 2431.000-2480.000=-49.000 | | σ | 0.000 | | min | 2431.000-2480.000=-49.000 | | max | 2431.000-2480.000=-49.000 |
| | mean | 8.650-8.529=0.121 | | σ | 0.526-0.573=-0.047 | | min | 7.810-7.597=0.213 | | max | 9.076-9.093=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.540-4941.463=0.077 | | σ | 0.082-0.211=-0.128 | | min | 4941.469-4941.118=0.351 | | max | 4941.630-4941.636=-0.006 |
| | mean | 2993.800-2985.200=8.600 | | σ | 437.182-284.083=153.098 | | min | 2431.000-2596.000=-165.000 | | max | 3561.000-3321.000=240.000 |
| | mean | 8.711-8.550=0.161 | | σ | 0.272-0.211=0.061 | | min | 8.542-8.392=0.150 | | max | 9.191-8.820=0.371 |
|