iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.540=0.031 | | σ | 0.060-0.051=0.009 | | min | 326.465-326.448=0.017 | | max | 326.614-326.570=0.044 |
| | mean | 2857.000-2739.000=118.000 | | σ | 0.000 | | min | 2857.000-2739.000=118.000 | | max | 2857.000-2739.000=118.000 |
| | mean | 0.425-0.430=-0.005 | | σ | 0.005-0.007=-0.002 | | min | 0.420-0.421=-0.001 | | max | 0.431-0.437=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.741-1988.734=0.006 | | σ | 0.009-0.007=0.002 | | min | 1988.725-1988.726=-0.001 | | max | 1988.747-1988.745=0.002 |
| | mean | 2857.000-2739.000=118.000 | | σ | 0.000 | | min | 2857.000-2739.000=118.000 | | max | 2857.000-2739.000=118.000 |
| | mean | 2.737-2.768=-0.031 | | σ | 0.246-0.146=0.101 | | min | 2.380-2.564=-0.184 | | max | 3.027-2.932=0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.595-4813.358=0.236 | | σ | 7.738-7.847=-0.110 | | min | 4810.072-4809.515=0.557 | | max | 4827.436-4827.386=0.050 |
| | mean | 2857.000-2739.000=118.000 | | σ | 0.000 | | min | 2857.000-2739.000=118.000 | | max | 2857.000-2739.000=118.000 |
| | mean | 8.579-8.475=0.104 | | σ | 0.636-0.606=0.031 | | min | 7.802-7.727=0.076 | | max | 9.287-9.206=0.081 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.134-5001.063=0.071 | | σ | 0.026-0.165=-0.139 | | min | 5001.101-5000.771=0.329 | | max | 5001.163-5001.160=0.003 |
| | mean | 3080.000-2983.000=97.000 | | σ | 303.697-295.019=8.678 | | min | 2857.000-2739.000=118.000 | | max | 3554.000-3423.000=131.000 |
| | mean | 9.765-9.592=0.173 | | σ | 0.096-0.562=-0.466 | | min | 9.709-8.598=1.111 | | max | 9.936-9.938=-0.002 |
|