iters=5 new-facts=1 prior-facts=1 | | mean | 270.125-270.106=0.019 | | σ | 0.006-0.007=-0.001 | | min | 270.114-270.095=0.019 | | max | 270.129-270.114=0.015 |
| | mean | 2759.000-2767.000=-8.000 | | σ | 0.000 | | min | 2759.000-2767.000=-8.000 | | max | 2759.000-2767.000=-8.000 |
| | mean | 0.382-0.382=0.000 | | σ | 0.006-0.005=0.001 | | min | 0.378-0.377=0.001 | | max | 0.393-0.390=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.574-1930.594=-0.020 | | σ | 0.022-0.016=0.006 | | min | 1930.548-1930.577=-0.029 | | max | 1930.603-1930.616=-0.012 |
| | mean | 2759.000-2767.000=-8.000 | | σ | 0.000 | | min | 2759.000-2767.000=-8.000 | | max | 2759.000-2767.000=-8.000 |
| | mean | 2.499-2.634=-0.135 | | σ | 0.169-0.133=0.036 | | min | 2.250-2.464=-0.214 | | max | 2.699-2.823=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.117-4750.952=0.166 | | σ | 0.810-0.627=0.183 | | min | 4750.656-4750.580=0.077 | | max | 4752.555-4752.067=0.488 |
| | mean | 2759.000-2767.000=-8.000 | | σ | 0.000 | | min | 2759.000-2767.000=-8.000 | | max | 2759.000-2767.000=-8.000 |
| | mean | 8.184-8.705=-0.522 | | σ | 0.380-0.383=-0.003 | | min | 7.699-8.068=-0.370 | | max | 8.649-9.035=-0.386 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.379-4941.527=-0.149 | | σ | 0.102-0.094=0.007 | | min | 4941.267-4941.445=-0.178 | | max | 4941.465-4941.636=-0.171 |
| | mean | 3042.600-3025.400=17.200 | | σ | 339.472-304.155=35.317 | | min | 2759.000-2767.000=-8.000 | | max | 3545.000-3472.000=73.000 |
| | mean | 8.386-8.568=-0.183 | | σ | 0.104-0.069=0.035 | | min | 8.288-8.517=-0.229 | | max | 8.564-8.682=-0.118 |
|