iters=5 new-facts=1 prior-facts=1 | | mean | 324.586-324.584=0.002 | | σ | 0.044-0.051=-0.007 | | min | 324.508-324.492=0.016 | | max | 324.611-324.609=0.002 |
| | mean | 2792.000-2756.000=36.000 | | σ | 0.000 | | min | 2792.000-2756.000=36.000 | | max | 2792.000-2756.000=36.000 |
| | mean | 0.425-0.423=0.002 | | σ | 0.001-0.002=-0.000 | | min | 0.423-0.422=0.002 | | max | 0.426-0.425=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.138-1985.133=0.005 | | σ | 0.019-0.010=0.010 | | min | 1985.105-1985.119=-0.014 | | max | 1985.152-1985.143=0.009 |
| | mean | 2792.000-2756.000=36.000 | | σ | 0.000 | | min | 2792.000-2756.000=36.000 | | max | 2792.000-2756.000=36.000 |
| | mean | 2.564-2.773=-0.209 | | σ | 0.050-0.312=-0.262 | | min | 2.514-2.563=-0.049 | | max | 2.644-3.312=-0.668 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.762-4808.643=0.119 | | σ | 7.631-7.730=-0.100 | | min | 4805.292-4804.642=0.650 | | max | 4822.411-4822.459=-0.048 |
| | mean | 2792.000-2756.000=36.000 | | σ | 0.000 | | min | 2792.000-2756.000=36.000 | | max | 2792.000-2756.000=36.000 |
| | mean | 8.690-8.563=0.127 | | σ | 0.298-0.607=-0.309 | | min | 8.329-7.767=0.561 | | max | 9.006-9.175=-0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.350-4996.340=0.010 | | σ | 0.015-0.012=0.003 | | min | 4996.336-4996.327=0.009 | | max | 4996.369-4996.359=0.010 |
| | mean | 3044.400-2983.800=60.600 | | σ | 200.377-293.060=-92.683 | | min | 2792.000-2756.000=36.000 | | max | 3315.000-3430.000=-115.000 |
| | mean | 8.589-8.426=0.163 | | σ | 0.116-0.091=0.024 | | min | 8.428-8.304=0.123 | | max | 8.726-8.517=0.208 |
|