iters=5 new-facts=1 prior-facts=1 | | mean | 324.580-324.591=-0.010 | | σ | 0.052-0.036=0.015 | | min | 324.489-324.527=-0.038 | | max | 324.610-324.616=-0.006 |
| | mean | 2837.000-2754.000=83.000 | | σ | 0.000 | | min | 2837.000-2754.000=83.000 | | max | 2837.000-2754.000=83.000 |
| | mean | 0.423-0.422=0.001 | | σ | 0.001-0.000=0.001 | | min | 0.422-0.422=0.000 | | max | 0.425-0.423=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.144-1985.138=0.005 | | σ | 0.006-0.013=-0.007 | | min | 1985.137-1985.125=0.012 | | max | 1985.151-1985.154=-0.003 |
| | mean | 2837.000-2754.000=83.000 | | σ | 0.000 | | min | 2837.000-2754.000=83.000 | | max | 2837.000-2754.000=83.000 |
| | mean | 2.555-2.698=-0.143 | | σ | 0.104-0.135=-0.032 | | min | 2.397-2.506=-0.109 | | max | 2.667-2.844=-0.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.749-4808.637=0.111 | | σ | 7.681-7.738=-0.057 | | min | 4805.301-4804.706=0.595 | | max | 4822.489-4822.471=0.019 |
| | mean | 2837.000-2754.000=83.000 | | σ | 0.000 | | min | 2837.000-2754.000=83.000 | | max | 2837.000-2754.000=83.000 |
| | mean | 8.982-8.686=0.296 | | σ | 0.098-0.328=-0.230 | | min | 8.885-8.208=0.676 | | max | 9.130-9.014=0.115 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.348-4996.351=-0.004 | | σ | 0.020-0.012=0.008 | | min | 4996.322-4996.331=-0.009 | | max | 4996.368-4996.362=0.006 |
| | mean | 3035.600-3076.600=-41.000 | | σ | 207.254-282.281=-75.026 | | min | 2837.000-2754.000=83.000 | | max | 3332.000-3357.000=-25.000 |
| | mean | 8.568-8.980=-0.412 | | σ | 0.183-0.559=-0.376 | | min | 8.346-8.519=-0.173 | | max | 8.796-9.679=-0.884 |
|