iters=5 new-facts=1 prior-facts=1 | | mean | 270.128-270.133=-0.005 | | σ | 0.004-0.004=-0.000 | | min | 270.123-270.127=-0.004 | | max | 270.132-270.137=-0.005 |
| | mean | 2412.000-2431.000=-19.000 | | σ | 0.000 | | min | 2412.000-2431.000=-19.000 | | max | 2412.000-2431.000=-19.000 |
| | mean | 0.382-0.381=0.001 | | σ | 0.003-0.002=0.001 | | min | 0.380-0.378=0.002 | | max | 0.388-0.384=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.590-1930.592=-0.003 | | σ | 0.010-0.012=-0.002 | | min | 1930.577-1930.578=-0.001 | | max | 1930.601-1930.607=-0.006 |
| | mean | 2412.000-2431.000=-19.000 | | σ | 0.000 | | min | 2412.000-2431.000=-19.000 | | max | 2412.000-2431.000=-19.000 |
| | mean | 2.525-2.610=-0.085 | | σ | 0.124-0.163=-0.039 | | min | 2.455-2.451=0.003 | | max | 2.744-2.878=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.102-4750.954=0.148 | | σ | 0.876-0.629=0.246 | | min | 4750.628-4750.478=0.150 | | max | 4752.661-4752.059=0.602 |
| | mean | 2412.000-2431.000=-19.000 | | σ | 0.000 | | min | 2412.000-2431.000=-19.000 | | max | 2412.000-2431.000=-19.000 |
| | mean | 8.381-8.650=-0.269 | | σ | 0.712-0.526=0.186 | | min | 7.626-7.810=-0.184 | | max | 9.149-9.076=0.073 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.531-4941.540=-0.009 | | σ | 0.091-0.082=0.009 | | min | 4941.456-4941.469=-0.013 | | max | 4941.636-4941.630=0.007 |
| | mean | 3021.400-2993.800=27.600 | | σ | 327.001-437.182=-110.180 | | min | 2571.000-2431.000=140.000 | | max | 3322.000-3561.000=-239.000 |
| | mean | 8.774-8.711=0.063 | | σ | 0.234-0.272=-0.037 | | min | 8.555-8.542=0.013 | | max | 9.084-9.191=-0.107 |
|