iters=5 new-facts=1 prior-facts=1 | | mean | 277.194-277.198=-0.004 | | σ | 0.004-0.004=0.000 | | min | 277.189-277.194=-0.005 | | max | 277.198-277.202=-0.004 |
| | mean | 2737.000-2664.000=73.000 | | σ | 0.000 | | min | 2737.000-2664.000=73.000 | | max | 2737.000-2664.000=73.000 |
| | mean | 0.394-0.403=-0.009 | | σ | 0.002-0.003=-0.001 | | min | 0.390-0.399=-0.008 | | max | 0.396-0.408=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.428-2174.436=-0.009 | | σ | 0.036-0.006=0.030 | | min | 2174.373-2174.427=-0.055 | | max | 2174.469-2174.446=0.023 |
| | mean | 2737.000-2664.000=73.000 | | σ | 0.000 | | min | 2737.000-2664.000=73.000 | | max | 2737.000-2664.000=73.000 |
| | mean | 2.795-2.966=-0.171 | | σ | 0.077-0.166=-0.088 | | min | 2.709-2.785=-0.077 | | max | 2.875-3.171=-0.297 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.394-5052.595=-0.201 | | σ | 1.206-1.015=0.191 | | min | 5051.080-5051.992=-0.911 | | max | 5054.373-5054.398=-0.025 |
| | mean | 2737.000-2664.000=73.000 | | σ | 0.000 | | min | 2737.000-2664.000=73.000 | | max | 2737.000-2664.000=73.000 |
| | mean | 9.145-9.143=0.002 | | σ | 0.442-0.604=-0.163 | | min | 8.503-8.123=0.380 | | max | 9.690-9.718=-0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.402-5188.410=-0.008 | | σ | 0.117-0.100=0.018 | | min | 5188.249-5188.302=-0.053 | | max | 5188.526-5188.519=0.007 |
| | mean | 3241.600-3225.800=15.800 | | σ | 455.165-387.883=67.282 | | min | 2737.000-2690.000=47.000 | | max | 3866.000-3712.000=154.000 |
| | mean | 8.753-8.980=-0.226 | | σ | 0.115-0.421=-0.306 | | min | 8.614-8.664=-0.051 | | max | 8.932-9.706=-0.774 |
|