iters=5 new-facts=1 prior-facts=1 | | mean | 326.640-324.766=1.874 | | σ | 0.052-0.044=0.008 | | min | 326.551-324.688=1.863 | | max | 326.682-324.790=1.892 |
| | mean | 2832.000-2831.000=1.000 | | σ | 0.000 | | min | 2832.000-2831.000=1.000 | | max | 2832.000-2831.000=1.000 |
| | mean | 0.433-0.427=0.006 | | σ | 0.011-0.007=0.004 | | min | 0.423-0.423=0.001 | | max | 0.448-0.440=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.796-1985.322=3.474 | | σ | 0.015-0.016=-0.001 | | min | 1988.780-1985.305=3.475 | | max | 1988.811-1985.340=3.471 |
| | mean | 2832.000-2831.000=1.000 | | σ | 0.000 | | min | 2832.000-2831.000=1.000 | | max | 2832.000-2831.000=1.000 |
| | mean | 2.703-2.616=0.087 | | σ | 0.140-0.060=0.080 | | min | 2.574-2.559=0.015 | | max | 2.939-2.689=0.250 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.650-4809.084=4.566 | | σ | 7.742-7.669=0.072 | | min | 4810.174-4805.615=4.559 | | max | 4827.499-4822.803=4.696 |
| | mean | 2832.000-2831.000=1.000 | | σ | 0.000 | | min | 2832.000-2831.000=1.000 | | max | 2832.000-2831.000=1.000 |
| | mean | 8.936-8.929=0.007 | | σ | 0.248-0.199=0.050 | | min | 8.547-8.613=-0.066 | | max | 9.156-9.064=0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.211-4996.485=4.726 | | σ | 0.028-0.192=-0.164 | | min | 5001.189-4996.248=4.941 | | max | 5001.259-4996.640=4.619 |
| | mean | 3011.400-3044.600=-33.200 | | σ | 192.110-288.217=-96.107 | | min | 2832.000-2831.000=1.000 | | max | 3295.000-3498.000=-203.000 |
| | mean | 9.921-8.521=1.400 | | σ | 0.102-0.124=-0.023 | | min | 9.803-8.442=1.361 | | max | 10.062-8.742=1.320 |
|