Solving MAXSAT and saying a few words about it.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

10 lines
256 B

for i in $(seq 1 10); do
for j in $(seq 1 10); do
start=$(date +%s.%N)
cargo run $i $j
duration=$(echo "$(date +%s.%N) - $start" | bc)
echo $duration >> log.txt
echo "$i, $j" >> log.txt