iters=5 new-facts=1 prior-facts=1 | | mean | 271.952-271.957=-0.006 | | σ | 0.004-0.005=-0.001 | | min | 271.947-271.950=-0.003 | | max | 271.956-271.962=-0.006 |
| | mean | 2769.000-2698.000=71.000 | | σ | 0.000 | | min | 2769.000-2698.000=71.000 | | max | 2769.000-2698.000=71.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.001-0.001=-0.001 | | min | 0.380-0.378=0.002 | | max | 0.382-0.382=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.329-1932.334=-0.005 | | σ | 0.009-0.013=-0.004 | | min | 1932.320-1932.314=0.006 | | max | 1932.344-1932.350=-0.006 |
| | mean | 2769.000-2698.000=71.000 | | σ | 0.000 | | min | 2769.000-2698.000=71.000 | | max | 2769.000-2698.000=71.000 |
| | mean | 3.009-2.861=0.149 | | σ | 0.073-0.350=-0.277 | | min | 2.918-2.459=0.460 | | max | 3.093-3.219=-0.126 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.861-4753.006=-0.145 | | σ | 1.032-0.982=0.050 | | min | 4752.095-4752.298=-0.204 | | max | 4754.616-4754.725=-0.109 |
| | mean | 2769.000-2698.000=71.000 | | σ | 0.000 | | min | 2769.000-2698.000=71.000 | | max | 2769.000-2698.000=71.000 |
| | mean | 8.392-8.379=0.013 | | σ | 0.527-0.620=-0.093 | | min | 7.791-7.703=0.088 | | max | 9.014-9.130=-0.116 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.556-4943.409=0.147 | | σ | 0.016-0.315=-0.299 | | min | 4943.536-4942.847=0.689 | | max | 4943.581-4943.578=0.002 |
| | mean | 3050.200-3014.200=36.000 | | σ | 326.338-258.116=68.223 | | min | 2769.000-2698.000=71.000 | | max | 3496.000-3331.000=165.000 |
| | mean | 8.665-8.531=0.134 | | σ | 0.221-0.115=0.105 | | min | 8.412-8.406=0.006 | | max | 8.901-8.687=0.214 |
|