iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-266.782=-0.000 | | σ | 0.010-0.004=0.005 | | min | 266.772-266.777=-0.005 | | max | 266.796-266.788=0.008 |
| | mean | 2643.000-2512.000=131.000 | | σ | 0.000 | | min | 2643.000-2512.000=131.000 | | max | 2643.000-2512.000=131.000 |
| | mean | 0.373-0.365=0.008 | | σ | 0.010-0.001=0.009 | | min | 0.364-0.364=-0.001 | | max | 0.385-0.367=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.214-1787.049=140.165 | | σ | 0.007-313.416=-313.409 | | min | 1927.204-1226.393=700.810 | | max | 1927.220-1927.253=-0.033 |
| | mean | 2643.000-2512.000=131.000 | | σ | 0.000 | | min | 2643.000-2512.000=131.000 | | max | 2643.000-2512.000=131.000 |
| | mean | 3.023-2.852=0.171 | | σ | 0.206-0.571=-0.365 | | min | 2.738-1.848=0.891 | | max | 3.305-3.257=0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.773-4747.616=0.157 | | σ | 0.775-0.875=-0.099 | | min | 4747.365-4746.826=0.539 | | max | 4749.152-4749.121=0.031 |
| | mean | 2643.000-2512.000=131.000 | | σ | 0.000 | | min | 2643.000-2512.000=131.000 | | max | 2643.000-2512.000=131.000 |
| | mean | 8.129-8.195=-0.066 | | σ | 0.428-0.519=-0.090 | | min | 7.845-7.621=0.225 | | max | 8.888-8.755=0.133 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.171-4938.097=0.074 | | σ | 0.086-0.120=-0.035 | | min | 4938.106-4937.914=0.192 | | max | 4938.274-4938.252=0.022 |
| | mean | 2980.800-2951.600=29.200 | | σ | 371.307-367.588=3.719 | | min | 2643.000-2512.000=131.000 | | max | 3498.000-3436.000=62.000 |
| | mean | 8.376-8.672=-0.295 | | σ | 0.154-0.168=-0.014 | | min | 8.262-8.552=-0.289 | | max | 8.645-8.968=-0.323 |
|