iters=5 new-facts=1 prior-facts=1 | | mean | 275.753-275.568=0.185 | | σ | 0.010-0.008=0.002 | | min | 275.742-275.559=0.183 | | max | 275.765-275.578=0.187 |
| | mean | 2513.000-2642.000=-129.000 | | σ | 0.000 | | min | 2513.000-2642.000=-129.000 | | max | 2513.000-2642.000=-129.000 |
| | mean | 0.397-0.397=-0.000 | | σ | 0.010-0.009=0.001 | | min | 0.388-0.387=0.001 | | max | 0.409-0.409=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.279-2168.093=0.185 | | σ | 0.013-0.012=0.000 | | min | 2168.260-2168.078=0.182 | | max | 2168.294-2168.106=0.188 |
| | mean | 2513.000-2642.000=-129.000 | | σ | 0.000 | | min | 2513.000-2642.000=-129.000 | | max | 2513.000-2642.000=-129.000 |
| | mean | 2.944-2.882=0.062 | | σ | 0.130-0.117=0.013 | | min | 2.753-2.687=0.066 | | max | 3.099-3.006=0.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.102-5047.923=0.179 | | σ | 0.905-0.981=-0.076 | | min | 5047.542-5047.451=0.092 | | max | 5049.710-5049.678=0.032 |
| | mean | 2513.000-2642.000=-129.000 | | σ | 0.000 | | min | 2513.000-2642.000=-129.000 | | max | 2513.000-2642.000=-129.000 |
| | mean | 8.780-8.907=-0.127 | | σ | 0.429-0.555=-0.127 | | min | 8.114-8.199=-0.084 | | max | 9.262-9.721=-0.459 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.239-5179.046=0.193 | | σ | 0.083-0.083=-0.001 | | min | 5179.155-5178.965=0.190 | | max | 5179.343-5179.144=0.200 |
| | mean | 3263.800-3219.600=44.200 | | σ | 379.904-386.253=-6.349 | | min | 2732.000-2686.000=46.000 | | max | 3733.000-3703.000=30.000 |
| | mean | 9.907-9.875=0.032 | | σ | 0.262-0.262=-0.001 | | min | 9.499-9.574=-0.075 | | max | 10.119-10.130=-0.011 |
|