iters=5 new-facts=1 prior-facts=1 | | mean | 270.128-270.128=0.000 | | σ | 0.009-0.005=0.004 | | min | 270.116-270.119=-0.003 | | max | 270.141-270.133=0.008 |
| | mean | 2777.000-2518.000=259.000 | | σ | 0.000 | | min | 2777.000-2518.000=259.000 | | max | 2777.000-2518.000=259.000 |
| | mean | 0.380-0.380=-0.000 | | σ | 0.002-0.005=-0.004 | | min | 0.378-0.373=0.005 | | max | 0.382-0.388=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.589-1930.597=-0.007 | | σ | 0.009-0.011=-0.001 | | min | 1930.576-1930.583=-0.007 | | max | 1930.602-1930.610=-0.008 |
| | mean | 2777.000-2518.000=259.000 | | σ | 0.000 | | min | 2777.000-2518.000=259.000 | | max | 2777.000-2518.000=259.000 |
| | mean | 2.648-2.522=0.126 | | σ | 0.132-0.093=0.039 | | min | 2.438-2.443=-0.004 | | max | 2.791-2.665=0.126 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.946-4751.102=-0.156 | | σ | 0.968-0.853=0.116 | | min | 4749.929-4750.659=-0.730 | | max | 4752.558-4752.626=-0.068 |
| | mean | 2777.000-2518.000=259.000 | | σ | 0.000 | | min | 2777.000-2518.000=259.000 | | max | 2777.000-2518.000=259.000 |
| | mean | 8.692-8.389=0.303 | | σ | 0.394-0.577=-0.184 | | min | 8.025-7.621=0.404 | | max | 9.043-9.025=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.531-4941.532=-0.000 | | σ | 0.082-0.089=-0.007 | | min | 4941.453-4941.462=-0.010 | | max | 4941.635-4941.630=0.005 |
| | mean | 3024.000-3027.200=-3.200 | | σ | 256.790-261.937=-5.148 | | min | 2777.000-2635.000=142.000 | | max | 3289.000-3334.000=-45.000 |
| | mean | 8.857-8.527=0.330 | | σ | 0.444-0.105=0.339 | | min | 8.529-8.395=0.134 | | max | 9.613-8.630=0.983 |
|