iters=5 new-facts=1 prior-facts=1 | | mean | 278.701-278.697=0.004 | | σ | 0.010-0.012=-0.002 | | min | 278.690-278.687=0.003 | | max | 278.717-278.718=-0.001 |
| | mean | 2654.000-2641.000=13.000 | | σ | 0.000 | | min | 2654.000-2641.000=13.000 | | max | 2654.000-2641.000=13.000 |
| | mean | 0.418-0.418=-0.000 | | σ | 0.002-0.001=0.001 | | min | 0.415-0.416=-0.001 | | max | 0.421-0.419=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.865=0.009 | | σ | 0.005-0.010=-0.005 | | min | 2268.869-2268.847=0.022 | | max | 2268.879-2268.871=0.008 |
| | mean | 2654.000-2641.000=13.000 | | σ | 0.000 | | min | 2654.000-2641.000=13.000 | | max | 2654.000-2641.000=13.000 |
| | mean | 3.106-3.024=0.083 | | σ | 0.189-0.134=0.054 | | min | 2.878-2.928=-0.050 | | max | 3.346-3.245=0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.198-4951.955=0.243 | | σ | 0.771-0.639=0.132 | | min | 4951.729-4951.316=0.414 | | max | 4953.568-4953.025=0.543 |
| | mean | 2654.000-2641.000=13.000 | | σ | 0.000 | | min | 2654.000-2641.000=13.000 | | max | 2654.000-2641.000=13.000 |
| | mean | 7.889-7.947=-0.058 | | σ | 0.276-0.369=-0.093 | | min | 7.616-7.690=-0.074 | | max | 8.348-8.596=-0.248 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.916-5166.920=-0.003 | | σ | 0.023-0.011=0.012 | | min | 5166.886-5166.912=-0.025 | | max | 5166.948-5166.939=0.010 |
| | mean | 3376.400-3454.400=-78.000 | | σ | 526.876-462.553=64.323 | | min | 2907.000-2871.000=36.000 | | max | 4135.000-4116.000=19.000 |
| | mean | 9.121-9.362=-0.241 | | σ | 0.379-0.198=0.182 | | min | 8.540-9.179=-0.639 | | max | 9.518-9.654=-0.135 |
|