iters=5 new-facts=1 prior-facts=1 | | mean | 270.231-270.240=-0.009 | | σ | 0.008-0.009=-0.002 | | min | 270.220-270.229=-0.009 | | max | 270.241-270.254=-0.013 |
| | mean | 2773.000-2849.000=-76.000 | | σ | 0.000 | | min | 2773.000-2849.000=-76.000 | | max | 2773.000-2849.000=-76.000 |
| | mean | 0.377-0.385=-0.008 | | σ | 0.006-0.010=-0.004 | | min | 0.370-0.373=-0.004 | | max | 0.383-0.398=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.700-1930.705=-0.005 | | σ | 0.017-0.012=0.005 | | min | 1930.673-1930.692=-0.019 | | max | 1930.717-1930.723=-0.006 |
| | mean | 2773.000-2849.000=-76.000 | | σ | 0.000 | | min | 2773.000-2849.000=-76.000 | | max | 2773.000-2849.000=-76.000 |
| | mean | 2.534-2.507=0.027 | | σ | 0.097-0.066=0.031 | | min | 2.417-2.448=-0.031 | | max | 2.678-2.597=0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.442-4751.401=0.041 | | σ | 0.885-0.911=-0.026 | | min | 4750.861-4750.892=-0.031 | | max | 4753.001-4753.020=-0.019 |
| | mean | 2773.000-2849.000=-76.000 | | σ | 0.000 | | min | 2773.000-2849.000=-76.000 | | max | 2773.000-2849.000=-76.000 |
| | mean | 8.258-8.590=-0.332 | | σ | 0.669-0.415=0.254 | | min | 7.608-8.012=-0.404 | | max | 9.146-9.019=0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.718-4941.801=-0.083 | | σ | 0.202-0.159=0.042 | | min | 4941.465-4941.518=-0.053 | | max | 4941.884-4941.889=-0.005 |
| | mean | 3052.000-3069.800=-17.800 | | σ | 342.809-233.967=108.842 | | min | 2773.000-2849.000=-76.000 | | max | 3563.000-3411.000=152.000 |
| | mean | 8.417-8.670=-0.253 | | σ | 0.126-0.487=-0.361 | | min | 8.338-8.338=-0.000 | | max | 8.628-9.515=-0.886 |
|