iters=5 new-facts=1 prior-facts=1 | | mean | 273.503-273.496=0.007 | | σ | 0.008-0.009=-0.001 | | min | 273.492-273.482=0.010 | | max | 273.515-273.508=0.007 |
| | mean | 2883.000-2603.000=280.000 | | σ | 0.000 | | min | 2883.000-2603.000=280.000 | | max | 2883.000-2603.000=280.000 |
| | mean | 0.386-0.376=0.010 | | σ | 0.005-0.007=-0.002 | | min | 0.380-0.372=0.009 | | max | 0.393-0.388=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.889-1933.894=-0.006 | | σ | 0.009-0.009=0.000 | | min | 1933.876-1933.887=-0.011 | | max | 1933.898-1933.909=-0.011 |
| | mean | 2883.000-2603.000=280.000 | | σ | 0.000 | | min | 2883.000-2603.000=280.000 | | max | 2883.000-2603.000=280.000 |
| | mean | 3.013-2.954=0.059 | | σ | 0.087-0.175=-0.088 | | min | 2.915-2.700=0.214 | | max | 3.143-3.148=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.580-4754.670=-0.090 | | σ | 0.603-0.820=-0.217 | | min | 4754.233-4754.145=0.087 | | max | 4755.651-4756.127=-0.476 |
| | mean | 2883.000-2603.000=280.000 | | σ | 0.000 | | min | 2883.000-2603.000=280.000 | | max | 2883.000-2603.000=280.000 |
| | mean | 8.401-8.538=-0.137 | | σ | 0.436-0.569=-0.133 | | min | 7.680-7.641=0.039 | | max | 8.739-9.095=-0.356 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.044-4944.977=0.067 | | σ | 0.159-0.196=-0.037 | | min | 4944.761-4944.743=0.017 | | max | 4945.133-4945.143=-0.010 |
| | mean | 3066.800-3010.400=56.400 | | σ | 177.483-262.956=-85.473 | | min | 2883.000-2624.000=259.000 | | max | 3323.000 |
| | mean | 8.540-8.590=-0.050 | | σ | 0.222-0.121=0.100 | | min | 8.363-8.442=-0.079 | | max | 8.907-8.723=0.184 |
|