iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.125=0.019 | | σ | 0.006-0.007=-0.001 | | min | 270.133-270.117=0.016 | | max | 270.149-270.133=0.015 |
| | mean | 2855.000-2773.000=82.000 | | σ | 0.000 | | min | 2855.000-2773.000=82.000 | | max | 2855.000-2773.000=82.000 |
| | mean | 0.376-0.375=0.001 | | σ | 0.001-0.004=-0.004 | | min | 0.375-0.371=0.004 | | max | 0.377-0.382=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.588=0.019 | | σ | 0.011-0.019=-0.008 | | min | 1930.593-1930.567=0.026 | | max | 1930.622-1930.609=0.012 |
| | mean | 2855.000-2773.000=82.000 | | σ | 0.000 | | min | 2855.000-2773.000=82.000 | | max | 2855.000-2773.000=82.000 |
| | mean | 2.554-2.571=-0.017 | | σ | 0.119-0.158=-0.039 | | min | 2.453-2.444=0.009 | | max | 2.727-2.795=-0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.274-4751.134=0.141 | | σ | 0.867-0.802=0.065 | | min | 4750.743-4750.661=0.082 | | max | 4752.814-4752.558=0.256 |
| | mean | 2855.000-2773.000=82.000 | | σ | 0.000 | | min | 2855.000-2773.000=82.000 | | max | 2855.000-2773.000=82.000 |
| | mean | 8.732-8.141=0.591 | | σ | 0.323-0.402=-0.079 | | min | 8.455-7.763=0.692 | | max | 9.272-8.667=0.605 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.696-4941.533=0.163 | | σ | 0.148-0.082=0.066 | | min | 4941.433-4941.455=-0.022 | | max | 4941.782-4941.634=0.148 |
| | mean | 3074.600-3028.200=46.400 | | σ | 225.324-299.916=-74.592 | | min | 2855.000-2773.000=82.000 | | max | 3305.000-3470.000=-165.000 |
| | mean | 8.773-8.629=0.144 | | σ | 0.298-0.374=-0.076 | | min | 8.428-8.264=0.164 | | max | 9.228-9.181=0.047 |
|