iters=5 new-facts=1 prior-facts=1 | | mean | 270.607-270.610=-0.004 | | σ | 0.004-0.007=-0.003 | | min | 270.602-270.600=0.002 | | max | 270.610-270.618=-0.008 |
| | mean | 2768.000-2424.000=344.000 | | σ | 0.000 | | min | 2768.000-2424.000=344.000 | | max | 2768.000-2424.000=344.000 |
| | mean | 0.379-0.378=0.001 | | σ | 0.008-0.006=0.003 | | min | 0.372-0.370=0.002 | | max | 0.393-0.386=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.047-1931.038=0.009 | | σ | 0.008-0.006=0.002 | | min | 1931.037-1931.031=0.006 | | max | 1931.057-1931.046=0.011 |
| | mean | 2768.000-2424.000=344.000 | | σ | 0.000 | | min | 2768.000-2424.000=344.000 | | max | 2768.000-2424.000=344.000 |
| | mean | 2.915-2.983=-0.068 | | σ | 0.144-0.145=-0.001 | | min | 2.708-2.747=-0.039 | | max | 3.081-3.127=-0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.721-4751.599=0.123 | | σ | 0.894-1.010=-0.116 | | min | 4751.261-4750.780=0.480 | | max | 4753.319-4753.364=-0.044 |
| | mean | 2768.000-2424.000=344.000 | | σ | 0.000 | | min | 2768.000-2424.000=344.000 | | max | 2768.000-2424.000=344.000 |
| | mean | 8.729-8.852=-0.123 | | σ | 0.292-0.152=0.140 | | min | 8.300-8.610=-0.310 | | max | 9.068-9.015=0.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.227-4942.232=-0.005 | | σ | 0.013-0.019=-0.006 | | min | 4942.212-4942.209=0.003 | | max | 4942.237-4942.249=-0.011 |
| | mean | 2955.000-3022.800=-67.800 | | σ | 256.102-311.225=-55.123 | | min | 2768.000-2604.000=164.000 | | max | 3362.000-3417.000=-55.000 |
| | mean | 8.430-8.629=-0.199 | | σ | 0.040-0.162=-0.122 | | min | 8.378-8.447=-0.070 | | max | 8.487-8.845=-0.358 |
|