iters=5 new-facts=1 prior-facts=1 | | mean | 348.778-348.776=0.002 | | σ | 0.062-0.062=0.000 | | min | 348.667-348.665=0.002 | | max | 348.810-348.812=-0.001 |
| | mean | 2506.000-2405.000=101.000 | | σ | 0.000 | | min | 2506.000-2405.000=101.000 | | max | 2506.000-2405.000=101.000 |
| | mean | 0.457-0.460=-0.002 | | σ | 0.009-0.008=0.001 | | min | 0.452-0.453=-0.001 | | max | 0.474-0.471=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2009.248-2009.246=0.002 | | σ | 0.004-0.005=-0.001 | | min | 2009.244-2009.240=0.004 | | max | 2009.253-2009.252=0.002 |
| | mean | 2506.000-2405.000=101.000 | | σ | 0.000 | | min | 2506.000-2405.000=101.000 | | max | 2506.000-2405.000=101.000 |
| | mean | 2.935-2.795=0.139 | | σ | 0.095-0.130=-0.035 | | min | 2.819-2.683=0.136 | | max | 3.063-3.016=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4833.011-4833.017=-0.006 | | σ | 7.725-7.767=-0.041 | | min | 4829.435-4829.432=0.002 | | max | 4846.830-4846.909=-0.079 |
| | mean | 2506.000-2405.000=101.000 | | σ | 0.000 | | min | 2506.000-2405.000=101.000 | | max | 2506.000-2405.000=101.000 |
| | mean | 8.513-8.799=-0.285 | | σ | 0.514-0.603=-0.089 | | min | 7.815-7.762=0.053 | | max | 9.152-9.323=-0.171 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5020.352-5020.564=-0.212 | | σ | 0.315-0.024=0.291 | | min | 5019.874-5020.538=-0.664 | | max | 5020.592-5020.594=-0.002 |
| | mean | 3000.600-2950.200=50.400 | | σ | 393.170-413.730=-20.561 | | min | 2506.000-2422.000=84.000 | | max | 3518.000-3494.000=24.000 |
| | mean | 8.872-8.836=0.036 | | σ | 0.317-0.303=0.014 | | min | 8.614-8.501=0.113 | | max | 9.229-9.277=-0.049 |
|