iters=5 new-facts=1 prior-facts=1 | | mean | 324.693-324.694=-0.001 | | σ | 0.047-0.047=0.000 | | min | 324.611-324.612=-0.001 | | max | 324.728-324.727=0.001 |
| | mean | 2834.000-2824.000=10.000 | | σ | 0.000 | | min | 2834.000-2824.000=10.000 | | max | 2834.000-2824.000=10.000 |
| | mean | 0.425-0.429=-0.004 | | σ | 0.002-0.007=-0.005 | | min | 0.423-0.422=0.000 | | max | 0.427-0.439=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.246-1985.252=-0.005 | | σ | 0.023-0.013=0.011 | | min | 1985.207-1985.237=-0.030 | | max | 1985.262-1985.265=-0.003 |
| | mean | 2834.000-2824.000=10.000 | | σ | 0.000 | | min | 2834.000-2824.000=10.000 | | max | 2834.000-2824.000=10.000 |
| | mean | 2.597-2.593=0.004 | | σ | 0.067-0.108=-0.041 | | min | 2.542-2.452=0.090 | | max | 2.690-2.742=-0.052 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.841-4808.535=0.306 | | σ | 7.680-7.903=-0.223 | | min | 4805.378-4804.188=1.190 | | max | 4822.580-4822.637=-0.057 |
| | mean | 2834.000-2824.000=10.000 | | σ | 0.000 | | min | 2834.000-2824.000=10.000 | | max | 2834.000-2824.000=10.000 |
| | mean | 8.871-8.566=0.305 | | σ | 0.135-0.664=-0.528 | | min | 8.663-7.769=0.895 | | max | 9.028-9.134=-0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.388-4996.384=0.004 | | σ | 0.149-0.165=-0.016 | | min | 4996.124-4996.090=0.034 | | max | 4996.484-4996.471=0.013 |
| | mean | 3042.200-3040.400=1.800 | | σ | 216.117-291.934=-75.816 | | min | 2834.000-2824.000=10.000 | | max | 3349.000-3498.000=-149.000 |
| | mean | 8.572-8.505=0.067 | | σ | 0.087-0.106=-0.019 | | min | 8.441-8.419=0.022 | | max | 8.684-8.685=-0.001 |
|