iters=5 new-facts=1 prior-facts=1 | | mean | 271.288-271.289=-0.001 | | σ | 0.007-0.007=0.000 | | min | 271.276-271.279=-0.003 | | max | 271.295-271.297=-0.002 |
| | mean | 2767.000-2785.000=-18.000 | | σ | 0.000 | | min | 2767.000-2785.000=-18.000 | | max | 2767.000-2785.000=-18.000 |
| | mean | 0.378-0.379=-0.001 | | σ | 0.006-0.006=0.000 | | min | 0.369-0.373=-0.004 | | max | 0.385-0.389=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.710-1931.722=-0.012 | | σ | 0.016-0.011=0.005 | | min | 1931.690-1931.710=-0.020 | | max | 1931.728-1931.736=-0.008 |
| | mean | 2767.000-2785.000=-18.000 | | σ | 0.000 | | min | 2767.000-2785.000=-18.000 | | max | 2767.000-2785.000=-18.000 |
| | mean | 2.875-2.864=0.012 | | σ | 0.121-0.187=-0.065 | | min | 2.688-2.629=0.059 | | max | 2.982-3.059=-0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.343-4752.434=-0.091 | | σ | 0.937-0.855=0.082 | | min | 4751.516-4751.998=-0.482 | | max | 4753.955-4753.961=-0.006 |
| | mean | 2767.000-2785.000=-18.000 | | σ | 0.000 | | min | 2767.000-2785.000=-18.000 | | max | 2767.000-2785.000=-18.000 |
| | mean | 8.332-8.573=-0.241 | | σ | 0.476-0.267=0.209 | | min | 7.734-8.251=-0.516 | | max | 8.978-8.858=0.120 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.842-4942.776=0.066 | | σ | 0.162-0.196=-0.034 | | min | 4942.554-4942.548=0.005 | | max | 4942.931-4942.928=0.003 |
| | mean | 3022.800-3027.200=-4.400 | | σ | 224.380-220.719=3.661 | | min | 2767.000-2785.000=-18.000 | | max | 3307.000-3310.000=-3.000 |
| | mean | 8.552-8.681=-0.129 | | σ | 0.145-0.213=-0.068 | | min | 8.385-8.405=-0.020 | | max | 8.728-8.996=-0.268 |
|