iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-278.675=-0.002 | | σ | 0.011-0.012=-0.001 | | min | 278.662-278.662=0.000 | | max | 278.687-278.690=-0.003 |
| | mean | 2580.000-2611.000=-31.000 | | σ | 0.000 | | min | 2580.000-2611.000=-31.000 | | max | 2580.000-2611.000=-31.000 |
| | mean | 0.420-0.417=0.003 | | σ | 0.003-0.001=0.002 | | min | 0.418-0.417=0.001 | | max | 0.425-0.418=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.850-2268.848=0.001 | | σ | 0.006-0.005=0.001 | | min | 2268.845-2268.842=0.003 | | max | 2268.857-2268.854=0.003 |
| | mean | 2580.000-2611.000=-31.000 | | σ | 0.000 | | min | 2580.000-2611.000=-31.000 | | max | 2580.000-2611.000=-31.000 |
| | mean | 3.100-2.926=0.174 | | σ | 0.191-0.082=0.109 | | min | 2.844-2.856=-0.013 | | max | 3.329-3.066=0.262 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.241-4952.234=0.007 | | σ | 0.821-0.856=-0.035 | | min | 4951.820-4951.774=0.046 | | max | 4953.704-4953.758=-0.054 |
| | mean | 2580.000-2611.000=-31.000 | | σ | 0.000 | | min | 2580.000-2611.000=-31.000 | | max | 2580.000-2611.000=-31.000 |
| | mean | 7.943-8.034=-0.091 | | σ | 0.261-0.340=-0.079 | | min | 7.681-7.776=-0.095 | | max | 8.382-8.611=-0.229 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.884-5166.954=-0.070 | | σ | 0.124-0.080=0.045 | | min | 5166.693-5166.891=-0.198 | | max | 5167.040-5167.045=-0.005 |
| | mean | 3307.800-3375.400=-67.600 | | σ | 391.587-463.468=-71.880 | | min | 2920.000-2811.000=109.000 | | max | 3703.000-4004.000=-301.000 |
| | mean | 9.326-9.416=-0.091 | | σ | 0.362-0.309=0.053 | | min | 8.942-8.898=0.044 | | max | 9.717-9.663=0.053 |
|