iters=5 new-facts=1 prior-facts=1 | | mean | 277.716-277.717=-0.002 | | σ | 0.010-0.008=0.002 | | min | 277.705-277.708=-0.003 | | max | 277.730-277.728=0.002 |
| | mean | 2650.000-2664.000=-14.000 | | σ | 0.000 | | min | 2650.000-2664.000=-14.000 | | max | 2650.000-2664.000=-14.000 |
| | mean | 0.412-0.410=0.002 | | σ | 0.002-0.001=0.001 | | min | 0.411-0.409=0.002 | | max | 0.415-0.411=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.893-2267.890=0.004 | | σ | 0.008-0.011=-0.003 | | min | 2267.887-2267.876=0.011 | | max | 2267.907-2267.906=0.000 |
| | mean | 2650.000-2664.000=-14.000 | | σ | 0.000 | | min | 2650.000-2664.000=-14.000 | | max | 2650.000-2664.000=-14.000 |
| | mean | 3.054-3.161=-0.106 | | σ | 0.166-0.138=0.028 | | min | 2.863-2.981=-0.118 | | max | 3.253-3.319=-0.066 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.071-4954.960=0.111 | | σ | 0.827-0.555=0.272 | | min | 4954.585-4954.655=-0.070 | | max | 4956.544-4955.950=0.594 |
| | mean | 2650.000-2664.000=-14.000 | | σ | 0.000 | | min | 2650.000-2664.000=-14.000 | | max | 2650.000-2664.000=-14.000 |
| | mean | 7.894-7.879=0.015 | | σ | 0.198-0.142=0.057 | | min | 7.675-7.677=-0.003 | | max | 8.098-8.053=0.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.722-5169.792=-0.070 | | σ | 0.155-0.090=0.065 | | min | 5169.488-5169.693=-0.205 | | max | 5169.874-5169.872=0.002 |
| | mean | 3427.400-3390.600=36.800 | | σ | 505.353-546.545=-41.192 | | min | 2830.000-2897.000=-67.000 | | max | 4173.000-4168.000=5.000 |
| | mean | 9.367-9.167=0.200 | | σ | 0.296-0.312=-0.017 | | min | 8.965-8.796=0.168 | | max | 9.667-9.577=0.091 |
|