iters=5 new-facts=1 prior-facts=1 | | mean | 279.436-279.437=-0.001 | | σ | 0.005-0.007=-0.003 | | min | 279.432-279.425=0.007 | | max | 279.443-279.444=-0.001 |
| | mean | 2685.000-2684.000=1.000 | | σ | 0.000 | | min | 2685.000-2684.000=1.000 | | max | 2685.000-2684.000=1.000 |
| | mean | 0.413-0.415=-0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.410-0.411=-0.000 | | max | 0.421-0.422=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2269.495-2269.495=-0.001 | | σ | 0.009-0.005=0.005 | | min | 2269.479-2269.489=-0.010 | | max | 2269.504-2269.500=0.004 |
| | mean | 2685.000-2684.000=1.000 | | σ | 0.000 | | min | 2685.000-2684.000=1.000 | | max | 2685.000-2684.000=1.000 |
| | mean | 2.909-2.923=-0.015 | | σ | 0.084-0.119=-0.035 | | min | 2.811-2.820=-0.010 | | max | 3.043-3.129=-0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.871-4954.602=0.269 | | σ | 0.908-1.047=-0.139 | | min | 4954.308-4953.832=0.476 | | max | 4956.480-4956.394=0.085 |
| | mean | 2685.000-2684.000=1.000 | | σ | 0.000 | | min | 2685.000-2684.000=1.000 | | max | 2685.000-2684.000=1.000 |
| | mean | 8.099-8.166=-0.067 | | σ | 0.355-0.200=0.155 | | min | 7.774-7.961=-0.187 | | max | 8.609-8.495=0.114 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.239-5169.367=-0.127 | | σ | 0.314-0.148=0.166 | | min | 5168.820-5169.148=-0.328 | | max | 5169.506-5169.507=-0.001 |
| | mean | 3399.600-3436.200=-36.600 | | σ | 484.723-462.994=21.730 | | min | 2820.000-2821.000=-1.000 | | max | 4064.000-4041.000=23.000 |
| | mean | 9.521-9.322=0.199 | | σ | 0.502-0.450=0.052 | | min | 9.136-8.609=0.527 | | max | 10.397-9.755=0.642 |
|