iters=5 new-facts=1 prior-facts=1 | | mean | 270.235-270.241=-0.006 | | σ | 0.007-0.006=0.001 | | min | 270.226-270.234=-0.009 | | max | 270.245-270.248=-0.003 |
| | mean | 2771.000-2832.000=-61.000 | | σ | 0.000 | | min | 2771.000-2832.000=-61.000 | | max | 2771.000-2832.000=-61.000 |
| | mean | 0.376-0.379=-0.003 | | σ | 0.003-0.007=-0.004 | | min | 0.370-0.373=-0.002 | | max | 0.379-0.391=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.702-1930.702=-0.000 | | σ | 0.017-0.007=0.010 | | min | 1930.672-1930.695=-0.023 | | max | 1930.711-1930.709=0.002 |
| | mean | 2771.000-2832.000=-61.000 | | σ | 0.000 | | min | 2771.000-2832.000=-61.000 | | max | 2771.000-2832.000=-61.000 |
| | mean | 2.518-2.577=-0.059 | | σ | 0.082-0.122=-0.039 | | min | 2.395-2.465=-0.070 | | max | 2.602-2.713=-0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.440-4751.368=0.072 | | σ | 0.880-0.937=-0.057 | | min | 4750.945-4750.863=0.082 | | max | 4753.008-4753.041=-0.033 |
| | mean | 2771.000-2832.000=-61.000 | | σ | 0.000 | | min | 2771.000-2832.000=-61.000 | | max | 2771.000-2832.000=-61.000 |
| | mean | 8.263-8.700=-0.436 | | σ | 0.459-0.364=0.095 | | min | 7.648-8.144=-0.496 | | max | 8.772-9.121=-0.349 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.726-4941.800=-0.074 | | σ | 0.213-0.164=0.049 | | min | 4941.493-4941.511=-0.018 | | max | 4941.896-4941.906=-0.010 |
| | mean | 3032.600-3077.400=-44.800 | | σ | 317.952-261.408=56.543 | | min | 2771.000-2832.000=-61.000 | | max | 3512.000-3351.000=161.000 |
| | mean | 8.392-8.821=-0.430 | | σ | 0.094-0.357=-0.263 | | min | 8.315-8.392=-0.077 | | max | 8.556-9.336=-0.780 |
|