Benchmark

Label	Meaning
S	Solution {OPTIMUM FOUND or OPT \| UNSATISFIABLE or UNSAT \| UNKNOWN \| Not available or N/A}
O	Best solution found
T	CPU time (TO for Time Out)
(out)(err)	Standard output and standard error for each solver

Color	Meaning for Complete Solvers	Meaning for Incomplete Solvers
Text	Best solver column	Best solver column
Text	Optimal solution with the best CPU time	Best solution with the best CPU time
Text	Optimal solution and finished within the Time Out	Best solution without the best CPU time
Text	Optimal solution and did not finish within the Time Out	Solution found but not the best
Text	Time Out	Time Out
Text	Buggy solution	Buggy solution

Instance file name	Best solver	ISAC+-2016-co
maxcut-140-630-0.7-1.cnf	S = OPT O = 160 T = 21.99	S = OPT O = 160 T = 21.99
maxcut-140-630-0.7-10.cnf	S = OPT O = 167 T = 140.64	S = OPT O = 167 T = 140.64
maxcut-140-630-0.7-11.cnf	S = OPT O = 170 T = 476.11	S = OPT O = 170 T = 476.11
maxcut-140-630-0.7-12.cnf	S = OPT O = 167 T = 33.18	S = OPT O = 167 T = 33.18
maxcut-140-630-0.7-13.cnf	S = OPT O = 169 T = 177.48	S = OPT O = 169 T = 177.48
maxcut-140-630-0.7-14.cnf	S = OPT O = 166 T = 69.20	S = OPT O = 166 T = 69.20
maxcut-140-630-0.7-15.cnf	S = OPT O = 169 T = 169.47	S = OPT O = 169 T = 169.47
maxcut-140-630-0.7-16.cnf	S = OPT O = 167 T = 57.60	S = OPT O = 167 T = 57.60
maxcut-140-630-0.7-17.cnf	S = OPT O = 166 T = 51.23	S = OPT O = 166 T = 51.23
maxcut-140-630-0.7-18.cnf	S = OPT O = 166 T = 87.06	S = OPT O = 166 T = 87.06
maxcut-140-630-0.7-19.cnf	S = OPT O = 167 T = 41.69	S = OPT O = 167 T = 41.69
maxcut-140-630-0.7-2.cnf	S = OPT O = 160 T = 22.78	S = OPT O = 160 T = 22.78
maxcut-140-630-0.7-20.cnf	S = OPT O = 168 T = 65.64	S = OPT O = 168 T = 65.64
maxcut-140-630-0.7-21.cnf	S = OPT O = 165 T = 80.58	S = OPT O = 165 T = 80.58
maxcut-140-630-0.7-22.cnf	S = OPT O = 164 T = 27.53	S = OPT O = 164 T = 27.53
maxcut-140-630-0.7-23.cnf	S = OPT O = 165 T = 74.23	S = OPT O = 165 T = 74.23
maxcut-140-630-0.7-24.cnf	S = OPT O = 166 T = 94.06	S = OPT O = 166 T = 94.06
maxcut-140-630-0.7-25.cnf	S = OPT O = 167 T = 67.26	S = OPT O = 167 T = 67.26
maxcut-140-630-0.7-26.cnf	S = OPT O = 166 T = 54.21	S = OPT O = 166 T = 54.21
maxcut-140-630-0.7-27.cnf	S = OPT O = 165 T = 42.48	S = OPT O = 165 T = 42.48
maxcut-140-630-0.7-28.cnf	S = OPT O = 167 T = 51.76	S = OPT O = 167 T = 51.76
maxcut-140-630-0.7-29.cnf	S = OPT O = 166 T = 164.54	S = OPT O = 166 T = 164.54
maxcut-140-630-0.7-3.cnf	S = OPT O = 168 T = 133.37	S = OPT O = 168 T = 133.37
maxcut-140-630-0.7-30.cnf	S = OPT O = 167 T = 92.89	S = OPT O = 167 T = 92.89
maxcut-140-630-0.7-31.cnf	S = OPT O = 170 T = 183.98	S = OPT O = 170 T = 183.98
maxcut-140-630-0.7-32.cnf	S = OPT O = 164 T = 32.82	S = OPT O = 164 T = 32.82
maxcut-140-630-0.7-33.cnf	S = OPT O = 165 T = 62.93	S = OPT O = 165 T = 62.93
maxcut-140-630-0.7-34.cnf	S = OPT O = 168 T = 108.68	S = OPT O = 168 T = 108.68
maxcut-140-630-0.7-35.cnf	S = OPT O = 164 T = 54.62	S = OPT O = 164 T = 54.62
maxcut-140-630-0.7-36.cnf	S = OPT O = 167 T = 140.81	S = OPT O = 167 T = 140.81
maxcut-140-630-0.7-37.cnf	S = OPT O = 170 T = 176.72	S = OPT O = 170 T = 176.72
maxcut-140-630-0.7-38.cnf	S = OPT O = 167 T = 187.40	S = OPT O = 167 T = 187.40
maxcut-140-630-0.7-39.cnf	S = OPT O = 163 T = 67.52	S = OPT O = 163 T = 67.52
maxcut-140-630-0.7-4.cnf	S = OPT O = 167 T = 102.22	S = OPT O = 167 T = 102.22
maxcut-140-630-0.7-40.cnf	S = OPT O = 167 T = 245.92	S = OPT O = 167 T = 245.92
maxcut-140-630-0.7-41.cnf	S = OPT O = 161 T = 33.10	S = OPT O = 161 T = 33.10
maxcut-140-630-0.7-42.cnf	S = OPT O = 161 T = 15.57	S = OPT O = 161 T = 15.57
maxcut-140-630-0.7-43.cnf	S = OPT O = 164 T = 53.39	S = OPT O = 164 T = 53.39
maxcut-140-630-0.7-44.cnf	S = OPT O = 163 T = 45.24	S = OPT O = 163 T = 45.24
maxcut-140-630-0.7-45.cnf	S = OPT O = 168 T = 101.57	S = OPT O = 168 T = 101.57
maxcut-140-630-0.7-46.cnf	S = OPT O = 168 T = 130.06	S = OPT O = 168 T = 130.06
maxcut-140-630-0.7-47.cnf	S = OPT O = 160 T = 16.09	S = OPT O = 160 T = 16.09
maxcut-140-630-0.7-48.cnf	S = OPT O = 168 T = 76.36	S = OPT O = 168 T = 76.36
maxcut-140-630-0.7-49.cnf	S = OPT O = 164 T = 52.06	S = OPT O = 164 T = 52.06
maxcut-140-630-0.7-5.cnf	S = OPT O = 164 T = 70.01	S = OPT O = 164 T = 70.01
maxcut-140-630-0.7-50.cnf	S = OPT O = 167 T = 54.64	S = OPT O = 167 T = 54.64
maxcut-140-630-0.7-6.cnf	S = OPT O = 162 T = 24.09	S = OPT O = 162 T = 24.09
maxcut-140-630-0.7-7.cnf	S = OPT O = 164 T = 69.70	S = OPT O = 164 T = 69.70
maxcut-140-630-0.7-8.cnf	S = OPT O = 165 T = 59.80	S = OPT O = 165 T = 59.80
maxcut-140-630-0.7-9.cnf	S = OPT O = 166 T = 83.24	S = OPT O = 166 T = 83.24
maxcut-140-630-0.8-1.cnf	S = OPT O = 165 T = 53.09	S = OPT O = 165 T = 53.09
maxcut-140-630-0.8-10.cnf	S = OPT O = 168 T = 157.78	S = OPT O = 168 T = 157.78
maxcut-140-630-0.8-11.cnf	S = OPT O = 168 T = 139.68	S = OPT O = 168 T = 139.68
maxcut-140-630-0.8-12.cnf	S = OPT O = 165 T = 49.76	S = OPT O = 165 T = 49.76
maxcut-140-630-0.8-13.cnf	S = OPT O = 167 T = 125.60	S = OPT O = 167 T = 125.60
maxcut-140-630-0.8-14.cnf	S = OPT O = 164 T = 72.87	S = OPT O = 164 T = 72.87
maxcut-140-630-0.8-15.cnf	S = OPT O = 166 T = 69.98	S = OPT O = 166 T = 69.98
maxcut-140-630-0.8-16.cnf	S = OPT O = 163 T = 40.06	S = OPT O = 163 T = 40.06
maxcut-140-630-0.8-17.cnf	S = OPT O = 168 T = 72.64	S = OPT O = 168 T = 72.64
maxcut-140-630-0.8-18.cnf	S = OPT O = 163 T = 61.60	S = OPT O = 163 T = 61.60
maxcut-140-630-0.8-19.cnf	S = OPT O = 164 T = 28.87	S = OPT O = 164 T = 28.87
maxcut-140-630-0.8-2.cnf	S = OPT O = 162 T = 39.27	S = OPT O = 162 T = 39.27
maxcut-140-630-0.8-20.cnf	S = OPT O = 165 T = 51.02	S = OPT O = 165 T = 51.02
maxcut-140-630-0.8-21.cnf	S = OPT O = 167 T = 34.20	S = OPT O = 167 T = 34.20
maxcut-140-630-0.8-22.cnf	S = OPT O = 170 T = 82.48	S = OPT O = 170 T = 82.48
maxcut-140-630-0.8-23.cnf	S = OPT O = 167 T = 226.60	S = OPT O = 167 T = 226.60
maxcut-140-630-0.8-24.cnf	S = OPT O = 165 T = 120.65	S = OPT O = 165 T = 120.65
maxcut-140-630-0.8-25.cnf	S = OPT O = 165 T = 86.83	S = OPT O = 165 T = 86.83
maxcut-140-630-0.8-26.cnf	S = OPT O = 167 T = 50.98	S = OPT O = 167 T = 50.98
maxcut-140-630-0.8-27.cnf	S = OPT O = 168 T = 89.73	S = OPT O = 168 T = 89.73
maxcut-140-630-0.8-28.cnf	S = OPT O = 168 T = 113.49	S = OPT O = 168 T = 113.49
maxcut-140-630-0.8-29.cnf	S = OPT O = 167 T = 71.20	S = OPT O = 167 T = 71.20
maxcut-140-630-0.8-3.cnf	S = OPT O = 165 T = 20.28	S = OPT O = 165 T = 20.28
maxcut-140-630-0.8-30.cnf	S = OPT O = 167 T = 73.10	S = OPT O = 167 T = 73.10
maxcut-140-630-0.8-31.cnf	S = OPT O = 165 T = 36.04	S = OPT O = 165 T = 36.04
maxcut-140-630-0.8-32.cnf	S = OPT O = 164 T = 33.21	S = OPT O = 164 T = 33.21
maxcut-140-630-0.8-33.cnf	S = OPT O = 163 T = 25.15	S = OPT O = 163 T = 25.15
maxcut-140-630-0.8-34.cnf	S = OPT O = 163 T = 48.67	S = OPT O = 163 T = 48.67
maxcut-140-630-0.8-35.cnf	S = OPT O = 165 T = 53.05	S = OPT O = 165 T = 53.05
maxcut-140-630-0.8-36.cnf	S = OPT O = 165 T = 49.85	S = OPT O = 165 T = 49.85
maxcut-140-630-0.8-37.cnf	S = OPT O = 167 T = 58.65	S = OPT O = 167 T = 58.65
maxcut-140-630-0.8-38.cnf	S = OPT O = 160 T = 16.32	S = OPT O = 160 T = 16.32
maxcut-140-630-0.8-39.cnf	S = OPT O = 169 T = 110.39	S = OPT O = 169 T = 110.39
maxcut-140-630-0.8-4.cnf	S = OPT O = 165 T = 31.26	S = OPT O = 165 T = 31.26
maxcut-140-630-0.8-40.cnf	S = OPT O = 161 T = 22.59	S = OPT O = 161 T = 22.59
maxcut-140-630-0.8-41.cnf	S = OPT O = 163 T = 30.57	S = OPT O = 163 T = 30.57
maxcut-140-630-0.8-42.cnf	S = OPT O = 164 T = 41.74	S = OPT O = 164 T = 41.74
maxcut-140-630-0.8-43.cnf	S = OPT O = 165 T = 44.93	S = OPT O = 165 T = 44.93
maxcut-140-630-0.8-44.cnf	S = OPT O = 160 T = 10.54	S = OPT O = 160 T = 10.54
maxcut-140-630-0.8-45.cnf	S = OPT O = 165 T = 18.75	S = OPT O = 165 T = 18.75
maxcut-140-630-0.8-46.cnf	S = OPT O = 162 T = 34.26	S = OPT O = 162 T = 34.26
maxcut-140-630-0.8-47.cnf	S = OPT O = 164 T = 66.95	S = OPT O = 164 T = 66.95
maxcut-140-630-0.8-48.cnf	S = OPT O = 164 T = 46.31	S = OPT O = 164 T = 46.31
maxcut-140-630-0.8-49.cnf	S = OPT O = 166 T = 68.18	S = OPT O = 166 T = 68.18
maxcut-140-630-0.8-5.cnf	S = OPT O = 164 T = 75.78	S = OPT O = 164 T = 75.78
maxcut-140-630-0.8-50.cnf	S = OPT O = 165 T = 33.64	S = OPT O = 165 T = 33.64
maxcut-140-630-0.8-6.cnf	S = OPT O = 169 T = 338.42	S = OPT O = 169 T = 338.42
maxcut-140-630-0.8-7.cnf	S = OPT O = 166 T = 83.08	S = OPT O = 166 T = 83.08
maxcut-140-630-0.8-8.cnf	S = OPT O = 167 T = 73.37	S = OPT O = 167 T = 73.37
maxcut-140-630-0.8-9.cnf	S = OPT O = 165 T = 33.82	S = OPT O = 165 T = 33.82
s2v140c1200-1.cnf	S = OPT O = 158 T = 43.76	S = OPT O = 158 T = 43.76
s2v140c1200-2.cnf	S = OPT O = 152 T = 16.00	S = OPT O = 152 T = 16.00
s2v140c1200-3.cnf	S = OPT O = 157 T = 18.93	S = OPT O = 157 T = 18.93
s2v140c1300-1.cnf	S = OPT O = 176 T = 77.56	S = OPT O = 176 T = 77.56
s2v140c1300-2.cnf	S = OPT O = 169 T = 13.52	S = OPT O = 169 T = 13.52
s2v140c1300-3.cnf	S = OPT O = 172 T = 23.27	S = OPT O = 172 T = 23.27
s2v140c1400-1.cnf	S = OPT O = 196 T = 150.91	S = OPT O = 196 T = 150.91
s2v140c1400-2.cnf	S = OPT O = 195 T = 206.02	S = OPT O = 195 T = 206.02
s2v140c1400-3.cnf	S = OPT O = 194 T = 82.91	S = OPT O = 194 T = 82.91
s2v140c1500-1.cnf	S = OPT O = 212 T = 217.41	S = OPT O = 212 T = 217.41
s2v140c1500-2.cnf	S = OPT O = 215 T = 345.89	S = OPT O = 215 T = 345.89
s2v140c1500-3.cnf	S = OPT O = 211 T = 71.89	S = OPT O = 211 T = 71.89
s2v140c1600-1.cnf	S = OPT O = 233 T = 238.27	S = OPT O = 233 T = 238.27
s2v140c1600-2.cnf	S = OPT O = 231 T = 305.92	S = OPT O = 231 T = 305.92
s2v140c1600-3.cnf	S = OPT O = 235 T = 332.82	S = OPT O = 235 T = 332.82
s2v140c1700-1.cnf	S = OPT O = 253 T = 738.80	S = OPT O = 253 T = 738.80
s2v140c1700-2.cnf	S = OPT O = 255 T = 1506.93	S = OPT O = 255 T = 1506.93
s2v140c1700-3.cnf	S = OPT O = 253 T = 488.73	S = OPT O = 253 T = 488.73
s2v140c1800-1.cnf	S = OPT O = 273 T = 1175.97	S = OPT O = 273 T = 1175.97
s2v140c1800-2.cnf	S = OPT O = 272 T = 1074.14	S = OPT O = 272 T = 1074.14
s2v140c1800-3.cnf	S = OPT O = 276 T = 1593.23	S = OPT O = 276 T = 1593.23
s2v140c1900-1.cnf	S = OPT O = 292 T = 1274.29	S = OPT O = 292 T = 1274.29
s2v140c1900-2.cnf	S = N/A O = N/A T = TO	S = N/A O = 294 T = TO
s2v140c1900-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2000-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2000-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2000-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2100-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2100-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2100-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2200-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2200-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2200-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2300-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2300-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2300-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2400-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2400-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2400-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v140c2600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1200-1.cnf	S = OPT O = 149 T = 79.79	S = OPT O = 149 T = 79.79
s2v160c1200-2.cnf	S = OPT O = 145 T = 53.85	S = OPT O = 145 T = 53.85
s2v160c1200-3.cnf	S = OPT O = 146 T = 126.77	S = OPT O = 146 T = 126.77
s2v160c1300-1.cnf	S = OPT O = 165 T = 80.04	S = OPT O = 165 T = 80.04
s2v160c1300-2.cnf	S = OPT O = 163 T = 127.06	S = OPT O = 163 T = 127.06
s2v160c1300-3.cnf	S = OPT O = 164 T = 390.86	S = OPT O = 164 T = 390.86
s2v160c1400-1.cnf	S = OPT O = 185 T = 184.91	S = OPT O = 185 T = 184.91
s2v160c1400-2.cnf	S = OPT O = 186 T = 719.30	S = OPT O = 186 T = 719.30
s2v160c1400-3.cnf	S = OPT O = 182 T = 488.30	S = OPT O = 182 T = 488.30
s2v160c1500-1.cnf	S = OPT O = 204 T = 446.04	S = OPT O = 204 T = 446.04
s2v160c1500-2.cnf	S = OPT O = 202 T = 679.94	S = OPT O = 202 T = 679.94
s2v160c1500-3.cnf	S = OPT O = 202 T = 1387.75	S = OPT O = 202 T = 1387.75
s2v160c1600-1.cnf	S = OPT O = 221 T = 1040.63	S = OPT O = 221 T = 1040.63
s2v160c1600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1600-3.cnf	S = OPT O = 220 T = 1315.15	S = OPT O = 220 T = 1315.15
s2v160c1700-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1700-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1700-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1800-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1800-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1800-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1900-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1900-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c1900-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2000-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2000-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2000-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2100-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2100-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2100-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2200-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2200-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2200-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2300-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2300-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2300-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2400-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2400-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2400-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v160c2600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1200-1.cnf	S = OPT O = 129 T = 12.29	S = OPT O = 129 T = 12.29
s2v180c1200-2.cnf	S = OPT O = 134 T = 36.52	S = OPT O = 134 T = 36.52
s2v180c1200-3.cnf	S = OPT O = 132 T = 62.12	S = OPT O = 132 T = 62.12
s2v180c1300-1.cnf	S = OPT O = 155 T = 378.97	S = OPT O = 155 T = 378.97
s2v180c1300-2.cnf	S = OPT O = 152 T = 64.49	S = OPT O = 152 T = 64.49
s2v180c1300-3.cnf	S = OPT O = 150 T = 159.18	S = OPT O = 150 T = 159.18
s2v180c1400-1.cnf	S = OPT O = 172 T = 335.54	S = OPT O = 172 T = 335.54
s2v180c1400-2.cnf	S = OPT O = 171 T = 249.97	S = OPT O = 171 T = 249.97
s2v180c1400-3.cnf	S = OPT O = 170 T = 861.39	S = OPT O = 170 T = 861.39
s2v180c1500-1.cnf	S = OPT O = 192 T = 843.91	S = OPT O = 192 T = 843.91
s2v180c1500-2.cnf	S = OPT O = 189 T = 674.02	S = OPT O = 189 T = 674.02
s2v180c1500-3.cnf	S = OPT O = 187 T = 963.03	S = OPT O = 187 T = 963.03
s2v180c1600-1.cnf	S = OPT O = 209 T = 1783.34	S = OPT O = 209 T = 1783.34
s2v180c1600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1700-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1700-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1700-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1800-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1800-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1800-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1900-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1900-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c1900-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2000-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2000-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2000-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2100-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2100-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2100-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2200-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2200-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2200-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2300-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2300-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2300-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2400-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2400-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2400-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v180c2600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1200-1.cnf	S = OPT O = 122 T = 24.20	S = OPT O = 122 T = 24.20
s2v200c1200-2.cnf	S = OPT O = 125 T = 62.95	S = OPT O = 125 T = 62.95
s2v200c1200-3.cnf	S = OPT O = 128 T = 101.31	S = OPT O = 128 T = 101.31
s2v200c1300-1.cnf	S = OPT O = 142 T = 101.34	S = OPT O = 142 T = 101.34
s2v200c1300-2.cnf	S = OPT O = 147 T = 350.92	S = OPT O = 147 T = 350.92
s2v200c1300-3.cnf	S = OPT O = 146 T = 601.28	S = OPT O = 146 T = 601.28
s2v200c1400-1.cnf	S = OPT O = 159 T = 191.16	S = OPT O = 159 T = 191.16
s2v200c1400-2.cnf	S = OPT O = 161 T = 714.85	S = OPT O = 161 T = 714.85
s2v200c1400-3.cnf	S = OPT O = 162 T = 440.82	S = OPT O = 162 T = 440.82
s2v200c1500-1.cnf	S = OPT O = 178 T = 1020.90	S = OPT O = 178 T = 1020.90
s2v200c1500-2.cnf	S = OPT O = 176 T = 989.21	S = OPT O = 176 T = 989.21
s2v200c1500-3.cnf	S = OPT O = 181 T = 1799.74	S = OPT O = 181 T = 1799.74
s2v200c1600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1600-2.cnf	S = OPT O = 193 T = 1421.21	S = OPT O = 193 T = 1421.21
s2v200c1600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1700-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1700-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1700-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1800-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1800-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1800-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1900-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1900-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c1900-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2000-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2000-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2000-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2100-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2100-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2100-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2200-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2200-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2200-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2300-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2300-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2300-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2400-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2400-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2400-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v200c2600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1200-1.cnf	S = OPT O = 117 T = 106.70	S = OPT O = 117 T = 106.70
s2v220c1200-2.cnf	S = OPT O = 116 T = 34.24	S = OPT O = 116 T = 34.24
s2v220c1200-3.cnf	S = OPT O = 115 T = 62.59	S = OPT O = 115 T = 62.59
s2v220c1300-1.cnf	S = OPT O = 132 T = 792.67	S = OPT O = 132 T = 792.67
s2v220c1300-2.cnf	S = OPT O = 132 T = 175.90	S = OPT O = 132 T = 175.90
s2v220c1300-3.cnf	S = OPT O = 136 T = 845.60	S = OPT O = 136 T = 845.60
s2v220c1400-1.cnf	S = OPT O = 154 T = 851.94	S = OPT O = 154 T = 851.94
s2v220c1400-2.cnf	S = OPT O = 149 T = 447.63	S = OPT O = 149 T = 447.63
s2v220c1400-3.cnf	S = OPT O = 151 T = 921.47	S = OPT O = 151 T = 921.47
s2v220c1500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1700-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1700-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1700-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1800-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1800-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1800-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1900-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1900-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c1900-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2000-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2000-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2000-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2100-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2100-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2100-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2200-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2200-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2200-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2300-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2300-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2300-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2400-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2400-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2400-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2500-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2500-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2500-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2600-1.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2600-2.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
s2v220c2600-3.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
MANN_a27.clq.cnf	S = OPT O = 404 T = 388.25	S = OPT O = 404 T = 388.25
MANN_a45.clq.cnf	S = OPT O = 418 T = 550.39	S = OPT O = 418 T = 550.39
MANN_a81.clq.cnf	S = OPT O = 399 T = 404.53	S = OPT O = 399 T = 404.53
MANN_a9.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
brock200_1.clq.cnf	S = OPT O = 238 T = 10.87	S = OPT O = 238 T = 10.87
brock200_2.clq.cnf	S = OPT O = 141 T = 3.85	S = OPT O = 141 T = 3.85
brock200_3.clq.cnf	S = OPT O = 214 T = 6.72	S = OPT O = 214 T = 6.72
brock200_4.clq.cnf	S = OPT O = 209 T = 5.53	S = OPT O = 209 T = 5.53
brock400_1.clq.cnf	S = OPT O = 255 T = 19.40	S = OPT O = 255 T = 19.40
brock400_2.clq.cnf	S = OPT O = 252 T = 13.69	S = OPT O = 252 T = 13.69
brock400_3.clq.cnf	S = OPT O = 238 T = 10.00	S = OPT O = 238 T = 10.00
brock400_4.clq.cnf	S = OPT O = 249 T = 12.17	S = OPT O = 249 T = 12.17
brock800_1.clq.cnf	S = OPT O = 205 T = 4.92	S = OPT O = 205 T = 4.92
brock800_2.clq.cnf	S = OPT O = 207 T = 5.35	S = OPT O = 207 T = 5.35
brock800_3.clq.cnf	S = OPT O = 203 T = 4.83	S = OPT O = 203 T = 4.83
brock800_4.clq.cnf	S = OPT O = 200 T = 4.76	S = OPT O = 200 T = 4.76
c-fat200-1.clq.cnf	S = OPT O = 4 T = 3.66	S = OPT O = 4 T = 3.66
c-fat200-2.clq.cnf	S = OPT O = 26 T = 3.67	S = OPT O = 26 T = 3.67
c-fat200-5.clq.cnf	S = OPT O = 116 T = 3.86	S = OPT O = 116 T = 3.86
c-fat500-1.clq.cnf	S = OPT O = 2 T = 3.65	S = OPT O = 2 T = 3.65
c-fat500-10.clq.cnf	S = OPT O = 200 T = 6.58	S = OPT O = 200 T = 6.58
c-fat500-2.clq.cnf	S = OPT O = 24 T = 3.65	S = OPT O = 24 T = 3.65
c-fat500-5.clq.cnf	S = OPT O = 90 T = 4.31	S = OPT O = 90 T = 4.31
hamming10-2.clq.cnf	S = OPT O = 400 T = 204.44	S = OPT O = 400 T = 204.44
hamming10-4.clq.cnf	S = OPT O = 319 T = 222.05	S = OPT O = 319 T = 222.05
hamming6-2.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
hamming6-4.clq.cnf	S = OPT O = 192 T = 3.68	S = OPT O = 192 T = 3.68
hamming8-2.clq.cnf	S = OPT O = 441 T = 370.55	S = OPT O = 441 T = 370.55
hamming8-4.clq.cnf	S = OPT O = 176 T = 3.87	S = OPT O = 176 T = 3.87
johnson16-2-4.clq.cnf	S = OPT O = 215 T = 3.94	S = OPT O = 215 T = 3.94
johnson32-2-4.clq.cnf	S = OPT O = 329 T = 50.63	S = OPT O = 329 T = 50.63
johnson8-2-4.clq.cnf	S = OPT O = 75 T = 3.66	S = OPT O = 75 T = 3.66
johnson8-4-4.clq.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
keller4.clq.cnf	S = OPT O = 199 T = 3.83	S = OPT O = 199 T = 3.83
keller5.clq.cnf	S = OPT O = 250 T = 6.21	S = OPT O = 250 T = 6.21
p_hat1000-1.clq.cnf	S = OPT O = 52 T = 3.67	S = OPT O = 52 T = 3.67
p_hat1000-2.clq.cnf	S = OPT O = 142 T = 3.81	S = OPT O = 142 T = 3.81
p_hat1000-3.clq.cnf	S = OPT O = 238 T = 7.95	S = OPT O = 238 T = 7.95
p_hat300-1.clq.cnf	S = OPT O = 49 T = 3.66	S = OPT O = 49 T = 3.66
p_hat300-2.clq.cnf	S = OPT O = 135 T = 3.74	S = OPT O = 135 T = 3.74
p_hat300-3.clq.cnf	S = OPT O = 269 T = 16.86	S = OPT O = 269 T = 16.86
p_hat500-1.clq.cnf	S = OPT O = 75 T = 3.66	S = OPT O = 75 T = 3.66
p_hat500-2.clq.cnf	S = OPT O = 176 T = 3.93	S = OPT O = 176 T = 3.93
p_hat500-3.clq.cnf	S = OPT O = 284 T = 37.73	S = OPT O = 284 T = 37.73
p_hat700-1.clq.cnf	S = OPT O = 63 T = 3.68	S = OPT O = 63 T = 3.68
p_hat700-2.clq.cnf	S = OPT O = 154 T = 3.73	S = OPT O = 154 T = 3.73
p_hat700-3.clq.cnf	S = OPT O = 267 T = 11.89	S = OPT O = 267 T = 11.89
san1000.clq.cnf	S = OPT O = 139 T = 3.88	S = OPT O = 139 T = 3.88
san200_0.7_1.clq.cnf	S = OPT O = 237 T = 16.65	S = OPT O = 237 T = 16.65
san200_0.7_2.clq.cnf	S = OPT O = 236 T = 9.54	S = OPT O = 236 T = 9.54
san200_0.9_1.clq.cnf	S = OPT O = 313 T = 249.80	S = OPT O = 313 T = 249.80
san200_0.9_2.clq.cnf	S = OPT O = 316 T = 271.71	S = OPT O = 316 T = 271.71
san200_0.9_3.clq.cnf	S = OPT O = 320 T = 312.69	S = OPT O = 320 T = 312.69
san400_0.5_1.clq.cnf	S = OPT O = 146 T = 3.91	S = OPT O = 146 T = 3.91
san400_0.7_1.clq.cnf	S = OPT O = 236 T = 13.14	S = OPT O = 236 T = 13.14
san400_0.7_2.clq.cnf	S = OPT O = 236 T = 9.64	S = OPT O = 236 T = 9.64
san400_0.7_3.clq.cnf	S = OPT O = 230 T = 12.54	S = OPT O = 230 T = 12.54
san400_0.9_1.clq.cnf	S = OPT O = 304 T = 235.01	S = OPT O = 304 T = 235.01
sanr200_0.7.clq.cnf	S = OPT O = 227 T = 8.46	S = OPT O = 227 T = 8.46
sanr200_0.9.clq.cnf	S = OPT O = 300 T = 87.03	S = OPT O = 300 T = 87.03
sanr400_0.5.clq.cnf	S = OPT O = 148 T = 3.89	S = OPT O = 148 T = 3.89
sanr400_0.7.clq.cnf	S = OPT O = 223 T = 5.39	S = OPT O = 223 T = 5.39
t3pm3-5555.spn.cnf	S = OPT O = 17 T = 3.68	S = OPT O = 17 T = 3.68
t4pm3-6666.spn.cnf	S = OPT O = 38 T = 3.69	S = OPT O = 38 T = 3.69
t5pm3-7777.spn.cnf	S = OPT O = 78 T = 5.00	S = OPT O = 78 T = 5.00
t6pm3-8888.spn.cnf	S = OPT O = 136 T = 235.04	S = OPT O = 136 T = 235.04
t7pm3-9999.spn.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpclr10_maxsat.cnf	S = OPT O = 25 T = 289.19	S = OPT O = 25 T = 289.19
scpclr11_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpclr12_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpclr13_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpcyc06_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpcyc07_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpcyc08_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpcyc09_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = 1622 T = TO
scpcyc10_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO
scpcyc11_maxsat.cnf	S = N/A O = N/A T = TO	S = N/A O = N/A T = TO