iters=5 new-facts=1 prior-facts=1 | | mean | 278.692-274.436=4.256 | | σ | 0.014-0.005=0.009 | | min | 278.678-274.427=4.251 | | max | 278.715-274.442=4.272 |
| | mean | 2588.000-2603.000=-15.000 | | σ | 0.000 | | min | 2588.000-2603.000=-15.000 | | max | 2588.000-2603.000=-15.000 |
| | mean | 0.427-0.403=0.024 | | σ | 0.012-0.001=0.011 | | min | 0.417-0.402=0.015 | | max | 0.441-0.405=0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.867-2264.673=4.194 | | σ | 0.002-0.014=-0.012 | | min | 2268.864-2264.657=4.207 | | max | 2268.870-2264.689=4.181 |
| | mean | 2588.000-2603.000=-15.000 | | σ | 0.000 | | min | 2588.000-2603.000=-15.000 | | max | 2588.000-2603.000=-15.000 |
| | mean | 2.950-2.936=0.015 | | σ | 0.080-0.280=-0.200 | | min | 2.885-2.739=0.146 | | max | 3.089-3.424=-0.334 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.343-4951.538=0.804 | | σ | 0.884-0.990=-0.106 | | min | 4951.850-4950.802=1.048 | | max | 4953.920-4953.257=0.663 |
| | mean | 2588.000-2603.000=-15.000 | | σ | 0.000 | | min | 2588.000-2603.000=-15.000 | | max | 2588.000-2603.000=-15.000 |
| | mean | 8.049-7.941=0.108 | | σ | 0.327-0.293=0.033 | | min | 7.719-7.717=0.002 | | max | 8.542-8.413=0.129 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.071-5166.492=0.580 | | σ | 0.014-0.080=-0.066 | | min | 5167.060-5166.412=0.648 | | max | 5167.094-5166.583=0.512 |
| | mean | 3412.200-3373.200=39.000 | | σ | 466.687-459.727=6.960 | | min | 2757.000-2832.000=-75.000 | | max | 3983.000-4021.000=-38.000 |
| | mean | 9.480-9.257=0.224 | | σ | 0.266-0.349=-0.083 | | min | 9.038-8.745=0.293 | | max | 9.740-9.698=0.042 |
|