iters=5 new-facts=1 prior-facts=1 | | mean | 269.928-269.934=-0.007 | | σ | 0.007-0.006=0.002 | | min | 269.921-269.930=-0.009 | | max | 269.939-269.944=-0.005 |
| | mean | 2848.000-2472.000=376.000 | | σ | 0.000 | | min | 2848.000-2472.000=376.000 | | max | 2848.000-2472.000=376.000 |
| | mean | 0.370-0.383=-0.012 | | σ | 0.001-0.004=-0.003 | | min | 0.369-0.380=-0.010 | | max | 0.371-0.389=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.392-1930.394=-0.002 | | σ | 0.009-0.013=-0.004 | | min | 1930.382-1930.372=0.010 | | max | 1930.401-1930.408=-0.006 |
| | mean | 2848.000-2472.000=376.000 | | σ | 0.000 | | min | 2848.000-2472.000=376.000 | | max | 2848.000-2472.000=376.000 |
| | mean | 2.683-2.556=0.127 | | σ | 0.192-0.115=0.077 | | min | 2.486-2.442=0.044 | | max | 2.969-2.704=0.265 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.624-4750.791=-0.167 | | σ | 1.122-0.520=0.603 | | min | 4749.395-4750.471=-1.076 | | max | 4752.463-4751.715=0.748 |
| | mean | 2848.000-2472.000=376.000 | | σ | 0.000 | | min | 2848.000-2472.000=376.000 | | max | 2848.000-2472.000=376.000 |
| | mean | 8.813-8.191=0.622 | | σ | 0.405-0.548=-0.144 | | min | 8.210-7.622=0.588 | | max | 9.208-9.050=0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334-4941.187=0.147 | | σ | 0.084-0.190=-0.106 | | min | 4941.258-4940.925=0.334 | | max | 4941.429-4941.411=0.018 |
| | mean | 3064.400-2932.000=132.400 | | σ | 230.727-390.017=-159.290 | | min | 2848.000-2495.000=353.000 | | max | 3306.000-3451.000=-145.000 |
| | mean | 8.781-8.441=0.340 | | σ | 0.462-0.123=0.339 | | min | 8.380-8.316=0.064 | | max | 9.576-8.647=0.929 |
|