iters=5 new-facts=1 prior-facts=1 | | mean | 269.379-272.766=-3.386 | | σ | 0.005-0.004=0.002 | | min | 269.372-272.760=-3.388 | | max | 269.386-272.768=-3.383 |
| | mean | 2773.000-2420.000=353.000 | | σ | 0.000 | | min | 2773.000-2420.000=353.000 | | max | 2773.000-2420.000=353.000 |
| | mean | 0.378-0.384=-0.006 | | σ | 0.006-0.004=0.001 | | min | 0.375-0.379=-0.004 | | max | 0.388-0.390=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.752-1933.150=-3.397 | | σ | 0.006-0.017=-0.012 | | min | 1929.746-1933.128=-3.382 | | max | 1929.759-1933.175=-3.416 |
| | mean | 2773.000-2420.000=353.000 | | σ | 0.000 | | min | 2773.000-2420.000=353.000 | | max | 2773.000-2420.000=353.000 |
| | mean | 3.071-3.148=-0.077 | | σ | 0.084-0.150=-0.066 | | min | 2.983-3.011=-0.028 | | max | 3.164-3.379=-0.215 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.496-4753.770=-3.273 | | σ | 0.879-0.939=-0.061 | | min | 4750.076-4752.884=-2.808 | | max | 4752.068-4755.370=-3.302 |
| | mean | 2773.000-2420.000=353.000 | | σ | 0.000 | | min | 2773.000-2420.000=353.000 | | max | 2773.000-2420.000=353.000 |
| | mean | 8.549-8.545=0.004 | | σ | 0.339-0.463=-0.124 | | min | 8.008-7.866=0.142 | | max | 8.903-9.003=-0.100 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.988-4944.313=-3.325 | | σ | 0.014-0.161=-0.148 | | min | 4940.971-4944.025=-3.054 | | max | 4941.002-4944.403=-3.401 |
| | mean | 2998.000-2905.200=92.800 | | σ | 220.292-408.825=-188.534 | | min | 2773.000-2434.000=339.000 | | max | 3318.000-3461.000=-143.000 |
| | mean | 8.517-8.451=0.065 | | σ | 0.143-0.149=-0.007 | | min | 8.332-8.345=-0.013 | | max | 8.705-8.714=-0.009 |
|