iters=5 new-facts=1 prior-facts=1 | | mean | 279.055-279.073=-0.018 | | σ | 0.017-0.008=0.008 | | min | 279.038-279.064=-0.026 | | max | 279.074-279.085=-0.011 |
| | mean | 2851.000-2554.000=297.000 | | σ | 0.000 | | min | 2851.000-2554.000=297.000 | | max | 2851.000-2554.000=297.000 |
| | mean | 0.389-0.392=-0.003 | | σ | 0.005-0.005=0.000 | | min | 0.385-0.386=-0.001 | | max | 0.398-0.398=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.511-1939.511=-0.000 | | σ | 0.006-0.008=-0.002 | | min | 1939.501-1939.498=0.003 | | max | 1939.517-1939.518=-0.000 |
| | mean | 2851.000-2554.000=297.000 | | σ | 0.000 | | min | 2851.000-2554.000=297.000 | | max | 2851.000-2554.000=297.000 |
| | mean | 3.071-3.039=0.033 | | σ | 0.078-0.054=0.024 | | min | 3.002-3.003=-0.001 | | max | 3.195-3.134=0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4759.954-4760.070=-0.116 | | σ | 0.984-0.857=0.127 | | min | 4759.043-4759.559=-0.517 | | max | 4761.629-4761.592=0.037 |
| | mean | 2851.000-2554.000=297.000 | | σ | 0.000 | | min | 2851.000-2554.000=297.000 | | max | 2851.000-2554.000=297.000 |
| | mean | 8.240-8.190=0.049 | | σ | 0.629-0.565=0.064 | | min | 7.827-7.713=0.114 | | max | 9.327-9.164=0.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.391-4950.469=-0.079 | | σ | 0.125-0.083=0.042 | | min | 4950.207-4950.401=-0.194 | | max | 4950.559-4950.571=-0.012 |
| | mean | 3047.600-2961.800=85.800 | | σ | 268.336-393.388=-125.052 | | min | 2851.000-2554.000=297.000 | | max | 3456.000-3516.000=-60.000 |
| | mean | 8.429-8.521=-0.092 | | σ | 0.045-0.278=-0.233 | | min | 8.359-8.324=0.035 | | max | 8.473-9.008=-0.534 |
|