iters=5 new-facts=1 prior-facts=1 | | mean | 267.614-279.498=-11.883 | | σ | 17.779-0.016=17.763 | | min | 235.810-279.480=-43.669 | | max | 275.570-279.514=-3.944 |
| | mean | 2769.000-2760.000=9.000 | | σ | 0.000 | | min | 2769.000-2760.000=9.000 | | max | 2769.000-2760.000=9.000 |
| | mean | 0.380-0.410=-0.030 | | σ | 0.031-0.002=0.028 | | min | 0.326-0.407=-0.081 | | max | 0.399-0.414=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085-2178.423=-10.338 | | σ | 0.015-0.032=-0.017 | | min | 2168.067-2178.378=-10.311 | | max | 2168.103-2178.465=-10.363 |
| | mean | 2769.000-2760.000=9.000 | | σ | 0.000 | | min | 2769.000-2760.000=9.000 | | max | 2769.000-2760.000=9.000 |
| | mean | 2.935-3.432=-0.498 | | σ | 0.097-0.087=0.011 | | min | 2.810-3.291=-0.481 | | max | 3.053-3.517=-0.465 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.909-5056.380=-8.471 | | σ | 0.878-0.979=-0.101 | | min | 5047.334-5055.815=-8.481 | | max | 5049.444-5058.125=-8.681 |
| | mean | 2769.000-2760.000=9.000 | | σ | 0.000 | | min | 2769.000-2760.000=9.000 | | max | 2769.000-2760.000=9.000 |
| | mean | 8.903-8.860=0.042 | | σ | 0.507-0.612=-0.105 | | min | 8.196-8.061=0.135 | | max | 9.405-9.556=-0.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975-5193.747=-14.772 | | σ | 0.200-0.101=0.099 | | min | 5178.651-5193.641=-14.990 | | max | 5179.159-5193.857=-14.698 |
| | mean | 3302.400-3296.000=6.400 | | σ | 394.037-400.590=-6.552 | | min | 2769.000-2760.000=9.000 | | max | 3674.000-3680.000=-6.000 |
| | mean | 9.873-8.879=0.994 | | σ | 0.212-0.169=0.043 | | min | 9.534-8.611=0.923 | | max | 10.106-9.049=1.057 |
|