iters=5 new-facts=1 prior-facts=1 | | mean | 271.645-279.075=-7.430 | | σ | 0.009-0.011=-0.002 | | min | 271.633-279.062=-7.429 | | max | 271.654-279.086=-7.432 |
| | mean | 2818.000-2478.000=340.000 | | σ | 0.000 | | min | 2818.000-2478.000=340.000 | | max | 2818.000-2478.000=340.000 |
| | mean | 0.386-0.396=-0.010 | | σ | 0.011-0.009=0.003 | | min | 0.377-0.388=-0.011 | | max | 0.403-0.409=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.094-1939.502=-7.407 | | σ | 0.015-0.002=0.013 | | min | 1932.078-1939.499=-7.421 | | max | 1932.109-1939.503=-7.395 |
| | mean | 2818.000-2478.000=340.000 | | σ | 0.000 | | min | 2818.000-2478.000=340.000 | | max | 2818.000-2478.000=340.000 |
| | mean | 2.621-3.018=-0.397 | | σ | 0.159-0.102=0.056 | | min | 2.425-2.908=-0.482 | | max | 2.841-3.173=-0.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.579-4759.840=-7.261 | | σ | 0.854-0.749=0.105 | | min | 4752.061-4758.990=-6.930 | | max | 4754.098-4761.046=-6.948 |
| | mean | 2818.000-2478.000=340.000 | | σ | 0.000 | | min | 2818.000-2478.000=340.000 | | max | 2818.000-2478.000=340.000 |
| | mean | 8.500-8.144=0.357 | | σ | 0.594-0.594=0.001 | | min | 7.732-7.792=-0.060 | | max | 9.130-9.181=-0.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.043-4950.392=-7.350 | | σ | 0.076-0.203=-0.127 | | min | 4942.983-4950.058=-7.075 | | max | 4943.128-4950.555=-7.427 |
| | mean | 3061.200-2937.000=124.200 | | σ | 314.276-381.737=-67.461 | | min | 2818.000-2478.000=340.000 | | max | 3542.000-3447.000=95.000 |
| | mean | 8.426-8.413=0.013 | | σ | 0.068-0.066=0.003 | | min | 8.317-8.311=0.007 | | max | 8.498-8.476=0.022 |
|