c2_306 s UNSATISFIABLE 23.26
c2_267 s UNSATISFIABLE 100.60
c2_194 s UNSATISFIABLE 146.92
c2_193 s UNSATISFIABLE 162.51
c2_304 s UNSATISFIABLE 142.77
c2_191 s UNSATISFIABLE 236.56
c2_141 s UNSATISFIABLE 318.87
c2_298 s UNSATISFIABLE 247.12
c2_273 s UNSATISFIABLE 271.82
c2_272 s UNSATISFIABLE 245.85
c2_234 s UNSATISFIABLE 477.96
