iters=5 new-facts=1 prior-facts=1 | | mean | 345.188-345.195=-0.006 | | σ | 0.066-0.069=-0.003 | | min | 345.071-345.071=-0.000 | | max | 345.226-345.238=-0.012 |
| | mean | 2764.000-2794.000=-30.000 | | σ | 0.000 | | min | 2764.000-2794.000=-30.000 | | max | 2764.000-2794.000=-30.000 |
| | mean | 0.447-0.451=-0.003 | | σ | 0.006-0.008=-0.002 | | min | 0.443-0.444=-0.001 | | max | 0.457-0.461=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.370-2007.368=0.002 | | σ | 0.010-0.009=0.001 | | min | 2007.357-2007.354=0.002 | | max | 2007.382-2007.377=0.005 |
| | mean | 2764.000-2794.000=-30.000 | | σ | 0.000 | | min | 2764.000-2794.000=-30.000 | | max | 2764.000-2794.000=-30.000 |
| | mean | 2.737-2.807=-0.070 | | σ | 0.162-0.167=-0.005 | | min | 2.612-2.674=-0.061 | | max | 2.956-3.090=-0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.270-4832.056=0.214 | | σ | 7.742-7.872=-0.131 | | min | 4828.664-4827.825=0.839 | | max | 4846.118-4846.118=-0.000 |
| | mean | 2764.000-2794.000=-30.000 | | σ | 0.000 | | min | 2764.000-2794.000=-30.000 | | max | 2764.000-2794.000=-30.000 |
| | mean | 8.585-8.464=0.122 | | σ | 0.658-0.743=-0.086 | | min | 7.677-7.731=-0.055 | | max | 9.301-9.303=-0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.699-5019.764=-0.065 | | σ | 0.151-0.018=0.132 | | min | 5019.431-5019.743=-0.311 | | max | 5019.788-5019.786=0.002 |
| | mean | 3009.600-3030.000=-20.400 | | σ | 234.295-306.118=-71.823 | | min | 2764.000-2794.000=-30.000 | | max | 3318.000-3505.000=-187.000 |
| | mean | 9.874-9.624=0.251 | | σ | 0.152-0.207=-0.054 | | min | 9.700-9.371=0.329 | | max | 10.077-9.868=0.209 |
|