iters=5 new-facts=1 prior-facts=1 | | mean | 270.123-270.150=-0.026 | | σ | 0.008-0.004=0.004 | | min | 270.115-270.143=-0.028 | | max | 270.136-270.154=-0.018 |
| | mean | 2415.000-2517.000=-102.000 | | σ | 0.000 | | min | 2415.000-2517.000=-102.000 | | max | 2415.000-2517.000=-102.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.006-0.009=-0.003 | | min | 0.378-0.378=0.000 | | max | 0.392-0.398=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.605-1930.575=0.030 | | σ | 0.008-0.040=-0.032 | | min | 1930.598-1930.505=0.093 | | max | 1930.617-1930.607=0.010 |
| | mean | 2415.000-2517.000=-102.000 | | σ | 0.000 | | min | 2415.000-2517.000=-102.000 | | max | 2415.000-2517.000=-102.000 |
| | mean | 2.537-2.487=0.050 | | σ | 0.150-0.125=0.025 | | min | 2.446-2.298=0.148 | | max | 2.801-2.621=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.196-4751.211=-0.015 | | σ | 0.925-1.111=-0.186 | | min | 4750.517-4750.214=0.304 | | max | 4752.825-4753.122=-0.297 |
| | mean | 2415.000-2517.000=-102.000 | | σ | 0.000 | | min | 2415.000-2517.000=-102.000 | | max | 2415.000-2517.000=-102.000 |
| | mean | 8.450-8.737=-0.287 | | σ | 0.481-0.737=-0.256 | | min | 7.661-7.800=-0.139 | | max | 8.980-9.786=-0.806 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.697-4941.773=-0.076 | | σ | 0.144-0.019=0.125 | | min | 4941.440-4941.750=-0.310 | | max | 4941.777-4941.789=-0.013 |
| | mean | 3004.400-2892.200=112.200 | | σ | 277.310-334.422=-57.112 | | min | 2618.000-2517.000=101.000 | | max | 3312.000-3350.000=-38.000 |
| | mean | 8.504-8.351=0.153 | | σ | 0.070-0.085=-0.015 | | min | 8.422-8.210=0.213 | | max | 8.617-8.412=0.205 |
|