iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.440=0.130 | | σ | 0.035-0.060=-0.024 | | min | 326.515-326.335=0.180 | | max | 326.607-326.477=0.131 |
| | mean | 2837.000-2599.000=238.000 | | σ | 0.000 | | min | 2837.000-2599.000=238.000 | | max | 2837.000-2599.000=238.000 |
| | mean | 0.424-0.438=-0.014 | | σ | 0.004-0.014=-0.010 | | min | 0.421-0.422=-0.000 | | max | 0.431-0.449=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.732-1988.613=0.119 | | σ | 0.014-0.009=0.005 | | min | 1988.719-1988.601=0.119 | | max | 1988.751-1988.621=0.130 |
| | mean | 2837.000-2599.000=238.000 | | σ | 0.000 | | min | 2837.000-2599.000=238.000 | | max | 2837.000-2599.000=238.000 |
| | mean | 2.723-2.692=0.031 | | σ | 0.069-0.134=-0.065 | | min | 2.646-2.512=0.134 | | max | 2.803-2.868=-0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.472-4813.335=0.137 | | σ | 7.472-7.816=-0.344 | | min | 4810.068-4809.354=0.714 | | max | 4826.838-4827.308=-0.470 |
| | mean | 2837.000-2599.000=238.000 | | σ | 0.000 | | min | 2837.000-2599.000=238.000 | | max | 2837.000-2599.000=238.000 |
| | mean | 8.616-8.776=-0.160 | | σ | 0.579-0.214=0.365 | | min | 7.809-8.540=-0.730 | | max | 9.191-9.095=0.096 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.074-5001.010=0.064 | | σ | 0.175-0.022=0.154 | | min | 5000.763-5000.984=-0.221 | | max | 5001.174-5001.038=0.137 |
| | mean | 3035.000-3006.600=28.400 | | σ | 269.659-326.292=-56.633 | | min | 2837.000-2599.000=238.000 | | max | 3451.000-3318.000=133.000 |
| | mean | 9.775-9.725=0.050 | | σ | 0.174-0.096=0.078 | | min | 9.635-9.611=0.024 | | max | 10.059-9.844=0.215 |
|