iters=5 new-facts=1 prior-facts=1 | | mean | 269.933-269.930=0.003 | | σ | 0.009-0.006=0.003 | | min | 269.920-269.927=-0.007 | | max | 269.944-269.941=0.003 |
| | mean | 2857.000-2745.000=112.000 | | σ | 0.000 | | min | 2857.000-2745.000=112.000 | | max | 2857.000-2745.000=112.000 |
| | mean | 0.375-0.374=0.001 | | σ | 0.008-0.004=0.004 | | min | 0.369-0.371=-0.002 | | max | 0.386-0.381=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.398-1930.389=0.009 | | σ | 0.018-0.014=0.004 | | min | 1930.367-1930.374=-0.007 | | max | 1930.408-1930.407=0.001 |
| | mean | 2857.000-2745.000=112.000 | | σ | 0.000 | | min | 2857.000-2745.000=112.000 | | max | 2857.000-2745.000=112.000 |
| | mean | 2.490-2.613=-0.123 | | σ | 0.060-0.094=-0.034 | | min | 2.446-2.445=0.001 | | max | 2.592-2.665=-0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.733-4750.859=-0.126 | | σ | 0.889-0.886=0.003 | | min | 4750.020-4750.325=-0.305 | | max | 4752.266-4752.436=-0.170 |
| | mean | 2857.000-2745.000=112.000 | | σ | 0.000 | | min | 2857.000-2745.000=112.000 | | max | 2857.000-2745.000=112.000 |
| | mean | 8.610-8.674=-0.064 | | σ | 0.294-0.594=-0.300 | | min | 8.322-7.808=0.514 | | max | 9.061-9.215=-0.154 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.322-4941.264=0.058 | | σ | 0.097-0.210=-0.113 | | min | 4941.239-4940.925=0.314 | | max | 4941.431-4941.448=-0.017 |
| | mean | 3057.400-3067.000=-9.600 | | σ | 202.554-308.680=-106.126 | | min | 2857.000-2745.000=112.000 | | max | 3333.000-3372.000=-39.000 |
| | mean | 8.564-8.743=-0.178 | | σ | 0.229-0.431=-0.203 | | min | 8.340-8.284=0.056 | | max | 8.825-9.399=-0.574 |
|