iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.696=0.000 | | σ | 0.006-0.013=-0.007 | | min | 278.691-278.682=0.008 | | max | 278.705-278.717=-0.012 |
| | mean | 2615.000-2819.000=-204.000 | | σ | 0.000 | | min | 2615.000-2819.000=-204.000 | | max | 2615.000-2819.000=-204.000 |
| | mean | 0.418-0.417=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.415=0.002 | | max | 0.419-0.418=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.870-2268.872=-0.002 | | σ | 0.009-0.005=0.003 | | min | 2268.859-2268.865=-0.006 | | max | 2268.881-2268.879=0.002 |
| | mean | 2615.000-2819.000=-204.000 | | σ | 0.000 | | min | 2615.000-2819.000=-204.000 | | max | 2615.000-2819.000=-204.000 |
| | mean | 3.036-2.942=0.094 | | σ | 0.222-0.108=0.114 | | min | 2.780-2.869=-0.088 | | max | 3.375-3.132=0.243 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.350-4952.372=-0.022 | | σ | 0.869-0.750=0.119 | | min | 4951.874-4951.965=-0.091 | | max | 4953.901-4953.711=0.190 |
| | mean | 2615.000-2819.000=-204.000 | | σ | 0.000 | | min | 2615.000-2819.000=-204.000 | | max | 2615.000-2819.000=-204.000 |
| | mean | 8.069-7.731=0.338 | | σ | 0.275-0.192=0.083 | | min | 7.874-7.565=0.309 | | max | 8.478-7.951=0.527 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.005-5166.934=0.072 | | σ | 0.160-0.188=-0.028 | | min | 5166.720-5166.721=-0.001 | | max | 5167.089-5167.077=0.013 |
| | mean | 3468.000-3401.600=66.400 | | σ | 476.791-425.623=51.167 | | min | 2871.000-2819.000=52.000 | | max | 4143.000-3932.000=211.000 |
| | mean | 9.275-9.607=-0.332 | | σ | 0.168-0.216=-0.048 | | min | 9.031-9.393=-0.362 | | max | 9.454-9.901=-0.446 |
|