iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-275.569=-0.001 | | σ | 0.008-0.007=0.001 | | min | 275.559-275.563=-0.004 | | max | 275.578-275.580=-0.003 |
| | mean | 2642.000-2769.000=-127.000 | | σ | 0.000 | | min | 2642.000-2769.000=-127.000 | | max | 2642.000-2769.000=-127.000 |
| | mean | 0.397-0.390=0.007 | | σ | 0.009-0.007=0.002 | | min | 0.387-0.386=0.001 | | max | 0.409-0.403=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093-2168.089=0.005 | | σ | 0.012-0.014=-0.002 | | min | 2168.078-2168.076=0.002 | | max | 2168.106-2168.110=-0.004 |
| | mean | 2642.000-2769.000=-127.000 | | σ | 0.000 | | min | 2642.000-2769.000=-127.000 | | max | 2642.000-2769.000=-127.000 |
| | mean | 2.882-3.022=-0.140 | | σ | 0.117-0.201=-0.083 | | min | 2.687-2.725=-0.038 | | max | 3.006-3.168=-0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.923-5047.886=0.037 | | σ | 0.981-0.901=0.080 | | min | 5047.451-5047.401=0.050 | | max | 5049.678-5049.492=0.186 |
| | mean | 2642.000-2769.000=-127.000 | | σ | 0.000 | | min | 2642.000-2769.000=-127.000 | | max | 2642.000-2769.000=-127.000 |
| | mean | 8.907-8.857=0.049 | | σ | 0.555-0.354=0.201 | | min | 8.199-8.226=-0.027 | | max | 9.721-9.048=0.672 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.046-5179.051=-0.005 | | σ | 0.083-0.090=-0.007 | | min | 5178.965-5178.962=0.002 | | max | 5179.144-5179.151=-0.007 |
| | mean | 3219.600-3250.800=-31.200 | | σ | 386.253-355.287=30.965 | | min | 2686.000-2769.000=-83.000 | | max | 3703.000-3691.000=12.000 |
| | mean | 9.875-9.907=-0.032 | | σ | 0.262-0.359=-0.097 | | min | 9.574-9.359=0.215 | | max | 10.130-10.295=-0.165 |
|