iters=5 new-facts=1 prior-facts=1 | | mean | 326.575-326.576=-0.000 | | σ | 0.046-0.041=0.005 | | min | 326.496-326.504=-0.008 | | max | 326.611-326.602=0.009 |
| | mean | 2835.000-2633.000=202.000 | | σ | 0.000 | | min | 2835.000-2633.000=202.000 | | max | 2835.000-2633.000=202.000 |
| | mean | 0.423-0.422=0.001 | | σ | 0.002-0.002=0.000 | | min | 0.421-0.420=0.001 | | max | 0.426-0.424=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1848.399-1988.737=-140.339 | | σ | 313.801-0.010=313.791 | | min | 1287.055-1988.723=-701.668 | | max | 1988.741-1988.750=-0.009 |
| | mean | 2835.000-2633.000=202.000 | | σ | 0.000 | | min | 2835.000-2633.000=202.000 | | max | 2835.000-2633.000=202.000 |
| | mean | 2.618-2.751=-0.133 | | σ | 0.479-0.192=0.287 | | min | 1.801-2.636=-0.834 | | max | 3.005-3.093=-0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.514-4813.603=-0.088 | | σ | 7.783-7.705=0.078 | | min | 4809.675-4810.037=-0.362 | | max | 4827.431-4827.385=0.046 |
| | mean | 2835.000-2633.000=202.000 | | σ | 0.000 | | min | 2835.000-2633.000=202.000 | | max | 2835.000-2633.000=202.000 |
| | mean | 8.324-8.365=-0.041 | | σ | 0.539-0.478=0.061 | | min | 7.799-7.806=-0.007 | | max | 9.180-9.053=0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.072-5001.132=-0.060 | | σ | 0.176-0.017=0.159 | | min | 5000.759-5001.113=-0.354 | | max | 5001.179-5001.146=0.033 |
| | mean | 3000.200-2954.800=45.400 | | σ | 242.765-341.942=-99.177 | | min | 2835.000-2633.000=202.000 | | max | 3392.000-3417.000=-25.000 |
| | mean | 9.741-9.692=0.049 | | σ | 0.162-0.198=-0.036 | | min | 9.539-9.458=0.081 | | max | 9.983-9.903=0.079 |
|