-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
90 lines (68 loc) · 3.08 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
SRC = src/dpll.scala
CDCL = src/cdcl.scala
UTIL = src/util.scala
all: help
-[ -e classes ] || mkdir classes
scalac -d classes ${SRC} ${CDCL} ${UTIL}
bench1:
./last_sat_competition/groups/group4/bench1.sh
backjump:
scala -cp classes DPLL tests/integration/sat/backjumpsimple.cnf
easy:
scala -cp classes DPLL tests/integration/sat/aim-50-1_6-yes1-1.cnf
simple:
scala -cp classes DPLL tests/integration/sat/backtrack.cnf
hard:
scala -cp classes DPLL last_sat_competition/bench3/dubois20.cnf
hard2:
scala -cp classes DPLL last_sat_competition/bench3/dubois21.cnf
hard3:
scala -cp classes DPLL last_sat_competition/bench3/dubois22.cnf
hard4:
scala -cp classes DPLL last_sat_competition/bench3/aim-100-1_6-no-1.cnf
hard5:
scala -cp classes DPLL last_sat_competition/bench3/hole6.cnf
internet:
scala -cp classes DPLL tests/integration/sat/aim-50-1_6-yes1-1.cnf
sat:
scala -cp classes DPLL last_sat_competition/bench1/sat/10-25.cnf
scala -cp classes DPLL last_sat_competition/bench1/sat/15-30.cnf
scala -cp classes DPLL last_sat_competition/bench1/sat/20-65.cnf
scala -cp classes DPLL last_sat_competition/bench1/sat/40-100.cnf
scala -cp classes DPLL last_sat_competition/bench1/sat/75-80.cnf
sat2:
scala -cp classes DPLL last_sat_competition/bench2/sat/100-2000.cnf
scala -cp classes DPLL last_sat_competition/bench2/sat/100-2050.cnf
scala -cp classes DPLL last_sat_competition/bench2/sat/140-2000.cnf
scala -cp classes DPLL last_sat_competition/bench2/sat/160-2200.cnf
unsat:
scala -cp classes DPLL last_sat_competition/bench1/unsat/10-35.cnf
unsat2:
scala -cp classes DPLL last_sat_competition/bench1/unsat/10-100.cnf
scala -cp classes DPLL last_sat_competition/bench1/unsat/10-35.cnf
scala -cp classes DPLL last_sat_competition/bench1/unsat/10-75.cnf
scala -cp classes DPLL last_sat_competition/bench1/unsat/15-75.cnf
scala -cp classes DPLL last_sat_competition/bench1/unsat/5-75.cnf
unsat3:
scala -cp classes DPLL last_sat_competition/bench2/unsat/120-2000.cnf
scala -cp classes DPLL last_sat_competition/bench2/unsat/120-2050.cnf
scala -cp classes DPLL last_sat_competition/bench2/unsat/140-2200.cnf
scala -cp classes DPLL last_sat_competition/bench2/unsat/180-2000.cnf
scala -cp classes DPLL last_sat_competition/bench2/unsat/180-2100.cnf
scala -cp classes DPLL last_sat_competition/bench2/unsat/180-2200.cnf
sathard:
scala -cp classes DPLL last_sat_competition/bench4/sat/aim-100-1_6-yes1-1.cnf
sathard2:
scala -cp classes DPLL last_sat_competition/bench4/sat/aim-200-2_0-yes1-1.cnf
scala -cp classes DPLL last_sat_competition/bench4/sat/aim-200-6_0-yes1-1.cnf
unsathard:
scala -cp classes DPLL last_sat_competition/bench4/unsat/aim-100-1_6-no-1.cnf
unsathard2:
scala -cp classes DPLL last_sat_competition/bench4/unsat/aim-50-2_0-no-4.cnf
scala -cp classes DPLL last_sat_competition/bench4/unsat/aim-200-1_6-no-1.cnf
scala -cp classes DPLL last_sat_competition/bench4/unsat/aim-200-2_0-no-1.cnf
help:
@echo "This script compiles the file(s) ${SRC}"
@echo "Compiled classes are stored in the classes/ directory"
@echo "Run scala -cp classes DPLL tests/... for results"
.PHONY: all help