iters=5 new-facts=1 prior-facts=1 | | mean | 269.933-269.932=0.001 | | σ | 0.008-0.007=0.001 | | min | 269.922-269.924=-0.002 | | max | 269.942-269.943=-0.002 |
| | mean | 2511.000-2493.000=18.000 | | σ | 0.000 | | min | 2511.000-2493.000=18.000 | | max | 2511.000-2493.000=18.000 |
| | mean | 0.370-0.371=-0.002 | | σ | 0.006-0.005=0.002 | | min | 0.367-0.369=-0.002 | | max | 0.381-0.380=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.392-1930.388=0.004 | | σ | 0.022-0.017=0.005 | | min | 1930.354-1930.363=-0.009 | | max | 1930.409-1930.407=0.002 |
| | mean | 2511.000-2493.000=18.000 | | σ | 0.000 | | min | 2511.000-2493.000=18.000 | | max | 2511.000-2493.000=18.000 |
| | mean | 2.507-2.554=-0.047 | | σ | 0.144-0.164=-0.020 | | min | 2.358-2.444=-0.087 | | max | 2.739-2.844=-0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.750-4750.855=-0.104 | | σ | 0.868-0.810=0.058 | | min | 4750.066-4750.263=-0.197 | | max | 4752.266-4752.271=-0.005 |
| | mean | 2511.000-2493.000=18.000 | | σ | 0.000 | | min | 2511.000-2493.000=18.000 | | max | 2511.000-2493.000=18.000 |
| | mean | 8.485-8.589=-0.104 | | σ | 0.151-0.340=-0.189 | | min | 8.272-8.264=0.008 | | max | 8.683-9.125=-0.442 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.330-4941.332=-0.001 | | σ | 0.093-0.087=0.005 | | min | 4941.252-4941.253=-0.001 | | max | 4941.434-4941.430=0.004 |
| | mean | 2995.800-2991.000=4.800 | | σ | 287.341-283.603=3.738 | | min | 2608.000-2603.000=5.000 | | max | 3333.000-3326.000=7.000 |
| | mean | 8.548-8.527=0.021 | | σ | 0.153-0.181=-0.027 | | min | 8.401-8.357=0.044 | | max | 8.769-8.734=0.034 |
|