Cyber-Physical Systems (CPS) Falsification on ARCH-COMP Instance AT6c
10FRUR
Evaluation results
| Method | Links | ||
|---|---|---|---|
| URApproach=N/A2025.05 | 10 | 326.8 | |
| ATheNAApproach=N/A2025.05 | 10 | 194.5 | |
| EXAM-NetApproach=N/A2025.05 | 10 | 176.5 | |
| FalCAunApproach=N/A2025.05 | 10 | 898 | |
| ForeSeeApproach=N/A2025.05 | 10 | 133.1 | |
| FReakApproach=N/A2025.05 | 10 | 15.5 | |
| MoonlightApproach=N/A2025.05 | 10 | 292.2 | |
| FlexiFalApproach=DTFal2025.05 | 10 | 118.5 | |
| Psi-TaLiRoApproach=PART-X2025.05 | 10 | 334.4 | |
| ODApproach=ConBo-LS2025.05 | 9 | 472.1 | |
| ARIsTEOApproach=ARX-22025.05 | 8 | 643.8 |