iters=5 new-facts=1 prior-facts=1 | | mean | 297.306-297.321=-0.015 | | σ | 0.019-0.010=0.009 | | min | 297.273-297.312=-0.039 | | max | 297.324-297.339=-0.015 |
| | mean | 1513.000-1594.000=-81.000 | | σ | 0.000 | | min | 1513.000-1594.000=-81.000 | | max | 1513.000-1594.000=-81.000 |
| | mean | 0.390-0.391=-0.002 | | σ | 0.001-0.005=-0.004 | | min | 0.388-0.387=0.001 | | max | 0.391-0.399=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.011-1299.007=0.003 | | σ | 0.093-0.091=0.002 | | min | 1298.844-1298.846=-0.002 | | max | 1299.064-1299.064=-0.000 |
| | mean | 1513.000-1594.000=-81.000 | | σ | 0.000 | | min | 1513.000-1594.000=-81.000 | | max | 1513.000-1594.000=-81.000 |
| | mean | 1.870-2.053=-0.182 | | σ | 0.055-0.268=-0.213 | | min | 1.844-1.839=0.005 | | max | 1.969-2.485=-0.516 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.180-1719.187=-0.007 | | σ | 6.925-6.898=0.027 | | min | 1715.989-1716.000=-0.011 | | max | 1731.566-1731.525=0.041 |
| | mean | 1513.000-1594.000=-81.000 | | σ | 0.000 | | min | 1513.000-1594.000=-81.000 | | max | 1513.000-1594.000=-81.000 |
| | mean | 2.906-2.983=-0.077 | | σ | 0.417-0.307=0.111 | | min | 2.599-2.688=-0.089 | | max | 3.624-3.424=0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.920-1981.924=-0.004 | | σ | 0.033-0.045=-0.012 | | min | 1981.863-1981.856=0.007 | | max | 1981.943-1981.980=-0.037 |
| | mean | 1793.800-1813.400=-19.600 | | σ | 234.260-217.860=16.400 | | min | 1522.000-1594.000=-72.000 | | max | 2121.000-2132.000=-11.000 |
| | mean | 3.343-3.297=0.046 | | σ | 0.363-0.430=-0.066 | | min | 3.105-3.003=0.103 | | max | 3.988-4.053=-0.065 |
|