iters=5 new-facts=1 prior-facts=1 | | mean | 277.718-277.716=0.002 | | σ | 0.010-0.011=-0.001 | | min | 277.704-277.700=0.004 | | max | 277.730-277.728=0.002 |
| | mean | 2688.000-2649.000=39.000 | | σ | 0.000 | | min | 2688.000-2649.000=39.000 | | max | 2688.000-2649.000=39.000 |
| | mean | 0.409-0.410=-0.001 | | σ | 0.003-0.002=0.001 | | min | 0.405-0.409=-0.004 | | max | 0.413-0.413=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-2267.886=0.001 | | σ | 0.007-0.011=-0.003 | | min | 2267.876-2267.868=0.009 | | max | 2267.897-2267.896=0.001 |
| | mean | 2688.000-2649.000=39.000 | | σ | 0.000 | | min | 2688.000-2649.000=39.000 | | max | 2688.000-2649.000=39.000 |
| | mean | 2.907-2.991=-0.084 | | σ | 0.148-0.161=-0.013 | | min | 2.675-2.826=-0.152 | | max | 3.079-3.215=-0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.837-4955.084=-0.247 | | σ | 1.042-0.833=0.209 | | min | 4954.049-4954.657=-0.607 | | max | 4956.598-4956.572=0.027 |
| | mean | 2688.000-2649.000=39.000 | | σ | 0.000 | | min | 2688.000-2649.000=39.000 | | max | 2688.000-2649.000=39.000 |
| | mean | 7.968-7.890=0.078 | | σ | 0.168-0.154=0.014 | | min | 7.799-7.627=0.172 | | max | 8.192-8.010=0.182 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.784-5169.787=-0.003 | | σ | 0.081-0.086=-0.006 | | min | 5169.693-5169.688=0.004 | | max | 5169.855-5169.875=-0.020 |
| | mean | 3396.600-3498.400=-101.800 | | σ | 442.094-471.573=-29.478 | | min | 2774.000-2878.000=-104.000 | | max | 3935.000-4152.000=-217.000 |
| | mean | 9.188-9.080=0.109 | | σ | 0.458-0.326=0.133 | | min | 8.683-8.502=0.181 | | max | 9.924-9.260=0.664 |
|