iters=5 new-facts=1 prior-facts=1 | | mean | 324.689-324.706=-0.017 | | σ | 0.051-0.056=-0.005 | | min | 324.598-324.607=-0.008 | | max | 324.725-324.744=-0.019 |
| | mean | 2845.000-2838.000=7.000 | | σ | 0.000 | | min | 2845.000-2838.000=7.000 | | max | 2845.000-2838.000=7.000 |
| | mean | 0.427-0.424=0.004 | | σ | 0.008-0.001=0.007 | | min | 0.423-0.423=-0.000 | | max | 0.441-0.425=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.263=0.005 | | σ | 0.014-0.007=0.007 | | min | 1985.248-1985.255=-0.006 | | max | 1985.282-1985.271=0.010 |
| | mean | 2845.000-2838.000=7.000 | | σ | 0.000 | | min | 2845.000-2838.000=7.000 | | max | 2845.000-2838.000=7.000 |
| | mean | 2.648-2.685=-0.037 | | σ | 0.127-0.101=0.027 | | min | 2.568-2.562=0.005 | | max | 2.868-2.780=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.521-4808.748=-0.227 | | σ | 7.236-7.410=-0.174 | | min | 4804.818-4805.384=-0.567 | | max | 4821.455-4822.002=-0.547 |
| | mean | 2845.000-2838.000=7.000 | | σ | 0.000 | | min | 2845.000-2838.000=7.000 | | max | 2845.000-2838.000=7.000 |
| | mean | 8.711-8.858=-0.148 | | σ | 0.375-0.183=0.193 | | min | 8.065-8.655=-0.590 | | max | 8.992-9.100=-0.109 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.477=-0.009 | | σ | 0.026-0.021=0.005 | | min | 4996.426-4996.451=-0.025 | | max | 4996.496-4996.500=-0.004 |
| | mean | 3048.200-3037.000=11.200 | | σ | 277.677-210.812=66.866 | | min | 2845.000-2838.000=7.000 | | max | 3487.000-3257.000=230.000 |
| | mean | 8.576-8.653=-0.077 | | σ | 0.154-0.113=0.041 | | min | 8.427-8.511=-0.084 | | max | 8.797-8.811=-0.014 |
|