iters=5 new-facts=1 prior-facts=1 | | mean | 324.765-324.778=-0.013 | | σ | 0.042-0.033=0.009 | | min | 324.691-324.722=-0.030 | | max | 324.792-324.807=-0.015 |
| | mean | 2718.000-2830.000=-112.000 | | σ | 0.000 | | min | 2718.000-2830.000=-112.000 | | max | 2718.000-2830.000=-112.000 |
| | mean | 0.428-0.423=0.005 | | σ | 0.009-0.001=0.008 | | min | 0.421-0.422=-0.001 | | max | 0.442-0.425=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.323=-0.007 | | σ | 0.021-0.015=0.005 | | min | 1985.292-1985.306=-0.014 | | max | 1985.334-1985.337=-0.003 |
| | mean | 2718.000-2830.000=-112.000 | | σ | 0.000 | | min | 2718.000-2830.000=-112.000 | | max | 2718.000-2830.000=-112.000 |
| | mean | 2.631-2.621=0.010 | | σ | 0.102-0.054=0.048 | | min | 2.551-2.573=-0.022 | | max | 2.761-2.690=0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.096-4808.808=0.288 | | σ | 7.647-7.790=-0.143 | | min | 4805.611-4804.837=0.774 | | max | 4822.775-4822.735=0.040 |
| | mean | 2718.000-2830.000=-112.000 | | σ | 0.000 | | min | 2718.000-2830.000=-112.000 | | max | 2718.000-2830.000=-112.000 |
| | mean | 8.962-8.712=0.250 | | σ | 0.362-0.264=0.099 | | min | 8.581-8.342=0.240 | | max | 9.521-9.044=0.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.621-4996.530=0.092 | | σ | 0.028-0.025=0.003 | | min | 4996.589-4996.504=0.085 | | max | 4996.652-4996.563=0.089 |
| | mean | 2982.200-3034.200=-52.000 | | σ | 310.297-280.479=29.818 | | min | 2718.000-2830.000=-112.000 | | max | 3430.000-3475.000=-45.000 |
| | mean | 8.458-8.489=-0.031 | | σ | 0.049-0.150=-0.101 | | min | 8.398-8.370=0.028 | | max | 8.511-8.750=-0.240 |
|