iters=5 new-facts=1 prior-facts=1 | | mean | 324.702-324.701=0.000 | | σ | 0.055-0.056=-0.001 | | min | 324.603-324.602=0.001 | | max | 324.731-324.732=-0.002 |
| | mean | 2840.000-2835.000=5.000 | | σ | 0.000 | | min | 2840.000-2835.000=5.000 | | max | 2840.000-2835.000=5.000 |
| | mean | 0.425-0.423=0.002 | | σ | 0.002-0.002=0.000 | | min | 0.423-0.420=0.003 | | max | 0.428-0.425=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258-1985.262=-0.004 | | σ | 0.020-0.014=0.005 | | min | 1985.226-1985.240=-0.014 | | max | 1985.276-1985.279=-0.003 |
| | mean | 2840.000-2835.000=5.000 | | σ | 0.000 | | min | 2840.000-2835.000=5.000 | | max | 2840.000-2835.000=5.000 |
| | mean | 2.564-2.663=-0.099 | | σ | 0.048-0.126=-0.077 | | min | 2.512-2.537=-0.025 | | max | 2.643-2.846=-0.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.910-4808.880=0.030 | | σ | 7.645-7.658=-0.013 | | min | 4805.327-4805.406=-0.079 | | max | 4822.585-4822.579=0.006 |
| | mean | 2840.000-2835.000=5.000 | | σ | 0.000 | | min | 2840.000-2835.000=5.000 | | max | 2840.000-2835.000=5.000 |
| | mean | 8.465-8.651=-0.186 | | σ | 0.605-0.320=0.284 | | min | 7.721-8.086=-0.366 | | max | 9.051-8.832=0.220 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.412-4996.466=-0.054 | | σ | 0.141-0.019=0.121 | | min | 4996.162-4996.442=-0.280 | | max | 4996.493-4996.489=0.003 |
| | mean | 3052.200-3042.000=10.200 | | σ | 222.074-243.873=-21.799 | | min | 2840.000-2835.000=5.000 | | max | 3371.000-3419.000=-48.000 |
| | mean | 8.666-8.515=0.151 | | σ | 0.200-0.114=0.086 | | min | 8.503-8.409=0.094 | | max | 8.991-8.702=0.289 |
|