iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.795=-0.004 | | σ | 0.008-0.005=0.003 | | min | 272.780-272.790=-0.010 | | max | 272.801-272.803=-0.002 |
| | mean | 2510.000-2511.000=-1.000 | | σ | 0.000 | | min | 2510.000-2511.000=-1.000 | | max | 2510.000-2511.000=-1.000 |
| | mean | 0.383-0.388=-0.004 | | σ | 0.007-0.012=-0.004 | | min | 0.377-0.377=0.000 | | max | 0.396-0.402=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.228-1933.220=0.008 | | σ | 0.011-0.013=-0.002 | | min | 1933.212-1933.207=0.006 | | max | 1933.240-1933.236=0.004 |
| | mean | 2510.000-2511.000=-1.000 | | σ | 0.000 | | min | 2510.000-2511.000=-1.000 | | max | 2510.000-2511.000=-1.000 |
| | mean | 3.008-2.876=0.132 | | σ | 0.158-0.159=-0.001 | | min | 2.752-2.635=0.118 | | max | 3.174-3.030=0.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.903-4756.948=-0.045 | | σ | 7.605-7.569=0.036 | | min | 4753.131-4753.490=-0.359 | | max | 4770.502-4770.487=0.015 |
| | mean | 2510.000-2511.000=-1.000 | | σ | 0.000 | | min | 2510.000-2511.000=-1.000 | | max | 2510.000-2511.000=-1.000 |
| | mean | 8.343-8.599=-0.257 | | σ | 0.371-0.273=0.097 | | min | 7.852-8.275=-0.423 | | max | 8.624-8.895=-0.271 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455-4944.456=-0.001 | | σ | 0.020-0.017=0.003 | | min | 4944.435-4944.438=-0.003 | | max | 4944.480-4944.474=0.006 |
| | mean | 2992.000-2943.200=48.800 | | σ | 276.878-302.621=-25.743 | | min | 2618.000-2511.000=107.000 | | max | 3328.000-3316.000=12.000 |
| | mean | 8.560-8.467=0.094 | | σ | 0.172-0.145=0.027 | | min | 8.359-8.370=-0.011 | | max | 8.787-8.715=0.072 |
|