iters=5 new-facts=1 prior-facts=1 | | mean | 269.934-269.908=0.026 | | σ | 0.012-0.008=0.004 | | min | 269.917-269.895=0.022 | | max | 269.945-269.915=0.030 |
| | mean | 2849.000-2769.000=80.000 | | σ | 0.000 | | min | 2849.000-2769.000=80.000 | | max | 2849.000-2769.000=80.000 |
| | mean | 0.379-0.379=-0.000 | | σ | 0.009-0.005=0.004 | | min | 0.368-0.373=-0.005 | | max | 0.393-0.387=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.393-1930.395=-0.001 | | σ | 0.011-0.011=-0.000 | | min | 1930.379-1930.385=-0.006 | | max | 1930.408-1930.409=-0.001 |
| | mean | 2849.000-2769.000=80.000 | | σ | 0.000 | | min | 2849.000-2769.000=80.000 | | max | 2849.000-2769.000=80.000 |
| | mean | 2.648-2.515=0.133 | | σ | 0.148-0.122=0.026 | | min | 2.492-2.363=0.129 | | max | 2.812-2.652=0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.950-4750.780=0.170 | | σ | 0.764-0.910=-0.146 | | min | 4750.554-4750.112=0.443 | | max | 4752.310-4752.380=-0.069 |
| | mean | 2849.000-2769.000=80.000 | | σ | 0.000 | | min | 2849.000-2769.000=80.000 | | max | 2849.000-2769.000=80.000 |
| | mean | 8.119-8.437=-0.318 | | σ | 0.291-0.594=-0.303 | | min | 7.780-7.638=0.142 | | max | 8.563-9.197=-0.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.252-4941.331=-0.080 | | σ | 0.127-0.084=0.043 | | min | 4941.060-4941.261=-0.201 | | max | 4941.412-4941.433=-0.021 |
| | mean | 3059.000-3014.000=45.000 | | σ | 269.864-233.310=36.554 | | min | 2849.000-2769.000=80.000 | | max | 3472.000-3320.000=152.000 |
| | mean | 8.491-8.570=-0.079 | | σ | 0.081-0.218=-0.137 | | min | 8.383-8.393=-0.010 | | max | 8.574-8.899=-0.325 |
|