iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.198=-0.000 | | σ | 0.006-0.003=0.002 | | min | 277.190-277.192=-0.003 | | max | 277.204-277.200=0.004 |
| | mean | 2663.000-2698.000=-35.000 | | σ | 0.000 | | min | 2663.000-2698.000=-35.000 | | max | 2663.000-2698.000=-35.000 |
| | mean | 0.401-0.403=-0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.400-0.402=-0.002 | | max | 0.402-0.407=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.427-2174.425=0.002 | | σ | 0.015-0.009=0.005 | | min | 2174.405-2174.416=-0.011 | | max | 2174.439-2174.436=0.003 |
| | mean | 2663.000-2698.000=-35.000 | | σ | 0.000 | | min | 2663.000-2698.000=-35.000 | | max | 2663.000-2698.000=-35.000 |
| | mean | 3.037-3.017=0.020 | | σ | 0.235-0.161=0.074 | | min | 2.754-2.767=-0.013 | | max | 3.408-3.163=0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.594-5052.479=0.115 | | σ | 0.919-1.068=-0.150 | | min | 5051.988-5051.664=0.323 | | max | 5054.198-5054.346=-0.148 |
| | mean | 2663.000-2698.000=-35.000 | | σ | 0.000 | | min | 2663.000-2698.000=-35.000 | | max | 2663.000-2698.000=-35.000 |
| | mean | 8.788-8.871=-0.083 | | σ | 0.545-0.552=-0.006 | | min | 8.070-8.085=-0.016 | | max | 9.406-9.464=-0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.429-5188.212=0.217 | | σ | 0.083-0.139=-0.057 | | min | 5188.360-5188.017=0.343 | | max | 5188.529-5188.358=0.171 |
| | mean | 3287.400-3235.600=51.800 | | σ | 424.555-387.207=37.348 | | min | 2688.000-2698.000=-10.000 | | max | 3678.000-3725.000=-47.000 |
| | mean | 8.948-8.927=0.021 | | σ | 0.237-0.350=-0.113 | | min | 8.655-8.655=-0.001 | | max | 9.307-9.532=-0.226 |
|