Commit 0ce9d269 authored by Hugo Moreau's avatar Hugo Moreau Committed by Etienne Renault
Browse files

Benchmark: go2pinsmc rename

parent 38200876
......@@ -4,7 +4,7 @@ i=0
save=$1
formulae=$2
model=$3
go2pins=$4
go2pinsmc=$4
NBTHREADS=$5
......@@ -36,12 +36,12 @@ do
# Compute LTSmin Spot resolution time
LTSMIN_F=$(echo $formula | sed 's/"//g')
start=$(date +%s.%N)
RESL=$(./$go2pins -ltl "$LTSMIN_F" -nb-threads $NBTHREADS -backend ltsmin 2>&1)
RESL=$(./$go2pinsmc -ltl "$LTSMIN_F" -nb-threads $NBTHREADS -backend ltsmin 2>&1)
end=$(date +%s.%N)
ltsmin_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
start=$(date +%s.%N)
RESS=$(./$go2pins -ltl "$formula" -nb-threads $NBTHREADS -backend spot 2>&1)
RESS=$(./$go2pinsmc -ltl "$formula" -nb-threads $NBTHREADS -backend spot 2>&1)
end=$(date +%s.%N)
spot_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
......
......@@ -3,7 +3,7 @@
i=0
save=$1
model=$2
go2pins=$3
go2pinsmc=$3
NBTHREADS=$4
......@@ -36,12 +36,12 @@ do
# Compute LTSmin and Spot resolution time
LTSMIN_F=$(echo $formula | sed 's/"//g')
start=$(date +%s.%N)
RESL=$(./$go2pins -ltl "$LTSMIN_F" -nb-threads $NBTHREADS -backend ltsmin 2>&1)
RESL=$(./$go2pinsmc -ltl "$LTSMIN_F" -nb-threads $NBTHREADS -backend ltsmin 2>&1)
end=$(date +%s.%N)
ltsmin_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
start=$(date +%s.%N)
RESS=$(./$go2pins -ltl "$formula" -nb-threads $NBTHREADS -backend spot 2>&1)
RESS=$(./$go2pinsmc -ltl "$formula" -nb-threads $NBTHREADS -backend spot 2>&1)
end=$(date +%s.%N)
spot_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
......
Supports Markdown
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