iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-324.759=0.007 | | σ | 0.044-0.053=-0.009 | | min | 324.688-324.664=0.024 | | max | 324.790-324.790=-0.000 |
| | mean | 2831.000-2825.000=6.000 | | σ | 0.000 | | min | 2831.000-2825.000=6.000 | | max | 2831.000-2825.000=6.000 |
| | mean | 0.427-0.431=-0.004 | | σ | 0.007-0.009=-0.002 | | min | 0.423-0.424=-0.001 | | max | 0.440-0.441=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.317=0.005 | | σ | 0.016-0.029=-0.013 | | min | 1985.305-1985.276=0.029 | | max | 1985.340-1985.339=0.001 |
| | mean | 2831.000-2825.000=6.000 | | σ | 0.000 | | min | 2831.000-2825.000=6.000 | | max | 2831.000-2825.000=6.000 |
| | mean | 2.616-2.680=-0.064 | | σ | 0.060-0.237=-0.176 | | min | 2.559-2.524=0.035 | | max | 2.689-3.083=-0.394 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.084-4809.004=0.080 | | σ | 7.669-7.731=-0.062 | | min | 4805.615-4805.063=0.552 | | max | 4822.803-4822.823=-0.020 |
| | mean | 2831.000-2825.000=6.000 | | σ | 0.000 | | min | 2831.000-2825.000=6.000 | | max | 2831.000-2825.000=6.000 |
| | mean | 8.929-8.684=0.245 | | σ | 0.199-0.415=-0.216 | | min | 8.613-7.973=0.640 | | max | 9.064-8.962=0.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485-4996.620=-0.135 | | σ | 0.192-0.027=0.165 | | min | 4996.248-4996.591=-0.343 | | max | 4996.640-4996.650=-0.010 |
| | mean | 3044.600-3061.000=-16.400 | | σ | 288.217-307.222=-19.005 | | min | 2831.000-2825.000=6.000 | | max | 3498.000-3535.000=-37.000 |
| | mean | 8.521-8.481=0.040 | | σ | 0.124-0.091=0.033 | | min | 8.442-8.428=0.014 | | max | 8.742-8.643=0.098 |
|