iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.140=0.004 | | σ | 0.006-0.011=-0.005 | | min | 270.133-270.128=0.005 | | max | 270.149-270.153=-0.004 |
| | mean | 2855.000-2768.000=87.000 | | σ | 0.000 | | min | 2855.000-2768.000=87.000 | | max | 2855.000-2768.000=87.000 |
| | mean | 0.376-0.389=-0.013 | | σ | 0.001-0.010=-0.009 | | min | 0.375-0.379=-0.004 | | max | 0.377-0.399=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.594=0.013 | | σ | 0.011-0.020=-0.009 | | min | 1930.593-1930.570=0.023 | | max | 1930.622-1930.616=0.006 |
| | mean | 2855.000-2768.000=87.000 | | σ | 0.000 | | min | 2855.000-2768.000=87.000 | | max | 2855.000-2768.000=87.000 |
| | mean | 2.554-2.565=-0.011 | | σ | 0.119-0.142=-0.023 | | min | 2.453-2.458=-0.005 | | max | 2.727-2.813=-0.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.274-4751.311=-0.036 | | σ | 0.867-0.920=-0.053 | | min | 4750.743-4750.767=-0.024 | | max | 4752.814-4752.947=-0.134 |
| | mean | 2855.000-2768.000=87.000 | | σ | 0.000 | | min | 2855.000-2768.000=87.000 | | max | 2855.000-2768.000=87.000 |
| | mean | 8.732-8.565=0.167 | | σ | 0.323-0.555=-0.232 | | min | 8.455-7.676=0.779 | | max | 9.272-9.080=0.191 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.696-4941.765=-0.069 | | σ | 0.148-0.024=0.125 | | min | 4941.433-4941.735=-0.302 | | max | 4941.782-4941.788=-0.006 |
| | mean | 3074.600-2987.800=86.800 | | σ | 225.324-257.200=-31.876 | | min | 2855.000-2768.000=87.000 | | max | 3305.000-3366.000=-61.000 |
| | mean | 8.773-8.503=0.270 | | σ | 0.298-0.151=0.147 | | min | 8.428-8.323=0.105 | | max | 9.228-8.675=0.554 |
|