-
Notifications
You must be signed in to change notification settings - Fork 0
/
readable_results_hard.txt
212 lines (212 loc) · 10.6 KB
/
readable_results_hard.txt
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
hard/000random_ksat.cnf
[10, 999, 750, 750, (750, 750, 750.0, 750.0), (748, 750, 749.27272727272725, 749.0)]
hard/001random_ksat.cnf
[10, 1000, 1000, 1000, (1000, 1000, 1000.0, 1000.0), (998, 1000, 999.4545454545455, 1000.0)]
hard/002random_ksat.cnf
[10, 646, 100, 100, (100, 100, 100.0, 100.0), (98, 100, 99.727272727272734, 100.0)]
hard/003random_ksat.cnf
[10, 98, 10, 10, (10, 10, 10.0, 10.0), (10, 10, 10.0, 10.0)]
hard/004random_ksat.cnf
[10, 991, 500, 500, (500, 500, 500.0, 500.0), (499, 500, 499.63636363636363, 500.0)]
hard/005random_ksat.cnf
[10, 388, 50, 50, (50, 50, 50.0, 50.0), (50, 50, 50.0, 50.0)]
hard/006random_ksat.cnf
[10, 49, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/007random_ksat.cnf
[10, 750, 750, 750, (750, 750, 750.0, 750.0), (748, 750, 749.4545454545455, 750.0)]
hard/008random_ksat.cnf
[10, 750, 1000, 1000, (1000, 1000, 1000.0, 1000.0), (998, 1000, 999.36363636363637, 999.0)]
hard/009random_ksat.cnf
[10, 98, 10, 10, (10, 10, 10.0, 10.0), (10, 10, 10.0, 10.0)]
hard/010random_ksat.cnf
[10, 538, 100, 100, (100, 100, 100.0, 100.0), (100, 100, 100.0, 100.0)]
hard/011random_ksat.cnf
[10, 747, 500, 500, (500, 500, 500.0, 500.0), (499, 500, 499.72727272727275, 500.0)]
hard/012random_ksat.cnf
[10, 373, 50, 50, (50, 50, 50.0, 50.0), (50, 50, 50.0, 50.0)]
hard/013random_ksat.cnf
[10, 48, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/014random_ksat.cnf
[10, 500, 750, 750, (750, 750, 750.0, 750.0), (748, 750, 748.90909090909088, 749.0)]
hard/015random_ksat.cnf
[10, 500, 1000, 1000, (1000, 1000, 1000.0, 1000.0), (998, 1000, 999.09090909090912, 999.0)]
hard/016random_ksat.cnf
[10, 427, 100, 100, (100, 100, 100.0, 100.0), (99, 100, 99.63636363636364, 100.0)]
hard/017random_ksat.cnf
[10, 91, 10, 10, (10, 10, 10.0, 10.0), (10, 10, 10.0, 10.0)]
hard/018random_ksat.cnf
[10, 500, 500, 500, (500, 500, 500.0, 500.0), (498, 500, 499.36363636363637, 499.0)]
hard/019random_ksat.cnf
[10, 49, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/020random_ksat.cnf
[10, 306, 50, 50, (50, 50, 50.0, 50.0), (50, 50, 50.0, 50.0)]
hard/063random_ksat.cnf
[7, 992, 750, 750, (750, 750, 750.0, 750.0), (742, 748, 744.72727272727275, 744.0)]
hard/064random_ksat.cnf
[7, 1000, 1000, 1000, (1000, 1000, 1000.0, 1000.0), (988, 995, 991.63636363636363, 992.0)]
hard/065random_ksat.cnf
[7, 501, 100, 100, (100, 100, 100.0, 100.0), (99, 100, 99.727272727272734, 100.0)]
hard/066random_ksat.cnf
[7, 70, 10, 10, (10, 10, 10.0, 10.0), (10, 10, 10.0, 10.0)]
hard/067random_ksat.cnf
[7, 975, 500, 500, (500, 500, 500.0, 500.0), (494, 499, 496.0, 496.0)]
hard/068random_ksat.cnf
[7, 294, 50, 50, (50, 50, 50.0, 50.0), (49, 50, 49.545454545454547, 50.0)]
hard/069random_ksat.cnf
[7, 34, 5, 5, (5, 5, 5.0, 5.0), (4, 5, 4.9090909090909092, 5.0)]
hard/070random_ksat.cnf
[7, 749, 750, 750, (750, 750, 750.0, 750.0), (740, 748, 744.5454545454545, 745.0)]
hard/071random_ksat.cnf
[7, 750, 1000, 1000, (1000, 1000, 1000.0, 1000.0), (986, 996, 991.81818181818187, 992.0)]
hard/072random_ksat.cnf
[7, 461, 100, 100, (100, 100, 100.0, 100.0), (98, 100, 99.181818181818187, 99.0)]
hard/073random_ksat.cnf
[7, 68, 10, 10, (10, 10, 10.0, 10.0), (10, 10, 10.0, 10.0)]
hard/074random_ksat.cnf
[7, 747, 500, 500, (500, 500, 500.0, 500.0), (495, 499, 497.45454545454544, 498.0)]
hard/075random_ksat.cnf
[7, 275, 50, 50, (50, 50, 50.0, 50.0), (48, 50, 49.81818181818182, 50.0)]
hard/076random_ksat.cnf
[7, 35, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/077random_ksat.cnf
[7, 500, 750, 750, (750, 750, 750.0, 750.0), (741, 748, 745.0, 746.0)]
hard/078random_ksat.cnf
[7, 500, 1000, 1000, (996, 999, 996.81818181818187, 997.0), (990, 997, 992.72727272727275, 992.0)]
hard/079random_ksat.cnf
[7, 61, 10, 10, (10, 10, 10.0, 10.0), (9, 10, 9.9090909090909083, 10.0)]
hard/080random_ksat.cnf
[7, 368, 100, 100, (100, 100, 100.0, 100.0), (98, 100, 99.545454545454547, 100.0)]
hard/081random_ksat.cnf
[7, 500, 500, 500, (500, 500, 500.0, 500.0), (494, 497, 495.72727272727275, 496.0)]
hard/082random_ksat.cnf
[7, 252, 50, 50, (50, 50, 50.0, 50.0), (49, 50, 49.909090909090907, 50.0)]
hard/083random_ksat.cnf
[7, 33, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/126random_ksat.cnf
[5, 984, 750, 750, (750, 750, 750.0, 750.0), (720, 734, 728.0, 730.0)]
hard/127random_ksat.cnf
[5, 993, 1000, 1000, (990, 999, 995.09090909090912, 996.0), (956, 973, 965.63636363636363, 966.0)]
hard/128random_ksat.cnf
[5, 389, 100, 100, (100, 100, 100.0, 100.0), (95, 99, 96.545454545454547, 96.0)]
hard/129random_ksat.cnf
[5, 49, 10, 10, (10, 10, 10.0, 10.0), (9, 10, 9.6363636363636367, 10.0)]
hard/130random_ksat.cnf
[5, 910, 500, 500, (500, 500, 500.0, 500.0), (482, 488, 484.90909090909093, 484.0)]
hard/131random_ksat.cnf
[5, 226, 50, 50, (50, 50, 50.0, 50.0), (46, 50, 48.363636363636367, 48.0)]
hard/132random_ksat.cnf
[5, 25, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/133random_ksat.cnf
[5, 744, 750, 750, (750, 750, 750.0, 750.0), (725, 734, 728.81818181818187, 727.0)]
hard/134random_ksat.cnf
[5, 750, 1000, 1000, (972, 988, 978.27272727272725, 978.0), (961, 978, 968.09090909090912, 966.0)]
hard/135random_ksat.cnf
[5, 376, 100, 100, (100, 100, 100.0, 100.0), (96, 99, 97.36363636363636, 97.0)]
hard/136random_ksat.cnf
[5, 48, 10, 10, (10, 10, 10.0, 10.0), (8, 10, 9.2727272727272734, 9.0)]
hard/137random_ksat.cnf
[5, 718, 500, 500, (495, 500, 496.72727272727275, 496.0), (480, 492, 485.45454545454544, 486.0)]
hard/138random_ksat.cnf
[5, 215, 50, 50, (50, 50, 50.0, 50.0), (46, 50, 48.363636363636367, 49.0)]
hard/139random_ksat.cnf
[5, 25, 5, 5, (5, 5, 5.0, 5.0), (4, 5, 4.8181818181818183, 5.0)]
hard/140random_ksat.cnf
[5, 500, 750, 750, (738, 745, 741.63636363636363, 741.0), (717, 730, 724.27272727272725, 725.0)]
hard/141random_ksat.cnf
[5, 500, 1000, 1000, (973, 990, 981.72727272727275, 981.0), (960, 975, 968.27272727272725, 970.0)]
hard/142random_ksat.cnf
[5, 331, 100, 100, (100, 100, 100.0, 100.0), (95, 98, 96.36363636363636, 96.0)]
hard/143random_ksat.cnf
[5, 47, 10, 10, (10, 10, 10.0, 10.0), (9, 10, 9.8181818181818183, 10.0)]
hard/144random_ksat.cnf
[5, 195, 50, 50, (50, 50, 50.0, 50.0), (46, 50, 48.272727272727273, 48.0)]
hard/145random_ksat.cnf
[5, 498, 500, 500, (500, 500, 500.0, 500.0), (481, 490, 486.54545454545456, 488.0)]
hard/146random_ksat.cnf
[5, 24, 5, 5, (5, 5, 5.0, 5.0), (5, 5, 5.0, 5.0)]
hard/196random_ksat.cnf
[4, 948, 750, 750, (724, 734, 730.72727272727275, 731.0), (698, 708, 703.0, 702.0)]
hard/197random_ksat.cnf
[4, 979, 1000, 1000, (958, 975, 965.27272727272725, 965.0), (925, 946, 935.4545454545455, 935.0)]
hard/198random_ksat.cnf
[4, 339, 100, 100, (100, 100, 100.0, 100.0), (91, 98, 94.63636363636364, 95.0)]
hard/199random_ksat.cnf
[4, 40, 10, 10, (10, 10, 10.0, 10.0), (8, 10, 9.454545454545455, 10.0)]
hard/200random_ksat.cnf
[4, 874, 500, 500, (492, 498, 494.63636363636363, 494.0), (460, 479, 468.09090909090907, 464.0)]
hard/201random_ksat.cnf
[4, 188, 50, 50, (50, 50, 50.0, 50.0), (45, 49, 47.363636363636367, 47.0)]
hard/202random_ksat.cnf
[4, 20, 5, 5, (5, 5, 5.0, 5.0), (4, 5, 4.6363636363636367, 5.0)]
hard/203random_ksat.cnf
[4, 735, 750, 750, (709, 723, 715.90909090909088, 716.0), (695, 715, 705.4545454545455, 708.0)]
hard/204random_ksat.cnf
[4, 748, 1000, 1000, (956, 979, 967.0, 968.0), (919, 948, 938.0, 940.0)]
hard/205random_ksat.cnf
[4, 310, 100, 100, (100, 100, 100.0, 100.0), (91, 98, 94.818181818181813, 95.0)]
hard/206random_ksat.cnf
[4, 39, 10, 10, (10, 10, 10.0, 10.0), (9, 10, 9.8181818181818183, 10.0)]
hard/207random_ksat.cnf
[4, 684, 500, 500, (485, 496, 490.36363636363637, 490.0), (450, 477, 465.45454545454544, 465.0)]
hard/208random_ksat.cnf
[4, 179, 50, 50, (50, 50, 50.0, 50.0), (45, 50, 46.81818181818182, 46.0)]
hard/209random_ksat.cnf
[4, 20, 5, 5, (5, 5, 5.0, 5.0), (3, 5, 4.5454545454545459, 5.0)]
hard/210random_ksat.cnf
[4, 500, 750, 750, (714, 729, 720.72727272727275, 720.0), (682, 709, 700.0, 701.0)]
hard/211random_ksat.cnf
[4, 499, 1000, 1000, (950, 973, 965.72727272727275, 967.0), (928, 948, 938.09090909090912, 940.0)]
hard/212random_ksat.cnf
[4, 280, 100, 100, (100, 100, 100.0, 100.0), (91, 97, 94.272727272727266, 94.0)]
hard/213random_ksat.cnf
[4, 36, 10, 10, (10, 10, 10.0, 10.0), (8, 10, 9.0909090909090917, 9.0)]
hard/214random_ksat.cnf
[4, 487, 500, 500, (472, 488, 481.54545454545456, 484.0), (460, 481, 470.72727272727275, 471.0)]
hard/215random_ksat.cnf
[4, 166, 50, 50, (50, 50, 50.0, 50.0), (42, 49, 45.545454545454547, 45.0)]
hard/216random_ksat.cnf
[4, 20, 5, 5, (5, 5, 5.0, 5.0), (4, 5, 4.8181818181818183, 5.0)]
hard/266random_ksat.cnf
[3, 955, 1000, 1000, (939, 964, 947.90909090909088, 945.0), (870, 893, 882.36363636363637, 881.0)]
hard/267random_ksat.cnf
[3, 888, 750, 750, (722, 734, 726.0, 725.0), (637, 669, 652.36363636363637, 654.0)]
hard/268random_ksat.cnf
[3, 781, 500, 500, (497, 500, 498.90909090909093, 499.0), (431, 458, 443.0, 443.0)]
hard/269random_ksat.cnf
[3, 261, 100, 100, (100, 100, 100.0, 100.0), (84, 90, 86.818181818181813, 86.0)]
hard/270random_ksat.cnf
[3, 137, 50, 50, (50, 50, 50.0, 50.0), (37, 45, 41.81818181818182, 43.0)]
hard/271random_ksat.cnf
[3, 30, 10, 10, (10, 10, 10.0, 10.0), (8, 10, 9.0, 9.0)]
hard/272random_ksat.cnf
[3, 15, 5, 5, (5, 5, 5.0, 5.0), (3, 5, 4.1818181818181817, 4.0)]
hard/273random_ksat.cnf
[3, 736, 1000, 1000, (913, 935, 921.81818181818187, 920.0), (857, 890, 874.72727272727275, 876.0)]
Recursion depth exceeded. Need to run again
hard/274random_ksat.cnf
[3, 710, 750, 750, (724, 738, 729.0, 729.0), (641, 674, 658.5454545454545, 661.0)]
hard/275random_ksat.cnf
[3, 644, 500, 500, (495, 500, 497.54545454545456, 498.0), (425, 451, 435.63636363636363, 435.0)]
hard/276random_ksat.cnf
[3, 244, 100, 100, (100, 100, 100.0, 100.0), (86, 95, 89.272727272727266, 89.0)]
hard/277random_ksat.cnf
[3, 137, 50, 50, (50, 50, 50.0, 50.0), (40, 46, 43.454545454545453, 43.0)]
hard/278random_ksat.cnf
[3, 29, 10, 10, (10, 10, 10.0, 10.0), (6, 10, 8.6363636363636367, 9.0)]
hard/279random_ksat.cnf
[3, 15, 5, 5, (5, 5, 5.0, 5.0), (3, 5, 4.4545454545454541, 5.0)]
hard/280random_ksat.cnf
[3, 498, 1000, 1000, (912, 942, 926.72727272727275, 927.0), (847, 903, 873.18181818181813, 873.0)]
Recursion depth exceeded. Need to run again
hard/281random_ksat.cnf
[3, 498, 750, 750, (678, 702, 688.36363636363637, 685.0), (638, 664, 653.09090909090912, 652.0)]
hard/282random_ksat.cnf
[3, 476, 500, 500, (481, 493, 487.54545454545456, 488.0), (427, 450, 437.45454545454544, 437.0)]
hard/283random_ksat.cnf
[3, 224, 100, 100, (100, 100, 100.0, 100.0), (79, 94, 87.272727272727266, 88.0)]
hard/284random_ksat.cnf
[3, 130, 50, 50, (50, 50, 50.0, 50.0), (39, 47, 43.81818181818182, 44.0)]
hard/285random_ksat.cnf
[3, 28, 10, 10, (10, 10, 10.0, 10.0), (7, 9, 7.6363636363636367, 8.0)]
hard/286random_ksat.cnf
[3, 15, 5, 5, (5, 5, 5.0, 5.0), (4, 5, 4.6363636363636367, 5.0)]