iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.693=0.005 | | σ | 0.014-0.013=0.001 | | min | 278.683-278.683=0.001 | | max | 278.720-278.714=0.006 |
| | mean | 2598.000-2640.000=-42.000 | | σ | 0.000 | | min | 2598.000-2640.000=-42.000 | | max | 2598.000-2640.000=-42.000 |
| | mean | 0.419-0.417=0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.418-0.415=0.003 | | max | 0.420-0.419=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.864-2268.865=-0.000 | | σ | 0.010-0.006=0.004 | | min | 2268.849-2268.857=-0.008 | | max | 2268.873-2268.873=-0.000 |
| | mean | 2598.000-2640.000=-42.000 | | σ | 0.000 | | min | 2598.000-2640.000=-42.000 | | max | 2598.000-2640.000=-42.000 |
| | mean | 2.990-2.977=0.013 | | σ | 0.132-0.171=-0.040 | | min | 2.865-2.880=-0.016 | | max | 3.207-3.282=-0.075 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.180-4952.211=-0.030 | | σ | 0.832-0.783=0.049 | | min | 4951.739-4951.814=-0.075 | | max | 4953.666-4953.611=0.055 |
| | mean | 2598.000-2640.000=-42.000 | | σ | 0.000 | | min | 2598.000-2640.000=-42.000 | | max | 2598.000-2640.000=-42.000 |
| | mean | 8.025-7.876=0.149 | | σ | 0.272-0.188=0.084 | | min | 7.686-7.682=0.004 | | max | 8.427-8.170=0.258 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.850-5166.839=0.011 | | σ | 0.160-0.162=-0.002 | | min | 5166.566-5166.550=0.016 | | max | 5166.940-5166.926=0.013 |
| | mean | 3432.000-3413.600=18.400 | | σ | 473.541-466.865=6.677 | | min | 2822.000-2758.000=64.000 | | max | 4100.000-3984.000=116.000 |
| | mean | 9.259-9.461=-0.202 | | σ | 0.458-0.230=0.228 | | min | 8.491-9.051=-0.559 | | max | 9.604-9.587=0.017 |
|