iters=5 new-facts=1 prior-facts=1 | | mean | 270.123-270.129=-0.006 | | σ | 0.006-0.014=-0.009 | | min | 270.116-270.110=0.006 | | max | 270.130-270.149=-0.020 |
| | mean | 2773.000-2793.000=-20.000 | | σ | 0.000 | | min | 2773.000-2793.000=-20.000 | | max | 2773.000-2793.000=-20.000 |
| | mean | 0.373-0.375=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.370-0.371=-0.001 | | max | 0.380-0.383=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.585-1930.590=-0.005 | | σ | 0.015-0.011=0.003 | | min | 1930.568-1930.572=-0.004 | | max | 1930.605-1930.600=0.006 |
| | mean | 2773.000-2793.000=-20.000 | | σ | 0.000 | | min | 2773.000-2793.000=-20.000 | | max | 2773.000-2793.000=-20.000 |
| | mean | 2.636-2.523=0.113 | | σ | 0.254-0.131=0.123 | | min | 2.398-2.403=-0.006 | | max | 3.054-2.693=0.361 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.036-4751.028=0.008 | | σ | 0.863-0.897=-0.035 | | min | 4750.258-4750.196=0.062 | | max | 4752.515-4752.557=-0.043 |
| | mean | 2773.000-2793.000=-20.000 | | σ | 0.000 | | min | 2773.000-2793.000=-20.000 | | max | 2773.000-2793.000=-20.000 |
| | mean | 7.967-8.046=-0.080 | | σ | 0.255-0.395=-0.140 | | min | 7.752-7.630=0.122 | | max | 8.402-8.640=-0.238 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.385-4941.528=-0.142 | | σ | 0.276-0.084=0.192 | | min | 4940.904-4941.446=-0.542 | | max | 4941.612-4941.628=-0.016 |
| | mean | 3041.200-3060.600=-19.400 | | σ | 325.362-333.346=-7.983 | | min | 2773.000-2793.000=-20.000 | | max | 3526.000-3567.000=-41.000 |
| | mean | 8.433-8.522=-0.089 | | σ | 0.084-0.360=-0.276 | | min | 8.337-8.217=0.120 | | max | 8.544-9.113=-0.569 |
|