iters=5 new-facts=1 prior-facts=1 | | mean | 324.583-272.791=51.791 | | σ | 0.051-0.005=0.045 | | min | 324.493-272.785=51.708 | | max | 324.611-272.797=51.814 |
| | mean | 2504.000-2495.000=9.000 | | σ | 0.000 | | min | 2504.000-2495.000=9.000 | | max | 2504.000-2495.000=9.000 |
| | mean | 0.427-0.381=0.046 | | σ | 0.010-0.008=0.002 | | min | 0.422-0.377=0.045 | | max | 0.445-0.395=0.049 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.140-1933.218=51.923 | | σ | 0.011-0.005=0.006 | | min | 1985.123-1933.212=51.911 | | max | 1985.149-1933.225=51.925 |
| | mean | 2504.000-2495.000=9.000 | | σ | 0.000 | | min | 2504.000-2495.000=9.000 | | max | 2504.000-2495.000=9.000 |
| | mean | 2.670-3.020=-0.350 | | σ | 0.180-0.059=0.121 | | min | 2.550-2.979=-0.430 | | max | 2.964-3.121=-0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.755-4756.865=51.890 | | σ | 7.741-7.611=0.130 | | min | 4805.244-4752.930=52.314 | | max | 4822.602-4770.467=52.135 |
| | mean | 2504.000-2495.000=9.000 | | σ | 0.000 | | min | 2504.000-2495.000=9.000 | | max | 2504.000-2495.000=9.000 |
| | mean | 8.835-8.431=0.404 | | σ | 0.683-0.417=0.266 | | min | 7.787-7.891=-0.104 | | max | 9.603-8.910=0.694 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.343-4944.389=51.954 | | σ | 0.014-0.153=-0.140 | | min | 4996.323-4944.116=52.207 | | max | 4996.359-4944.472=51.887 |
| | mean | 2937.000-2979.200=-42.200 | | σ | 400.282-273.794=126.488 | | min | 2504.000-2607.000=-103.000 | | max | 3473.000-3317.000=156.000 |
| | mean | 8.479-8.512=-0.033 | | σ | 0.140-0.068=0.072 | | min | 8.365-8.428=-0.062 | | max | 8.721-8.581=0.141 |
|