iters=5 new-facts=1 prior-facts=1 | | mean | 324.759-324.774=-0.015 | | σ | 0.055-0.040=0.016 | | min | 324.662-324.705=-0.043 | | max | 324.793-324.807=-0.014 |
| | mean | 2838.000-2842.000=-4.000 | | σ | 0.000 | | min | 2838.000-2842.000=-4.000 | | max | 2838.000-2842.000=-4.000 |
| | mean | 0.433-0.428=0.005 | | σ | 0.019-0.007=0.012 | | min | 0.422-0.421=0.001 | | max | 0.467-0.439=0.029 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.329-1985.306=0.023 | | σ | 0.009-0.024=-0.015 | | min | 1985.313-1985.275=0.038 | | max | 1985.335-1985.330=0.005 |
| | mean | 2838.000-2842.000=-4.000 | | σ | 0.000 | | min | 2838.000-2842.000=-4.000 | | max | 2838.000-2842.000=-4.000 |
| | mean | 2.632-2.667=-0.035 | | σ | 0.121-0.094=0.027 | | min | 2.523-2.561=-0.038 | | max | 2.774-2.759=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.095-4809.076=0.019 | | σ | 7.718-7.723=-0.004 | | min | 4805.559-4805.565=-0.006 | | max | 4822.901-4822.890=0.011 |
| | mean | 2838.000-2842.000=-4.000 | | σ | 0.000 | | min | 2838.000-2842.000=-4.000 | | max | 2838.000-2842.000=-4.000 |
| | mean | 8.840-8.812=0.028 | | σ | 0.247-0.178=0.069 | | min | 8.405-8.556=-0.152 | | max | 9.005-9.054=-0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.555-4996.560=-0.004 | | σ | 0.143-0.146=-0.004 | | min | 4996.302-4996.300=0.002 | | max | 4996.642-4996.652=-0.010 |
| | mean | 3063.200-3049.400=13.800 | | σ | 298.337-285.262=13.075 | | min | 2838.000-2842.000=-4.000 | | max | 3526.000-3501.000=25.000 |
| | mean | 8.557-8.518=0.039 | | σ | 0.116-0.127=-0.011 | | min | 8.471-8.411=0.060 | | max | 8.755-8.691=0.064 |
|