iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-271.595=0.359 | | σ | 0.007-0.005=0.002 | | min | 271.949-271.588=0.361 | | max | 271.966-271.599=0.367 |
| | mean | 2725.000-2474.000=251.000 | | σ | 0.000 | | min | 2725.000-2474.000=251.000 | | max | 2725.000-2474.000=251.000 |
| | mean | 0.383-0.380=0.003 | | σ | 0.006-0.003=0.003 | | min | 0.378-0.377=0.001 | | max | 0.394-0.385=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.329-1932.000=0.329 | | σ | 0.008-0.011=-0.002 | | min | 1932.318-1931.987=0.331 | | max | 1932.340-1932.012=0.328 |
| | mean | 2725.000-2474.000=251.000 | | σ | 0.000 | | min | 2725.000-2474.000=251.000 | | max | 2725.000-2474.000=251.000 |
| | mean | 2.967-2.496=0.471 | | σ | 0.186-0.039=0.146 | | min | 2.645-2.454=0.191 | | max | 3.123-2.543=0.580 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.120-4752.684=0.436 | | σ | 0.905-0.900=0.005 | | min | 4752.552-4751.780=0.772 | | max | 4754.716-4754.198=0.517 |
| | mean | 2725.000-2474.000=251.000 | | σ | 0.000 | | min | 2725.000-2474.000=251.000 | | max | 2725.000-2474.000=251.000 |
| | mean | 8.518-8.177=0.341 | | σ | 0.677-0.376=0.301 | | min | 7.600-7.636=-0.036 | | max | 9.092-8.526=0.566 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.560-4943.080=0.480 | | σ | 0.017-0.174=-0.157 | | min | 4943.542-4942.882=0.660 | | max | 4943.580-4943.221=0.359 |
| | mean | 3022.800-2986.400=36.400 | | σ | 247.281-275.116=-27.835 | | min | 2725.000-2603.000=122.000 | | max | 3338.000-3289.000=49.000 |
| | mean | 8.552-8.496=0.056 | | σ | 0.191-0.110=0.081 | | min | 8.399-8.386=0.013 | | max | 8.869-8.629=0.241 |
|