iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.824=-0.005 | | σ | 0.034-0.035=-0.001 | | min | 286.772-286.775=-0.003 | | max | 286.860-286.859=0.001 |
| | mean | 1647.000-1625.000=22.000 | | σ | 0.000 | | min | 1647.000-1625.000=22.000 | | max | 1647.000-1625.000=22.000 |
| | mean | 0.391-0.397=-0.006 | | σ | 0.002-0.006=-0.004 | | min | 0.388-0.390=-0.002 | | max | 0.393-0.402=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.228-1297.290=-0.062 | | σ | 0.073-0.081=-0.008 | | min | 1297.166-1297.199=-0.033 | | max | 1297.330-1297.410=-0.080 |
| | mean | 1647.000-1625.000=22.000 | | σ | 0.000 | | min | 1647.000-1625.000=22.000 | | max | 1647.000-1625.000=22.000 |
| | mean | 2.077-2.234=-0.156 | | σ | 0.062-0.018=0.044 | | min | 1.992-2.211=-0.219 | | max | 2.143-2.258=-0.115 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.345-1541.337=0.009 | | σ | 6.816-6.825=-0.009 | | min | 1538.162-1538.118=0.044 | | max | 1553.536-1553.543=-0.007 |
| | mean | 1647.000-1625.000=22.000 | | σ | 0.000 | | min | 1647.000-1625.000=22.000 | | max | 1647.000-1625.000=22.000 |
| | mean | 2.277-2.220=0.057 | | σ | 0.282-0.108=0.174 | | min | 2.055-2.124=-0.069 | | max | 2.728-2.402=0.326 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112-1859.117=-0.006 | | σ | 0.083-0.066=0.017 | | min | 1858.993-1859.028=-0.035 | | max | 1859.190-1859.199=-0.009 |
| | mean | 1793.000-1770.400=22.600 | | σ | 152.591-134.849=17.742 | | min | 1647.000-1625.000=22.000 | | max | 1951.000-1908.000=43.000 |
| | mean | 3.006-3.165=-0.159 | | σ | 0.141-0.359=-0.218 | | min | 2.869-2.867=0.002 | | max | 3.218-3.737=-0.519 |
|