iters=5 new-facts=1 prior-facts=1 | | mean | 326.445-326.449=-0.004 | | σ | 0.047-0.038=0.010 | | min | 326.363-326.382=-0.019 | | max | 326.484-326.472=0.011 |
| | mean | 2587.000-2613.000=-26.000 | | σ | 0.000 | | min | 2587.000-2613.000=-26.000 | | max | 2587.000-2613.000=-26.000 |
| | mean | 0.423-0.424=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.422-0.423=-0.001 | | max | 0.424-0.426=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.617-1988.613=0.004 | | σ | 0.005-0.009=-0.004 | | min | 1988.610-1988.598=0.012 | | max | 1988.624-1988.623=0.000 |
| | mean | 2587.000-2613.000=-26.000 | | σ | 0.000 | | min | 2587.000-2613.000=-26.000 | | max | 2587.000-2613.000=-26.000 |
| | mean | 2.736-2.676=0.060 | | σ | 0.154-0.078=0.076 | | min | 2.561-2.562=-0.001 | | max | 2.960-2.763=0.197 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.346-4813.456=-0.110 | | σ | 7.792-7.732=0.060 | | min | 4809.398-4809.946=-0.548 | | max | 4827.276-4827.287=-0.011 |
| | mean | 2587.000-2613.000=-26.000 | | σ | 0.000 | | min | 2587.000-2613.000=-26.000 | | max | 2587.000-2613.000=-26.000 |
| | mean | 8.972-8.944=0.029 | | σ | 0.243-0.246=-0.003 | | min | 8.716-8.655=0.061 | | max | 9.239-9.200=0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-5001.005=0.005 | | σ | 0.022-0.020=0.002 | | min | 5000.986-5000.981=0.005 | | max | 5001.041-5001.025=0.016 |
| | mean | 2999.800-3000.000=-0.200 | | σ | 312.059-279.022=33.037 | | min | 2587.000-2613.000=-26.000 | | max | 3405.000-3312.000=93.000 |
| | mean | 9.416-9.605=-0.190 | | σ | 0.542-0.435=0.107 | | min | 8.517-8.833=-0.316 | | max | 9.975-9.857=0.118 |
|