iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-269.383=2.216 | | σ | 0.006-0.009=-0.003 | | min | 271.592-269.372=2.220 | | max | 271.605-269.395=2.210 |
| | mean | 2780.000-2467.000=313.000 | | σ | 0.000 | | min | 2780.000-2467.000=313.000 | | max | 2780.000-2467.000=313.000 |
| | mean | 0.384-0.381=0.003 | | σ | 0.005-0.009=-0.004 | | min | 0.381-0.374=0.007 | | max | 0.393-0.394=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.992-1929.745=2.247 | | σ | 0.017-0.007=0.010 | | min | 1931.964-1929.738=2.227 | | max | 1932.007-1929.754=2.252 |
| | mean | 2780.000-2467.000=313.000 | | σ | 0.000 | | min | 2780.000-2467.000=313.000 | | max | 2780.000-2467.000=313.000 |
| | mean | 2.596-2.859=-0.264 | | σ | 0.262-0.206=0.056 | | min | 2.434-2.538=-0.105 | | max | 3.061-3.031=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.627-4750.512=2.115 | | σ | 0.988-0.836=0.153 | | min | 4751.891-4750.074=1.817 | | max | 4754.353-4752.005=2.348 |
| | mean | 2780.000-2467.000=313.000 | | σ | 0.000 | | min | 2780.000-2467.000=313.000 | | max | 2780.000-2467.000=313.000 |
| | mean | 8.806-8.417=0.388 | | σ | 0.489-0.377=0.112 | | min | 8.238-7.891=0.347 | | max | 9.547-8.898=0.649 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.140-4940.989=2.150 | | σ | 0.163-0.013=0.150 | | min | 4942.848-4940.975=1.873 | | max | 4943.221-4941.004=2.217 |
| | mean | 3007.200-2952.600=54.600 | | σ | 214.130-328.552=-114.422 | | min | 2780.000-2467.000=313.000 | | max | 3293.000-3349.000=-56.000 |
| | mean | 8.470-8.457=0.013 | | σ | 0.077-0.138=-0.061 | | min | 8.377-8.300=0.076 | | max | 8.573-8.678=-0.106 |
|