iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.717=-0.018 | | σ | 0.012-0.012=0.000 | | min | 278.681-278.699=-0.018 | | max | 278.712-278.729=-0.017 |
| | mean | 2701.000-2613.000=88.000 | | σ | 0.000 | | min | 2701.000-2613.000=88.000 | | max | 2701.000-2613.000=88.000 |
| | mean | 0.418-0.416=0.002 | | σ | 0.000-0.000=0.000 | | min | 0.418-0.416=0.002 | | max | 0.419-0.417=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.841-2268.841=0.000 | | σ | 0.015-0.008=0.006 | | min | 2268.827-2268.831=-0.005 | | max | 2268.858-2268.851=0.007 |
| | mean | 2701.000-2613.000=88.000 | | σ | 0.000 | | min | 2701.000-2613.000=88.000 | | max | 2701.000-2613.000=88.000 |
| | mean | 3.447-3.410=0.037 | | σ | 0.185-0.210=-0.025 | | min | 3.161-3.135=0.026 | | max | 3.612-3.631=-0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.779-4955.875=-0.096 | | σ | 0.579-0.906=-0.327 | | min | 4955.211-4954.993=0.218 | | max | 4956.737-4957.410=-0.674 |
| | mean | 2701.000-2613.000=88.000 | | σ | 0.000 | | min | 2701.000-2613.000=88.000 | | max | 2701.000-2613.000=88.000 |
| | mean | 7.947-7.928=0.019 | | σ | 0.187-0.305=-0.118 | | min | 7.797-7.560=0.236 | | max | 8.255-8.407=-0.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.597-5170.737=-0.140 | | σ | 0.263-0.091=0.173 | | min | 5170.317-5170.669=-0.352 | | max | 5170.842-5170.840=0.003 |
| | mean | 3454.200-3374.600=79.600 | | σ | 481.242-451.754=29.488 | | min | 2834.000-2749.000=85.000 | | max | 4131.000-3948.000=183.000 |
| | mean | 9.366-9.311=0.055 | | σ | 0.345-0.254=0.090 | | min | 9.049-9.037=0.012 | | max | 9.895-9.623=0.272 |
|