iters=5 new-facts=1 prior-facts=1 | | mean | 270.239-270.144=0.096 | | σ | 0.007-0.010=-0.003 | | min | 270.229-270.129=0.100 | | max | 270.248-270.154=0.093 |
| | mean | 2473.000-2772.000=-299.000 | | σ | 0.000 | | min | 2473.000-2772.000=-299.000 | | max | 2473.000-2772.000=-299.000 |
| | mean | 0.380-0.377=0.003 | | σ | 0.010-0.002=0.008 | | min | 0.369-0.374=-0.005 | | max | 0.396-0.380=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.698-1930.604=0.094 | | σ | 0.020-0.009=0.011 | | min | 1930.666-1930.597=0.070 | | max | 1930.714-1930.618=0.096 |
| | mean | 2473.000-2772.000=-299.000 | | σ | 0.000 | | min | 2473.000-2772.000=-299.000 | | max | 2473.000-2772.000=-299.000 |
| | mean | 2.579-2.503=0.075 | | σ | 0.101-0.116=-0.016 | | min | 2.494-2.346=0.147 | | max | 2.725-2.623=0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.289-4751.355=-0.066 | | σ | 0.650-0.959=-0.309 | | min | 4750.892-4750.740=0.153 | | max | 4752.435-4753.051=-0.616 |
| | mean | 2473.000-2772.000=-299.000 | | σ | 0.000 | | min | 2473.000-2772.000=-299.000 | | max | 2473.000-2772.000=-299.000 |
| | mean | 8.602-8.427=0.174 | | σ | 0.481-0.681=-0.200 | | min | 7.841-7.644=0.197 | | max | 9.030-9.362=-0.332 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.796-4941.773=0.023 | | σ | 0.136-0.016=0.120 | | min | 4941.555-4941.755=-0.200 | | max | 4941.875-4941.790=0.085 |
| | mean | 2998.200-3051.000=-52.800 | | σ | 287.828-256.482=31.346 | | min | 2585.000-2772.000=-187.000 | | max | 3310.000-3306.000=4.000 |
| | mean | 8.519-8.721=-0.202 | | σ | 0.107-0.391=-0.284 | | min | 8.387-8.378=0.009 | | max | 8.664-9.360=-0.696 |
|