Skip to content

Commit

Permalink
Stash changes
Browse files Browse the repository at this point in the history
  • Loading branch information
Ubuntu committed Sep 1, 2024
1 parent 2c867dc commit c586805
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 9 deletions.
2 changes: 1 addition & 1 deletion avr_pr.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@

maxTimeSec = DEFAULT_TIMEOUT
maxMemMB = DEFAULT_MEMOUT
maxInitW = 12
maxInitW = 16
resultW = 0
out_path = DEFAULT_OUT + "/" + DEFAULT_NAME

Expand Down
16 changes: 8 additions & 8 deletions workers.txt
View file
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
python3 avr.py --backend y2 --split
python3 avr.py --kind --abstract sa --backend bt
python3 avr.py --kind --abstract sa --backend y2 --split
python3 avr.py --abstract sa
python3 avr.py --kind --abstract sa --backend bt
python3 avr.py --bmc --abstract sa --backend bt --split
python3 avr.py
python3 avr.py --abstract sa8 --level 5 --granularity 3 --forward 1 --interpol 1
python3 avr.py --abstract sa4 --backend y2 --split --forward 1 --interpol 1
python3 avr.py --split --level 0
python3 avr.py
python3 avr.py --abstract sa8 --backend y2 --split --interpol 1
python3 avr.py --kind --abstract sa --backend bt --split
python3 avr.py --bmc --abstract sa --backend y2
python3 avr.py --abstract sa --backend bt
python3 avr.py --abstract sa+heavy
python3 avr.py --split --level 0
python3 avr.py --bmc --abstract sa+heavy --backend bt
python3 avr.py --kind --abstract sa+heavy --backend bt
python3 avr.py --bmc --abstract sa --backend y2
python3 avr.py --kind --abstract sa --backend bt --split
python3 avr.py --abstract sa+heavy --backend y2 --split
python3 avr.py --abstract sa16 --backend y2 --split
python3 avr.py --kind --abstract sa --backend y2

0 comments on commit c586805

Please sign in to comment.