iters=5 new-facts=1 prior-facts=1 | | mean | 321.050-324.014=-2.965 | | σ | 0.037-0.055=-0.018 | | min | 320.985-323.918=-2.933 | | max | 321.073-324.049=-2.976 |
| | mean | 2761.000-2856.000=-95.000 | | σ | 0.000 | | min | 2761.000-2856.000=-95.000 | | max | 2761.000-2856.000=-95.000 |
| | mean | 0.421-0.433=-0.012 | | σ | 0.001-0.007=-0.006 | | min | 0.419-0.426=-0.007 | | max | 0.422-0.443=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.621-1984.585=-2.964 | | σ | 0.013-0.018=-0.005 | | min | 1981.601-1984.557=-2.956 | | max | 1981.635-1984.604=-2.969 |
| | mean | 2761.000-2856.000=-95.000 | | σ | 0.000 | | min | 2761.000-2856.000=-95.000 | | max | 2761.000-2856.000=-95.000 |
| | mean | 2.699-2.579=0.120 | | σ | 0.112-0.100=0.012 | | min | 2.562-2.439=0.124 | | max | 2.847-2.709=0.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.256-4808.130=-2.874 | | σ | 7.706-7.900=-0.194 | | min | 4801.761-4804.097=-2.336 | | max | 4819.040-4822.251=-3.211 |
| | mean | 2761.000-2856.000=-95.000 | | σ | 0.000 | | min | 2761.000-2856.000=-95.000 | | max | 2761.000-2856.000=-95.000 |
| | mean | 8.888-8.899=-0.011 | | σ | 0.243-0.492=-0.248 | | min | 8.508-8.240=0.268 | | max | 9.151-9.488=-0.337 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.833-4995.804=-2.970 | | σ | 0.015-0.021=-0.006 | | min | 4992.816-4995.778=-2.962 | | max | 4992.845-4995.825=-2.980 |
| | mean | 3053.400-3026.800=26.600 | | σ | 298.366-180.757=117.609 | | min | 2761.000-2856.000=-95.000 | | max | 3358.000-3290.000=68.000 |
| | mean | 8.848-8.668=0.181 | | σ | 0.322-0.214=0.108 | | min | 8.455-8.409=0.046 | | max | 9.310-8.929=0.381 |
|