iters=5 new-facts=1 prior-facts=1 | | mean | 326.638-326.636=0.001 | | σ | 0.049-0.056=-0.007 | | min | 326.551-326.537=0.014 | | max | 326.674-326.672=0.003 |
| | mean | 2879.000-2831.000=48.000 | | σ | 0.000 | | min | 2879.000-2831.000=48.000 | | max | 2879.000-2831.000=48.000 |
| | mean | 0.426-0.426=-0.001 | | σ | 0.006-0.001=0.004 | | min | 0.420-0.424=-0.004 | | max | 0.433-0.428=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.801-1988.782=0.020 | | σ | 0.014-0.014=0.000 | | min | 1988.784-1988.761=0.023 | | max | 1988.822-1988.793=0.029 |
| | mean | 2879.000-2831.000=48.000 | | σ | 0.000 | | min | 2879.000-2831.000=48.000 | | max | 2879.000-2831.000=48.000 |
| | mean | 2.724-2.745=-0.021 | | σ | 0.117-0.113=0.004 | | min | 2.625-2.612=0.014 | | max | 2.924-2.889=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.699-4813.629=0.069 | | σ | 7.741-7.730=0.012 | | min | 4810.118-4810.147=-0.029 | | max | 4827.546-4827.456=0.089 |
| | mean | 2879.000-2831.000=48.000 | | σ | 0.000 | | min | 2879.000-2831.000=48.000 | | max | 2879.000-2831.000=48.000 |
| | mean | 8.703-8.653=0.050 | | σ | 0.711-0.348=0.364 | | min | 7.675-8.107=-0.431 | | max | 9.417-9.008=0.409 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.194-5001.057=0.137 | | σ | 0.013-0.330=-0.317 | | min | 5001.179-5000.467=0.712 | | max | 5001.205-5001.227=-0.022 |
| | mean | 3032.400-3061.600=-29.200 | | σ | 241.143-242.524=-1.381 | | min | 2879.000-2831.000=48.000 | | max | 3430.000-3412.000=18.000 |
| | mean | 9.496-9.703=-0.207 | | σ | 0.563-0.197=0.367 | | min | 8.490-9.453=-0.963 | | max | 9.778-9.961=-0.184 |
|