iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.197=-0.001 | | σ | 0.005-0.007=-0.002 | | min | 277.189-277.189=0.000 | | max | 277.203-277.206=-0.002 |
| | mean | 2660.000-2656.000=4.000 | | σ | 0.000 | | min | 2660.000-2656.000=4.000 | | max | 2660.000-2656.000=4.000 |
| | mean | 0.398-0.394=0.004 | | σ | 0.008-0.006=0.002 | | min | 0.394-0.390=0.004 | | max | 0.412-0.405=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.438-2174.442=-0.004 | | σ | 0.024-0.011=0.012 | | min | 2174.414-2174.424=-0.011 | | max | 2174.465-2174.452=0.013 |
| | mean | 2660.000-2656.000=4.000 | | σ | 0.000 | | min | 2660.000-2656.000=4.000 | | max | 2660.000-2656.000=4.000 |
| | mean | 2.952-2.944=0.008 | | σ | 0.139-0.119=0.020 | | min | 2.774-2.778=-0.003 | | max | 3.123-3.070=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.625-5052.638=-0.012 | | σ | 0.976-0.990=-0.014 | | min | 5051.998-5052.034=-0.035 | | max | 5054.356-5054.396=-0.040 |
| | mean | 2660.000-2656.000=4.000 | | σ | 0.000 | | min | 2660.000-2656.000=4.000 | | max | 2660.000-2656.000=4.000 |
| | mean | 8.673-8.714=-0.042 | | σ | 0.599-0.644=-0.045 | | min | 8.120-8.251=-0.130 | | max | 9.518-9.743=-0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.431-5188.426=0.005 | | σ | 0.083-0.093=-0.010 | | min | 5188.363-5188.348=0.015 | | max | 5188.522-5188.532=-0.010 |
| | mean | 3231.400-3230.400=1.000 | | σ | 366.155-393.577=-27.422 | | min | 2702.000-2693.000=9.000 | | max | 3688.000-3730.000=-42.000 |
| | mean | 8.981-8.928=0.053 | | σ | 0.315-0.411=-0.096 | | min | 8.707-8.633=0.074 | | max | 9.367-9.634=-0.267 |
|