iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.196=-0.001 | | σ | 0.004-0.007=-0.002 | | min | 277.191-277.188=0.002 | | max | 277.202-277.203=-0.001 |
| | mean | 2662.000-2608.000=54.000 | | σ | 0.000 | | min | 2662.000-2608.000=54.000 | | max | 2662.000-2608.000=54.000 |
| | mean | 0.393-0.407=-0.014 | | σ | 0.001-0.008=-0.007 | | min | 0.392-0.400=-0.008 | | max | 0.395-0.421=-0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.442-2174.432=0.010 | | σ | 0.038-0.006=0.032 | | min | 2174.374-2174.428=-0.054 | | max | 2174.470-2174.443=0.027 |
| | mean | 2662.000-2608.000=54.000 | | σ | 0.000 | | min | 2662.000-2608.000=54.000 | | max | 2662.000-2608.000=54.000 |
| | mean | 3.078-2.994=0.085 | | σ | 0.234-0.147=0.087 | | min | 2.782-2.810=-0.028 | | max | 3.362-3.179=0.182 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.482-5052.639=-0.157 | | σ | 1.099-0.995=0.104 | | min | 5051.712-5052.004=-0.293 | | max | 5054.417-5054.403=0.015 |
| | mean | 2662.000-2608.000=54.000 | | σ | 0.000 | | min | 2662.000-2608.000=54.000 | | max | 2662.000-2608.000=54.000 |
| | mean | 9.132-8.661=0.471 | | σ | 0.594-0.715=-0.121 | | min | 8.239-8.007=0.233 | | max | 9.883-9.702=0.180 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.358-5188.289=0.069 | | σ | 0.209-0.206=0.002 | | min | 5188.011-5188.006=0.005 | | max | 5188.524-5188.532=-0.008 |
| | mean | 3226.400-3223.000=3.400 | | σ | 385.954-384.888=1.066 | | min | 2687.000-2684.000=3.000 | | max | 3710.000-3704.000=6.000 |
| | mean | 8.906-9.105=-0.200 | | σ | 0.282-0.414=-0.132 | | min | 8.680-8.695=-0.015 | | max | 9.340-9.649=-0.309 |
|