iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.587=-0.006 | | σ | 0.057-0.046=0.011 | | min | 324.479-324.506=-0.027 | | max | 324.612-324.614=-0.002 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 0.436-0.430=0.007 | | σ | 0.010-0.008=0.002 | | min | 0.424-0.422=0.002 | | max | 0.446-0.443=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.142-1985.141=0.001 | | σ | 0.014-0.016=-0.002 | | min | 1985.118-1985.123=-0.006 | | max | 1985.151-1985.159=-0.008 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 2.616-2.796=-0.180 | | σ | 0.107-0.308=-0.201 | | min | 2.556-2.574=-0.018 | | max | 2.806-3.327=-0.520 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.780-4808.653=0.127 | | σ | 7.603-7.688=-0.084 | | min | 4805.227-4804.903=0.324 | | max | 4822.379-4822.400=-0.021 |
| | mean | 2839.000-2826.000=13.000 | | σ | 0.000 | | min | 2839.000-2826.000=13.000 | | max | 2839.000-2826.000=13.000 |
| | mean | 8.560-8.664=-0.104 | | σ | 0.606-0.504=0.102 | | min | 7.729-7.880=-0.151 | | max | 9.192-9.154=0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.335-4996.349=-0.015 | | σ | 0.028-0.024=0.004 | | min | 4996.307-4996.318=-0.011 | | max | 4996.371-4996.374=-0.003 |
| | mean | 3066.600-3049.200=17.400 | | σ | 303.197-301.212=1.985 | | min | 2839.000-2826.000=13.000 | | max | 3538.000-3529.000=9.000 |
| | mean | 8.504-8.620=-0.117 | | σ | 0.153-0.166=-0.012 | | min | 8.384-8.463=-0.078 | | max | 8.771-8.868=-0.097 |
|