iters=5 new-facts=1 prior-facts=1 | | mean | 270.140-270.139=0.001 | | σ | 0.009-0.009=-0.001 | | min | 270.128-270.131=-0.002 | | max | 270.151-270.154=-0.003 |
| | mean | 2771.000-2769.000=2.000 | | σ | 0.000 | | min | 2771.000-2769.000=2.000 | | max | 2771.000-2769.000=2.000 |
| | mean | 0.378-0.377=0.002 | | σ | 0.005-0.004=0.001 | | min | 0.372-0.371=0.001 | | max | 0.384-0.382=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.607=0.002 | | σ | 0.008-0.007=0.001 | | min | 1930.598-1930.596=0.002 | | max | 1930.619-1930.615=0.004 |
| | mean | 2771.000-2769.000=2.000 | | σ | 0.000 | | min | 2771.000-2769.000=2.000 | | max | 2771.000-2769.000=2.000 |
| | mean | 2.517-2.512=0.005 | | σ | 0.102-0.085=0.017 | | min | 2.450-2.431=0.019 | | max | 2.691-2.654=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.318-4751.332=-0.015 | | σ | 0.908-0.888=0.020 | | min | 4750.802-4750.819=-0.016 | | max | 4752.933-4752.914=0.019 |
| | mean | 2771.000-2769.000=2.000 | | σ | 0.000 | | min | 2771.000-2769.000=2.000 | | max | 2771.000-2769.000=2.000 |
| | mean | 8.477-8.413=0.065 | | σ | 0.526-0.465=0.061 | | min | 7.614-7.741=-0.127 | | max | 9.000-8.979=0.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.695-4941.699=-0.004 | | σ | 0.154-0.144=0.009 | | min | 4941.423-4941.443=-0.021 | | max | 4941.785-4941.790=-0.005 |
| | mean | 3014.000-3044.400=-30.400 | | σ | 236.541-235.302=1.239 | | min | 2771.000-2769.000=2.000 | | max | 3328.000-3371.000=-43.000 |
| | mean | 8.626-8.680=-0.054 | | σ | 0.245-0.208=0.037 | | min | 8.394-8.394=0.000 | | max | 9.009-8.925=0.084 |
|