Skip to content

fix property ID in the ranking benchmarks #740

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tautschnig merged 1 commit into from
Sep 30, 2024
Merged

fix property ID in the ranking benchmarks #740

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
60 changes: 30 additions & 30 deletions examples/Benchmarks/check_ranking
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,37 +77,37 @@ ebmc lcd_12.sv --ranking-function "{3-state,22500-cnt}"
ebmc lcd_13.sv --ranking-function "{3-state,90000-cnt}"
ebmc lcd_14.sv --ranking-function "{3-state,180000-cnt}"

ebmc seven_seg_1.sv --ranking-function "250-cnt" --property SEVEN.property.p1
ebmc seven_seg_2.sv --ranking-function "500-cnt" --property SEVEN.property.p1
ebmc seven_seg_3.sv --ranking-function "750-cnt" --property SEVEN.property.p1
ebmc seven_seg_4.sv --ranking-function "1000-cnt" --property SEVEN.property.p1
ebmc seven_seg_5.sv --ranking-function "2500-cnt" --property SEVEN.property.p1
ebmc seven_seg_6.sv --ranking-function "5000-cnt" --property SEVEN.property.p1
ebmc seven_seg_7.sv --ranking-function "7500-cnt" --property SEVEN.property.p1
ebmc seven_seg_8.sv --ranking-function "10000-cnt" --property SEVEN.property.p1
ebmc seven_seg_9.sv --ranking-function "12500-cnt" --property SEVEN.property.p1
ebmc seven_seg_10.sv --ranking-function "15000-cnt" --property SEVEN.property.p1
ebmc seven_seg_11.sv --ranking-function "17500-cnt" --property SEVEN.property.p1
ebmc seven_seg_12.sv --ranking-function "20000-cnt" --property SEVEN.property.p1
ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.property.p1
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.property.p1
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.property.p1
ebmc seven_seg_1.sv --ranking-function "250-cnt" --property SEVEN.p1
ebmc seven_seg_2.sv --ranking-function "500-cnt" --property SEVEN.p1
ebmc seven_seg_3.sv --ranking-function "750-cnt" --property SEVEN.p1
ebmc seven_seg_4.sv --ranking-function "1000-cnt" --property SEVEN.p1
ebmc seven_seg_5.sv --ranking-function "2500-cnt" --property SEVEN.p1
ebmc seven_seg_6.sv --ranking-function "5000-cnt" --property SEVEN.p1
ebmc seven_seg_7.sv --ranking-function "7500-cnt" --property SEVEN.p1
ebmc seven_seg_8.sv --ranking-function "10000-cnt" --property SEVEN.p1
ebmc seven_seg_9.sv --ranking-function "12500-cnt" --property SEVEN.p1
ebmc seven_seg_10.sv --ranking-function "15000-cnt" --property SEVEN.p1
ebmc seven_seg_11.sv --ranking-function "17500-cnt" --property SEVEN.p1
ebmc seven_seg_12.sv --ranking-function "20000-cnt" --property SEVEN.p1
ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.p1
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.p1
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.p1

ebmc seven_seg_1.sv --ranking-function "250-cnt" --property SEVEN.property.p2
ebmc seven_seg_2.sv --ranking-function "500-cnt" --property SEVEN.property.p2
ebmc seven_seg_3.sv --ranking-function "750-cnt" --property SEVEN.property.p2
ebmc seven_seg_4.sv --ranking-function "1000-cnt" --property SEVEN.property.p2
ebmc seven_seg_5.sv --ranking-function "2500-cnt" --property SEVEN.property.p2
ebmc seven_seg_6.sv --ranking-function "5000-cnt" --property SEVEN.property.p2
ebmc seven_seg_7.sv --ranking-function "7500-cnt" --property SEVEN.property.p2
ebmc seven_seg_8.sv --ranking-function "10000-cnt" --property SEVEN.property.p2
ebmc seven_seg_9.sv --ranking-function "12500-cnt" --property SEVEN.property.p2
ebmc seven_seg_10.sv --ranking-function "15000-cnt" --property SEVEN.property.p2
ebmc seven_seg_11.sv --ranking-function "17500-cnt" --property SEVEN.property.p2
ebmc seven_seg_12.sv --ranking-function "20000-cnt" --property SEVEN.property.p2
ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.property.p2
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.property.p2
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.property.p2
ebmc seven_seg_1.sv --ranking-function "250-cnt" --property SEVEN.p2
ebmc seven_seg_2.sv --ranking-function "500-cnt" --property SEVEN.p2
ebmc seven_seg_3.sv --ranking-function "750-cnt" --property SEVEN.p2
ebmc seven_seg_4.sv --ranking-function "1000-cnt" --property SEVEN.p2
ebmc seven_seg_5.sv --ranking-function "2500-cnt" --property SEVEN.p2
ebmc seven_seg_6.sv --ranking-function "5000-cnt" --property SEVEN.p2
ebmc seven_seg_7.sv --ranking-function "7500-cnt" --property SEVEN.p2
ebmc seven_seg_8.sv --ranking-function "10000-cnt" --property SEVEN.p2
ebmc seven_seg_9.sv --ranking-function "12500-cnt" --property SEVEN.p2
ebmc seven_seg_10.sv --ranking-function "15000-cnt" --property SEVEN.p2
ebmc seven_seg_11.sv --ranking-function "17500-cnt" --property SEVEN.p2
ebmc seven_seg_12.sv --ranking-function "20000-cnt" --property SEVEN.p2
ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.p2
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.p2
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.p2

ebmc thermocouple_1.sv --ranking-function "{2-state,2**5-cnt}"
ebmc thermocouple_2.sv --ranking-function "{2-state,2**9-cnt}"
Expand Down