iters=5 new-facts=1 prior-facts=1 | | mean | 326.575-326.451=0.124 | | σ | 0.043-0.048=-0.005 | | min | 326.503-326.366=0.137 | | max | 326.616-326.481=0.135 |
| | mean | 2630.000-2833.000=-203.000 | | σ | 0.000 | | min | 2630.000-2833.000=-203.000 | | max | 2630.000-2833.000=-203.000 |
| | mean | 0.424-0.424=0.001 | | σ | 0.007-0.002=0.005 | | min | 0.420-0.422=-0.002 | | max | 0.436-0.426=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.727-1988.619=0.108 | | σ | 0.018-0.009=0.009 | | min | 1988.707-1988.608=0.098 | | max | 1988.749-1988.633=0.116 |
| | mean | 2630.000-2833.000=-203.000 | | σ | 0.000 | | min | 2630.000-2833.000=-203.000 | | max | 2630.000-2833.000=-203.000 |
| | mean | 2.803-2.667=0.137 | | σ | 0.283-0.142=0.141 | | min | 2.632-2.498=0.134 | | max | 3.305-2.867=0.438 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.458-4813.346=0.112 | | σ | 7.778-7.792=-0.014 | | min | 4809.613-4809.488=0.125 | | max | 4827.367-4827.280=0.087 |
| | mean | 2630.000-2833.000=-203.000 | | σ | 0.000 | | min | 2630.000-2833.000=-203.000 | | max | 2630.000-2833.000=-203.000 |
| | mean | 8.985-8.836=0.149 | | σ | 0.192-0.409=-0.217 | | min | 8.674-8.254=0.421 | | max | 9.173-9.147=0.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.146-5001.018=0.128 | | σ | 0.034-0.025=0.010 | | min | 5001.112-5000.990=0.121 | | max | 5001.200-5001.044=0.156 |
| | mean | 2989.800-3044.800=-55.000 | | σ | 275.427-206.408=69.019 | | min | 2630.000-2833.000=-203.000 | | max | 3317.000-3304.000=13.000 |
| | mean | 9.752-9.780=-0.028 | | σ | 0.388-0.171=0.217 | | min | 9.113-9.624=-0.512 | | max | 10.125-10.041=0.085 |
|