iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.195=0.002 | | σ | 0.004-0.006=-0.002 | | min | 277.192-277.187=0.005 | | max | 277.202-277.201=0.001 |
| | mean | 2709.000-2655.000=54.000 | | σ | 0.000 | | min | 2709.000-2655.000=54.000 | | max | 2709.000-2655.000=54.000 |
| | mean | 0.406-0.405=0.000 | | σ | 0.007-0.006=0.001 | | min | 0.402-0.401=0.001 | | max | 0.418-0.416=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427-2174.425=0.002 | | σ | 0.021-0.015=0.006 | | min | 2174.391-2174.401=-0.010 | | max | 2174.446-2174.439=0.007 |
| | mean | 2709.000-2655.000=54.000 | | σ | 0.000 | | min | 2709.000-2655.000=54.000 | | max | 2709.000-2655.000=54.000 |
| | mean | 2.981-2.806=0.175 | | σ | 0.175-0.154=0.021 | | min | 2.776-2.719=0.057 | | max | 3.168-3.081=0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.271-5052.531=-0.260 | | σ | 1.277-1.080=0.198 | | min | 5051.037-5051.633=-0.596 | | max | 5054.377-5054.395=-0.018 |
| | mean | 2709.000-2655.000=54.000 | | σ | 0.000 | | min | 2709.000-2655.000=54.000 | | max | 2709.000-2655.000=54.000 |
| | mean | 9.349-8.663=0.686 | | σ | 0.291-0.743=-0.452 | | min | 8.861-7.976=0.885 | | max | 9.598-9.684=-0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.213-5188.272=-0.059 | | σ | 0.382-0.378=0.003 | | min | 5187.643-5187.610=0.032 | | max | 5188.527-5188.524=0.003 |
| | mean | 3252.000-3217.400=34.600 | | σ | 345.453-489.429=-143.975 | | min | 2774.000-2655.000=119.000 | | max | 3650.000-3882.000=-232.000 |
| | mean | 9.022-8.820=0.201 | | σ | 0.414-0.246=0.168 | | min | 8.648-8.613=0.035 | | max | 9.611-9.147=0.464 |
|