iters=5 new-facts=1 prior-facts=1 | | mean | 270.231-270.237=-0.006 | | σ | 0.008-0.004=0.004 | | min | 270.220-270.231=-0.011 | | max | 270.241-270.241=-0.000 |
| | mean | 2773.000-2423.000=350.000 | | σ | 0.000 | | min | 2773.000-2423.000=350.000 | | max | 2773.000-2423.000=350.000 |
| | mean | 0.377-0.375=0.002 | | σ | 0.006-0.004=0.002 | | min | 0.370-0.369=0.001 | | max | 0.383-0.379=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.700-1930.703=-0.004 | | σ | 0.017-0.013=0.004 | | min | 1930.673-1930.687=-0.014 | | max | 1930.717-1930.719=-0.002 |
| | mean | 2773.000-2423.000=350.000 | | σ | 0.000 | | min | 2773.000-2423.000=350.000 | | max | 2773.000-2423.000=350.000 |
| | mean | 2.534-2.511=0.024 | | σ | 0.097-0.058=0.040 | | min | 2.417-2.457=-0.040 | | max | 2.678-2.587=0.091 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.442-4751.492=-0.050 | | σ | 0.885-0.885=-0.000 | | min | 4750.861-4750.882=-0.020 | | max | 4753.001-4753.043=-0.042 |
| | mean | 2773.000-2423.000=350.000 | | σ | 0.000 | | min | 2773.000-2423.000=350.000 | | max | 2773.000-2423.000=350.000 |
| | mean | 8.258-8.565=-0.307 | | σ | 0.669-0.832=-0.162 | | min | 7.608-7.658=-0.049 | | max | 9.146-9.687=-0.541 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.718-4941.801=-0.082 | | σ | 0.202-0.143=0.058 | | min | 4941.465-4941.545=-0.080 | | max | 4941.884-4941.877=0.007 |
| | mean | 3052.000-3012.400=39.600 | | σ | 342.809-259.586=83.223 | | min | 2773.000-2624.000=149.000 | | max | 3563.000-3317.000=246.000 |
| | mean | 8.417-8.488=-0.071 | | σ | 0.126-0.117=0.008 | | min | 8.338-8.344=-0.006 | | max | 8.628-8.581=0.047 |
|