iters=5 new-facts=1 prior-facts=1 | | mean | 272.788-272.794=-0.006 | | σ | 0.009-0.006=0.003 | | min | 272.784-272.783=0.001 | | max | 272.804-272.797=0.007 |
| | mean | 2513.000-2773.000=-260.000 | | σ | 0.000 | | min | 2513.000-2773.000=-260.000 | | max | 2513.000-2773.000=-260.000 |
| | mean | 0.382-0.381=0.001 | | σ | 0.009-0.009=0.001 | | min | 0.377-0.373=0.003 | | max | 0.398-0.394=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.218-1933.229=-0.012 | | σ | 0.018-0.009=0.009 | | min | 1933.193-1933.218=-0.025 | | max | 1933.238-1933.241=-0.003 |
| | mean | 2513.000-2773.000=-260.000 | | σ | 0.000 | | min | 2513.000-2773.000=-260.000 | | max | 2513.000-2773.000=-260.000 |
| | mean | 3.071-2.883=0.188 | | σ | 0.090-0.276=-0.186 | | min | 3.008-2.416=0.591 | | max | 3.229-3.067=0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.886-4757.008=-0.122 | | σ | 7.296-7.569=-0.273 | | min | 4753.589-4753.543=0.045 | | max | 4769.937-4770.547=-0.610 |
| | mean | 2513.000-2773.000=-260.000 | | σ | 0.000 | | min | 2513.000-2773.000=-260.000 | | max | 2513.000-2773.000=-260.000 |
| | mean | 8.278-8.159=0.118 | | σ | 0.373-0.477=-0.105 | | min | 7.737-7.674=0.063 | | max | 8.612-8.772=-0.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.449-4944.451=-0.001 | | σ | 0.021-0.022=-0.001 | | min | 4944.422-4944.428=-0.006 | | max | 4944.473-4944.484=-0.011 |
| | mean | 2920.800-3017.600=-96.800 | | σ | 366.784-285.499=81.285 | | min | 2513.000-2773.000=-260.000 | | max | 3429.000-3428.000=1.000 |
| | mean | 8.408-8.497=-0.089 | | σ | 0.102-0.109=-0.007 | | min | 8.253-8.357=-0.104 | | max | 8.535-8.652=-0.117 |
|