iters=5 new-facts=1 prior-facts=1 | | mean | 324.715-324.716=-0.001 | | σ | 0.050-0.047=0.003 | | min | 324.628-324.634=-0.006 | | max | 324.754-324.752=0.002 |
| | mean | 2826.000-2827.000=-1.000 | | σ | 0.000 | | min | 2826.000-2827.000=-1.000 | | max | 2826.000-2827.000=-1.000 |
| | mean | 0.430-0.429=0.001 | | σ | 0.011-0.010=0.002 | | min | 0.421-0.422=-0.001 | | max | 0.446-0.444=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.272=-0.008 | | σ | 0.007-0.010=-0.003 | | min | 1985.254-1985.261=-0.007 | | max | 1985.274-1985.283=-0.009 |
| | mean | 2826.000-2827.000=-1.000 | | σ | 0.000 | | min | 2826.000-2827.000=-1.000 | | max | 2826.000-2827.000=-1.000 |
| | mean | 2.635-2.671=-0.035 | | σ | 0.101-0.152=-0.051 | | min | 2.517-2.551=-0.034 | | max | 2.743-2.932=-0.189 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.785-4808.916=-0.131 | | σ | 7.741-7.707=0.034 | | min | 4804.868-4805.326=-0.459 | | max | 4822.622-4822.702=-0.080 |
| | mean | 2826.000-2827.000=-1.000 | | σ | 0.000 | | min | 2826.000-2827.000=-1.000 | | max | 2826.000-2827.000=-1.000 |
| | mean | 8.478-9.096=-0.618 | | σ | 0.578-0.441=0.136 | | min | 7.688-8.467=-0.779 | | max | 9.058-9.681=-0.623 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.410-4996.416=-0.005 | | σ | 0.130-0.133=-0.002 | | min | 4996.180-4996.180=0.000 | | max | 4996.504-4996.502=0.002 |
| | mean | 3040.200-3056.200=-16.000 | | σ | 278.556-238.812=39.743 | | min | 2826.000-2827.000=-1.000 | | max | 3467.000-3397.000=70.000 |
| | mean | 8.544-8.688=-0.143 | | σ | 0.127-0.192=-0.065 | | min | 8.448-8.512=-0.064 | | max | 8.748-8.982=-0.234 |
|