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

3 years ago
  1. #!/bin/bash
  2. for i in $(seq 1 10); do
  3. for j in $(seq 1 10); do
  4. start=$(date +%s.%N)
  5. cargo run $i $j
  6. duration=$(echo "$(date +%s.%N) - $start" | bc)
  7. echo $duration >> log.txt
  8. echo "$i, $j" >> log.txt
  9. done
  10. done