|
@@ -17,13 +17,13 @@ clean:
|
|
|
rm -rf *~
|
|
|
|
|
|
run:
|
|
|
- ./GSATSolver -i ../benchmarks/uf150/uf150-099.cnf -t 4
|
|
|
+ ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4
|
|
|
|
|
|
epsilon:
|
|
|
- ./GSATSolver -i ../benchmarks/uf150/uf150-099.cnf -t 4 -e 0.2
|
|
|
+ ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -e 0.2
|
|
|
|
|
|
dynamic:
|
|
|
- ./GSATSolver -i ../benchmarks/uf150/uf150-099.cnf -t 4 -d
|
|
|
+ ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d
|
|
|
|
|
|
-exec:
|
|
|
- ./GSATSolver -i ../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2
|
|
|
+start:
|
|
|
+ ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2
|