iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.544=-0.032 | | σ | 0.007-0.010=-0.003 | | min | 279.503-279.532=-0.029 | | max | 279.517-279.555=-0.038 |
| | mean | 2746.000-2740.000=6.000 | | σ | 0.000 | | min | 2746.000-2740.000=6.000 | | max | 2746.000-2740.000=6.000 |
| | mean | 0.409-0.416=-0.008 | | σ | 0.002-0.010=-0.009 | | min | 0.405-0.408=-0.002 | | max | 0.410-0.429=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2178.476=-0.058 | | σ | 0.034-0.017=0.017 | | min | 2178.359-2178.460=-0.100 | | max | 2178.443-2178.497=-0.054 |
| | mean | 2746.000-2740.000=6.000 | | σ | 0.000 | | min | 2746.000-2740.000=6.000 | | max | 2746.000-2740.000=6.000 |
| | mean | 3.432-3.353=0.079 | | σ | 0.172-0.066=0.106 | | min | 3.271-3.281=-0.010 | | max | 3.620-3.417=0.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.392-5056.461=-0.069 | | σ | 1.004-0.992=0.012 | | min | 5055.790-5055.793=-0.003 | | max | 5058.177-5058.219=-0.042 |
| | mean | 2746.000-2740.000=6.000 | | σ | 0.000 | | min | 2746.000-2740.000=6.000 | | max | 2746.000-2740.000=6.000 |
| | mean | 8.715-9.466=-0.751 | | σ | 0.657-0.792=-0.135 | | min | 8.163-8.224=-0.061 | | max | 9.736-10.399=-0.663 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.689-5193.783=-0.095 | | σ | 0.212-0.080=0.132 | | min | 5193.338-5193.721=-0.383 | | max | 5193.874-5193.878=-0.004 |
| | mean | 3285.800-3286.800=-1.000 | | σ | 404.146-404.817=-0.671 | | min | 2746.000-2740.000=6.000 | | max | 3673.000 |
| | mean | 8.832-8.880=-0.047 | | σ | 0.095-0.132=-0.037 | | min | 8.705-8.733=-0.028 | | max | 8.970-9.026=-0.056 |
|