iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.586=0.122 | | σ | 0.039-0.051=-0.012 | | min | 324.639-324.497=0.142 | | max | 324.732-324.623=0.109 |
| | mean | 2811.000-2836.000=-25.000 | | σ | 0.000 | | min | 2811.000-2836.000=-25.000 | | max | 2811.000-2836.000=-25.000 |
| | mean | 0.422-0.425=-0.003 | | σ | 0.001-0.002=-0.001 | | min | 0.421-0.422=-0.001 | | max | 0.423-0.427=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271-1985.134=0.138 | | σ | 0.007-0.017=-0.010 | | min | 1985.264-1985.106=0.158 | | max | 1985.282-1985.153=0.129 |
| | mean | 2811.000-2836.000=-25.000 | | σ | 0.000 | | min | 2811.000-2836.000=-25.000 | | max | 2811.000-2836.000=-25.000 |
| | mean | 2.615-2.596=0.019 | | σ | 0.074-0.060=0.015 | | min | 2.552-2.543=0.010 | | max | 2.702-2.667=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.743=0.147 | | σ | 7.653-7.670=-0.017 | | min | 4805.356-4805.291=0.066 | | max | 4822.579-4822.464=0.116 |
| | mean | 2811.000-2836.000=-25.000 | | σ | 0.000 | | min | 2811.000-2836.000=-25.000 | | max | 2811.000-2836.000=-25.000 |
| | mean | 8.705-8.971=-0.265 | | σ | 0.572-0.161=0.410 | | min | 7.712-8.831=-1.119 | | max | 9.098-9.189=-0.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.276=0.191 | | σ | 0.016-0.150=-0.134 | | min | 4996.450-4996.010=0.439 | | max | 4996.485-4996.371=0.114 |
| | mean | 3015.800-3051.200=-35.400 | | σ | 207.944-230.641=-22.697 | | min | 2811.000-2836.000=-25.000 | | max | 3301.000-3392.000=-91.000 |
| | mean | 8.667-8.673=-0.006 | | σ | 0.104-0.204=-0.100 | | min | 8.541-8.477=0.064 | | max | 8.810-8.973=-0.163 |
|