iters=5 new-facts=1 prior-facts=1 | | mean | 324.718-324.715=0.003 | | σ | 0.034-0.050=-0.016 | | min | 324.659-324.628=0.031 | | max | 324.746-324.754=-0.008 |
| | mean | 2789.000-2826.000=-37.000 | | σ | 0.000 | | min | 2789.000-2826.000=-37.000 | | max | 2789.000-2826.000=-37.000 |
| | mean | 0.426-0.430=-0.004 | | σ | 0.009-0.011=-0.002 | | min | 0.419-0.421=-0.002 | | max | 0.442-0.446=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.264=0.000 | | σ | 0.010-0.007=0.003 | | min | 1985.251-1985.254=-0.004 | | max | 1985.277-1985.274=0.003 |
| | mean | 2789.000-2826.000=-37.000 | | σ | 0.000 | | min | 2789.000-2826.000=-37.000 | | max | 2789.000-2826.000=-37.000 |
| | mean | 2.733-2.635=0.098 | | σ | 0.128-0.101=0.027 | | min | 2.566-2.517=0.049 | | max | 2.903-2.743=0.159 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.866-4808.785=0.081 | | σ | 7.644-7.741=-0.096 | | min | 4805.393-4804.868=0.525 | | max | 4822.540-4822.622=-0.083 |
| | mean | 2789.000-2826.000=-37.000 | | σ | 0.000 | | min | 2789.000-2826.000=-37.000 | | max | 2789.000-2826.000=-37.000 |
| | mean | 8.732-8.478=0.254 | | σ | 0.190-0.578=-0.387 | | min | 8.516-7.688=0.828 | | max | 8.974-9.058=-0.084 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.482-4996.410=0.072 | | σ | 0.022-0.130=-0.109 | | min | 4996.455-4996.180=0.275 | | max | 4996.505-4996.504=0.001 |
| | mean | 3019.200-3040.200=-21.000 | | σ | 235.245-278.556=-43.311 | | min | 2789.000-2826.000=-37.000 | | max | 3259.000-3467.000=-208.000 |
| | mean | 8.857-8.544=0.312 | | σ | 0.270-0.127=0.143 | | min | 8.577-8.448=0.129 | | max | 9.202-8.748=0.455 |
|