iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.568=-0.002 | | σ | 0.007-0.007=-0.000 | | min | 275.559-275.557=0.001 | | max | 275.575-275.575=-0.000 |
| | mean | 2471.000-2844.000=-373.000 | | σ | 0.000 | | min | 2471.000-2844.000=-373.000 | | max | 2471.000-2844.000=-373.000 |
| | mean | 0.395-0.404=-0.009 | | σ | 0.009-0.007=0.002 | | min | 0.388-0.397=-0.008 | | max | 0.406-0.411=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.104-2168.101=0.003 | | σ | 0.003-0.010=-0.007 | | min | 2168.099-2168.089=0.010 | | max | 2168.107-2168.113=-0.006 |
| | mean | 2471.000-2844.000=-373.000 | | σ | 0.000 | | min | 2471.000-2844.000=-373.000 | | max | 2471.000-2844.000=-373.000 |
| | mean | 2.959-3.050=-0.091 | | σ | 0.151-0.172=-0.021 | | min | 2.769-2.811=-0.041 | | max | 3.153-3.223=-0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.926-5047.888=0.038 | | σ | 0.884-0.878=0.006 | | min | 5047.390-5047.414=-0.023 | | max | 5049.500-5049.450=0.049 |
| | mean | 2471.000-2844.000=-373.000 | | σ | 0.000 | | min | 2471.000-2844.000=-373.000 | | max | 2471.000-2844.000=-373.000 |
| | mean | 8.781-8.830=-0.049 | | σ | 0.573-0.374=0.198 | | min | 8.069-8.214=-0.145 | | max | 9.389-9.122=0.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.037-5178.908=0.128 | | σ | 0.079-0.263=-0.184 | | min | 5178.968-5178.625=0.343 | | max | 5179.124-5179.149=-0.025 |
| | mean | 3219.400-3250.600=-31.200 | | σ | 389.498-328.141=61.357 | | min | 2684.000-2844.000=-160.000 | | max | 3707.000-3695.000=12.000 |
| | mean | 9.788-9.855=-0.067 | | σ | 0.198-0.323=-0.125 | | min | 9.584-9.463=0.120 | | max | 10.061-10.222=-0.161 |
|