iters=5 new-facts=1 prior-facts=1 | | mean | 303.791-303.796=-0.005 | | σ | 0.055-0.047=0.008 | | min | 303.711-303.727=-0.016 | | max | 303.852-303.852=0.000 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 0.395-0.397=-0.002 | | σ | 0.007-0.008=-0.001 | | min | 0.391-0.391=-0.001 | | max | 0.408-0.411=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.340-1326.325=0.014 | | σ | 0.117-0.114=0.003 | | min | 1326.198-1326.188=0.009 | | max | 1326.461-1326.443=0.017 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 1.907-1.921=-0.013 | | σ | 0.135-0.092=0.043 | | min | 1.711-1.821=-0.111 | | max | 2.042-2.029=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.438-1564.384=0.054 | | σ | 6.868-6.907=-0.040 | | min | 1561.208-1561.077=0.131 | | max | 1576.720-1576.734=-0.014 |
| | mean | 1632.000-1612.000=20.000 | | σ | 0.000 | | min | 1632.000-1612.000=20.000 | | max | 1632.000-1612.000=20.000 |
| | mean | 2.394-2.264=0.129 | | σ | 0.277-0.223=0.054 | | min | 2.049-2.013=0.036 | | max | 2.639-2.563=0.076 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.282-1894.275=0.007 | | σ | 0.068-0.062=0.006 | | min | 1894.165-1894.167=-0.002 | | max | 1894.330-1894.313=0.017 |
| | mean | 1789.400-1764.400=25.000 | | σ | 176.596-194.774=-18.177 | | min | 1632.000-1612.000=20.000 | | max | 2035.000-2068.000=-33.000 |
| | mean | 2.959-2.978=-0.019 | | σ | 0.081-0.168=-0.087 | | min | 2.879-2.847=0.032 | | max | 3.078-3.267=-0.189 |
|