iters=5 new-facts=1 prior-facts=1 | | mean | 270.125-269.936=0.189 | | σ | 0.009-0.010=-0.001 | | min | 270.114-269.928=0.186 | | max | 270.139-269.952=0.186 |
| | mean | 2811.000-2503.000=308.000 | | σ | 0.000 | | min | 2811.000-2503.000=308.000 | | max | 2811.000-2503.000=308.000 |
| | mean | 0.373-0.382=-0.009 | | σ | 0.001-0.010=-0.009 | | min | 0.371-0.372=-0.000 | | max | 0.373-0.398=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.591-1930.397=0.194 | | σ | 0.005-0.007=-0.002 | | min | 1930.587-1930.388=0.198 | | max | 1930.599-1930.407=0.192 |
| | mean | 2811.000-2503.000=308.000 | | σ | 0.000 | | min | 2811.000-2503.000=308.000 | | max | 2811.000-2503.000=308.000 |
| | mean | 2.483-2.523=-0.041 | | σ | 0.074-0.114=-0.040 | | min | 2.377-2.448=-0.072 | | max | 2.554-2.720=-0.166 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.055-4750.629=0.426 | | σ | 0.844-0.752=0.092 | | min | 4750.484-4749.903=0.581 | | max | 4752.550-4751.897=0.653 |
| | mean | 2811.000-2503.000=308.000 | | σ | 0.000 | | min | 2811.000-2503.000=308.000 | | max | 2811.000-2503.000=308.000 |
| | mean | 8.493-8.676=-0.183 | | σ | 0.583-0.655=-0.073 | | min | 7.607-7.660=-0.053 | | max | 9.078-9.246=-0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.530-4941.336=0.194 | | σ | 0.091-0.088=0.003 | | min | 4941.454-4941.266=0.188 | | max | 4941.632-4941.435=0.197 |
| | mean | 3031.200-3020.400=10.800 | | σ | 222.036-262.230=-40.194 | | min | 2811.000-2628.000=183.000 | | max | 3332.000-3328.000=4.000 |
| | mean | 8.590-8.504=0.086 | | σ | 0.185-0.116=0.069 | | min | 8.421-8.371=0.050 | | max | 8.870-8.635=0.235 |
|