iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.757=0.000 | | σ | 0.007-0.007=-0.000 | | min | 272.746-272.747=-0.002 | | max | 272.763-272.764=-0.001 |
| | mean | 2419.000-2699.000=-280.000 | | σ | 0.000 | | min | 2419.000-2699.000=-280.000 | | max | 2419.000-2699.000=-280.000 |
| | mean | 0.385-0.383=0.002 | | σ | 0.009-0.005=0.004 | | min | 0.377-0.380=-0.003 | | max | 0.395-0.392=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.164-1933.159=0.005 | | σ | 0.009-0.014=-0.005 | | min | 1933.155-1933.140=0.015 | | max | 1933.175-1933.174=0.001 |
| | mean | 2419.000-2699.000=-280.000 | | σ | 0.000 | | min | 2419.000-2699.000=-280.000 | | max | 2419.000-2699.000=-280.000 |
| | mean | 3.064-3.114=-0.050 | | σ | 0.298-0.080=0.218 | | min | 2.653-3.029=-0.376 | | max | 3.480-3.207=0.273 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.959-4756.922=0.037 | | σ | 7.637-7.634=0.003 | | min | 4753.394-4753.441=-0.046 | | max | 4770.619-4770.577=0.042 |
| | mean | 2419.000-2699.000=-280.000 | | σ | 0.000 | | min | 2419.000-2699.000=-280.000 | | max | 2419.000-2699.000=-280.000 |
| | mean | 8.869-8.573=0.296 | | σ | 0.616-0.406=0.209 | | min | 7.967-7.941=0.026 | | max | 9.635-8.937=0.698 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.325-4944.387=-0.061 | | σ | 0.161-0.018=0.144 | | min | 4944.038-4944.368=-0.331 | | max | 4944.414-4944.413=0.001 |
| | mean | 3002.800-3019.600=-16.800 | | σ | 324.846-349.647=-24.801 | | min | 2574.000-2699.000=-125.000 | | max | 3416.000-3530.000=-114.000 |
| | mean | 8.536-8.477=0.059 | | σ | 0.140-0.132=0.008 | | min | 8.412-8.369=0.042 | | max | 8.706-8.706=-0.000 |
|