iters=5 new-facts=1 prior-facts=1 | | mean | 324.713-272.759=51.954 | | σ | 0.038-0.006=0.032 | | min | 324.646-272.754=51.891 | | max | 324.737-272.767=51.970 |
| | mean | 2840.000-2704.000=136.000 | | σ | 0.000 | | min | 2840.000-2704.000=136.000 | | max | 2840.000-2704.000=136.000 |
| | mean | 0.424-0.383=0.040 | | σ | 0.001-0.004=-0.003 | | min | 0.422-0.379=0.043 | | max | 0.426-0.390=0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.273-1933.130=52.143 | | σ | 0.007-0.011=-0.003 | | min | 1985.267-1933.121=52.147 | | max | 1985.285-1933.146=52.139 |
| | mean | 2840.000-2704.000=136.000 | | σ | 0.000 | | min | 2840.000-2704.000=136.000 | | max | 2840.000-2704.000=136.000 |
| | mean | 2.617-3.103=-0.485 | | σ | 0.084-0.094=-0.010 | | min | 2.553-2.990=-0.437 | | max | 2.728-3.189=-0.461 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.863-4753.838=55.026 | | σ | 7.653-0.938=6.716 | | min | 4805.387-4753.128=52.258 | | max | 4822.554-4755.479=67.075 |
| | mean | 2840.000-2704.000=136.000 | | σ | 0.000 | | min | 2840.000-2704.000=136.000 | | max | 2840.000-2704.000=136.000 |
| | mean | 8.926-8.480=0.445 | | σ | 0.201-0.498=-0.297 | | min | 8.636-7.962=0.674 | | max | 9.136-9.063=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465-4944.357=52.109 | | σ | 0.019-0.018=0.001 | | min | 4996.445-4944.332=52.113 | | max | 4996.490-4944.375=52.115 |
| | mean | 3041.400-2996.000=45.400 | | σ | 211.079-328.917=-117.838 | | min | 2840.000-2704.000=136.000 | | max | 3345.000-3465.000=-120.000 |
| | mean | 8.641-8.433=0.208 | | σ | 0.183-0.095=0.087 | | min | 8.493-8.327=0.166 | | max | 8.935-8.564=0.371 |
|