iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-273.380=-3.235 | | σ | 0.007-0.013=-0.006 | | min | 270.134-273.363=-3.229 | | max | 270.153-273.394=-3.241 |
| | mean | 2774.000-2467.000=307.000 | | σ | 0.000 | | min | 2774.000-2467.000=307.000 | | max | 2774.000-2467.000=307.000 |
| | mean | 0.377-0.388=-0.011 | | σ | 0.003-0.009=-0.006 | | min | 0.373-0.378=-0.005 | | max | 0.380-0.402=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.599-1933.840=-3.241 | | σ | 0.024-0.010=0.015 | | min | 1930.556-1933.829=-3.274 | | max | 1930.614-1933.851=-3.236 |
| | mean | 2774.000-2467.000=307.000 | | σ | 0.000 | | min | 2774.000-2467.000=307.000 | | max | 2774.000-2467.000=307.000 |
| | mean | 2.526-3.126=-0.600 | | σ | 0.062-0.169=-0.107 | | min | 2.482-2.941=-0.459 | | max | 2.633-3.354=-0.721 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.292-4754.220=-2.927 | | σ | 0.910-0.926=-0.016 | | min | 4750.762-4753.306=-2.544 | | max | 4752.912-4755.786=-2.874 |
| | mean | 2774.000-2467.000=307.000 | | σ | 0.000 | | min | 2774.000-2467.000=307.000 | | max | 2774.000-2467.000=307.000 |
| | mean | 8.631-8.625=0.006 | | σ | 0.533-0.432=0.101 | | min | 7.784-7.860=-0.076 | | max | 9.133-8.903=0.230 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.761-4944.810=-3.049 | | σ | 0.033-0.086=-0.053 | | min | 4941.725-4944.743=-3.018 | | max | 4941.796-4944.905=-3.109 |
| | mean | 3017.400-3038.600=-21.200 | | σ | 236.710-419.760=-183.049 | | min | 2774.000-2475.000=299.000 | | max | 3331.000-3558.000=-227.000 |
| | mean | 8.587-8.726=-0.139 | | σ | 0.171-0.104=0.066 | | min | 8.430-8.636=-0.206 | | max | 8.845-8.878=-0.033 |
|