iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.697=-0.000 | | σ | 0.014-0.014=-0.000 | | min | 278.683-278.683=0.000 | | max | 278.718-278.720=-0.002 |
| | mean | 2591.000-2598.000=-7.000 | | σ | 0.000 | | min | 2591.000-2598.000=-7.000 | | max | 2591.000-2598.000=-7.000 |
| | mean | 0.420-0.419=0.000 | | σ | 0.001-0.001=0.000 | | min | 0.418-0.418=0.000 | | max | 0.421-0.420=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.856-2268.864=-0.009 | | σ | 0.029-0.010=0.019 | | min | 2268.808-2268.849=-0.041 | | max | 2268.876-2268.873=0.003 |
| | mean | 2591.000-2598.000=-7.000 | | σ | 0.000 | | min | 2591.000-2598.000=-7.000 | | max | 2591.000-2598.000=-7.000 |
| | mean | 2.950-2.990=-0.040 | | σ | 0.142-0.132=0.010 | | min | 2.866-2.865=0.001 | | max | 3.202-3.207=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.186-4952.180=0.006 | | σ | 0.875-0.832=0.043 | | min | 4951.710-4951.739=-0.029 | | max | 4953.749-4953.666=0.083 |
| | mean | 2591.000-2598.000=-7.000 | | σ | 0.000 | | min | 2591.000-2598.000=-7.000 | | max | 2591.000-2598.000=-7.000 |
| | mean | 7.925-8.025=-0.100 | | σ | 0.372-0.272=0.100 | | min | 7.566-7.686=-0.119 | | max | 8.496-8.427=0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.922-5166.850=0.072 | | σ | 0.010-0.160=-0.149 | | min | 5166.913-5166.566=0.346 | | max | 5166.938-5166.940=-0.002 |
| | mean | 3363.600-3432.000=-68.400 | | σ | 467.036-473.541=-6.506 | | min | 2802.000-2822.000=-20.000 | | max | 4036.000-4100.000=-64.000 |
| | mean | 9.222-9.259=-0.037 | | σ | 0.241-0.458=-0.218 | | min | 8.960-8.491=0.469 | | max | 9.572-9.604=-0.032 |
|