June 9, 2017

UAV Results

General Results:
Property Verification Tasks Counterexamples Validation Successfull Validation Failed
Limit Cycle 99 27 26 1
Overflow 99 24 24 0
Stability 99 54 54 0
Minimum Phase 99 54 54 0
Total 396 159 158 1

* 99 verification tasks: 33 DFI, 33 DFII and 33 TDFII.

Limit Cycle Validation:
Test Case Id DFI DFII TDFII
ds1-impl1 NA NA NA
ds1-impl2 NA NA NA
ds1-impl3 NA NA NA
ds2-impl1 NA NA NA
ds2-impl2 NA NA NA
ds2-impl3 NA NA NA
ds3-impl1 NA NA NA
ds3-impl2 NA NA NA
ds3-impl3 NA NA NA
ds4-impl1 NA NA NA
ds4-impl2 NA NA NA
ds4-impl3 NA NA NA
ds5-impl1 Successful Failed Successful
ds5-impl2 Successful Successful Successful
ds5-impl3 Successful Successful Successful
ds6-impl1 Successful Successful Successful
ds6-impl2 Successful Successful Successful
ds6-impl3 Successful Successful Successful
ds7-impl1 NA Successful NA
ds7-impl2 NA Successful NA
ds7-impl3 NA Successful NA
ds8-impl1 NA NA NA
ds8-impl2 NA NA NA
ds8-impl3 NA NA NA
ds9-impl1 NA Successful NA
ds9-impl2 NA Successful NA
ds9-impl3 NA Successful NA
ds10-impl1 NA NA NA
ds10-impl2 NA NA NA
ds10-impl3 NA NA NA
ds11-impl1 NA Successful NA
ds11-impl2 NA Successful NA
ds11-impl3 NA Successful NA
Overflow Validation:
Test Case Id DFI DFII TDFII
ds1-impl1 Successful Successful Successful
ds1-impl2 NA NA NA
ds1-impl3 NA NA NA
ds2-impl1 Successful Successful Successful
ds2-impl2 NA NA NA
ds2-impl3 NA NA NA
ds3-impl1 Successful Successful Successful
ds3-impl2 NA NA NA
ds3-impl3 NA NA NA
ds4-impl1 Successful Successful Successful
ds4-impl2 NA NA NA
ds4-impl3 NA NA NA
ds5-impl1 Successful Successful Successful
ds5-impl2 Successful Successful Successful
ds5-impl3 Successful Successful Successful
ds6-impl1 Successful Successful Successful
ds6-impl2 NA NA NA
ds6-impl3 NA NA NA
ds7-impl1 NA NA NA
ds7-impl2 NA NA NA
ds7-impl3 NA NA NA
ds8-impl1 NA NA NA
ds8-impl2 NA NA NA
ds8-impl3 NA NA NA
ds9-impl1 NA NA NA
ds9-impl2 NA NA NA
ds9-impl3 NA NA NA
ds10-impl1 NA NA NA
ds10-impl2 NA NA NA
ds10-impl3 NA NA NA
ds11-impl1 NA NA NA
ds11-impl2 NA NA NA
ds11-impl3 NA NA NA
Stability Validation:
Test Case Id DFI DFII TDFII
ds1-impl1 NA NA NA
ds1-impl2 NA NA NA
ds1-impl3 NA NA NA
ds2-impl1 NA NA NA
ds2-impl2 NA NA NA
ds2-impl3 NA NA NA
ds3-impl1 NA NA NA
ds3-impl2 NA NA NA
ds3-impl3 NA NA NA
ds4-impl1 Successful Successful Successful
ds4-impl2 Successful Successful Successful
ds4-impl3 Successful Successful Successful
ds5-impl1 Successful Successful Successful
ds5-impl2 Successful Successful Successful
ds5-impl3 Successful Successful Successful
ds6-impl1 Successful Successful Successful
ds6-impl2 Successful Successful Successful
ds6-impl3 Successful Successful Successful
ds7-impl1 Successful Successful Successful
ds7-impl2 Successful Successful Successful
ds7-impl3 Successful Successful Successful
ds8-impl1 NA NA NA
ds8-impl2 NA NA NA
ds8-impl3 NA NA NA
ds9-impl1 Successful Successful Successful
ds9-impl2 Successful Successful Successful
ds9-impl3 Successful Successful Successful
ds10-impl1 NA NA NA
ds10-impl2 NA NA NA
ds10-impl3 NA NA NA
ds11-impl1 Successful Successful Successful
ds11-impl2 Successful Successful Successful
ds11-impl3 Successful Successful Successful
Minimum Phase Validation:
Test Case Id DFI DFII TDFII
ds1-impl1 NA NA NA
ds1-impl2 NA NA NA
ds1-impl3 NA NA NA
ds2-impl1 NA NA NA
ds2-impl2 NA NA NA
ds2-impl3 NA NA NA
ds3-impl1 NA NA NA
ds3-impl2 NA NA NA
ds3-impl3 NA NA NA
ds4-impl1 Successful Successful Successful
ds4-impl2 Successful Successful Successful
ds4-impl3 Successful Successful Successful
ds5-impl1 Successful Successful Successful
ds5-impl2 Successful Successful Successful
ds5-impl3 Successful Successful Successful
ds6-impl1 NA NA NA
ds6-impl2 NA NA NA
ds6-impl3 NA NA NA
ds7-impl1 Successful Successful Successful
ds7-impl2 Successful Successful Successful
ds7-impl3 Successful Successful Successful
ds8-impl1 NA NA NA
ds8-impl2 NA NA NA
ds8-impl3 Successful Successful Successful
ds9-impl1 Successful Successful Successful
ds9-impl2 Successful Successful Successful
ds9-impl3 Successful Successful Successful
ds10-impl1 NA NA NA
ds10-impl2 Successful Successful Successful
ds10-impl3 Successful Successful Successful
ds11-impl1 Successful Successful Successful
ds11-impl2 Successful Successful Successful
ds11-impl3 Successful Successful Successful