iters=5 new-facts=1 prior-facts=1 | | mean | 270.230-270.024=0.205 | | σ | 0.008-0.007=0.002 | | min | 270.224-270.014=0.210 | | max | 270.242-270.030=0.212 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 0.391-0.378=0.013 | | σ | 0.009-0.010=-0.001 | | min | 0.382-0.369=0.013 | | max | 0.402-0.392=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.691-1930.477=0.214 | | σ | 0.009-0.020=-0.012 | | min | 1930.680-1930.451=0.229 | | max | 1930.703-1930.496=0.207 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 2.507-2.554=-0.048 | | σ | 0.154-0.132=0.022 | | min | 2.325-2.453=-0.127 | | max | 2.746-2.772=-0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.164-4750.821=0.344 | | σ | 0.875-0.946=-0.070 | | min | 4750.570-4749.808=0.761 | | max | 4752.716-4752.373=0.343 |
| | mean | 2849.000-2775.000=74.000 | | σ | 0.000 | | min | 2849.000-2775.000=74.000 | | max | 2849.000-2775.000=74.000 |
| | mean | 8.630-8.651=-0.021 | | σ | 0.562-0.284=0.278 | | min | 7.665-8.354=-0.689 | | max | 9.097-9.054=0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.631-4941.343=0.287 | | σ | 0.088-0.213=-0.125 | | min | 4941.561-4940.984=0.576 | | max | 4941.738-4941.507=0.231 |
| | mean | 3092.000-2993.800=98.200 | | σ | 249.646-212.957=36.689 | | min | 2849.000-2775.000=74.000 | | max | 3349.000-3306.000=43.000 |
| | mean | 8.773-8.582=0.192 | | σ | 0.264-0.171=0.093 | | min | 8.464-8.338=0.125 | | max | 9.179-8.789=0.390 |
|