iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-279.512=-3.945 | | σ | 0.007-0.007=-0.000 | | min | 275.562-279.503=-3.941 | | max | 275.578-279.517=-3.939 |
| | mean | 2640.000-2746.000=-106.000 | | σ | 0.000 | | min | 2640.000-2746.000=-106.000 | | max | 2640.000-2746.000=-106.000 |
| | mean | 0.391-0.409=-0.018 | | σ | 0.008-0.002=0.006 | | min | 0.383-0.405=-0.022 | | max | 0.400-0.410=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2178.418=-10.318 | | σ | 0.009-0.034=-0.024 | | min | 2168.089-2178.359=-10.271 | | max | 2168.110-2178.443=-10.333 |
| | mean | 2640.000-2746.000=-106.000 | | σ | 0.000 | | min | 2640.000-2746.000=-106.000 | | max | 2640.000-2746.000=-106.000 |
| | mean | 2.997-3.432=-0.435 | | σ | 0.161-0.172=-0.011 | | min | 2.836-3.271=-0.435 | | max | 3.223-3.620=-0.397 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922-5056.392=-8.470 | | σ | 0.896-1.004=-0.108 | | min | 5047.391-5055.790=-8.400 | | max | 5049.516-5058.177=-8.661 |
| | mean | 2640.000-2746.000=-106.000 | | σ | 0.000 | | min | 2640.000-2746.000=-106.000 | | max | 2640.000-2746.000=-106.000 |
| | mean | 9.018-8.715=0.303 | | σ | 0.328-0.657=-0.329 | | min | 8.597-8.163=0.434 | | max | 9.493-9.736=-0.243 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5193.689=-14.647 | | σ | 0.082-0.212=-0.130 | | min | 5178.961-5193.338=-14.377 | | max | 5179.131-5193.874=-14.744 |
| | mean | 3218.800-3285.800=-67.000 | | σ | 388.112-404.146=-16.034 | | min | 2684.000-2746.000=-62.000 | | max | 3704.000-3673.000=31.000 |
| | mean | 9.864-8.832=1.032 | | σ | 0.271-0.095=0.176 | | min | 9.489-8.705=0.784 | | max | 10.214-8.970=1.244 |
|