iters=5 new-facts=1 prior-facts=1 | | mean | 324.731-324.733=-0.002 | | σ | 0.055-0.056=-0.001 | | min | 324.634-324.635=-0.001 | | max | 324.770-324.775=-0.005 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 0.424-0.424=0.000 | | σ | 0.001-0.002=-0.000 | | min | 0.423-0.422=0.001 | | max | 0.426-0.426=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.289-1985.293=-0.004 | | σ | 0.016-0.013=0.003 | | min | 1985.271-1985.277=-0.006 | | max | 1985.306-1985.308=-0.002 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 2.633-2.629=0.004 | | σ | 0.102-0.105=-0.003 | | min | 2.545-2.542=0.003 | | max | 2.799-2.763=0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.913-4808.930=-0.017 | | σ | 7.761-7.625=0.136 | | min | 4805.361-4805.424=-0.063 | | max | 4822.796-4822.568=0.228 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 9.047-8.923=0.124 | | σ | 0.290-0.447=-0.157 | | min | 8.756-8.257=0.500 | | max | 9.509-9.505=0.005 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.291-4996.358=-0.067 | | σ | 0.195-0.335=-0.139 | | min | 4996.121-4995.760=0.361 | | max | 4996.525-4996.525=-0.000 |
| | mean | 3051.400-3056.000=-4.600 | | σ | 287.020-301.025=-14.005 | | min | 2839.000-2826.000=13.000 | | max | 3504.000-3518.000=-14.000 |
| | mean | 8.558-8.468=0.090 | | σ | 0.095-0.063=0.032 | | min | 8.496-8.413=0.083 | | max | 8.724-8.565=0.159 |
|