iters=5 new-facts=1 prior-facts=1 | | mean | 271.952-271.954=-0.002 | | σ | 0.004-0.003=0.001 | | min | 271.945-271.950=-0.005 | | max | 271.955-271.957=-0.002 |
| | mean | 2782.000-2849.000=-67.000 | | σ | 0.000 | | min | 2782.000-2849.000=-67.000 | | max | 2782.000-2849.000=-67.000 |
| | mean | 0.380-0.379=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.378-0.377=0.001 | | max | 0.384-0.381=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.325-1932.328=-0.003 | | σ | 0.010-0.008=0.002 | | min | 1932.310-1932.319=-0.009 | | max | 1932.336-1932.337=-0.001 |
| | mean | 2782.000-2849.000=-67.000 | | σ | 0.000 | | min | 2782.000-2849.000=-67.000 | | max | 2782.000-2849.000=-67.000 |
| | mean | 3.056-3.106=-0.050 | | σ | 0.436-0.134=0.302 | | min | 2.462-2.986=-0.525 | | max | 3.669-3.270=0.399 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.116-4753.005=0.111 | | σ | 0.893-1.007=-0.114 | | min | 4752.579-4752.021=0.558 | | max | 4754.694-4754.695=-0.002 |
| | mean | 2782.000-2849.000=-67.000 | | σ | 0.000 | | min | 2782.000-2849.000=-67.000 | | max | 2782.000-2849.000=-67.000 |
| | mean | 8.380-8.229=0.152 | | σ | 0.598-0.724=-0.126 | | min | 7.591-7.510=0.080 | | max | 8.959-9.082=-0.123 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.555-4943.492=0.063 | | σ | 0.014-0.153=-0.139 | | min | 4943.542-4943.219=0.323 | | max | 4943.575-4943.576=-0.001 |
| | mean | 3025.200-3048.400=-23.200 | | σ | 218.304-264.140=-45.836 | | min | 2782.000-2849.000=-67.000 | | max | 3290.000-3446.000=-156.000 |
| | mean | 8.577-8.516=0.061 | | σ | 0.132-0.209=-0.077 | | min | 8.415-8.284=0.130 | | max | 8.729-8.751=-0.022 |
|