Skip to content

Commit

Permalink
reformat UUF250 for cadical's strict parser
Browse files Browse the repository at this point in the history 
    (defun x ()
      (interactive)
      (dired-find-file)
      (re-search-forward "^\\(p cnf [0-9]+\\)  ")
      (replace-match "\\1 ")
      (re-search-forward "^ ")
      (replace-match "")
      (re-search-forward "^0\n+")
      (replace-match "")
      (save-buffer)
      (kill-buffer)
      (revert-buffer)
      (forward-line)
      )

	modified:   3-SAT/UUF250/uuf250-01.cnf
	modified:   3-SAT/UUF250/uuf250-010.cnf
	modified:   3-SAT/UUF250/uuf250-0100.cnf
	modified:   3-SAT/UUF250/uuf250-011.cnf
	modified:   3-SAT/UUF250/uuf250-012.cnf
	modified:   3-SAT/UUF250/uuf250-013.cnf
	modified:   3-SAT/UUF250/uuf250-014.cnf
	modified:   3-SAT/UUF250/uuf250-015.cnf
	modified:   3-SAT/UUF250/uuf250-016.cnf
	modified:   3-SAT/UUF250/uuf250-017.cnf
	modified:   3-SAT/UUF250/uuf250-018.cnf
	modified:   3-SAT/UUF250/uuf250-019.cnf
	modified:   3-SAT/UUF250/uuf250-02.cnf
	modified:   3-SAT/UUF250/uuf250-020.cnf
	modified:   3-SAT/UUF250/uuf250-021.cnf
	modified:   3-SAT/UUF250/uuf250-022.cnf
	modified:   3-SAT/UUF250/uuf250-023.cnf
	modified:   3-SAT/UUF250/uuf250-024.cnf
	modified:   3-SAT/UUF250/uuf250-025.cnf
	modified:   3-SAT/UUF250/uuf250-026.cnf
	modified:   3-SAT/UUF250/uuf250-027.cnf
	modified:   3-SAT/UUF250/uuf250-028.cnf
	modified:   3-SAT/UUF250/uuf250-029.cnf
	modified:   3-SAT/UUF250/uuf250-03.cnf
	modified:   3-SAT/UUF250/uuf250-030.cnf
	modified:   3-SAT/UUF250/uuf250-031.cnf
	modified:   3-SAT/UUF250/uuf250-032.cnf
	modified:   3-SAT/UUF250/uuf250-033.cnf
	modified:   3-SAT/UUF250/uuf250-034.cnf
	modified:   3-SAT/UUF250/uuf250-035.cnf
	modified:   3-SAT/UUF250/uuf250-036.cnf
	modified:   3-SAT/UUF250/uuf250-037.cnf
	modified:   3-SAT/UUF250/uuf250-038.cnf
	modified:   3-SAT/UUF250/uuf250-039.cnf
	modified:   3-SAT/UUF250/uuf250-04.cnf
	modified:   3-SAT/UUF250/uuf250-040.cnf
	modified:   3-SAT/UUF250/uuf250-041.cnf
	modified:   3-SAT/UUF250/uuf250-042.cnf
	modified:   3-SAT/UUF250/uuf250-043.cnf
	modified:   3-SAT/UUF250/uuf250-044.cnf
	modified:   3-SAT/UUF250/uuf250-045.cnf
	modified:   3-SAT/UUF250/uuf250-046.cnf
	modified:   3-SAT/UUF250/uuf250-047.cnf
	modified:   3-SAT/UUF250/uuf250-048.cnf
	modified:   3-SAT/UUF250/uuf250-049.cnf
	modified:   3-SAT/UUF250/uuf250-05.cnf
	modified:   3-SAT/UUF250/uuf250-050.cnf
	modified:   3-SAT/UUF250/uuf250-051.cnf
	modified:   3-SAT/UUF250/uuf250-052.cnf
	modified:   3-SAT/UUF250/uuf250-053.cnf
	modified:   3-SAT/UUF250/uuf250-054.cnf
	modified:   3-SAT/UUF250/uuf250-055.cnf
	modified:   3-SAT/UUF250/uuf250-056.cnf
	modified:   3-SAT/UUF250/uuf250-057.cnf
	modified:   3-SAT/UUF250/uuf250-058.cnf
	modified:   3-SAT/UUF250/uuf250-059.cnf
	modified:   3-SAT/UUF250/uuf250-06.cnf
	modified:   3-SAT/UUF250/uuf250-060.cnf
	modified:   3-SAT/UUF250/uuf250-061.cnf
	modified:   3-SAT/UUF250/uuf250-062.cnf
	modified:   3-SAT/UUF250/uuf250-063.cnf
	modified:   3-SAT/UUF250/uuf250-064.cnf
	modified:   3-SAT/UUF250/uuf250-065.cnf
	modified:   3-SAT/UUF250/uuf250-066.cnf
	modified:   3-SAT/UUF250/uuf250-067.cnf
	modified:   3-SAT/UUF250/uuf250-068.cnf
	modified:   3-SAT/UUF250/uuf250-069.cnf
	modified:   3-SAT/UUF250/uuf250-07.cnf
	modified:   3-SAT/UUF250/uuf250-070.cnf
	modified:   3-SAT/UUF250/uuf250-071.cnf
	modified:   3-SAT/UUF250/uuf250-072.cnf
	modified:   3-SAT/UUF250/uuf250-073.cnf
	modified:   3-SAT/UUF250/uuf250-074.cnf
	modified:   3-SAT/UUF250/uuf250-075.cnf
	modified:   3-SAT/UUF250/uuf250-076.cnf
	modified:   3-SAT/UUF250/uuf250-077.cnf
	modified:   3-SAT/UUF250/uuf250-078.cnf
	modified:   3-SAT/UUF250/uuf250-079.cnf
	modified:   3-SAT/UUF250/uuf250-08.cnf
	modified:   3-SAT/UUF250/uuf250-080.cnf
	modified:   3-SAT/UUF250/uuf250-081.cnf
	modified:   3-SAT/UUF250/uuf250-082.cnf
	modified:   3-SAT/UUF250/uuf250-083.cnf
	modified:   3-SAT/UUF250/uuf250-084.cnf
	modified:   3-SAT/UUF250/uuf250-085.cnf
	modified:   3-SAT/UUF250/uuf250-086.cnf
	modified:   3-SAT/UUF250/uuf250-087.cnf
	modified:   3-SAT/UUF250/uuf250-088.cnf
	modified:   3-SAT/UUF250/uuf250-089.cnf
	modified:   3-SAT/UUF250/uuf250-09.cnf
	modified:   3-SAT/UUF250/uuf250-090.cnf
	modified:   3-SAT/UUF250/uuf250-091.cnf
	modified:   3-SAT/UUF250/uuf250-092.cnf
	modified:   3-SAT/UUF250/uuf250-093.cnf
	modified:   3-SAT/UUF250/uuf250-094.cnf
	modified:   3-SAT/UUF250/uuf250-095.cnf
	modified:   3-SAT/UUF250/uuf250-096.cnf
	modified:   3-SAT/UUF250/uuf250-097.cnf
	modified:   3-SAT/UUF250/uuf250-098.cnf
	modified:   3-SAT/UUF250/uuf250-099.cnf
  • Loading branch information
@shnarazk
shnarazk committed Apr 8, 2020
1 parent 1a94b41 commit d307f5a
Show file tree
Hide file tree
Showing 100 changed files with 200 additions and 400 deletions.
6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-01.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-128 -209 148 0
p cnf 250 1065
-128 -209 148 0
2 196 -115 0
-66 -189 -241 0
-84 -132 -93 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-206 107 -223 0
-159 -243 -13 0
118 -9 57 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-010.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-144 244 131 0
p cnf 250 1065
-144 244 131 0
-117 -19 84 0
-188 137 -38 0
176 130 43 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
207 128 -96 0
-17 92 -195 0
-198 -228 -247 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-0100.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
58 73 42 0
p cnf 250 1065
58 73 42 0
225 25 -35 0
-24 -39 -148 0
-73 52 66 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
119 41 -152 0
-99 -187 -14 0
-207 -121 171 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-011.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
79 231 192 0
p cnf 250 1065
79 231 192 0
-244 -99 37 0
121 -235 -115 0
21 43 42 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
208 75 64 0
-171 163 207 0
-76 19 158 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-012.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
178 84 111 0
p cnf 250 1065
178 84 111 0
213 -90 248 0
154 -144 29 0
-245 -236 97 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
138 -111 201 0
-53 25 -175 0
115 230 -97 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-013.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-117 48 61 0
p cnf 250 1065
-117 48 61 0
-100 -232 -106 0
211 71 -64 0
-160 -208 -40 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-45 -64 56 0
9 220 150 0
149 32 -74 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-014.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-168 15 -185 0
p cnf 250 1065
-168 15 -185 0
-16 123 199 0
-136 -170 -179 0
224 68 5 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-172 -98 139 0
48 83 -97 0
-8 239 -61 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-015.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
69 116 -215 0
p cnf 250 1065
69 116 -215 0
-94 -129 27 0
229 161 239 0
135 105 240 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
51 63 187 0
239 210 243 0
-30 -198 -169 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-016.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-87 -226 -111 0
p cnf 250 1065
-87 -226 -111 0
185 169 -150 0
-54 -134 62 0
-120 191 79 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
49 -213 -32 0
-222 -4 -28 0
-106 -165 56 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-017.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-159 134 2 0
p cnf 250 1065
-159 134 2 0
171 175 130 0
112 -155 16 0
112 239 -195 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
21 61 77 0
219 55 -237 0
61 -248 1 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-018.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-176 12 -92 0
p cnf 250 1065
-176 12 -92 0
110 36 145 0
134 -146 121 0
91 219 45 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-240 237 69 0
95 209 157 0
146 -149 224 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-019.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-219 -235 -232 0
p cnf 250 1065
-219 -235 -232 0
12 -20 194 0
-34 -137 -181 0
122 149 -239 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-140 -97 99 0
-73 23 -77 0
-96 4 -6 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-02.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-180 -169 -139 0
p cnf 250 1065
-180 -169 -139 0
-172 -115 164 0
170 196 -14 0
16 46 -163 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
51 53 198 0
-94 13 -217 0
-211 188 -43 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-020.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
214 46 -21 0
p cnf 250 1065
214 46 -21 0
-94 -29 1 0
-180 27 145 0
-23 207 3 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-228 74 165 0
195 -7 74 0
129 190 76 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-021.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-137 -74 -158 0
p cnf 250 1065
-137 -74 -158 0
113 229 -192 0
104 -230 248 0
-143 67 -77 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-200 195 -214 0
-230 -184 -113 0
-248 -58 -125 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-022.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-49 -214 -139 0
p cnf 250 1065
-49 -214 -139 0
-98 218 -180 0
39 164 -250 0
-8 -195 -11 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
126 -144 164 0
-79 114 116 0
-62 -55 84 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-023.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
136 -113 187 0
p cnf 250 1065
136 -113 187 0
151 -118 -25 0
-45 -176 41 0
-175 -44 -188 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-34 -122 129 0
126 21 171 0
4 11 -83 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-024.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-85 -61 -77 0
p cnf 250 1065
-85 -61 -77 0
-193 119 76 0
51 -235 103 0
151 -57 137 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-127 -38 194 0
-246 -66 128 0
-195 -175 -33 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-025.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
128 -13 129 0
p cnf 250 1065
128 -13 129 0
-190 79 -246 0
-127 193 -235 0
125 1 114 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
230 -161 5 0
-210 123 118 0
156 25 -115 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-026.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
235 129 130 0
p cnf 250 1065
235 129 130 0
-176 84 27 0
-68 242 -65 0
156 -68 -15 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-93 -133 43 0
85 -152 -57 0
89 7 230 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-027.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
-83 -15 -129 0
p cnf 250 1065
-83 -15 -129 0
-209 113 6 0
-175 -68 -23 0
-250 104 89 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-2 -236 -116 0
241 156 55 0
-99 59 190 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-028.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
90 39 220 0
p cnf 250 1065
90 39 220 0
229 153 -242 0
41 -183 -158 0
-211 -212 -163 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
48 231 -178 0
138 -58 42 0
-45 -62 -54 0
0

6 changes: 2 additions & 4 deletions 3-SAT/UUF250/uuf250-029.cnf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 250 1065
123 -42 143 0
p cnf 250 1065
123 -42 143 0
-216 -244 38 0
37 87 54 0
-61 71 196 0
Expand Down Expand Up @@ -1071,5 +1071,3 @@ p cnf 250 1065
-170 250 -47 0
208 -245 106 0
-225 91 98 0
0

Loading

0 comments on commit d307f5a

Please sign in to comment.