java ToSat ../data/40-20-00.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-20-00.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-20-01.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-20-01.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-20-02.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-20-02.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-20-03.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-20-03.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-20-04.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-20-04.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-21-00.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-21-00.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-21-01.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-21-01.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-21-02.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-21-02.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-21-03.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-21-03.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-21-04.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-21-04.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-22-00.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-22-00.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-22-01.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-22-01.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-22-02.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-22-02.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-22-03.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-22-03.txt
rm instance.opb a.txt b.txt
java ToSat ../data/40-22-04.txt > instance.opb
minisat+ instance.opb > result.opb
grep SATISFIABLE result.opb > a.txt
grep CPU result.opb > b.txt
cat a.txt b.txt > ../resultsMinisat/40-22-04.txt
rm instance.opb a.txt b.txt