iters=5 new-facts=1 prior-facts=1 | | mean | 285.433-285.436=-0.003 | | σ | 0.015-0.013=0.002 | | min | 285.411-285.415=-0.004 | | max | 285.451-285.448=0.002 |
| | mean | 1488.000-1524.000=-36.000 | | σ | 0.000 | | min | 1488.000-1524.000=-36.000 | | max | 1488.000-1524.000=-36.000 |
| | mean | 0.375-0.378=-0.002 | | σ | 0.002-0.007=-0.005 | | min | 0.374-0.374=-0.000 | | max | 0.379-0.390=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.518-1285.501=0.017 | | σ | 0.093-0.087=0.007 | | min | 1285.353-1285.353=0.000 | | max | 1285.574-1285.568=0.006 |
| | mean | 1488.000-1524.000=-36.000 | | σ | 0.000 | | min | 1488.000-1524.000=-36.000 | | max | 1488.000-1524.000=-36.000 |
| | mean | 2.012-1.888=0.125 | | σ | 0.269-0.066=0.203 | | min | 1.813-1.801=0.012 | | max | 2.444-1.978=0.466 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.824-1705.829=-0.005 | | σ | 6.847-6.858=-0.011 | | min | 1702.650-1702.652=-0.003 | | max | 1718.069-1718.093=-0.024 |
| | mean | 1488.000-1524.000=-36.000 | | σ | 0.000 | | min | 1488.000-1524.000=-36.000 | | max | 1488.000-1524.000=-36.000 |
| | mean | 3.146-2.963=0.182 | | σ | 0.218-0.224=-0.006 | | min | 2.796-2.802=-0.006 | | max | 3.373-3.309=0.063 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.420-1968.411=0.009 | | σ | 0.029-0.034=-0.005 | | min | 1968.368-1968.355=0.013 | | max | 1968.437-1968.444=-0.007 |
| | mean | 1780.400-1787.200=-6.800 | | σ | 190.107-196.233=-6.125 | | min | 1544.000-1530.000=14.000 | | max | 2023.000-2030.000=-7.000 |
| | mean | 3.312-3.216=0.095 | | σ | 0.392-0.336=0.055 | | min | 3.087-3.014=0.073 | | max | 4.011-3.814=0.196 |
|