iters=5 new-facts=1 prior-facts=1 | | mean | 324.757-324.764=-0.007 | | σ | 0.059-0.048=0.011 | | min | 324.653-324.679=-0.026 | | max | 324.790-324.794=-0.004 |
| | mean | 2831.000-2749.000=82.000 | | σ | 0.000 | | min | 2831.000-2749.000=82.000 | | max | 2831.000-2749.000=82.000 |
| | mean | 0.428-0.425=0.003 | | σ | 0.008-0.006=0.002 | | min | 0.423-0.423=0.000 | | max | 0.442-0.436=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.327-1985.320=0.007 | | σ | 0.010-0.014=-0.005 | | min | 1985.311-1985.301=0.010 | | max | 1985.336-1985.336=0.000 |
| | mean | 2831.000-2749.000=82.000 | | σ | 0.000 | | min | 2831.000-2749.000=82.000 | | max | 2831.000-2749.000=82.000 |
| | mean | 2.676-2.712=-0.035 | | σ | 0.133-0.237=-0.103 | | min | 2.551-2.493=0.058 | | max | 2.845-3.099=-0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.005-4809.076=-0.071 | | σ | 7.745-7.714=0.031 | | min | 4805.023-4805.582=-0.559 | | max | 4822.848-4822.875=-0.026 |
| | mean | 2831.000-2749.000=82.000 | | σ | 0.000 | | min | 2831.000-2749.000=82.000 | | max | 2831.000-2749.000=82.000 |
| | mean | 8.561-8.654=-0.093 | | σ | 0.561-0.538=0.023 | | min | 7.960-7.771=0.189 | | max | 9.166-9.136=0.030 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628-4996.615=0.013 | | σ | 0.023-0.016=0.007 | | min | 4996.598-4996.596=0.002 | | max | 4996.654-4996.634=0.020 |
| | mean | 3051.400-3015.600=35.800 | | σ | 262.626-322.094=-59.468 | | min | 2831.000-2749.000=82.000 | | max | 3431.000-3500.000=-69.000 |
| | mean | 8.540-8.445=0.095 | | σ | 0.199-0.130=0.069 | | min | 8.409-8.317=0.092 | | max | 8.891-8.662=0.229 |
|