iters=5 new-facts=1 prior-facts=1 | | mean | 270.139-269.937=0.202 | | σ | 0.009-0.011=-0.001 | | min | 270.131-269.923=0.208 | | max | 270.154-269.947=0.206 |
| | mean | 2769.000-2848.000=-79.000 | | σ | 0.000 | | min | 2769.000-2848.000=-79.000 | | max | 2769.000-2848.000=-79.000 |
| | mean | 0.377-0.385=-0.008 | | σ | 0.004-0.014=-0.010 | | min | 0.371-0.371=-0.000 | | max | 0.382-0.401=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.403=0.204 | | σ | 0.007-0.012=-0.005 | | min | 1930.596-1930.390=0.206 | | max | 1930.615-1930.418=0.197 |
| | mean | 2769.000-2848.000=-79.000 | | σ | 0.000 | | min | 2769.000-2848.000=-79.000 | | max | 2769.000-2848.000=-79.000 |
| | mean | 2.512-2.463=0.049 | | σ | 0.085-0.072=0.013 | | min | 2.431-2.387=0.043 | | max | 2.654-2.580=0.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.332-4750.863=0.470 | | σ | 0.888-0.802=0.086 | | min | 4750.819-4750.277=0.542 | | max | 4752.914-4752.258=0.657 |
| | mean | 2769.000-2848.000=-79.000 | | σ | 0.000 | | min | 2769.000-2848.000=-79.000 | | max | 2769.000-2848.000=-79.000 |
| | mean | 8.413-8.479=-0.067 | | σ | 0.465-0.394=0.071 | | min | 7.741-8.083=-0.341 | | max | 8.979-9.120=-0.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.699-4941.261=0.439 | | σ | 0.144-0.129=0.015 | | min | 4941.443-4941.072=0.371 | | max | 4941.790-4941.437=0.353 |
| | mean | 3044.400-3048.000=-3.600 | | σ | 235.302-202.932=32.369 | | min | 2769.000-2848.000=-79.000 | | max | 3371.000-3326.000=45.000 |
| | mean | 8.680-8.454=0.225 | | σ | 0.208-0.111=0.097 | | min | 8.394-8.340=0.054 | | max | 8.925-8.616=0.309 |
|