iters=5 new-facts=1 prior-facts=1 | | mean | 324.708-324.591=0.117 | | σ | 0.054-0.037=0.017 | | min | 324.612-324.528=0.084 | | max | 324.734-324.620=0.115 |
| | mean | 2780.000-2837.000=-57.000 | | σ | 0.000 | | min | 2780.000-2837.000=-57.000 | | max | 2780.000-2837.000=-57.000 |
| | mean | 0.428-0.423=0.004 | | σ | 0.006-0.001=0.005 | | min | 0.423-0.422=0.000 | | max | 0.438-0.425=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.269-1985.142=0.127 | | σ | 0.013-0.010=0.003 | | min | 1985.249-1985.134=0.114 | | max | 1985.282-1985.158=0.124 |
| | mean | 2780.000-2837.000=-57.000 | | σ | 0.000 | | min | 2780.000-2837.000=-57.000 | | max | 2780.000-2837.000=-57.000 |
| | mean | 2.646-2.679=-0.034 | | σ | 0.111-0.178=-0.067 | | min | 2.554-2.548=0.006 | | max | 2.812-2.936=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.777-4808.741=0.036 | | σ | 7.726-7.665=0.061 | | min | 4804.844-4805.288=-0.444 | | max | 4822.587-4822.452=0.135 |
| | mean | 2780.000-2837.000=-57.000 | | σ | 0.000 | | min | 2780.000-2837.000=-57.000 | | max | 2780.000-2837.000=-57.000 |
| | mean | 8.721-8.939=-0.218 | | σ | 0.387-0.143=0.244 | | min | 8.082-8.815=-0.733 | | max | 9.097-9.121=-0.025 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.458-4996.296=0.162 | | σ | 0.023-0.130=-0.107 | | min | 4996.431-4996.065=0.366 | | max | 4996.476-4996.371=0.104 |
| | mean | 3046.200-3052.800=-6.600 | | σ | 328.116-231.108=97.009 | | min | 2780.000-2837.000=-57.000 | | max | 3543.000-3394.000=149.000 |
| | mean | 8.551-8.865=-0.315 | | σ | 0.118-0.524=-0.406 | | min | 8.481-8.432=0.049 | | max | 8.761-9.726=-0.965 |
|