iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-266.760=3.172 | | σ | 0.007-0.008=-0.001 | | min | 269.925-266.751=3.174 | | max | 269.941-266.771=3.169 |
| | mean | 2622.000-2475.000=147.000 | | σ | 0.000 | | min | 2622.000-2475.000=147.000 | | max | 2622.000-2475.000=147.000 |
| | mean | 0.373-0.370=0.003 | | σ | 0.005-0.011=-0.006 | | min | 0.369-0.363=0.006 | | max | 0.382-0.389=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.390-1927.208=3.182 | | σ | 0.020-0.007=0.014 | | min | 1930.360-1927.199=3.161 | | max | 1930.409-1927.217=3.192 |
| | mean | 2622.000-2475.000=147.000 | | σ | 0.000 | | min | 2622.000-2475.000=147.000 | | max | 2622.000-2475.000=147.000 |
| | mean | 2.510-2.995=-0.486 | | σ | 0.068-0.089=-0.022 | | min | 2.457-2.877=-0.421 | | max | 2.611-3.128=-0.517 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.845-4747.627=3.218 | | σ | 0.830-0.850=-0.021 | | min | 4750.334-4746.849=3.485 | | max | 4752.312-4749.073=3.239 |
| | mean | 2622.000-2475.000=147.000 | | σ | 0.000 | | min | 2622.000-2475.000=147.000 | | max | 2622.000-2475.000=147.000 |
| | mean | 8.653-8.193=0.459 | | σ | 0.200-0.421=-0.222 | | min | 8.469-7.687=0.782 | | max | 8.868-8.685=0.183 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.264-4938.167=3.097 | | σ | 0.202-0.082=0.120 | | min | 4940.926-4938.095=2.831 | | max | 4941.423-4938.265=3.158 |
| | mean | 2968.400-2950.400=18.000 | | σ | 263.754-413.733=-149.979 | | min | 2622.000-2475.000=147.000 | | max | 3316.000-3504.000=-188.000 |
| | mean | 8.456-8.438=0.017 | | σ | 0.157-0.236=-0.079 | | min | 8.291-8.262=0.029 | | max | 8.694-8.854=-0.161 |
|