Skip to content

F
FloVer
Commit 82ac18d4 authored by Joachim Bard's avatar Joachim Bard
Browse files
Options

reducing the number of subdivs in scripts

parent b2c87128
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 6 deletions
scripts/eval_subdiv_interval.sh
View file @ 82ac18d4
......@@ -65,8 +65,8 @@ do
--rangeMethod=interval \
--errorMethod=interval \
--subdiv \
--divLimit=10 \
--totalOpt=1000 \
--divLimit=5 \
--totalOpt=150 \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1 )
......@@ -81,8 +81,8 @@ do
--rangeMethod=interval \
--errorMethod=interval \
--subdiv \
--divLimit=10 \
--totalOpt=1000 \
--divLimit=5 \
--totalOpt=150 \
--mixed-precision=testcases/daisy-mixed-precision-maps/$PMAP \
--results-csv=$FILENAME.csv \
>>$2 \
......
scripts/eval_subdiv_smt.sh
View file @ 82ac18d4
......@@ -66,7 +66,7 @@ do
--errorMethod=interval \
--subdiv \
--divLimit=3 \
--totalOpt=1000 \
--totalOpt=100 \
--results-csv=$FILENAME.csv \
>>$2 \
; } 2>&1 )
......@@ -82,7 +82,7 @@ do
--errorMethod=interval \
--subdiv \
--divLimit=3 \
--totalOpt=1000 \
--totalOpt=100 \
--mixed-precision=testcases/daisy-mixed-precision-maps/$PMAP \
--results-csv=$FILENAME.csv \
>>$2 \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment