iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-324.588=0.118 | | σ | 0.048-0.032=0.016 | | min | 324.621-324.532=0.090 | | max | 324.740-324.605=0.134 |
| | mean | 2840.000-2726.000=114.000 | | σ | 0.000 | | min | 2840.000-2726.000=114.000 | | max | 2840.000-2726.000=114.000 |
| | mean | 0.426-0.426=-0.000 | | σ | 0.006-0.009=-0.003 | | min | 0.422-0.420=0.003 | | max | 0.436-0.441=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.151=0.119 | | σ | 0.007-0.008=-0.000 | | min | 1985.259-1985.140=0.120 | | max | 1985.277-1985.161=0.117 |
| | mean | 2840.000-2726.000=114.000 | | σ | 0.000 | | min | 2840.000-2726.000=114.000 | | max | 2840.000-2726.000=114.000 |
| | mean | 2.596-2.556=0.039 | | σ | 0.058-0.036=0.021 | | min | 2.543-2.529=0.014 | | max | 2.669-2.617=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.911-4808.649=0.262 | | σ | 7.708-7.682=0.026 | | min | 4805.357-4804.820=0.537 | | max | 4822.698-4822.384=0.314 |
| | mean | 2840.000-2726.000=114.000 | | σ | 0.000 | | min | 2840.000-2726.000=114.000 | | max | 2840.000-2726.000=114.000 |
| | mean | 8.833-8.463=0.369 | | σ | 0.627-0.435=0.192 | | min | 7.771-8.039=-0.267 | | max | 9.353-9.024=0.329 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.463-4996.346=0.116 | | σ | 0.021-0.021=-0.000 | | min | 4996.440-4996.324=0.116 | | max | 4996.482-4996.375=0.107 |
| | mean | 3054.600-3019.400=35.200 | | σ | 201.676-218.833=-17.157 | | min | 2840.000-2726.000=114.000 | | max | 3350.000-3306.000=44.000 |
| | mean | 8.706-8.685=0.022 | | σ | 0.237-0.146=0.092 | | min | 8.475-8.543=-0.068 | | max | 9.071-8.886=0.184 |
|