iters=5 new-facts=1 prior-facts=1 | | mean | 273.502-273.503=-0.001 | | σ | 0.005-0.008=-0.004 | | min | 273.497-273.492=0.005 | | max | 273.510-273.515=-0.005 |
| | mean | 2851.000-2883.000=-32.000 | | σ | 0.000 | | min | 2851.000-2883.000=-32.000 | | max | 2851.000-2883.000=-32.000 |
| | mean | 0.378-0.386=-0.008 | | σ | 0.005-0.005=0.001 | | min | 0.373-0.380=-0.007 | | max | 0.384-0.393=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.892-1933.889=0.003 | | σ | 0.011-0.009=0.001 | | min | 1933.878-1933.876=0.003 | | max | 1933.908-1933.898=0.010 |
| | mean | 2851.000-2883.000=-32.000 | | σ | 0.000 | | min | 2851.000-2883.000=-32.000 | | max | 2851.000-2883.000=-32.000 |
| | mean | 3.006-3.013=-0.007 | | σ | 0.055-0.087=-0.032 | | min | 2.941-2.915=0.027 | | max | 3.084-3.143=-0.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.734-4754.580=0.154 | | σ | 0.796-0.603=0.192 | | min | 4754.307-4754.233=0.074 | | max | 4756.155-4755.651=0.505 |
| | mean | 2851.000-2883.000=-32.000 | | σ | 0.000 | | min | 2851.000-2883.000=-32.000 | | max | 2851.000-2883.000=-32.000 |
| | mean | 7.932-8.401=-0.469 | | σ | 0.343-0.436=-0.093 | | min | 7.676-7.680=-0.004 | | max | 8.530-8.739=-0.209 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.972-4945.044=-0.071 | | σ | 0.189-0.159=0.029 | | min | 4944.756-4944.761=-0.005 | | max | 4945.123-4945.133=-0.010 |
| | mean | 3056.800-3066.800=-10.000 | | σ | 286.815-177.483=109.332 | | min | 2851.000-2883.000=-32.000 | | max | 3510.000-3323.000=187.000 |
| | mean | 8.462-8.540=-0.078 | | σ | 0.167-0.222=-0.055 | | min | 8.334-8.363=-0.029 | | max | 8.729-8.907=-0.179 |
|