java CP graphsdb/si6_b03_s20.A00.dimacs graphsdb/si6_b03_s20.B00.dimacs 300 > results/CP_si6_b03_s20.00.dimacs
java CP graphsdb/si6_b03_s20.A01.dimacs graphsdb/si6_b03_s20.B01.dimacs 300 > results/CP_si6_b03_s20.01.dimacs
java CP graphsdb/si6_b03_s20.A02.dimacs graphsdb/si6_b03_s20.B02.dimacs 300 > results/CP_si6_b03_s20.02.dimacs
java CP graphsdb/si6_b03_s20.A03.dimacs graphsdb/si6_b03_s20.B03.dimacs 300 > results/CP_si6_b03_s20.03.dimacs
java CP graphsdb/si6_b03_s20.A04.dimacs graphsdb/si6_b03_s20.B04.dimacs 300 > results/CP_si6_b03_s20.04.dimacs
java CP graphsdb/si6_b03_s20.A05.dimacs graphsdb/si6_b03_s20.B05.dimacs 300 > results/CP_si6_b03_s20.05.dimacs
java CP graphsdb/si6_b03_s20.A06.dimacs graphsdb/si6_b03_s20.B06.dimacs 300 > results/CP_si6_b03_s20.06.dimacs
java CP graphsdb/si6_b03_s20.A07.dimacs graphsdb/si6_b03_s20.B07.dimacs 300 > results/CP_si6_b03_s20.07.dimacs
java CP graphsdb/si6_b03_s20.A08.dimacs graphsdb/si6_b03_s20.B08.dimacs 300 > results/CP_si6_b03_s20.08.dimacs
java CP graphsdb/si6_b03_s20.A09.dimacs graphsdb/si6_b03_s20.B09.dimacs 300 > results/CP_si6_b03_s20.09.dimacs
java CP graphsdb/si6_b03_s20.A10.dimacs graphsdb/si6_b03_s20.B10.dimacs 300 > results/CP_si6_b03_s20.10.dimacs
java CP graphsdb/si6_b03_s20.A11.dimacs graphsdb/si6_b03_s20.B11.dimacs 300 > results/CP_si6_b03_s20.11.dimacs
java CP graphsdb/si6_b03_s20.A12.dimacs graphsdb/si6_b03_s20.B12.dimacs 300 > results/CP_si6_b03_s20.12.dimacs
java CP graphsdb/si6_b03_s20.A13.dimacs graphsdb/si6_b03_s20.B13.dimacs 300 > results/CP_si6_b03_s20.13.dimacs
java CP graphsdb/si6_b03_s20.A14.dimacs graphsdb/si6_b03_s20.B14.dimacs 300 > results/CP_si6_b03_s20.14.dimacs
java CP graphsdb/si6_b03_s20.A15.dimacs graphsdb/si6_b03_s20.B15.dimacs 300 > results/CP_si6_b03_s20.15.dimacs
java CP graphsdb/si6_b03_s20.A16.dimacs graphsdb/si6_b03_s20.B16.dimacs 300 > results/CP_si6_b03_s20.16.dimacs
java CP graphsdb/si6_b03_s20.A17.dimacs graphsdb/si6_b03_s20.B17.dimacs 300 > results/CP_si6_b03_s20.17.dimacs
java CP graphsdb/si6_b03_s20.A18.dimacs graphsdb/si6_b03_s20.B18.dimacs 300 > results/CP_si6_b03_s20.18.dimacs
java CP graphsdb/si6_b03_s20.A19.dimacs graphsdb/si6_b03_s20.B19.dimacs 300 > results/CP_si6_b03_s20.19.dimacs
java CP graphsdb/si6_b03_s20.A20.dimacs graphsdb/si6_b03_s20.B20.dimacs 300 > results/CP_si6_b03_s20.20.dimacs
java CP graphsdb/si6_b03_s20.A21.dimacs graphsdb/si6_b03_s20.B21.dimacs 300 > results/CP_si6_b03_s20.21.dimacs
java CP graphsdb/si6_b03_s20.A22.dimacs graphsdb/si6_b03_s20.B22.dimacs 300 > results/CP_si6_b03_s20.22.dimacs
java CP graphsdb/si6_b03_s20.A23.dimacs graphsdb/si6_b03_s20.B23.dimacs 300 > results/CP_si6_b03_s20.23.dimacs
java CP graphsdb/si6_b03_s20.A24.dimacs graphsdb/si6_b03_s20.B24.dimacs 300 > results/CP_si6_b03_s20.24.dimacs
java CP graphsdb/si6_b03_s20.A25.dimacs graphsdb/si6_b03_s20.B25.dimacs 300 > results/CP_si6_b03_s20.25.dimacs
java CP graphsdb/si6_b03_s20.A26.dimacs graphsdb/si6_b03_s20.B26.dimacs 300 > results/CP_si6_b03_s20.26.dimacs
java CP graphsdb/si6_b03_s20.A27.dimacs graphsdb/si6_b03_s20.B27.dimacs 300 > results/CP_si6_b03_s20.27.dimacs
java CP graphsdb/si6_b03_s20.A28.dimacs graphsdb/si6_b03_s20.B28.dimacs 300 > results/CP_si6_b03_s20.28.dimacs
java CP graphsdb/si6_b03_s20.A29.dimacs graphsdb/si6_b03_s20.B29.dimacs 300 > results/CP_si6_b03_s20.29.dimacs
java CP graphsdb/si6_b03_s20.A30.dimacs graphsdb/si6_b03_s20.B30.dimacs 300 > results/CP_si6_b03_s20.30.dimacs
java CP graphsdb/si6_b03_s20.A31.dimacs graphsdb/si6_b03_s20.B31.dimacs 300 > results/CP_si6_b03_s20.31.dimacs
java CP graphsdb/si6_b03_s20.A32.dimacs graphsdb/si6_b03_s20.B32.dimacs 300 > results/CP_si6_b03_s20.32.dimacs
java CP graphsdb/si6_b03_s20.A33.dimacs graphsdb/si6_b03_s20.B33.dimacs 300 > results/CP_si6_b03_s20.33.dimacs
java CP graphsdb/si6_b03_s20.A34.dimacs graphsdb/si6_b03_s20.B34.dimacs 300 > results/CP_si6_b03_s20.34.dimacs
java CP graphsdb/si6_b03_s20.A35.dimacs graphsdb/si6_b03_s20.B35.dimacs 300 > results/CP_si6_b03_s20.35.dimacs
java CP graphsdb/si6_b03_s20.A36.dimacs graphsdb/si6_b03_s20.B36.dimacs 300 > results/CP_si6_b03_s20.36.dimacs
java CP graphsdb/si6_b03_s20.A37.dimacs graphsdb/si6_b03_s20.B37.dimacs 300 > results/CP_si6_b03_s20.37.dimacs
java CP graphsdb/si6_b03_s20.A38.dimacs graphsdb/si6_b03_s20.B38.dimacs 300 > results/CP_si6_b03_s20.38.dimacs
java CP graphsdb/si6_b03_s20.A39.dimacs graphsdb/si6_b03_s20.B39.dimacs 300 > results/CP_si6_b03_s20.39.dimacs
java CP graphsdb/si6_b03_s20.A40.dimacs graphsdb/si6_b03_s20.B40.dimacs 300 > results/CP_si6_b03_s20.40.dimacs
java CP graphsdb/si6_b03_s20.A41.dimacs graphsdb/si6_b03_s20.B41.dimacs 300 > results/CP_si6_b03_s20.41.dimacs
java CP graphsdb/si6_b03_s20.A42.dimacs graphsdb/si6_b03_s20.B42.dimacs 300 > results/CP_si6_b03_s20.42.dimacs
java CP graphsdb/si6_b03_s20.A43.dimacs graphsdb/si6_b03_s20.B43.dimacs 300 > results/CP_si6_b03_s20.43.dimacs
java CP graphsdb/si6_b03_s20.A44.dimacs graphsdb/si6_b03_s20.B44.dimacs 300 > results/CP_si6_b03_s20.44.dimacs
java CP graphsdb/si6_b03_s20.A45.dimacs graphsdb/si6_b03_s20.B45.dimacs 300 > results/CP_si6_b03_s20.45.dimacs
java CP graphsdb/si6_b03_s20.A46.dimacs graphsdb/si6_b03_s20.B46.dimacs 300 > results/CP_si6_b03_s20.46.dimacs
java CP graphsdb/si6_b03_s20.A47.dimacs graphsdb/si6_b03_s20.B47.dimacs 300 > results/CP_si6_b03_s20.47.dimacs
java CP graphsdb/si6_b03_s20.A48.dimacs graphsdb/si6_b03_s20.B48.dimacs 300 > results/CP_si6_b03_s20.48.dimacs
java CP graphsdb/si6_b03_s20.A49.dimacs graphsdb/si6_b03_s20.B49.dimacs 300 > results/CP_si6_b03_s20.49.dimacs
java CP graphsdb/si6_b03_s20.A50.dimacs graphsdb/si6_b03_s20.B50.dimacs 300 > results/CP_si6_b03_s20.50.dimacs
java CP graphsdb/si6_b03_s20.A51.dimacs graphsdb/si6_b03_s20.B51.dimacs 300 > results/CP_si6_b03_s20.51.dimacs
java CP graphsdb/si6_b03_s20.A52.dimacs graphsdb/si6_b03_s20.B52.dimacs 300 > results/CP_si6_b03_s20.52.dimacs
java CP graphsdb/si6_b03_s20.A53.dimacs graphsdb/si6_b03_s20.B53.dimacs 300 > results/CP_si6_b03_s20.53.dimacs
java CP graphsdb/si6_b03_s20.A54.dimacs graphsdb/si6_b03_s20.B54.dimacs 300 > results/CP_si6_b03_s20.54.dimacs
java CP graphsdb/si6_b03_s20.A55.dimacs graphsdb/si6_b03_s20.B55.dimacs 300 > results/CP_si6_b03_s20.55.dimacs
java CP graphsdb/si6_b03_s20.A56.dimacs graphsdb/si6_b03_s20.B56.dimacs 300 > results/CP_si6_b03_s20.56.dimacs
java CP graphsdb/si6_b03_s20.A57.dimacs graphsdb/si6_b03_s20.B57.dimacs 300 > results/CP_si6_b03_s20.57.dimacs
java CP graphsdb/si6_b03_s20.A58.dimacs graphsdb/si6_b03_s20.B58.dimacs 300 > results/CP_si6_b03_s20.58.dimacs
java CP graphsdb/si6_b03_s20.A59.dimacs graphsdb/si6_b03_s20.B59.dimacs 300 > results/CP_si6_b03_s20.59.dimacs
java CP graphsdb/si6_b03_s20.A60.dimacs graphsdb/si6_b03_s20.B60.dimacs 300 > results/CP_si6_b03_s20.60.dimacs
java CP graphsdb/si6_b03_s20.A61.dimacs graphsdb/si6_b03_s20.B61.dimacs 300 > results/CP_si6_b03_s20.61.dimacs
java CP graphsdb/si6_b03_s20.A62.dimacs graphsdb/si6_b03_s20.B62.dimacs 300 > results/CP_si6_b03_s20.62.dimacs
java CP graphsdb/si6_b03_s20.A63.dimacs graphsdb/si6_b03_s20.B63.dimacs 300 > results/CP_si6_b03_s20.63.dimacs
java CP graphsdb/si6_b03_s20.A64.dimacs graphsdb/si6_b03_s20.B64.dimacs 300 > results/CP_si6_b03_s20.64.dimacs
java CP graphsdb/si6_b03_s20.A65.dimacs graphsdb/si6_b03_s20.B65.dimacs 300 > results/CP_si6_b03_s20.65.dimacs
java CP graphsdb/si6_b03_s20.A66.dimacs graphsdb/si6_b03_s20.B66.dimacs 300 > results/CP_si6_b03_s20.66.dimacs
java CP graphsdb/si6_b03_s20.A67.dimacs graphsdb/si6_b03_s20.B67.dimacs 300 > results/CP_si6_b03_s20.67.dimacs
java CP graphsdb/si6_b03_s20.A68.dimacs graphsdb/si6_b03_s20.B68.dimacs 300 > results/CP_si6_b03_s20.68.dimacs
java CP graphsdb/si6_b03_s20.A69.dimacs graphsdb/si6_b03_s20.B69.dimacs 300 > results/CP_si6_b03_s20.69.dimacs
java CP graphsdb/si6_b03_s20.A70.dimacs graphsdb/si6_b03_s20.B70.dimacs 300 > results/CP_si6_b03_s20.70.dimacs
java CP graphsdb/si6_b03_s20.A71.dimacs graphsdb/si6_b03_s20.B71.dimacs 300 > results/CP_si6_b03_s20.71.dimacs
java CP graphsdb/si6_b03_s20.A72.dimacs graphsdb/si6_b03_s20.B72.dimacs 300 > results/CP_si6_b03_s20.72.dimacs
java CP graphsdb/si6_b03_s20.A73.dimacs graphsdb/si6_b03_s20.B73.dimacs 300 > results/CP_si6_b03_s20.73.dimacs
java CP graphsdb/si6_b03_s20.A74.dimacs graphsdb/si6_b03_s20.B74.dimacs 300 > results/CP_si6_b03_s20.74.dimacs
java CP graphsdb/si6_b03_s20.A75.dimacs graphsdb/si6_b03_s20.B75.dimacs 300 > results/CP_si6_b03_s20.75.dimacs
java CP graphsdb/si6_b03_s20.A76.dimacs graphsdb/si6_b03_s20.B76.dimacs 300 > results/CP_si6_b03_s20.76.dimacs
java CP graphsdb/si6_b03_s20.A77.dimacs graphsdb/si6_b03_s20.B77.dimacs 300 > results/CP_si6_b03_s20.77.dimacs
java CP graphsdb/si6_b03_s20.A78.dimacs graphsdb/si6_b03_s20.B78.dimacs 300 > results/CP_si6_b03_s20.78.dimacs
java CP graphsdb/si6_b03_s20.A79.dimacs graphsdb/si6_b03_s20.B79.dimacs 300 > results/CP_si6_b03_s20.79.dimacs
java CP graphsdb/si6_b03_s20.A80.dimacs graphsdb/si6_b03_s20.B80.dimacs 300 > results/CP_si6_b03_s20.80.dimacs
java CP graphsdb/si6_b03_s20.A81.dimacs graphsdb/si6_b03_s20.B81.dimacs 300 > results/CP_si6_b03_s20.81.dimacs
java CP graphsdb/si6_b03_s20.A82.dimacs graphsdb/si6_b03_s20.B82.dimacs 300 > results/CP_si6_b03_s20.82.dimacs
java CP graphsdb/si6_b03_s20.A83.dimacs graphsdb/si6_b03_s20.B83.dimacs 300 > results/CP_si6_b03_s20.83.dimacs
java CP graphsdb/si6_b03_s20.A84.dimacs graphsdb/si6_b03_s20.B84.dimacs 300 > results/CP_si6_b03_s20.84.dimacs
java CP graphsdb/si6_b03_s20.A85.dimacs graphsdb/si6_b03_s20.B85.dimacs 300 > results/CP_si6_b03_s20.85.dimacs
java CP graphsdb/si6_b03_s20.A86.dimacs graphsdb/si6_b03_s20.B86.dimacs 300 > results/CP_si6_b03_s20.86.dimacs
java CP graphsdb/si6_b03_s20.A87.dimacs graphsdb/si6_b03_s20.B87.dimacs 300 > results/CP_si6_b03_s20.87.dimacs
java CP graphsdb/si6_b03_s20.A88.dimacs graphsdb/si6_b03_s20.B88.dimacs 300 > results/CP_si6_b03_s20.88.dimacs
java CP graphsdb/si6_b03_s20.A89.dimacs graphsdb/si6_b03_s20.B89.dimacs 300 > results/CP_si6_b03_s20.89.dimacs
java CP graphsdb/si6_b03_s20.A90.dimacs graphsdb/si6_b03_s20.B90.dimacs 300 > results/CP_si6_b03_s20.90.dimacs
java CP graphsdb/si6_b03_s20.A91.dimacs graphsdb/si6_b03_s20.B91.dimacs 300 > results/CP_si6_b03_s20.91.dimacs
java CP graphsdb/si6_b03_s20.A92.dimacs graphsdb/si6_b03_s20.B92.dimacs 300 > results/CP_si6_b03_s20.92.dimacs
java CP graphsdb/si6_b03_s20.A93.dimacs graphsdb/si6_b03_s20.B93.dimacs 300 > results/CP_si6_b03_s20.93.dimacs
java CP graphsdb/si6_b03_s20.A94.dimacs graphsdb/si6_b03_s20.B94.dimacs 300 > results/CP_si6_b03_s20.94.dimacs
java CP graphsdb/si6_b03_s20.A95.dimacs graphsdb/si6_b03_s20.B95.dimacs 300 > results/CP_si6_b03_s20.95.dimacs
java CP graphsdb/si6_b03_s20.A96.dimacs graphsdb/si6_b03_s20.B96.dimacs 300 > results/CP_si6_b03_s20.96.dimacs
java CP graphsdb/si6_b03_s20.A97.dimacs graphsdb/si6_b03_s20.B97.dimacs 300 > results/CP_si6_b03_s20.97.dimacs
java CP graphsdb/si6_b03_s20.A98.dimacs graphsdb/si6_b03_s20.B98.dimacs 300 > results/CP_si6_b03_s20.98.dimacs
java CP graphsdb/si6_b03_s20.A99.dimacs graphsdb/si6_b03_s20.B99.dimacs 300 > results/CP_si6_b03_s20.99.dimacs
java CP graphsdb/si6_b03m_s20.A00.dimacs graphsdb/si6_b03m_s20.B00.dimacs 300 > results/CP_si6_b03m_s20.00.dimacs
java CP graphsdb/si6_b03m_s20.A01.dimacs graphsdb/si6_b03m_s20.B01.dimacs 300 > results/CP_si6_b03m_s20.01.dimacs
java CP graphsdb/si6_b03m_s20.A02.dimacs graphsdb/si6_b03m_s20.B02.dimacs 300 > results/CP_si6_b03m_s20.02.dimacs
java CP graphsdb/si6_b03m_s20.A03.dimacs graphsdb/si6_b03m_s20.B03.dimacs 300 > results/CP_si6_b03m_s20.03.dimacs
java CP graphsdb/si6_b03m_s20.A04.dimacs graphsdb/si6_b03m_s20.B04.dimacs 300 > results/CP_si6_b03m_s20.04.dimacs
java CP graphsdb/si6_b03m_s20.A05.dimacs graphsdb/si6_b03m_s20.B05.dimacs 300 > results/CP_si6_b03m_s20.05.dimacs
java CP graphsdb/si6_b03m_s20.A06.dimacs graphsdb/si6_b03m_s20.B06.dimacs 300 > results/CP_si6_b03m_s20.06.dimacs
java CP graphsdb/si6_b03m_s20.A07.dimacs graphsdb/si6_b03m_s20.B07.dimacs 300 > results/CP_si6_b03m_s20.07.dimacs
java CP graphsdb/si6_b03m_s20.A08.dimacs graphsdb/si6_b03m_s20.B08.dimacs 300 > results/CP_si6_b03m_s20.08.dimacs
java CP graphsdb/si6_b03m_s20.A09.dimacs graphsdb/si6_b03m_s20.B09.dimacs 300 > results/CP_si6_b03m_s20.09.dimacs
java CP graphsdb/si6_b03m_s20.A10.dimacs graphsdb/si6_b03m_s20.B10.dimacs 300 > results/CP_si6_b03m_s20.10.dimacs
java CP graphsdb/si6_b03m_s20.A11.dimacs graphsdb/si6_b03m_s20.B11.dimacs 300 > results/CP_si6_b03m_s20.11.dimacs
java CP graphsdb/si6_b03m_s20.A12.dimacs graphsdb/si6_b03m_s20.B12.dimacs 300 > results/CP_si6_b03m_s20.12.dimacs
java CP graphsdb/si6_b03m_s20.A13.dimacs graphsdb/si6_b03m_s20.B13.dimacs 300 > results/CP_si6_b03m_s20.13.dimacs
java CP graphsdb/si6_b03m_s20.A14.dimacs graphsdb/si6_b03m_s20.B14.dimacs 300 > results/CP_si6_b03m_s20.14.dimacs
java CP graphsdb/si6_b03m_s20.A15.dimacs graphsdb/si6_b03m_s20.B15.dimacs 300 > results/CP_si6_b03m_s20.15.dimacs
java CP graphsdb/si6_b03m_s20.A16.dimacs graphsdb/si6_b03m_s20.B16.dimacs 300 > results/CP_si6_b03m_s20.16.dimacs
java CP graphsdb/si6_b03m_s20.A17.dimacs graphsdb/si6_b03m_s20.B17.dimacs 300 > results/CP_si6_b03m_s20.17.dimacs
java CP graphsdb/si6_b03m_s20.A18.dimacs graphsdb/si6_b03m_s20.B18.dimacs 300 > results/CP_si6_b03m_s20.18.dimacs
java CP graphsdb/si6_b03m_s20.A19.dimacs graphsdb/si6_b03m_s20.B19.dimacs 300 > results/CP_si6_b03m_s20.19.dimacs
java CP graphsdb/si6_b03m_s20.A20.dimacs graphsdb/si6_b03m_s20.B20.dimacs 300 > results/CP_si6_b03m_s20.20.dimacs
java CP graphsdb/si6_b03m_s20.A21.dimacs graphsdb/si6_b03m_s20.B21.dimacs 300 > results/CP_si6_b03m_s20.21.dimacs
java CP graphsdb/si6_b03m_s20.A22.dimacs graphsdb/si6_b03m_s20.B22.dimacs 300 > results/CP_si6_b03m_s20.22.dimacs
java CP graphsdb/si6_b03m_s20.A23.dimacs graphsdb/si6_b03m_s20.B23.dimacs 300 > results/CP_si6_b03m_s20.23.dimacs
java CP graphsdb/si6_b03m_s20.A24.dimacs graphsdb/si6_b03m_s20.B24.dimacs 300 > results/CP_si6_b03m_s20.24.dimacs
java CP graphsdb/si6_b03m_s20.A25.dimacs graphsdb/si6_b03m_s20.B25.dimacs 300 > results/CP_si6_b03m_s20.25.dimacs
java CP graphsdb/si6_b03m_s20.A26.dimacs graphsdb/si6_b03m_s20.B26.dimacs 300 > results/CP_si6_b03m_s20.26.dimacs
java CP graphsdb/si6_b03m_s20.A27.dimacs graphsdb/si6_b03m_s20.B27.dimacs 300 > results/CP_si6_b03m_s20.27.dimacs
java CP graphsdb/si6_b03m_s20.A28.dimacs graphsdb/si6_b03m_s20.B28.dimacs 300 > results/CP_si6_b03m_s20.28.dimacs
java CP graphsdb/si6_b03m_s20.A29.dimacs graphsdb/si6_b03m_s20.B29.dimacs 300 > results/CP_si6_b03m_s20.29.dimacs
java CP graphsdb/si6_b03m_s20.A30.dimacs graphsdb/si6_b03m_s20.B30.dimacs 300 > results/CP_si6_b03m_s20.30.dimacs
java CP graphsdb/si6_b03m_s20.A31.dimacs graphsdb/si6_b03m_s20.B31.dimacs 300 > results/CP_si6_b03m_s20.31.dimacs
java CP graphsdb/si6_b03m_s20.A32.dimacs graphsdb/si6_b03m_s20.B32.dimacs 300 > results/CP_si6_b03m_s20.32.dimacs
java CP graphsdb/si6_b03m_s20.A33.dimacs graphsdb/si6_b03m_s20.B33.dimacs 300 > results/CP_si6_b03m_s20.33.dimacs
java CP graphsdb/si6_b03m_s20.A34.dimacs graphsdb/si6_b03m_s20.B34.dimacs 300 > results/CP_si6_b03m_s20.34.dimacs
java CP graphsdb/si6_b03m_s20.A35.dimacs graphsdb/si6_b03m_s20.B35.dimacs 300 > results/CP_si6_b03m_s20.35.dimacs
java CP graphsdb/si6_b03m_s20.A36.dimacs graphsdb/si6_b03m_s20.B36.dimacs 300 > results/CP_si6_b03m_s20.36.dimacs
java CP graphsdb/si6_b03m_s20.A37.dimacs graphsdb/si6_b03m_s20.B37.dimacs 300 > results/CP_si6_b03m_s20.37.dimacs
java CP graphsdb/si6_b03m_s20.A38.dimacs graphsdb/si6_b03m_s20.B38.dimacs 300 > results/CP_si6_b03m_s20.38.dimacs
java CP graphsdb/si6_b03m_s20.A39.dimacs graphsdb/si6_b03m_s20.B39.dimacs 300 > results/CP_si6_b03m_s20.39.dimacs
java CP graphsdb/si6_b03m_s20.A40.dimacs graphsdb/si6_b03m_s20.B40.dimacs 300 > results/CP_si6_b03m_s20.40.dimacs
java CP graphsdb/si6_b03m_s20.A41.dimacs graphsdb/si6_b03m_s20.B41.dimacs 300 > results/CP_si6_b03m_s20.41.dimacs
java CP graphsdb/si6_b03m_s20.A42.dimacs graphsdb/si6_b03m_s20.B42.dimacs 300 > results/CP_si6_b03m_s20.42.dimacs
java CP graphsdb/si6_b03m_s20.A43.dimacs graphsdb/si6_b03m_s20.B43.dimacs 300 > results/CP_si6_b03m_s20.43.dimacs
java CP graphsdb/si6_b03m_s20.A44.dimacs graphsdb/si6_b03m_s20.B44.dimacs 300 > results/CP_si6_b03m_s20.44.dimacs
java CP graphsdb/si6_b03m_s20.A45.dimacs graphsdb/si6_b03m_s20.B45.dimacs 300 > results/CP_si6_b03m_s20.45.dimacs
java CP graphsdb/si6_b03m_s20.A46.dimacs graphsdb/si6_b03m_s20.B46.dimacs 300 > results/CP_si6_b03m_s20.46.dimacs
java CP graphsdb/si6_b03m_s20.A47.dimacs graphsdb/si6_b03m_s20.B47.dimacs 300 > results/CP_si6_b03m_s20.47.dimacs
java CP graphsdb/si6_b03m_s20.A48.dimacs graphsdb/si6_b03m_s20.B48.dimacs 300 > results/CP_si6_b03m_s20.48.dimacs
java CP graphsdb/si6_b03m_s20.A49.dimacs graphsdb/si6_b03m_s20.B49.dimacs 300 > results/CP_si6_b03m_s20.49.dimacs
java CP graphsdb/si6_b03m_s20.A50.dimacs graphsdb/si6_b03m_s20.B50.dimacs 300 > results/CP_si6_b03m_s20.50.dimacs
java CP graphsdb/si6_b03m_s20.A51.dimacs graphsdb/si6_b03m_s20.B51.dimacs 300 > results/CP_si6_b03m_s20.51.dimacs
java CP graphsdb/si6_b03m_s20.A52.dimacs graphsdb/si6_b03m_s20.B52.dimacs 300 > results/CP_si6_b03m_s20.52.dimacs
java CP graphsdb/si6_b03m_s20.A53.dimacs graphsdb/si6_b03m_s20.B53.dimacs 300 > results/CP_si6_b03m_s20.53.dimacs
java CP graphsdb/si6_b03m_s20.A54.dimacs graphsdb/si6_b03m_s20.B54.dimacs 300 > results/CP_si6_b03m_s20.54.dimacs
java CP graphsdb/si6_b03m_s20.A55.dimacs graphsdb/si6_b03m_s20.B55.dimacs 300 > results/CP_si6_b03m_s20.55.dimacs
java CP graphsdb/si6_b03m_s20.A56.dimacs graphsdb/si6_b03m_s20.B56.dimacs 300 > results/CP_si6_b03m_s20.56.dimacs
java CP graphsdb/si6_b03m_s20.A57.dimacs graphsdb/si6_b03m_s20.B57.dimacs 300 > results/CP_si6_b03m_s20.57.dimacs
java CP graphsdb/si6_b03m_s20.A58.dimacs graphsdb/si6_b03m_s20.B58.dimacs 300 > results/CP_si6_b03m_s20.58.dimacs
java CP graphsdb/si6_b03m_s20.A59.dimacs graphsdb/si6_b03m_s20.B59.dimacs 300 > results/CP_si6_b03m_s20.59.dimacs
java CP graphsdb/si6_b03m_s20.A60.dimacs graphsdb/si6_b03m_s20.B60.dimacs 300 > results/CP_si6_b03m_s20.60.dimacs
java CP graphsdb/si6_b03m_s20.A61.dimacs graphsdb/si6_b03m_s20.B61.dimacs 300 > results/CP_si6_b03m_s20.61.dimacs
java CP graphsdb/si6_b03m_s20.A62.dimacs graphsdb/si6_b03m_s20.B62.dimacs 300 > results/CP_si6_b03m_s20.62.dimacs
java CP graphsdb/si6_b03m_s20.A63.dimacs graphsdb/si6_b03m_s20.B63.dimacs 300 > results/CP_si6_b03m_s20.63.dimacs
java CP graphsdb/si6_b03m_s20.A64.dimacs graphsdb/si6_b03m_s20.B64.dimacs 300 > results/CP_si6_b03m_s20.64.dimacs
java CP graphsdb/si6_b03m_s20.A65.dimacs graphsdb/si6_b03m_s20.B65.dimacs 300 > results/CP_si6_b03m_s20.65.dimacs
java CP graphsdb/si6_b03m_s20.A66.dimacs graphsdb/si6_b03m_s20.B66.dimacs 300 > results/CP_si6_b03m_s20.66.dimacs
java CP graphsdb/si6_b03m_s20.A67.dimacs graphsdb/si6_b03m_s20.B67.dimacs 300 > results/CP_si6_b03m_s20.67.dimacs
java CP graphsdb/si6_b03m_s20.A68.dimacs graphsdb/si6_b03m_s20.B68.dimacs 300 > results/CP_si6_b03m_s20.68.dimacs
java CP graphsdb/si6_b03m_s20.A69.dimacs graphsdb/si6_b03m_s20.B69.dimacs 300 > results/CP_si6_b03m_s20.69.dimacs
java CP graphsdb/si6_b03m_s20.A70.dimacs graphsdb/si6_b03m_s20.B70.dimacs 300 > results/CP_si6_b03m_s20.70.dimacs
java CP graphsdb/si6_b03m_s20.A71.dimacs graphsdb/si6_b03m_s20.B71.dimacs 300 > results/CP_si6_b03m_s20.71.dimacs
java CP graphsdb/si6_b03m_s20.A72.dimacs graphsdb/si6_b03m_s20.B72.dimacs 300 > results/CP_si6_b03m_s20.72.dimacs
java CP graphsdb/si6_b03m_s20.A73.dimacs graphsdb/si6_b03m_s20.B73.dimacs 300 > results/CP_si6_b03m_s20.73.dimacs
java CP graphsdb/si6_b03m_s20.A74.dimacs graphsdb/si6_b03m_s20.B74.dimacs 300 > results/CP_si6_b03m_s20.74.dimacs
java CP graphsdb/si6_b03m_s20.A75.dimacs graphsdb/si6_b03m_s20.B75.dimacs 300 > results/CP_si6_b03m_s20.75.dimacs
java CP graphsdb/si6_b03m_s20.A76.dimacs graphsdb/si6_b03m_s20.B76.dimacs 300 > results/CP_si6_b03m_s20.76.dimacs
java CP graphsdb/si6_b03m_s20.A77.dimacs graphsdb/si6_b03m_s20.B77.dimacs 300 > results/CP_si6_b03m_s20.77.dimacs
java CP graphsdb/si6_b03m_s20.A78.dimacs graphsdb/si6_b03m_s20.B78.dimacs 300 > results/CP_si6_b03m_s20.78.dimacs
java CP graphsdb/si6_b03m_s20.A79.dimacs graphsdb/si6_b03m_s20.B79.dimacs 300 > results/CP_si6_b03m_s20.79.dimacs
java CP graphsdb/si6_b03m_s20.A80.dimacs graphsdb/si6_b03m_s20.B80.dimacs 300 > results/CP_si6_b03m_s20.80.dimacs
java CP graphsdb/si6_b03m_s20.A81.dimacs graphsdb/si6_b03m_s20.B81.dimacs 300 > results/CP_si6_b03m_s20.81.dimacs
java CP graphsdb/si6_b03m_s20.A82.dimacs graphsdb/si6_b03m_s20.B82.dimacs 300 > results/CP_si6_b03m_s20.82.dimacs
java CP graphsdb/si6_b03m_s20.A83.dimacs graphsdb/si6_b03m_s20.B83.dimacs 300 > results/CP_si6_b03m_s20.83.dimacs
java CP graphsdb/si6_b03m_s20.A84.dimacs graphsdb/si6_b03m_s20.B84.dimacs 300 > results/CP_si6_b03m_s20.84.dimacs
java CP graphsdb/si6_b03m_s20.A85.dimacs graphsdb/si6_b03m_s20.B85.dimacs 300 > results/CP_si6_b03m_s20.85.dimacs
java CP graphsdb/si6_b03m_s20.A86.dimacs graphsdb/si6_b03m_s20.B86.dimacs 300 > results/CP_si6_b03m_s20.86.dimacs
java CP graphsdb/si6_b03m_s20.A87.dimacs graphsdb/si6_b03m_s20.B87.dimacs 300 > results/CP_si6_b03m_s20.87.dimacs
java CP graphsdb/si6_b03m_s20.A88.dimacs graphsdb/si6_b03m_s20.B88.dimacs 300 > results/CP_si6_b03m_s20.88.dimacs
java CP graphsdb/si6_b03m_s20.A89.dimacs graphsdb/si6_b03m_s20.B89.dimacs 300 > results/CP_si6_b03m_s20.89.dimacs
java CP graphsdb/si6_b03m_s20.A90.dimacs graphsdb/si6_b03m_s20.B90.dimacs 300 > results/CP_si6_b03m_s20.90.dimacs
java CP graphsdb/si6_b03m_s20.A91.dimacs graphsdb/si6_b03m_s20.B91.dimacs 300 > results/CP_si6_b03m_s20.91.dimacs
java CP graphsdb/si6_b03m_s20.A92.dimacs graphsdb/si6_b03m_s20.B92.dimacs 300 > results/CP_si6_b03m_s20.92.dimacs
java CP graphsdb/si6_b03m_s20.A93.dimacs graphsdb/si6_b03m_s20.B93.dimacs 300 > results/CP_si6_b03m_s20.93.dimacs
java CP graphsdb/si6_b03m_s20.A94.dimacs graphsdb/si6_b03m_s20.B94.dimacs 300 > results/CP_si6_b03m_s20.94.dimacs
java CP graphsdb/si6_b03m_s20.A95.dimacs graphsdb/si6_b03m_s20.B95.dimacs 300 > results/CP_si6_b03m_s20.95.dimacs
java CP graphsdb/si6_b03m_s20.A96.dimacs graphsdb/si6_b03m_s20.B96.dimacs 300 > results/CP_si6_b03m_s20.96.dimacs
java CP graphsdb/si6_b03m_s20.A97.dimacs graphsdb/si6_b03m_s20.B97.dimacs 300 > results/CP_si6_b03m_s20.97.dimacs
java CP graphsdb/si6_b03m_s20.A98.dimacs graphsdb/si6_b03m_s20.B98.dimacs 300 > results/CP_si6_b03m_s20.98.dimacs
java CP graphsdb/si6_b03m_s20.A99.dimacs graphsdb/si6_b03m_s20.B99.dimacs 300 > results/CP_si6_b03m_s20.99.dimacs
java CP graphsdb/si6_b06_s20.A00.dimacs graphsdb/si6_b06_s20.B00.dimacs 300 > results/CP_si6_b06_s20.00.dimacs
java CP graphsdb/si6_b06_s20.A01.dimacs graphsdb/si6_b06_s20.B01.dimacs 300 > results/CP_si6_b06_s20.01.dimacs
java CP graphsdb/si6_b06_s20.A02.dimacs graphsdb/si6_b06_s20.B02.dimacs 300 > results/CP_si6_b06_s20.02.dimacs
java CP graphsdb/si6_b06_s20.A03.dimacs graphsdb/si6_b06_s20.B03.dimacs 300 > results/CP_si6_b06_s20.03.dimacs
java CP graphsdb/si6_b06_s20.A04.dimacs graphsdb/si6_b06_s20.B04.dimacs 300 > results/CP_si6_b06_s20.04.dimacs
java CP graphsdb/si6_b06_s20.A05.dimacs graphsdb/si6_b06_s20.B05.dimacs 300 > results/CP_si6_b06_s20.05.dimacs
java CP graphsdb/si6_b06_s20.A06.dimacs graphsdb/si6_b06_s20.B06.dimacs 300 > results/CP_si6_b06_s20.06.dimacs
java CP graphsdb/si6_b06_s20.A07.dimacs graphsdb/si6_b06_s20.B07.dimacs 300 > results/CP_si6_b06_s20.07.dimacs
java CP graphsdb/si6_b06_s20.A08.dimacs graphsdb/si6_b06_s20.B08.dimacs 300 > results/CP_si6_b06_s20.08.dimacs
java CP graphsdb/si6_b06_s20.A09.dimacs graphsdb/si6_b06_s20.B09.dimacs 300 > results/CP_si6_b06_s20.09.dimacs
java CP graphsdb/si6_b06_s20.A10.dimacs graphsdb/si6_b06_s20.B10.dimacs 300 > results/CP_si6_b06_s20.10.dimacs
java CP graphsdb/si6_b06_s20.A11.dimacs graphsdb/si6_b06_s20.B11.dimacs 300 > results/CP_si6_b06_s20.11.dimacs
java CP graphsdb/si6_b06_s20.A12.dimacs graphsdb/si6_b06_s20.B12.dimacs 300 > results/CP_si6_b06_s20.12.dimacs
java CP graphsdb/si6_b06_s20.A13.dimacs graphsdb/si6_b06_s20.B13.dimacs 300 > results/CP_si6_b06_s20.13.dimacs
java CP graphsdb/si6_b06_s20.A14.dimacs graphsdb/si6_b06_s20.B14.dimacs 300 > results/CP_si6_b06_s20.14.dimacs
java CP graphsdb/si6_b06_s20.A15.dimacs graphsdb/si6_b06_s20.B15.dimacs 300 > results/CP_si6_b06_s20.15.dimacs
java CP graphsdb/si6_b06_s20.A16.dimacs graphsdb/si6_b06_s20.B16.dimacs 300 > results/CP_si6_b06_s20.16.dimacs
java CP graphsdb/si6_b06_s20.A17.dimacs graphsdb/si6_b06_s20.B17.dimacs 300 > results/CP_si6_b06_s20.17.dimacs
java CP graphsdb/si6_b06_s20.A18.dimacs graphsdb/si6_b06_s20.B18.dimacs 300 > results/CP_si6_b06_s20.18.dimacs
java CP graphsdb/si6_b06_s20.A19.dimacs graphsdb/si6_b06_s20.B19.dimacs 300 > results/CP_si6_b06_s20.19.dimacs
java CP graphsdb/si6_b06_s20.A20.dimacs graphsdb/si6_b06_s20.B20.dimacs 300 > results/CP_si6_b06_s20.20.dimacs
java CP graphsdb/si6_b06_s20.A21.dimacs graphsdb/si6_b06_s20.B21.dimacs 300 > results/CP_si6_b06_s20.21.dimacs
java CP graphsdb/si6_b06_s20.A22.dimacs graphsdb/si6_b06_s20.B22.dimacs 300 > results/CP_si6_b06_s20.22.dimacs
java CP graphsdb/si6_b06_s20.A23.dimacs graphsdb/si6_b06_s20.B23.dimacs 300 > results/CP_si6_b06_s20.23.dimacs
java CP graphsdb/si6_b06_s20.A24.dimacs graphsdb/si6_b06_s20.B24.dimacs 300 > results/CP_si6_b06_s20.24.dimacs
java CP graphsdb/si6_b06_s20.A25.dimacs graphsdb/si6_b06_s20.B25.dimacs 300 > results/CP_si6_b06_s20.25.dimacs
java CP graphsdb/si6_b06_s20.A26.dimacs graphsdb/si6_b06_s20.B26.dimacs 300 > results/CP_si6_b06_s20.26.dimacs
java CP graphsdb/si6_b06_s20.A27.dimacs graphsdb/si6_b06_s20.B27.dimacs 300 > results/CP_si6_b06_s20.27.dimacs
java CP graphsdb/si6_b06_s20.A28.dimacs graphsdb/si6_b06_s20.B28.dimacs 300 > results/CP_si6_b06_s20.28.dimacs
java CP graphsdb/si6_b06_s20.A29.dimacs graphsdb/si6_b06_s20.B29.dimacs 300 > results/CP_si6_b06_s20.29.dimacs
java CP graphsdb/si6_b06_s20.A30.dimacs graphsdb/si6_b06_s20.B30.dimacs 300 > results/CP_si6_b06_s20.30.dimacs
java CP graphsdb/si6_b06_s20.A31.dimacs graphsdb/si6_b06_s20.B31.dimacs 300 > results/CP_si6_b06_s20.31.dimacs
java CP graphsdb/si6_b06_s20.A32.dimacs graphsdb/si6_b06_s20.B32.dimacs 300 > results/CP_si6_b06_s20.32.dimacs
java CP graphsdb/si6_b06_s20.A33.dimacs graphsdb/si6_b06_s20.B33.dimacs 300 > results/CP_si6_b06_s20.33.dimacs
java CP graphsdb/si6_b06_s20.A34.dimacs graphsdb/si6_b06_s20.B34.dimacs 300 > results/CP_si6_b06_s20.34.dimacs
java CP graphsdb/si6_b06_s20.A35.dimacs graphsdb/si6_b06_s20.B35.dimacs 300 > results/CP_si6_b06_s20.35.dimacs
java CP graphsdb/si6_b06_s20.A36.dimacs graphsdb/si6_b06_s20.B36.dimacs 300 > results/CP_si6_b06_s20.36.dimacs
java CP graphsdb/si6_b06_s20.A37.dimacs graphsdb/si6_b06_s20.B37.dimacs 300 > results/CP_si6_b06_s20.37.dimacs
java CP graphsdb/si6_b06_s20.A38.dimacs graphsdb/si6_b06_s20.B38.dimacs 300 > results/CP_si6_b06_s20.38.dimacs
java CP graphsdb/si6_b06_s20.A39.dimacs graphsdb/si6_b06_s20.B39.dimacs 300 > results/CP_si6_b06_s20.39.dimacs
java CP graphsdb/si6_b06_s20.A40.dimacs graphsdb/si6_b06_s20.B40.dimacs 300 > results/CP_si6_b06_s20.40.dimacs
java CP graphsdb/si6_b06_s20.A41.dimacs graphsdb/si6_b06_s20.B41.dimacs 300 > results/CP_si6_b06_s20.41.dimacs
java CP graphsdb/si6_b06_s20.A42.dimacs graphsdb/si6_b06_s20.B42.dimacs 300 > results/CP_si6_b06_s20.42.dimacs
java CP graphsdb/si6_b06_s20.A43.dimacs graphsdb/si6_b06_s20.B43.dimacs 300 > results/CP_si6_b06_s20.43.dimacs
java CP graphsdb/si6_b06_s20.A44.dimacs graphsdb/si6_b06_s20.B44.dimacs 300 > results/CP_si6_b06_s20.44.dimacs
java CP graphsdb/si6_b06_s20.A45.dimacs graphsdb/si6_b06_s20.B45.dimacs 300 > results/CP_si6_b06_s20.45.dimacs
java CP graphsdb/si6_b06_s20.A46.dimacs graphsdb/si6_b06_s20.B46.dimacs 300 > results/CP_si6_b06_s20.46.dimacs
java CP graphsdb/si6_b06_s20.A47.dimacs graphsdb/si6_b06_s20.B47.dimacs 300 > results/CP_si6_b06_s20.47.dimacs
java CP graphsdb/si6_b06_s20.A48.dimacs graphsdb/si6_b06_s20.B48.dimacs 300 > results/CP_si6_b06_s20.48.dimacs
java CP graphsdb/si6_b06_s20.A49.dimacs graphsdb/si6_b06_s20.B49.dimacs 300 > results/CP_si6_b06_s20.49.dimacs
java CP graphsdb/si6_b06_s20.A50.dimacs graphsdb/si6_b06_s20.B50.dimacs 300 > results/CP_si6_b06_s20.50.dimacs
java CP graphsdb/si6_b06_s20.A51.dimacs graphsdb/si6_b06_s20.B51.dimacs 300 > results/CP_si6_b06_s20.51.dimacs
java CP graphsdb/si6_b06_s20.A52.dimacs graphsdb/si6_b06_s20.B52.dimacs 300 > results/CP_si6_b06_s20.52.dimacs
java CP graphsdb/si6_b06_s20.A53.dimacs graphsdb/si6_b06_s20.B53.dimacs 300 > results/CP_si6_b06_s20.53.dimacs
java CP graphsdb/si6_b06_s20.A54.dimacs graphsdb/si6_b06_s20.B54.dimacs 300 > results/CP_si6_b06_s20.54.dimacs
java CP graphsdb/si6_b06_s20.A55.dimacs graphsdb/si6_b06_s20.B55.dimacs 300 > results/CP_si6_b06_s20.55.dimacs
java CP graphsdb/si6_b06_s20.A56.dimacs graphsdb/si6_b06_s20.B56.dimacs 300 > results/CP_si6_b06_s20.56.dimacs
java CP graphsdb/si6_b06_s20.A57.dimacs graphsdb/si6_b06_s20.B57.dimacs 300 > results/CP_si6_b06_s20.57.dimacs
java CP graphsdb/si6_b06_s20.A58.dimacs graphsdb/si6_b06_s20.B58.dimacs 300 > results/CP_si6_b06_s20.58.dimacs
java CP graphsdb/si6_b06_s20.A59.dimacs graphsdb/si6_b06_s20.B59.dimacs 300 > results/CP_si6_b06_s20.59.dimacs
java CP graphsdb/si6_b06_s20.A60.dimacs graphsdb/si6_b06_s20.B60.dimacs 300 > results/CP_si6_b06_s20.60.dimacs
java CP graphsdb/si6_b06_s20.A61.dimacs graphsdb/si6_b06_s20.B61.dimacs 300 > results/CP_si6_b06_s20.61.dimacs
java CP graphsdb/si6_b06_s20.A62.dimacs graphsdb/si6_b06_s20.B62.dimacs 300 > results/CP_si6_b06_s20.62.dimacs
java CP graphsdb/si6_b06_s20.A63.dimacs graphsdb/si6_b06_s20.B63.dimacs 300 > results/CP_si6_b06_s20.63.dimacs
java CP graphsdb/si6_b06_s20.A64.dimacs graphsdb/si6_b06_s20.B64.dimacs 300 > results/CP_si6_b06_s20.64.dimacs
java CP graphsdb/si6_b06_s20.A65.dimacs graphsdb/si6_b06_s20.B65.dimacs 300 > results/CP_si6_b06_s20.65.dimacs
java CP graphsdb/si6_b06_s20.A66.dimacs graphsdb/si6_b06_s20.B66.dimacs 300 > results/CP_si6_b06_s20.66.dimacs
java CP graphsdb/si6_b06_s20.A67.dimacs graphsdb/si6_b06_s20.B67.dimacs 300 > results/CP_si6_b06_s20.67.dimacs
java CP graphsdb/si6_b06_s20.A68.dimacs graphsdb/si6_b06_s20.B68.dimacs 300 > results/CP_si6_b06_s20.68.dimacs
java CP graphsdb/si6_b06_s20.A69.dimacs graphsdb/si6_b06_s20.B69.dimacs 300 > results/CP_si6_b06_s20.69.dimacs
java CP graphsdb/si6_b06_s20.A70.dimacs graphsdb/si6_b06_s20.B70.dimacs 300 > results/CP_si6_b06_s20.70.dimacs
java CP graphsdb/si6_b06_s20.A71.dimacs graphsdb/si6_b06_s20.B71.dimacs 300 > results/CP_si6_b06_s20.71.dimacs
java CP graphsdb/si6_b06_s20.A72.dimacs graphsdb/si6_b06_s20.B72.dimacs 300 > results/CP_si6_b06_s20.72.dimacs
java CP graphsdb/si6_b06_s20.A73.dimacs graphsdb/si6_b06_s20.B73.dimacs 300 > results/CP_si6_b06_s20.73.dimacs
java CP graphsdb/si6_b06_s20.A74.dimacs graphsdb/si6_b06_s20.B74.dimacs 300 > results/CP_si6_b06_s20.74.dimacs
java CP graphsdb/si6_b06_s20.A75.dimacs graphsdb/si6_b06_s20.B75.dimacs 300 > results/CP_si6_b06_s20.75.dimacs
java CP graphsdb/si6_b06_s20.A76.dimacs graphsdb/si6_b06_s20.B76.dimacs 300 > results/CP_si6_b06_s20.76.dimacs
java CP graphsdb/si6_b06_s20.A77.dimacs graphsdb/si6_b06_s20.B77.dimacs 300 > results/CP_si6_b06_s20.77.dimacs
java CP graphsdb/si6_b06_s20.A78.dimacs graphsdb/si6_b06_s20.B78.dimacs 300 > results/CP_si6_b06_s20.78.dimacs
java CP graphsdb/si6_b06_s20.A79.dimacs graphsdb/si6_b06_s20.B79.dimacs 300 > results/CP_si6_b06_s20.79.dimacs
java CP graphsdb/si6_b06_s20.A80.dimacs graphsdb/si6_b06_s20.B80.dimacs 300 > results/CP_si6_b06_s20.80.dimacs
java CP graphsdb/si6_b06_s20.A81.dimacs graphsdb/si6_b06_s20.B81.dimacs 300 > results/CP_si6_b06_s20.81.dimacs
java CP graphsdb/si6_b06_s20.A82.dimacs graphsdb/si6_b06_s20.B82.dimacs 300 > results/CP_si6_b06_s20.82.dimacs
java CP graphsdb/si6_b06_s20.A83.dimacs graphsdb/si6_b06_s20.B83.dimacs 300 > results/CP_si6_b06_s20.83.dimacs
java CP graphsdb/si6_b06_s20.A84.dimacs graphsdb/si6_b06_s20.B84.dimacs 300 > results/CP_si6_b06_s20.84.dimacs
java CP graphsdb/si6_b06_s20.A85.dimacs graphsdb/si6_b06_s20.B85.dimacs 300 > results/CP_si6_b06_s20.85.dimacs
java CP graphsdb/si6_b06_s20.A86.dimacs graphsdb/si6_b06_s20.B86.dimacs 300 > results/CP_si6_b06_s20.86.dimacs
java CP graphsdb/si6_b06_s20.A87.dimacs graphsdb/si6_b06_s20.B87.dimacs 300 > results/CP_si6_b06_s20.87.dimacs
java CP graphsdb/si6_b06_s20.A88.dimacs graphsdb/si6_b06_s20.B88.dimacs 300 > results/CP_si6_b06_s20.88.dimacs
java CP graphsdb/si6_b06_s20.A89.dimacs graphsdb/si6_b06_s20.B89.dimacs 300 > results/CP_si6_b06_s20.89.dimacs
java CP graphsdb/si6_b06_s20.A90.dimacs graphsdb/si6_b06_s20.B90.dimacs 300 > results/CP_si6_b06_s20.90.dimacs
java CP graphsdb/si6_b06_s20.A91.dimacs graphsdb/si6_b06_s20.B91.dimacs 300 > results/CP_si6_b06_s20.91.dimacs
java CP graphsdb/si6_b06_s20.A92.dimacs graphsdb/si6_b06_s20.B92.dimacs 300 > results/CP_si6_b06_s20.92.dimacs
java CP graphsdb/si6_b06_s20.A93.dimacs graphsdb/si6_b06_s20.B93.dimacs 300 > results/CP_si6_b06_s20.93.dimacs
java CP graphsdb/si6_b06_s20.A94.dimacs graphsdb/si6_b06_s20.B94.dimacs 300 > results/CP_si6_b06_s20.94.dimacs
java CP graphsdb/si6_b06_s20.A95.dimacs graphsdb/si6_b06_s20.B95.dimacs 300 > results/CP_si6_b06_s20.95.dimacs
java CP graphsdb/si6_b06_s20.A96.dimacs graphsdb/si6_b06_s20.B96.dimacs 300 > results/CP_si6_b06_s20.96.dimacs
java CP graphsdb/si6_b06_s20.A97.dimacs graphsdb/si6_b06_s20.B97.dimacs 300 > results/CP_si6_b06_s20.97.dimacs
java CP graphsdb/si6_b06_s20.A98.dimacs graphsdb/si6_b06_s20.B98.dimacs 300 > results/CP_si6_b06_s20.98.dimacs
java CP graphsdb/si6_b06_s20.A99.dimacs graphsdb/si6_b06_s20.B99.dimacs 300 > results/CP_si6_b06_s20.99.dimacs
java CP graphsdb/si6_b06m_s20.A00.dimacs graphsdb/si6_b06m_s20.B00.dimacs 300 > results/CP_si6_b06m_s20.00.dimacs
java CP graphsdb/si6_b06m_s20.A01.dimacs graphsdb/si6_b06m_s20.B01.dimacs 300 > results/CP_si6_b06m_s20.01.dimacs
java CP graphsdb/si6_b06m_s20.A02.dimacs graphsdb/si6_b06m_s20.B02.dimacs 300 > results/CP_si6_b06m_s20.02.dimacs
java CP graphsdb/si6_b06m_s20.A03.dimacs graphsdb/si6_b06m_s20.B03.dimacs 300 > results/CP_si6_b06m_s20.03.dimacs
java CP graphsdb/si6_b06m_s20.A04.dimacs graphsdb/si6_b06m_s20.B04.dimacs 300 > results/CP_si6_b06m_s20.04.dimacs
java CP graphsdb/si6_b06m_s20.A05.dimacs graphsdb/si6_b06m_s20.B05.dimacs 300 > results/CP_si6_b06m_s20.05.dimacs
java CP graphsdb/si6_b06m_s20.A06.dimacs graphsdb/si6_b06m_s20.B06.dimacs 300 > results/CP_si6_b06m_s20.06.dimacs
java CP graphsdb/si6_b06m_s20.A07.dimacs graphsdb/si6_b06m_s20.B07.dimacs 300 > results/CP_si6_b06m_s20.07.dimacs
java CP graphsdb/si6_b06m_s20.A08.dimacs graphsdb/si6_b06m_s20.B08.dimacs 300 > results/CP_si6_b06m_s20.08.dimacs
java CP graphsdb/si6_b06m_s20.A09.dimacs graphsdb/si6_b06m_s20.B09.dimacs 300 > results/CP_si6_b06m_s20.09.dimacs
java CP graphsdb/si6_b06m_s20.A10.dimacs graphsdb/si6_b06m_s20.B10.dimacs 300 > results/CP_si6_b06m_s20.10.dimacs
java CP graphsdb/si6_b06m_s20.A11.dimacs graphsdb/si6_b06m_s20.B11.dimacs 300 > results/CP_si6_b06m_s20.11.dimacs
java CP graphsdb/si6_b06m_s20.A12.dimacs graphsdb/si6_b06m_s20.B12.dimacs 300 > results/CP_si6_b06m_s20.12.dimacs
java CP graphsdb/si6_b06m_s20.A13.dimacs graphsdb/si6_b06m_s20.B13.dimacs 300 > results/CP_si6_b06m_s20.13.dimacs
java CP graphsdb/si6_b06m_s20.A14.dimacs graphsdb/si6_b06m_s20.B14.dimacs 300 > results/CP_si6_b06m_s20.14.dimacs
java CP graphsdb/si6_b06m_s20.A15.dimacs graphsdb/si6_b06m_s20.B15.dimacs 300 > results/CP_si6_b06m_s20.15.dimacs
java CP graphsdb/si6_b06m_s20.A16.dimacs graphsdb/si6_b06m_s20.B16.dimacs 300 > results/CP_si6_b06m_s20.16.dimacs
java CP graphsdb/si6_b06m_s20.A17.dimacs graphsdb/si6_b06m_s20.B17.dimacs 300 > results/CP_si6_b06m_s20.17.dimacs
java CP graphsdb/si6_b06m_s20.A18.dimacs graphsdb/si6_b06m_s20.B18.dimacs 300 > results/CP_si6_b06m_s20.18.dimacs
java CP graphsdb/si6_b06m_s20.A19.dimacs graphsdb/si6_b06m_s20.B19.dimacs 300 > results/CP_si6_b06m_s20.19.dimacs
java CP graphsdb/si6_b06m_s20.A20.dimacs graphsdb/si6_b06m_s20.B20.dimacs 300 > results/CP_si6_b06m_s20.20.dimacs
java CP graphsdb/si6_b06m_s20.A21.dimacs graphsdb/si6_b06m_s20.B21.dimacs 300 > results/CP_si6_b06m_s20.21.dimacs
java CP graphsdb/si6_b06m_s20.A22.dimacs graphsdb/si6_b06m_s20.B22.dimacs 300 > results/CP_si6_b06m_s20.22.dimacs
java CP graphsdb/si6_b06m_s20.A23.dimacs graphsdb/si6_b06m_s20.B23.dimacs 300 > results/CP_si6_b06m_s20.23.dimacs
java CP graphsdb/si6_b06m_s20.A24.dimacs graphsdb/si6_b06m_s20.B24.dimacs 300 > results/CP_si6_b06m_s20.24.dimacs
java CP graphsdb/si6_b06m_s20.A25.dimacs graphsdb/si6_b06m_s20.B25.dimacs 300 > results/CP_si6_b06m_s20.25.dimacs
java CP graphsdb/si6_b06m_s20.A26.dimacs graphsdb/si6_b06m_s20.B26.dimacs 300 > results/CP_si6_b06m_s20.26.dimacs
java CP graphsdb/si6_b06m_s20.A27.dimacs graphsdb/si6_b06m_s20.B27.dimacs 300 > results/CP_si6_b06m_s20.27.dimacs
java CP graphsdb/si6_b06m_s20.A28.dimacs graphsdb/si6_b06m_s20.B28.dimacs 300 > results/CP_si6_b06m_s20.28.dimacs
java CP graphsdb/si6_b06m_s20.A29.dimacs graphsdb/si6_b06m_s20.B29.dimacs 300 > results/CP_si6_b06m_s20.29.dimacs
java CP graphsdb/si6_b06m_s20.A30.dimacs graphsdb/si6_b06m_s20.B30.dimacs 300 > results/CP_si6_b06m_s20.30.dimacs
java CP graphsdb/si6_b06m_s20.A31.dimacs graphsdb/si6_b06m_s20.B31.dimacs 300 > results/CP_si6_b06m_s20.31.dimacs
java CP graphsdb/si6_b06m_s20.A32.dimacs graphsdb/si6_b06m_s20.B32.dimacs 300 > results/CP_si6_b06m_s20.32.dimacs
java CP graphsdb/si6_b06m_s20.A33.dimacs graphsdb/si6_b06m_s20.B33.dimacs 300 > results/CP_si6_b06m_s20.33.dimacs
java CP graphsdb/si6_b06m_s20.A34.dimacs graphsdb/si6_b06m_s20.B34.dimacs 300 > results/CP_si6_b06m_s20.34.dimacs
java CP graphsdb/si6_b06m_s20.A35.dimacs graphsdb/si6_b06m_s20.B35.dimacs 300 > results/CP_si6_b06m_s20.35.dimacs
java CP graphsdb/si6_b06m_s20.A36.dimacs graphsdb/si6_b06m_s20.B36.dimacs 300 > results/CP_si6_b06m_s20.36.dimacs
java CP graphsdb/si6_b06m_s20.A37.dimacs graphsdb/si6_b06m_s20.B37.dimacs 300 > results/CP_si6_b06m_s20.37.dimacs
java CP graphsdb/si6_b06m_s20.A38.dimacs graphsdb/si6_b06m_s20.B38.dimacs 300 > results/CP_si6_b06m_s20.38.dimacs
java CP graphsdb/si6_b06m_s20.A39.dimacs graphsdb/si6_b06m_s20.B39.dimacs 300 > results/CP_si6_b06m_s20.39.dimacs
java CP graphsdb/si6_b06m_s20.A40.dimacs graphsdb/si6_b06m_s20.B40.dimacs 300 > results/CP_si6_b06m_s20.40.dimacs
java CP graphsdb/si6_b06m_s20.A41.dimacs graphsdb/si6_b06m_s20.B41.dimacs 300 > results/CP_si6_b06m_s20.41.dimacs
java CP graphsdb/si6_b06m_s20.A42.dimacs graphsdb/si6_b06m_s20.B42.dimacs 300 > results/CP_si6_b06m_s20.42.dimacs
java CP graphsdb/si6_b06m_s20.A43.dimacs graphsdb/si6_b06m_s20.B43.dimacs 300 > results/CP_si6_b06m_s20.43.dimacs
java CP graphsdb/si6_b06m_s20.A44.dimacs graphsdb/si6_b06m_s20.B44.dimacs 300 > results/CP_si6_b06m_s20.44.dimacs
java CP graphsdb/si6_b06m_s20.A45.dimacs graphsdb/si6_b06m_s20.B45.dimacs 300 > results/CP_si6_b06m_s20.45.dimacs
java CP graphsdb/si6_b06m_s20.A46.dimacs graphsdb/si6_b06m_s20.B46.dimacs 300 > results/CP_si6_b06m_s20.46.dimacs
java CP graphsdb/si6_b06m_s20.A47.dimacs graphsdb/si6_b06m_s20.B47.dimacs 300 > results/CP_si6_b06m_s20.47.dimacs
java CP graphsdb/si6_b06m_s20.A48.dimacs graphsdb/si6_b06m_s20.B48.dimacs 300 > results/CP_si6_b06m_s20.48.dimacs
java CP graphsdb/si6_b06m_s20.A49.dimacs graphsdb/si6_b06m_s20.B49.dimacs 300 > results/CP_si6_b06m_s20.49.dimacs
java CP graphsdb/si6_b06m_s20.A50.dimacs graphsdb/si6_b06m_s20.B50.dimacs 300 > results/CP_si6_b06m_s20.50.dimacs
java CP graphsdb/si6_b06m_s20.A51.dimacs graphsdb/si6_b06m_s20.B51.dimacs 300 > results/CP_si6_b06m_s20.51.dimacs
java CP graphsdb/si6_b06m_s20.A52.dimacs graphsdb/si6_b06m_s20.B52.dimacs 300 > results/CP_si6_b06m_s20.52.dimacs
java CP graphsdb/si6_b06m_s20.A53.dimacs graphsdb/si6_b06m_s20.B53.dimacs 300 > results/CP_si6_b06m_s20.53.dimacs
java CP graphsdb/si6_b06m_s20.A54.dimacs graphsdb/si6_b06m_s20.B54.dimacs 300 > results/CP_si6_b06m_s20.54.dimacs
java CP graphsdb/si6_b06m_s20.A55.dimacs graphsdb/si6_b06m_s20.B55.dimacs 300 > results/CP_si6_b06m_s20.55.dimacs
java CP graphsdb/si6_b06m_s20.A56.dimacs graphsdb/si6_b06m_s20.B56.dimacs 300 > results/CP_si6_b06m_s20.56.dimacs
java CP graphsdb/si6_b06m_s20.A57.dimacs graphsdb/si6_b06m_s20.B57.dimacs 300 > results/CP_si6_b06m_s20.57.dimacs
java CP graphsdb/si6_b06m_s20.A58.dimacs graphsdb/si6_b06m_s20.B58.dimacs 300 > results/CP_si6_b06m_s20.58.dimacs
java CP graphsdb/si6_b06m_s20.A59.dimacs graphsdb/si6_b06m_s20.B59.dimacs 300 > results/CP_si6_b06m_s20.59.dimacs
java CP graphsdb/si6_b06m_s20.A60.dimacs graphsdb/si6_b06m_s20.B60.dimacs 300 > results/CP_si6_b06m_s20.60.dimacs
java CP graphsdb/si6_b06m_s20.A61.dimacs graphsdb/si6_b06m_s20.B61.dimacs 300 > results/CP_si6_b06m_s20.61.dimacs
java CP graphsdb/si6_b06m_s20.A62.dimacs graphsdb/si6_b06m_s20.B62.dimacs 300 > results/CP_si6_b06m_s20.62.dimacs
java CP graphsdb/si6_b06m_s20.A63.dimacs graphsdb/si6_b06m_s20.B63.dimacs 300 > results/CP_si6_b06m_s20.63.dimacs
java CP graphsdb/si6_b06m_s20.A64.dimacs graphsdb/si6_b06m_s20.B64.dimacs 300 > results/CP_si6_b06m_s20.64.dimacs
java CP graphsdb/si6_b06m_s20.A65.dimacs graphsdb/si6_b06m_s20.B65.dimacs 300 > results/CP_si6_b06m_s20.65.dimacs
java CP graphsdb/si6_b06m_s20.A66.dimacs graphsdb/si6_b06m_s20.B66.dimacs 300 > results/CP_si6_b06m_s20.66.dimacs
java CP graphsdb/si6_b06m_s20.A67.dimacs graphsdb/si6_b06m_s20.B67.dimacs 300 > results/CP_si6_b06m_s20.67.dimacs
java CP graphsdb/si6_b06m_s20.A68.dimacs graphsdb/si6_b06m_s20.B68.dimacs 300 > results/CP_si6_b06m_s20.68.dimacs
java CP graphsdb/si6_b06m_s20.A69.dimacs graphsdb/si6_b06m_s20.B69.dimacs 300 > results/CP_si6_b06m_s20.69.dimacs
java CP graphsdb/si6_b06m_s20.A70.dimacs graphsdb/si6_b06m_s20.B70.dimacs 300 > results/CP_si6_b06m_s20.70.dimacs
java CP graphsdb/si6_b06m_s20.A71.dimacs graphsdb/si6_b06m_s20.B71.dimacs 300 > results/CP_si6_b06m_s20.71.dimacs
java CP graphsdb/si6_b06m_s20.A72.dimacs graphsdb/si6_b06m_s20.B72.dimacs 300 > results/CP_si6_b06m_s20.72.dimacs
java CP graphsdb/si6_b06m_s20.A73.dimacs graphsdb/si6_b06m_s20.B73.dimacs 300 > results/CP_si6_b06m_s20.73.dimacs
java CP graphsdb/si6_b06m_s20.A74.dimacs graphsdb/si6_b06m_s20.B74.dimacs 300 > results/CP_si6_b06m_s20.74.dimacs
java CP graphsdb/si6_b06m_s20.A75.dimacs graphsdb/si6_b06m_s20.B75.dimacs 300 > results/CP_si6_b06m_s20.75.dimacs
java CP graphsdb/si6_b06m_s20.A76.dimacs graphsdb/si6_b06m_s20.B76.dimacs 300 > results/CP_si6_b06m_s20.76.dimacs
java CP graphsdb/si6_b06m_s20.A77.dimacs graphsdb/si6_b06m_s20.B77.dimacs 300 > results/CP_si6_b06m_s20.77.dimacs
java CP graphsdb/si6_b06m_s20.A78.dimacs graphsdb/si6_b06m_s20.B78.dimacs 300 > results/CP_si6_b06m_s20.78.dimacs
java CP graphsdb/si6_b06m_s20.A79.dimacs graphsdb/si6_b06m_s20.B79.dimacs 300 > results/CP_si6_b06m_s20.79.dimacs
java CP graphsdb/si6_b06m_s20.A80.dimacs graphsdb/si6_b06m_s20.B80.dimacs 300 > results/CP_si6_b06m_s20.80.dimacs
java CP graphsdb/si6_b06m_s20.A81.dimacs graphsdb/si6_b06m_s20.B81.dimacs 300 > results/CP_si6_b06m_s20.81.dimacs
java CP graphsdb/si6_b06m_s20.A82.dimacs graphsdb/si6_b06m_s20.B82.dimacs 300 > results/CP_si6_b06m_s20.82.dimacs
java CP graphsdb/si6_b06m_s20.A83.dimacs graphsdb/si6_b06m_s20.B83.dimacs 300 > results/CP_si6_b06m_s20.83.dimacs
java CP graphsdb/si6_b06m_s20.A84.dimacs graphsdb/si6_b06m_s20.B84.dimacs 300 > results/CP_si6_b06m_s20.84.dimacs
java CP graphsdb/si6_b06m_s20.A85.dimacs graphsdb/si6_b06m_s20.B85.dimacs 300 > results/CP_si6_b06m_s20.85.dimacs
java CP graphsdb/si6_b06m_s20.A86.dimacs graphsdb/si6_b06m_s20.B86.dimacs 300 > results/CP_si6_b06m_s20.86.dimacs
java CP graphsdb/si6_b06m_s20.A87.dimacs graphsdb/si6_b06m_s20.B87.dimacs 300 > results/CP_si6_b06m_s20.87.dimacs
java CP graphsdb/si6_b06m_s20.A88.dimacs graphsdb/si6_b06m_s20.B88.dimacs 300 > results/CP_si6_b06m_s20.88.dimacs
java CP graphsdb/si6_b06m_s20.A89.dimacs graphsdb/si6_b06m_s20.B89.dimacs 300 > results/CP_si6_b06m_s20.89.dimacs
java CP graphsdb/si6_b06m_s20.A90.dimacs graphsdb/si6_b06m_s20.B90.dimacs 300 > results/CP_si6_b06m_s20.90.dimacs
java CP graphsdb/si6_b06m_s20.A91.dimacs graphsdb/si6_b06m_s20.B91.dimacs 300 > results/CP_si6_b06m_s20.91.dimacs
java CP graphsdb/si6_b06m_s20.A92.dimacs graphsdb/si6_b06m_s20.B92.dimacs 300 > results/CP_si6_b06m_s20.92.dimacs
java CP graphsdb/si6_b06m_s20.A93.dimacs graphsdb/si6_b06m_s20.B93.dimacs 300 > results/CP_si6_b06m_s20.93.dimacs
java CP graphsdb/si6_b06m_s20.A94.dimacs graphsdb/si6_b06m_s20.B94.dimacs 300 > results/CP_si6_b06m_s20.94.dimacs
java CP graphsdb/si6_b06m_s20.A95.dimacs graphsdb/si6_b06m_s20.B95.dimacs 300 > results/CP_si6_b06m_s20.95.dimacs
java CP graphsdb/si6_b06m_s20.A96.dimacs graphsdb/si6_b06m_s20.B96.dimacs 300 > results/CP_si6_b06m_s20.96.dimacs
java CP graphsdb/si6_b06m_s20.A97.dimacs graphsdb/si6_b06m_s20.B97.dimacs 300 > results/CP_si6_b06m_s20.97.dimacs
java CP graphsdb/si6_b06m_s20.A98.dimacs graphsdb/si6_b06m_s20.B98.dimacs 300 > results/CP_si6_b06m_s20.98.dimacs
java CP graphsdb/si6_b06m_s20.A99.dimacs graphsdb/si6_b06m_s20.B99.dimacs 300 > results/CP_si6_b06m_s20.99.dimacs
java CP graphsdb/si6_b09_s20.A00.dimacs graphsdb/si6_b09_s20.B00.dimacs 300 > results/CP_si6_b09_s20.00.dimacs
java CP graphsdb/si6_b09_s20.A01.dimacs graphsdb/si6_b09_s20.B01.dimacs 300 > results/CP_si6_b09_s20.01.dimacs
java CP graphsdb/si6_b09_s20.A02.dimacs graphsdb/si6_b09_s20.B02.dimacs 300 > results/CP_si6_b09_s20.02.dimacs
java CP graphsdb/si6_b09_s20.A03.dimacs graphsdb/si6_b09_s20.B03.dimacs 300 > results/CP_si6_b09_s20.03.dimacs
java CP graphsdb/si6_b09_s20.A04.dimacs graphsdb/si6_b09_s20.B04.dimacs 300 > results/CP_si6_b09_s20.04.dimacs
java CP graphsdb/si6_b09_s20.A05.dimacs graphsdb/si6_b09_s20.B05.dimacs 300 > results/CP_si6_b09_s20.05.dimacs
java CP graphsdb/si6_b09_s20.A06.dimacs graphsdb/si6_b09_s20.B06.dimacs 300 > results/CP_si6_b09_s20.06.dimacs
java CP graphsdb/si6_b09_s20.A07.dimacs graphsdb/si6_b09_s20.B07.dimacs 300 > results/CP_si6_b09_s20.07.dimacs
java CP graphsdb/si6_b09_s20.A08.dimacs graphsdb/si6_b09_s20.B08.dimacs 300 > results/CP_si6_b09_s20.08.dimacs
java CP graphsdb/si6_b09_s20.A09.dimacs graphsdb/si6_b09_s20.B09.dimacs 300 > results/CP_si6_b09_s20.09.dimacs
java CP graphsdb/si6_b09_s20.A10.dimacs graphsdb/si6_b09_s20.B10.dimacs 300 > results/CP_si6_b09_s20.10.dimacs
java CP graphsdb/si6_b09_s20.A11.dimacs graphsdb/si6_b09_s20.B11.dimacs 300 > results/CP_si6_b09_s20.11.dimacs
java CP graphsdb/si6_b09_s20.A12.dimacs graphsdb/si6_b09_s20.B12.dimacs 300 > results/CP_si6_b09_s20.12.dimacs
java CP graphsdb/si6_b09_s20.A13.dimacs graphsdb/si6_b09_s20.B13.dimacs 300 > results/CP_si6_b09_s20.13.dimacs
java CP graphsdb/si6_b09_s20.A14.dimacs graphsdb/si6_b09_s20.B14.dimacs 300 > results/CP_si6_b09_s20.14.dimacs
java CP graphsdb/si6_b09_s20.A15.dimacs graphsdb/si6_b09_s20.B15.dimacs 300 > results/CP_si6_b09_s20.15.dimacs
java CP graphsdb/si6_b09_s20.A16.dimacs graphsdb/si6_b09_s20.B16.dimacs 300 > results/CP_si6_b09_s20.16.dimacs
java CP graphsdb/si6_b09_s20.A17.dimacs graphsdb/si6_b09_s20.B17.dimacs 300 > results/CP_si6_b09_s20.17.dimacs
java CP graphsdb/si6_b09_s20.A18.dimacs graphsdb/si6_b09_s20.B18.dimacs 300 > results/CP_si6_b09_s20.18.dimacs
java CP graphsdb/si6_b09_s20.A19.dimacs graphsdb/si6_b09_s20.B19.dimacs 300 > results/CP_si6_b09_s20.19.dimacs
java CP graphsdb/si6_b09_s20.A20.dimacs graphsdb/si6_b09_s20.B20.dimacs 300 > results/CP_si6_b09_s20.20.dimacs
java CP graphsdb/si6_b09_s20.A21.dimacs graphsdb/si6_b09_s20.B21.dimacs 300 > results/CP_si6_b09_s20.21.dimacs
java CP graphsdb/si6_b09_s20.A22.dimacs graphsdb/si6_b09_s20.B22.dimacs 300 > results/CP_si6_b09_s20.22.dimacs
java CP graphsdb/si6_b09_s20.A23.dimacs graphsdb/si6_b09_s20.B23.dimacs 300 > results/CP_si6_b09_s20.23.dimacs
java CP graphsdb/si6_b09_s20.A24.dimacs graphsdb/si6_b09_s20.B24.dimacs 300 > results/CP_si6_b09_s20.24.dimacs
java CP graphsdb/si6_b09_s20.A25.dimacs graphsdb/si6_b09_s20.B25.dimacs 300 > results/CP_si6_b09_s20.25.dimacs
java CP graphsdb/si6_b09_s20.A26.dimacs graphsdb/si6_b09_s20.B26.dimacs 300 > results/CP_si6_b09_s20.26.dimacs
java CP graphsdb/si6_b09_s20.A27.dimacs graphsdb/si6_b09_s20.B27.dimacs 300 > results/CP_si6_b09_s20.27.dimacs
java CP graphsdb/si6_b09_s20.A28.dimacs graphsdb/si6_b09_s20.B28.dimacs 300 > results/CP_si6_b09_s20.28.dimacs
java CP graphsdb/si6_b09_s20.A29.dimacs graphsdb/si6_b09_s20.B29.dimacs 300 > results/CP_si6_b09_s20.29.dimacs
java CP graphsdb/si6_b09_s20.A30.dimacs graphsdb/si6_b09_s20.B30.dimacs 300 > results/CP_si6_b09_s20.30.dimacs
java CP graphsdb/si6_b09_s20.A31.dimacs graphsdb/si6_b09_s20.B31.dimacs 300 > results/CP_si6_b09_s20.31.dimacs
java CP graphsdb/si6_b09_s20.A32.dimacs graphsdb/si6_b09_s20.B32.dimacs 300 > results/CP_si6_b09_s20.32.dimacs
java CP graphsdb/si6_b09_s20.A33.dimacs graphsdb/si6_b09_s20.B33.dimacs 300 > results/CP_si6_b09_s20.33.dimacs
java CP graphsdb/si6_b09_s20.A34.dimacs graphsdb/si6_b09_s20.B34.dimacs 300 > results/CP_si6_b09_s20.34.dimacs
java CP graphsdb/si6_b09_s20.A35.dimacs graphsdb/si6_b09_s20.B35.dimacs 300 > results/CP_si6_b09_s20.35.dimacs
java CP graphsdb/si6_b09_s20.A36.dimacs graphsdb/si6_b09_s20.B36.dimacs 300 > results/CP_si6_b09_s20.36.dimacs
java CP graphsdb/si6_b09_s20.A37.dimacs graphsdb/si6_b09_s20.B37.dimacs 300 > results/CP_si6_b09_s20.37.dimacs
java CP graphsdb/si6_b09_s20.A38.dimacs graphsdb/si6_b09_s20.B38.dimacs 300 > results/CP_si6_b09_s20.38.dimacs
java CP graphsdb/si6_b09_s20.A39.dimacs graphsdb/si6_b09_s20.B39.dimacs 300 > results/CP_si6_b09_s20.39.dimacs
java CP graphsdb/si6_b09_s20.A40.dimacs graphsdb/si6_b09_s20.B40.dimacs 300 > results/CP_si6_b09_s20.40.dimacs
java CP graphsdb/si6_b09_s20.A41.dimacs graphsdb/si6_b09_s20.B41.dimacs 300 > results/CP_si6_b09_s20.41.dimacs
java CP graphsdb/si6_b09_s20.A42.dimacs graphsdb/si6_b09_s20.B42.dimacs 300 > results/CP_si6_b09_s20.42.dimacs
java CP graphsdb/si6_b09_s20.A43.dimacs graphsdb/si6_b09_s20.B43.dimacs 300 > results/CP_si6_b09_s20.43.dimacs
java CP graphsdb/si6_b09_s20.A44.dimacs graphsdb/si6_b09_s20.B44.dimacs 300 > results/CP_si6_b09_s20.44.dimacs
java CP graphsdb/si6_b09_s20.A45.dimacs graphsdb/si6_b09_s20.B45.dimacs 300 > results/CP_si6_b09_s20.45.dimacs
java CP graphsdb/si6_b09_s20.A46.dimacs graphsdb/si6_b09_s20.B46.dimacs 300 > results/CP_si6_b09_s20.46.dimacs
java CP graphsdb/si6_b09_s20.A47.dimacs graphsdb/si6_b09_s20.B47.dimacs 300 > results/CP_si6_b09_s20.47.dimacs
java CP graphsdb/si6_b09_s20.A48.dimacs graphsdb/si6_b09_s20.B48.dimacs 300 > results/CP_si6_b09_s20.48.dimacs
java CP graphsdb/si6_b09_s20.A49.dimacs graphsdb/si6_b09_s20.B49.dimacs 300 > results/CP_si6_b09_s20.49.dimacs
java CP graphsdb/si6_b09_s20.A50.dimacs graphsdb/si6_b09_s20.B50.dimacs 300 > results/CP_si6_b09_s20.50.dimacs
java CP graphsdb/si6_b09_s20.A51.dimacs graphsdb/si6_b09_s20.B51.dimacs 300 > results/CP_si6_b09_s20.51.dimacs
java CP graphsdb/si6_b09_s20.A52.dimacs graphsdb/si6_b09_s20.B52.dimacs 300 > results/CP_si6_b09_s20.52.dimacs
java CP graphsdb/si6_b09_s20.A53.dimacs graphsdb/si6_b09_s20.B53.dimacs 300 > results/CP_si6_b09_s20.53.dimacs
java CP graphsdb/si6_b09_s20.A54.dimacs graphsdb/si6_b09_s20.B54.dimacs 300 > results/CP_si6_b09_s20.54.dimacs
java CP graphsdb/si6_b09_s20.A55.dimacs graphsdb/si6_b09_s20.B55.dimacs 300 > results/CP_si6_b09_s20.55.dimacs
java CP graphsdb/si6_b09_s20.A56.dimacs graphsdb/si6_b09_s20.B56.dimacs 300 > results/CP_si6_b09_s20.56.dimacs
java CP graphsdb/si6_b09_s20.A57.dimacs graphsdb/si6_b09_s20.B57.dimacs 300 > results/CP_si6_b09_s20.57.dimacs
java CP graphsdb/si6_b09_s20.A58.dimacs graphsdb/si6_b09_s20.B58.dimacs 300 > results/CP_si6_b09_s20.58.dimacs
java CP graphsdb/si6_b09_s20.A59.dimacs graphsdb/si6_b09_s20.B59.dimacs 300 > results/CP_si6_b09_s20.59.dimacs
java CP graphsdb/si6_b09_s20.A60.dimacs graphsdb/si6_b09_s20.B60.dimacs 300 > results/CP_si6_b09_s20.60.dimacs
java CP graphsdb/si6_b09_s20.A61.dimacs graphsdb/si6_b09_s20.B61.dimacs 300 > results/CP_si6_b09_s20.61.dimacs
java CP graphsdb/si6_b09_s20.A62.dimacs graphsdb/si6_b09_s20.B62.dimacs 300 > results/CP_si6_b09_s20.62.dimacs
java CP graphsdb/si6_b09_s20.A63.dimacs graphsdb/si6_b09_s20.B63.dimacs 300 > results/CP_si6_b09_s20.63.dimacs
java CP graphsdb/si6_b09_s20.A64.dimacs graphsdb/si6_b09_s20.B64.dimacs 300 > results/CP_si6_b09_s20.64.dimacs
java CP graphsdb/si6_b09_s20.A65.dimacs graphsdb/si6_b09_s20.B65.dimacs 300 > results/CP_si6_b09_s20.65.dimacs
java CP graphsdb/si6_b09_s20.A66.dimacs graphsdb/si6_b09_s20.B66.dimacs 300 > results/CP_si6_b09_s20.66.dimacs
java CP graphsdb/si6_b09_s20.A67.dimacs graphsdb/si6_b09_s20.B67.dimacs 300 > results/CP_si6_b09_s20.67.dimacs
java CP graphsdb/si6_b09_s20.A68.dimacs graphsdb/si6_b09_s20.B68.dimacs 300 > results/CP_si6_b09_s20.68.dimacs
java CP graphsdb/si6_b09_s20.A69.dimacs graphsdb/si6_b09_s20.B69.dimacs 300 > results/CP_si6_b09_s20.69.dimacs
java CP graphsdb/si6_b09_s20.A70.dimacs graphsdb/si6_b09_s20.B70.dimacs 300 > results/CP_si6_b09_s20.70.dimacs
java CP graphsdb/si6_b09_s20.A71.dimacs graphsdb/si6_b09_s20.B71.dimacs 300 > results/CP_si6_b09_s20.71.dimacs
java CP graphsdb/si6_b09_s20.A72.dimacs graphsdb/si6_b09_s20.B72.dimacs 300 > results/CP_si6_b09_s20.72.dimacs
java CP graphsdb/si6_b09_s20.A73.dimacs graphsdb/si6_b09_s20.B73.dimacs 300 > results/CP_si6_b09_s20.73.dimacs
java CP graphsdb/si6_b09_s20.A74.dimacs graphsdb/si6_b09_s20.B74.dimacs 300 > results/CP_si6_b09_s20.74.dimacs
java CP graphsdb/si6_b09_s20.A75.dimacs graphsdb/si6_b09_s20.B75.dimacs 300 > results/CP_si6_b09_s20.75.dimacs
java CP graphsdb/si6_b09_s20.A76.dimacs graphsdb/si6_b09_s20.B76.dimacs 300 > results/CP_si6_b09_s20.76.dimacs
java CP graphsdb/si6_b09_s20.A77.dimacs graphsdb/si6_b09_s20.B77.dimacs 300 > results/CP_si6_b09_s20.77.dimacs
java CP graphsdb/si6_b09_s20.A78.dimacs graphsdb/si6_b09_s20.B78.dimacs 300 > results/CP_si6_b09_s20.78.dimacs
java CP graphsdb/si6_b09_s20.A79.dimacs graphsdb/si6_b09_s20.B79.dimacs 300 > results/CP_si6_b09_s20.79.dimacs
java CP graphsdb/si6_b09_s20.A80.dimacs graphsdb/si6_b09_s20.B80.dimacs 300 > results/CP_si6_b09_s20.80.dimacs
java CP graphsdb/si6_b09_s20.A81.dimacs graphsdb/si6_b09_s20.B81.dimacs 300 > results/CP_si6_b09_s20.81.dimacs
java CP graphsdb/si6_b09_s20.A82.dimacs graphsdb/si6_b09_s20.B82.dimacs 300 > results/CP_si6_b09_s20.82.dimacs
java CP graphsdb/si6_b09_s20.A83.dimacs graphsdb/si6_b09_s20.B83.dimacs 300 > results/CP_si6_b09_s20.83.dimacs
java CP graphsdb/si6_b09_s20.A84.dimacs graphsdb/si6_b09_s20.B84.dimacs 300 > results/CP_si6_b09_s20.84.dimacs
java CP graphsdb/si6_b09_s20.A85.dimacs graphsdb/si6_b09_s20.B85.dimacs 300 > results/CP_si6_b09_s20.85.dimacs
java CP graphsdb/si6_b09_s20.A86.dimacs graphsdb/si6_b09_s20.B86.dimacs 300 > results/CP_si6_b09_s20.86.dimacs
java CP graphsdb/si6_b09_s20.A87.dimacs graphsdb/si6_b09_s20.B87.dimacs 300 > results/CP_si6_b09_s20.87.dimacs
java CP graphsdb/si6_b09_s20.A88.dimacs graphsdb/si6_b09_s20.B88.dimacs 300 > results/CP_si6_b09_s20.88.dimacs
java CP graphsdb/si6_b09_s20.A89.dimacs graphsdb/si6_b09_s20.B89.dimacs 300 > results/CP_si6_b09_s20.89.dimacs
java CP graphsdb/si6_b09_s20.A90.dimacs graphsdb/si6_b09_s20.B90.dimacs 300 > results/CP_si6_b09_s20.90.dimacs
java CP graphsdb/si6_b09_s20.A91.dimacs graphsdb/si6_b09_s20.B91.dimacs 300 > results/CP_si6_b09_s20.91.dimacs
java CP graphsdb/si6_b09_s20.A92.dimacs graphsdb/si6_b09_s20.B92.dimacs 300 > results/CP_si6_b09_s20.92.dimacs
java CP graphsdb/si6_b09_s20.A93.dimacs graphsdb/si6_b09_s20.B93.dimacs 300 > results/CP_si6_b09_s20.93.dimacs
java CP graphsdb/si6_b09_s20.A94.dimacs graphsdb/si6_b09_s20.B94.dimacs 300 > results/CP_si6_b09_s20.94.dimacs
java CP graphsdb/si6_b09_s20.A95.dimacs graphsdb/si6_b09_s20.B95.dimacs 300 > results/CP_si6_b09_s20.95.dimacs
java CP graphsdb/si6_b09_s20.A96.dimacs graphsdb/si6_b09_s20.B96.dimacs 300 > results/CP_si6_b09_s20.96.dimacs
java CP graphsdb/si6_b09_s20.A97.dimacs graphsdb/si6_b09_s20.B97.dimacs 300 > results/CP_si6_b09_s20.97.dimacs
java CP graphsdb/si6_b09_s20.A98.dimacs graphsdb/si6_b09_s20.B98.dimacs 300 > results/CP_si6_b09_s20.98.dimacs
java CP graphsdb/si6_b09_s20.A99.dimacs graphsdb/si6_b09_s20.B99.dimacs 300 > results/CP_si6_b09_s20.99.dimacs
java CP graphsdb/si6_b09m_s20.A00.dimacs graphsdb/si6_b09m_s20.B00.dimacs 300 > results/CP_si6_b09m_s20.00.dimacs
java CP graphsdb/si6_b09m_s20.A01.dimacs graphsdb/si6_b09m_s20.B01.dimacs 300 > results/CP_si6_b09m_s20.01.dimacs
java CP graphsdb/si6_b09m_s20.A02.dimacs graphsdb/si6_b09m_s20.B02.dimacs 300 > results/CP_si6_b09m_s20.02.dimacs
java CP graphsdb/si6_b09m_s20.A03.dimacs graphsdb/si6_b09m_s20.B03.dimacs 300 > results/CP_si6_b09m_s20.03.dimacs
java CP graphsdb/si6_b09m_s20.A04.dimacs graphsdb/si6_b09m_s20.B04.dimacs 300 > results/CP_si6_b09m_s20.04.dimacs
java CP graphsdb/si6_b09m_s20.A05.dimacs graphsdb/si6_b09m_s20.B05.dimacs 300 > results/CP_si6_b09m_s20.05.dimacs
java CP graphsdb/si6_b09m_s20.A06.dimacs graphsdb/si6_b09m_s20.B06.dimacs 300 > results/CP_si6_b09m_s20.06.dimacs
java CP graphsdb/si6_b09m_s20.A07.dimacs graphsdb/si6_b09m_s20.B07.dimacs 300 > results/CP_si6_b09m_s20.07.dimacs
java CP graphsdb/si6_b09m_s20.A08.dimacs graphsdb/si6_b09m_s20.B08.dimacs 300 > results/CP_si6_b09m_s20.08.dimacs
java CP graphsdb/si6_b09m_s20.A09.dimacs graphsdb/si6_b09m_s20.B09.dimacs 300 > results/CP_si6_b09m_s20.09.dimacs
java CP graphsdb/si6_b09m_s20.A10.dimacs graphsdb/si6_b09m_s20.B10.dimacs 300 > results/CP_si6_b09m_s20.10.dimacs
java CP graphsdb/si6_b09m_s20.A11.dimacs graphsdb/si6_b09m_s20.B11.dimacs 300 > results/CP_si6_b09m_s20.11.dimacs
java CP graphsdb/si6_b09m_s20.A12.dimacs graphsdb/si6_b09m_s20.B12.dimacs 300 > results/CP_si6_b09m_s20.12.dimacs
java CP graphsdb/si6_b09m_s20.A13.dimacs graphsdb/si6_b09m_s20.B13.dimacs 300 > results/CP_si6_b09m_s20.13.dimacs
java CP graphsdb/si6_b09m_s20.A14.dimacs graphsdb/si6_b09m_s20.B14.dimacs 300 > results/CP_si6_b09m_s20.14.dimacs
java CP graphsdb/si6_b09m_s20.A15.dimacs graphsdb/si6_b09m_s20.B15.dimacs 300 > results/CP_si6_b09m_s20.15.dimacs
java CP graphsdb/si6_b09m_s20.A16.dimacs graphsdb/si6_b09m_s20.B16.dimacs 300 > results/CP_si6_b09m_s20.16.dimacs
java CP graphsdb/si6_b09m_s20.A17.dimacs graphsdb/si6_b09m_s20.B17.dimacs 300 > results/CP_si6_b09m_s20.17.dimacs
java CP graphsdb/si6_b09m_s20.A18.dimacs graphsdb/si6_b09m_s20.B18.dimacs 300 > results/CP_si6_b09m_s20.18.dimacs
java CP graphsdb/si6_b09m_s20.A19.dimacs graphsdb/si6_b09m_s20.B19.dimacs 300 > results/CP_si6_b09m_s20.19.dimacs
java CP graphsdb/si6_b09m_s20.A20.dimacs graphsdb/si6_b09m_s20.B20.dimacs 300 > results/CP_si6_b09m_s20.20.dimacs
java CP graphsdb/si6_b09m_s20.A21.dimacs graphsdb/si6_b09m_s20.B21.dimacs 300 > results/CP_si6_b09m_s20.21.dimacs
java CP graphsdb/si6_b09m_s20.A22.dimacs graphsdb/si6_b09m_s20.B22.dimacs 300 > results/CP_si6_b09m_s20.22.dimacs
java CP graphsdb/si6_b09m_s20.A23.dimacs graphsdb/si6_b09m_s20.B23.dimacs 300 > results/CP_si6_b09m_s20.23.dimacs
java CP graphsdb/si6_b09m_s20.A24.dimacs graphsdb/si6_b09m_s20.B24.dimacs 300 > results/CP_si6_b09m_s20.24.dimacs
java CP graphsdb/si6_b09m_s20.A25.dimacs graphsdb/si6_b09m_s20.B25.dimacs 300 > results/CP_si6_b09m_s20.25.dimacs
java CP graphsdb/si6_b09m_s20.A26.dimacs graphsdb/si6_b09m_s20.B26.dimacs 300 > results/CP_si6_b09m_s20.26.dimacs
java CP graphsdb/si6_b09m_s20.A27.dimacs graphsdb/si6_b09m_s20.B27.dimacs 300 > results/CP_si6_b09m_s20.27.dimacs
java CP graphsdb/si6_b09m_s20.A28.dimacs graphsdb/si6_b09m_s20.B28.dimacs 300 > results/CP_si6_b09m_s20.28.dimacs
java CP graphsdb/si6_b09m_s20.A29.dimacs graphsdb/si6_b09m_s20.B29.dimacs 300 > results/CP_si6_b09m_s20.29.dimacs
java CP graphsdb/si6_b09m_s20.A30.dimacs graphsdb/si6_b09m_s20.B30.dimacs 300 > results/CP_si6_b09m_s20.30.dimacs
java CP graphsdb/si6_b09m_s20.A31.dimacs graphsdb/si6_b09m_s20.B31.dimacs 300 > results/CP_si6_b09m_s20.31.dimacs
java CP graphsdb/si6_b09m_s20.A32.dimacs graphsdb/si6_b09m_s20.B32.dimacs 300 > results/CP_si6_b09m_s20.32.dimacs
java CP graphsdb/si6_b09m_s20.A33.dimacs graphsdb/si6_b09m_s20.B33.dimacs 300 > results/CP_si6_b09m_s20.33.dimacs
java CP graphsdb/si6_b09m_s20.A34.dimacs graphsdb/si6_b09m_s20.B34.dimacs 300 > results/CP_si6_b09m_s20.34.dimacs
java CP graphsdb/si6_b09m_s20.A35.dimacs graphsdb/si6_b09m_s20.B35.dimacs 300 > results/CP_si6_b09m_s20.35.dimacs
java CP graphsdb/si6_b09m_s20.A36.dimacs graphsdb/si6_b09m_s20.B36.dimacs 300 > results/CP_si6_b09m_s20.36.dimacs
java CP graphsdb/si6_b09m_s20.A37.dimacs graphsdb/si6_b09m_s20.B37.dimacs 300 > results/CP_si6_b09m_s20.37.dimacs
java CP graphsdb/si6_b09m_s20.A38.dimacs graphsdb/si6_b09m_s20.B38.dimacs 300 > results/CP_si6_b09m_s20.38.dimacs
java CP graphsdb/si6_b09m_s20.A39.dimacs graphsdb/si6_b09m_s20.B39.dimacs 300 > results/CP_si6_b09m_s20.39.dimacs
java CP graphsdb/si6_b09m_s20.A40.dimacs graphsdb/si6_b09m_s20.B40.dimacs 300 > results/CP_si6_b09m_s20.40.dimacs
java CP graphsdb/si6_b09m_s20.A41.dimacs graphsdb/si6_b09m_s20.B41.dimacs 300 > results/CP_si6_b09m_s20.41.dimacs
java CP graphsdb/si6_b09m_s20.A42.dimacs graphsdb/si6_b09m_s20.B42.dimacs 300 > results/CP_si6_b09m_s20.42.dimacs
java CP graphsdb/si6_b09m_s20.A43.dimacs graphsdb/si6_b09m_s20.B43.dimacs 300 > results/CP_si6_b09m_s20.43.dimacs
java CP graphsdb/si6_b09m_s20.A44.dimacs graphsdb/si6_b09m_s20.B44.dimacs 300 > results/CP_si6_b09m_s20.44.dimacs
java CP graphsdb/si6_b09m_s20.A45.dimacs graphsdb/si6_b09m_s20.B45.dimacs 300 > results/CP_si6_b09m_s20.45.dimacs
java CP graphsdb/si6_b09m_s20.A46.dimacs graphsdb/si6_b09m_s20.B46.dimacs 300 > results/CP_si6_b09m_s20.46.dimacs
java CP graphsdb/si6_b09m_s20.A47.dimacs graphsdb/si6_b09m_s20.B47.dimacs 300 > results/CP_si6_b09m_s20.47.dimacs
java CP graphsdb/si6_b09m_s20.A48.dimacs graphsdb/si6_b09m_s20.B48.dimacs 300 > results/CP_si6_b09m_s20.48.dimacs
java CP graphsdb/si6_b09m_s20.A49.dimacs graphsdb/si6_b09m_s20.B49.dimacs 300 > results/CP_si6_b09m_s20.49.dimacs
java CP graphsdb/si6_b09m_s20.A50.dimacs graphsdb/si6_b09m_s20.B50.dimacs 300 > results/CP_si6_b09m_s20.50.dimacs
java CP graphsdb/si6_b09m_s20.A51.dimacs graphsdb/si6_b09m_s20.B51.dimacs 300 > results/CP_si6_b09m_s20.51.dimacs
java CP graphsdb/si6_b09m_s20.A52.dimacs graphsdb/si6_b09m_s20.B52.dimacs 300 > results/CP_si6_b09m_s20.52.dimacs
java CP graphsdb/si6_b09m_s20.A53.dimacs graphsdb/si6_b09m_s20.B53.dimacs 300 > results/CP_si6_b09m_s20.53.dimacs
java CP graphsdb/si6_b09m_s20.A54.dimacs graphsdb/si6_b09m_s20.B54.dimacs 300 > results/CP_si6_b09m_s20.54.dimacs
java CP graphsdb/si6_b09m_s20.A55.dimacs graphsdb/si6_b09m_s20.B55.dimacs 300 > results/CP_si6_b09m_s20.55.dimacs
java CP graphsdb/si6_b09m_s20.A56.dimacs graphsdb/si6_b09m_s20.B56.dimacs 300 > results/CP_si6_b09m_s20.56.dimacs
java CP graphsdb/si6_b09m_s20.A57.dimacs graphsdb/si6_b09m_s20.B57.dimacs 300 > results/CP_si6_b09m_s20.57.dimacs
java CP graphsdb/si6_b09m_s20.A58.dimacs graphsdb/si6_b09m_s20.B58.dimacs 300 > results/CP_si6_b09m_s20.58.dimacs
java CP graphsdb/si6_b09m_s20.A59.dimacs graphsdb/si6_b09m_s20.B59.dimacs 300 > results/CP_si6_b09m_s20.59.dimacs
java CP graphsdb/si6_b09m_s20.A60.dimacs graphsdb/si6_b09m_s20.B60.dimacs 300 > results/CP_si6_b09m_s20.60.dimacs
java CP graphsdb/si6_b09m_s20.A61.dimacs graphsdb/si6_b09m_s20.B61.dimacs 300 > results/CP_si6_b09m_s20.61.dimacs
java CP graphsdb/si6_b09m_s20.A62.dimacs graphsdb/si6_b09m_s20.B62.dimacs 300 > results/CP_si6_b09m_s20.62.dimacs
java CP graphsdb/si6_b09m_s20.A63.dimacs graphsdb/si6_b09m_s20.B63.dimacs 300 > results/CP_si6_b09m_s20.63.dimacs
java CP graphsdb/si6_b09m_s20.A64.dimacs graphsdb/si6_b09m_s20.B64.dimacs 300 > results/CP_si6_b09m_s20.64.dimacs
java CP graphsdb/si6_b09m_s20.A65.dimacs graphsdb/si6_b09m_s20.B65.dimacs 300 > results/CP_si6_b09m_s20.65.dimacs
java CP graphsdb/si6_b09m_s20.A66.dimacs graphsdb/si6_b09m_s20.B66.dimacs 300 > results/CP_si6_b09m_s20.66.dimacs
java CP graphsdb/si6_b09m_s20.A67.dimacs graphsdb/si6_b09m_s20.B67.dimacs 300 > results/CP_si6_b09m_s20.67.dimacs
java CP graphsdb/si6_b09m_s20.A68.dimacs graphsdb/si6_b09m_s20.B68.dimacs 300 > results/CP_si6_b09m_s20.68.dimacs
java CP graphsdb/si6_b09m_s20.A69.dimacs graphsdb/si6_b09m_s20.B69.dimacs 300 > results/CP_si6_b09m_s20.69.dimacs
java CP graphsdb/si6_b09m_s20.A70.dimacs graphsdb/si6_b09m_s20.B70.dimacs 300 > results/CP_si6_b09m_s20.70.dimacs
java CP graphsdb/si6_b09m_s20.A71.dimacs graphsdb/si6_b09m_s20.B71.dimacs 300 > results/CP_si6_b09m_s20.71.dimacs
java CP graphsdb/si6_b09m_s20.A72.dimacs graphsdb/si6_b09m_s20.B72.dimacs 300 > results/CP_si6_b09m_s20.72.dimacs
java CP graphsdb/si6_b09m_s20.A73.dimacs graphsdb/si6_b09m_s20.B73.dimacs 300 > results/CP_si6_b09m_s20.73.dimacs
java CP graphsdb/si6_b09m_s20.A74.dimacs graphsdb/si6_b09m_s20.B74.dimacs 300 > results/CP_si6_b09m_s20.74.dimacs
java CP graphsdb/si6_b09m_s20.A75.dimacs graphsdb/si6_b09m_s20.B75.dimacs 300 > results/CP_si6_b09m_s20.75.dimacs
java CP graphsdb/si6_b09m_s20.A76.dimacs graphsdb/si6_b09m_s20.B76.dimacs 300 > results/CP_si6_b09m_s20.76.dimacs
java CP graphsdb/si6_b09m_s20.A77.dimacs graphsdb/si6_b09m_s20.B77.dimacs 300 > results/CP_si6_b09m_s20.77.dimacs
java CP graphsdb/si6_b09m_s20.A78.dimacs graphsdb/si6_b09m_s20.B78.dimacs 300 > results/CP_si6_b09m_s20.78.dimacs
java CP graphsdb/si6_b09m_s20.A79.dimacs graphsdb/si6_b09m_s20.B79.dimacs 300 > results/CP_si6_b09m_s20.79.dimacs
java CP graphsdb/si6_b09m_s20.A80.dimacs graphsdb/si6_b09m_s20.B80.dimacs 300 > results/CP_si6_b09m_s20.80.dimacs
java CP graphsdb/si6_b09m_s20.A81.dimacs graphsdb/si6_b09m_s20.B81.dimacs 300 > results/CP_si6_b09m_s20.81.dimacs
java CP graphsdb/si6_b09m_s20.A82.dimacs graphsdb/si6_b09m_s20.B82.dimacs 300 > results/CP_si6_b09m_s20.82.dimacs
java CP graphsdb/si6_b09m_s20.A83.dimacs graphsdb/si6_b09m_s20.B83.dimacs 300 > results/CP_si6_b09m_s20.83.dimacs
java CP graphsdb/si6_b09m_s20.A84.dimacs graphsdb/si6_b09m_s20.B84.dimacs 300 > results/CP_si6_b09m_s20.84.dimacs
java CP graphsdb/si6_b09m_s20.A85.dimacs graphsdb/si6_b09m_s20.B85.dimacs 300 > results/CP_si6_b09m_s20.85.dimacs
java CP graphsdb/si6_b09m_s20.A86.dimacs graphsdb/si6_b09m_s20.B86.dimacs 300 > results/CP_si6_b09m_s20.86.dimacs
java CP graphsdb/si6_b09m_s20.A87.dimacs graphsdb/si6_b09m_s20.B87.dimacs 300 > results/CP_si6_b09m_s20.87.dimacs
java CP graphsdb/si6_b09m_s20.A88.dimacs graphsdb/si6_b09m_s20.B88.dimacs 300 > results/CP_si6_b09m_s20.88.dimacs
java CP graphsdb/si6_b09m_s20.A89.dimacs graphsdb/si6_b09m_s20.B89.dimacs 300 > results/CP_si6_b09m_s20.89.dimacs
java CP graphsdb/si6_b09m_s20.A90.dimacs graphsdb/si6_b09m_s20.B90.dimacs 300 > results/CP_si6_b09m_s20.90.dimacs
java CP graphsdb/si6_b09m_s20.A91.dimacs graphsdb/si6_b09m_s20.B91.dimacs 300 > results/CP_si6_b09m_s20.91.dimacs
java CP graphsdb/si6_b09m_s20.A92.dimacs graphsdb/si6_b09m_s20.B92.dimacs 300 > results/CP_si6_b09m_s20.92.dimacs
java CP graphsdb/si6_b09m_s20.A93.dimacs graphsdb/si6_b09m_s20.B93.dimacs 300 > results/CP_si6_b09m_s20.93.dimacs
java CP graphsdb/si6_b09m_s20.A94.dimacs graphsdb/si6_b09m_s20.B94.dimacs 300 > results/CP_si6_b09m_s20.94.dimacs
java CP graphsdb/si6_b09m_s20.A95.dimacs graphsdb/si6_b09m_s20.B95.dimacs 300 > results/CP_si6_b09m_s20.95.dimacs
java CP graphsdb/si6_b09m_s20.A96.dimacs graphsdb/si6_b09m_s20.B96.dimacs 300 > results/CP_si6_b09m_s20.96.dimacs
java CP graphsdb/si6_b09m_s20.A97.dimacs graphsdb/si6_b09m_s20.B97.dimacs 300 > results/CP_si6_b09m_s20.97.dimacs
java CP graphsdb/si6_b09m_s20.A98.dimacs graphsdb/si6_b09m_s20.B98.dimacs 300 > results/CP_si6_b09m_s20.98.dimacs
java CP graphsdb/si6_b09m_s20.A99.dimacs graphsdb/si6_b09m_s20.B99.dimacs 300 > results/CP_si6_b09m_s20.99.dimacs
java CP graphsdb/si6_r001_s20.A00.dimacs graphsdb/si6_r001_s20.B00.dimacs 300 > results/CP_si6_r001_s20.00.dimacs
java CP graphsdb/si6_r001_s20.A01.dimacs graphsdb/si6_r001_s20.B01.dimacs 300 > results/CP_si6_r001_s20.01.dimacs
java CP graphsdb/si6_r001_s20.A02.dimacs graphsdb/si6_r001_s20.B02.dimacs 300 > results/CP_si6_r001_s20.02.dimacs
java CP graphsdb/si6_r001_s20.A03.dimacs graphsdb/si6_r001_s20.B03.dimacs 300 > results/CP_si6_r001_s20.03.dimacs
java CP graphsdb/si6_r001_s20.A04.dimacs graphsdb/si6_r001_s20.B04.dimacs 300 > results/CP_si6_r001_s20.04.dimacs
java CP graphsdb/si6_r001_s20.A05.dimacs graphsdb/si6_r001_s20.B05.dimacs 300 > results/CP_si6_r001_s20.05.dimacs
java CP graphsdb/si6_r001_s20.A06.dimacs graphsdb/si6_r001_s20.B06.dimacs 300 > results/CP_si6_r001_s20.06.dimacs
java CP graphsdb/si6_r001_s20.A07.dimacs graphsdb/si6_r001_s20.B07.dimacs 300 > results/CP_si6_r001_s20.07.dimacs
java CP graphsdb/si6_r001_s20.A08.dimacs graphsdb/si6_r001_s20.B08.dimacs 300 > results/CP_si6_r001_s20.08.dimacs
java CP graphsdb/si6_r001_s20.A09.dimacs graphsdb/si6_r001_s20.B09.dimacs 300 > results/CP_si6_r001_s20.09.dimacs
java CP graphsdb/si6_r001_s20.A10.dimacs graphsdb/si6_r001_s20.B10.dimacs 300 > results/CP_si6_r001_s20.10.dimacs
java CP graphsdb/si6_r001_s20.A11.dimacs graphsdb/si6_r001_s20.B11.dimacs 300 > results/CP_si6_r001_s20.11.dimacs
java CP graphsdb/si6_r001_s20.A12.dimacs graphsdb/si6_r001_s20.B12.dimacs 300 > results/CP_si6_r001_s20.12.dimacs
java CP graphsdb/si6_r001_s20.A13.dimacs graphsdb/si6_r001_s20.B13.dimacs 300 > results/CP_si6_r001_s20.13.dimacs
java CP graphsdb/si6_r001_s20.A14.dimacs graphsdb/si6_r001_s20.B14.dimacs 300 > results/CP_si6_r001_s20.14.dimacs
java CP graphsdb/si6_r001_s20.A15.dimacs graphsdb/si6_r001_s20.B15.dimacs 300 > results/CP_si6_r001_s20.15.dimacs
java CP graphsdb/si6_r001_s20.A16.dimacs graphsdb/si6_r001_s20.B16.dimacs 300 > results/CP_si6_r001_s20.16.dimacs
java CP graphsdb/si6_r001_s20.A17.dimacs graphsdb/si6_r001_s20.B17.dimacs 300 > results/CP_si6_r001_s20.17.dimacs
java CP graphsdb/si6_r001_s20.A18.dimacs graphsdb/si6_r001_s20.B18.dimacs 300 > results/CP_si6_r001_s20.18.dimacs
java CP graphsdb/si6_r001_s20.A19.dimacs graphsdb/si6_r001_s20.B19.dimacs 300 > results/CP_si6_r001_s20.19.dimacs
java CP graphsdb/si6_r001_s20.A20.dimacs graphsdb/si6_r001_s20.B20.dimacs 300 > results/CP_si6_r001_s20.20.dimacs
java CP graphsdb/si6_r001_s20.A21.dimacs graphsdb/si6_r001_s20.B21.dimacs 300 > results/CP_si6_r001_s20.21.dimacs
java CP graphsdb/si6_r001_s20.A22.dimacs graphsdb/si6_r001_s20.B22.dimacs 300 > results/CP_si6_r001_s20.22.dimacs
java CP graphsdb/si6_r001_s20.A23.dimacs graphsdb/si6_r001_s20.B23.dimacs 300 > results/CP_si6_r001_s20.23.dimacs
java CP graphsdb/si6_r001_s20.A24.dimacs graphsdb/si6_r001_s20.B24.dimacs 300 > results/CP_si6_r001_s20.24.dimacs
java CP graphsdb/si6_r001_s20.A25.dimacs graphsdb/si6_r001_s20.B25.dimacs 300 > results/CP_si6_r001_s20.25.dimacs
java CP graphsdb/si6_r001_s20.A26.dimacs graphsdb/si6_r001_s20.B26.dimacs 300 > results/CP_si6_r001_s20.26.dimacs
java CP graphsdb/si6_r001_s20.A27.dimacs graphsdb/si6_r001_s20.B27.dimacs 300 > results/CP_si6_r001_s20.27.dimacs
java CP graphsdb/si6_r001_s20.A28.dimacs graphsdb/si6_r001_s20.B28.dimacs 300 > results/CP_si6_r001_s20.28.dimacs
java CP graphsdb/si6_r001_s20.A29.dimacs graphsdb/si6_r001_s20.B29.dimacs 300 > results/CP_si6_r001_s20.29.dimacs
java CP graphsdb/si6_r001_s20.A30.dimacs graphsdb/si6_r001_s20.B30.dimacs 300 > results/CP_si6_r001_s20.30.dimacs
java CP graphsdb/si6_r001_s20.A31.dimacs graphsdb/si6_r001_s20.B31.dimacs 300 > results/CP_si6_r001_s20.31.dimacs
java CP graphsdb/si6_r001_s20.A32.dimacs graphsdb/si6_r001_s20.B32.dimacs 300 > results/CP_si6_r001_s20.32.dimacs
java CP graphsdb/si6_r001_s20.A33.dimacs graphsdb/si6_r001_s20.B33.dimacs 300 > results/CP_si6_r001_s20.33.dimacs
java CP graphsdb/si6_r001_s20.A34.dimacs graphsdb/si6_r001_s20.B34.dimacs 300 > results/CP_si6_r001_s20.34.dimacs
java CP graphsdb/si6_r001_s20.A35.dimacs graphsdb/si6_r001_s20.B35.dimacs 300 > results/CP_si6_r001_s20.35.dimacs
java CP graphsdb/si6_r001_s20.A36.dimacs graphsdb/si6_r001_s20.B36.dimacs 300 > results/CP_si6_r001_s20.36.dimacs
java CP graphsdb/si6_r001_s20.A37.dimacs graphsdb/si6_r001_s20.B37.dimacs 300 > results/CP_si6_r001_s20.37.dimacs
java CP graphsdb/si6_r001_s20.A38.dimacs graphsdb/si6_r001_s20.B38.dimacs 300 > results/CP_si6_r001_s20.38.dimacs
java CP graphsdb/si6_r001_s20.A39.dimacs graphsdb/si6_r001_s20.B39.dimacs 300 > results/CP_si6_r001_s20.39.dimacs
java CP graphsdb/si6_r001_s20.A40.dimacs graphsdb/si6_r001_s20.B40.dimacs 300 > results/CP_si6_r001_s20.40.dimacs
java CP graphsdb/si6_r001_s20.A41.dimacs graphsdb/si6_r001_s20.B41.dimacs 300 > results/CP_si6_r001_s20.41.dimacs
java CP graphsdb/si6_r001_s20.A42.dimacs graphsdb/si6_r001_s20.B42.dimacs 300 > results/CP_si6_r001_s20.42.dimacs
java CP graphsdb/si6_r001_s20.A43.dimacs graphsdb/si6_r001_s20.B43.dimacs 300 > results/CP_si6_r001_s20.43.dimacs
java CP graphsdb/si6_r001_s20.A44.dimacs graphsdb/si6_r001_s20.B44.dimacs 300 > results/CP_si6_r001_s20.44.dimacs
java CP graphsdb/si6_r001_s20.A45.dimacs graphsdb/si6_r001_s20.B45.dimacs 300 > results/CP_si6_r001_s20.45.dimacs
java CP graphsdb/si6_r001_s20.A46.dimacs graphsdb/si6_r001_s20.B46.dimacs 300 > results/CP_si6_r001_s20.46.dimacs
java CP graphsdb/si6_r001_s20.A47.dimacs graphsdb/si6_r001_s20.B47.dimacs 300 > results/CP_si6_r001_s20.47.dimacs
java CP graphsdb/si6_r001_s20.A48.dimacs graphsdb/si6_r001_s20.B48.dimacs 300 > results/CP_si6_r001_s20.48.dimacs
java CP graphsdb/si6_r001_s20.A49.dimacs graphsdb/si6_r001_s20.B49.dimacs 300 > results/CP_si6_r001_s20.49.dimacs
java CP graphsdb/si6_r001_s20.A50.dimacs graphsdb/si6_r001_s20.B50.dimacs 300 > results/CP_si6_r001_s20.50.dimacs
java CP graphsdb/si6_r001_s20.A51.dimacs graphsdb/si6_r001_s20.B51.dimacs 300 > results/CP_si6_r001_s20.51.dimacs
java CP graphsdb/si6_r001_s20.A52.dimacs graphsdb/si6_r001_s20.B52.dimacs 300 > results/CP_si6_r001_s20.52.dimacs
java CP graphsdb/si6_r001_s20.A53.dimacs graphsdb/si6_r001_s20.B53.dimacs 300 > results/CP_si6_r001_s20.53.dimacs
java CP graphsdb/si6_r001_s20.A54.dimacs graphsdb/si6_r001_s20.B54.dimacs 300 > results/CP_si6_r001_s20.54.dimacs
java CP graphsdb/si6_r001_s20.A55.dimacs graphsdb/si6_r001_s20.B55.dimacs 300 > results/CP_si6_r001_s20.55.dimacs
java CP graphsdb/si6_r001_s20.A56.dimacs graphsdb/si6_r001_s20.B56.dimacs 300 > results/CP_si6_r001_s20.56.dimacs
java CP graphsdb/si6_r001_s20.A57.dimacs graphsdb/si6_r001_s20.B57.dimacs 300 > results/CP_si6_r001_s20.57.dimacs
java CP graphsdb/si6_r001_s20.A58.dimacs graphsdb/si6_r001_s20.B58.dimacs 300 > results/CP_si6_r001_s20.58.dimacs
java CP graphsdb/si6_r001_s20.A59.dimacs graphsdb/si6_r001_s20.B59.dimacs 300 > results/CP_si6_r001_s20.59.dimacs
java CP graphsdb/si6_r001_s20.A60.dimacs graphsdb/si6_r001_s20.B60.dimacs 300 > results/CP_si6_r001_s20.60.dimacs
java CP graphsdb/si6_r001_s20.A61.dimacs graphsdb/si6_r001_s20.B61.dimacs 300 > results/CP_si6_r001_s20.61.dimacs
java CP graphsdb/si6_r001_s20.A62.dimacs graphsdb/si6_r001_s20.B62.dimacs 300 > results/CP_si6_r001_s20.62.dimacs
java CP graphsdb/si6_r001_s20.A63.dimacs graphsdb/si6_r001_s20.B63.dimacs 300 > results/CP_si6_r001_s20.63.dimacs
java CP graphsdb/si6_r001_s20.A64.dimacs graphsdb/si6_r001_s20.B64.dimacs 300 > results/CP_si6_r001_s20.64.dimacs
java CP graphsdb/si6_r001_s20.A65.dimacs graphsdb/si6_r001_s20.B65.dimacs 300 > results/CP_si6_r001_s20.65.dimacs
java CP graphsdb/si6_r001_s20.A66.dimacs graphsdb/si6_r001_s20.B66.dimacs 300 > results/CP_si6_r001_s20.66.dimacs
java CP graphsdb/si6_r001_s20.A67.dimacs graphsdb/si6_r001_s20.B67.dimacs 300 > results/CP_si6_r001_s20.67.dimacs
java CP graphsdb/si6_r001_s20.A68.dimacs graphsdb/si6_r001_s20.B68.dimacs 300 > results/CP_si6_r001_s20.68.dimacs
java CP graphsdb/si6_r001_s20.A69.dimacs graphsdb/si6_r001_s20.B69.dimacs 300 > results/CP_si6_r001_s20.69.dimacs
java CP graphsdb/si6_r001_s20.A70.dimacs graphsdb/si6_r001_s20.B70.dimacs 300 > results/CP_si6_r001_s20.70.dimacs
java CP graphsdb/si6_r001_s20.A71.dimacs graphsdb/si6_r001_s20.B71.dimacs 300 > results/CP_si6_r001_s20.71.dimacs
java CP graphsdb/si6_r001_s20.A72.dimacs graphsdb/si6_r001_s20.B72.dimacs 300 > results/CP_si6_r001_s20.72.dimacs
java CP graphsdb/si6_r001_s20.A73.dimacs graphsdb/si6_r001_s20.B73.dimacs 300 > results/CP_si6_r001_s20.73.dimacs
java CP graphsdb/si6_r001_s20.A74.dimacs graphsdb/si6_r001_s20.B74.dimacs 300 > results/CP_si6_r001_s20.74.dimacs
java CP graphsdb/si6_r001_s20.A75.dimacs graphsdb/si6_r001_s20.B75.dimacs 300 > results/CP_si6_r001_s20.75.dimacs
java CP graphsdb/si6_r001_s20.A76.dimacs graphsdb/si6_r001_s20.B76.dimacs 300 > results/CP_si6_r001_s20.76.dimacs
java CP graphsdb/si6_r001_s20.A77.dimacs graphsdb/si6_r001_s20.B77.dimacs 300 > results/CP_si6_r001_s20.77.dimacs
java CP graphsdb/si6_r001_s20.A78.dimacs graphsdb/si6_r001_s20.B78.dimacs 300 > results/CP_si6_r001_s20.78.dimacs
java CP graphsdb/si6_r001_s20.A79.dimacs graphsdb/si6_r001_s20.B79.dimacs 300 > results/CP_si6_r001_s20.79.dimacs
java CP graphsdb/si6_r001_s20.A80.dimacs graphsdb/si6_r001_s20.B80.dimacs 300 > results/CP_si6_r001_s20.80.dimacs
java CP graphsdb/si6_r001_s20.A81.dimacs graphsdb/si6_r001_s20.B81.dimacs 300 > results/CP_si6_r001_s20.81.dimacs
java CP graphsdb/si6_r001_s20.A82.dimacs graphsdb/si6_r001_s20.B82.dimacs 300 > results/CP_si6_r001_s20.82.dimacs
java CP graphsdb/si6_r001_s20.A83.dimacs graphsdb/si6_r001_s20.B83.dimacs 300 > results/CP_si6_r001_s20.83.dimacs
java CP graphsdb/si6_r001_s20.A84.dimacs graphsdb/si6_r001_s20.B84.dimacs 300 > results/CP_si6_r001_s20.84.dimacs
java CP graphsdb/si6_r001_s20.A85.dimacs graphsdb/si6_r001_s20.B85.dimacs 300 > results/CP_si6_r001_s20.85.dimacs
java CP graphsdb/si6_r001_s20.A86.dimacs graphsdb/si6_r001_s20.B86.dimacs 300 > results/CP_si6_r001_s20.86.dimacs
java CP graphsdb/si6_r001_s20.A87.dimacs graphsdb/si6_r001_s20.B87.dimacs 300 > results/CP_si6_r001_s20.87.dimacs
java CP graphsdb/si6_r001_s20.A88.dimacs graphsdb/si6_r001_s20.B88.dimacs 300 > results/CP_si6_r001_s20.88.dimacs
java CP graphsdb/si6_r001_s20.A89.dimacs graphsdb/si6_r001_s20.B89.dimacs 300 > results/CP_si6_r001_s20.89.dimacs
java CP graphsdb/si6_r001_s20.A90.dimacs graphsdb/si6_r001_s20.B90.dimacs 300 > results/CP_si6_r001_s20.90.dimacs
java CP graphsdb/si6_r001_s20.A91.dimacs graphsdb/si6_r001_s20.B91.dimacs 300 > results/CP_si6_r001_s20.91.dimacs
java CP graphsdb/si6_r001_s20.A92.dimacs graphsdb/si6_r001_s20.B92.dimacs 300 > results/CP_si6_r001_s20.92.dimacs
java CP graphsdb/si6_r001_s20.A93.dimacs graphsdb/si6_r001_s20.B93.dimacs 300 > results/CP_si6_r001_s20.93.dimacs
java CP graphsdb/si6_r001_s20.A94.dimacs graphsdb/si6_r001_s20.B94.dimacs 300 > results/CP_si6_r001_s20.94.dimacs
java CP graphsdb/si6_r001_s20.A95.dimacs graphsdb/si6_r001_s20.B95.dimacs 300 > results/CP_si6_r001_s20.95.dimacs
java CP graphsdb/si6_r001_s20.A96.dimacs graphsdb/si6_r001_s20.B96.dimacs 300 > results/CP_si6_r001_s20.96.dimacs
java CP graphsdb/si6_r001_s20.A97.dimacs graphsdb/si6_r001_s20.B97.dimacs 300 > results/CP_si6_r001_s20.97.dimacs
java CP graphsdb/si6_r001_s20.A98.dimacs graphsdb/si6_r001_s20.B98.dimacs 300 > results/CP_si6_r001_s20.98.dimacs
java CP graphsdb/si6_r001_s20.A99.dimacs graphsdb/si6_r001_s20.B99.dimacs 300 > results/CP_si6_r001_s20.99.dimacs
java CP graphsdb/si6_r005_s20.A00.dimacs graphsdb/si6_r005_s20.B00.dimacs 300 > results/CP_si6_r005_s20.00.dimacs
java CP graphsdb/si6_r005_s20.A01.dimacs graphsdb/si6_r005_s20.B01.dimacs 300 > results/CP_si6_r005_s20.01.dimacs
java CP graphsdb/si6_r005_s20.A02.dimacs graphsdb/si6_r005_s20.B02.dimacs 300 > results/CP_si6_r005_s20.02.dimacs
java CP graphsdb/si6_r005_s20.A03.dimacs graphsdb/si6_r005_s20.B03.dimacs 300 > results/CP_si6_r005_s20.03.dimacs
java CP graphsdb/si6_r005_s20.A04.dimacs graphsdb/si6_r005_s20.B04.dimacs 300 > results/CP_si6_r005_s20.04.dimacs
java CP graphsdb/si6_r005_s20.A05.dimacs graphsdb/si6_r005_s20.B05.dimacs 300 > results/CP_si6_r005_s20.05.dimacs
java CP graphsdb/si6_r005_s20.A06.dimacs graphsdb/si6_r005_s20.B06.dimacs 300 > results/CP_si6_r005_s20.06.dimacs
java CP graphsdb/si6_r005_s20.A07.dimacs graphsdb/si6_r005_s20.B07.dimacs 300 > results/CP_si6_r005_s20.07.dimacs
java CP graphsdb/si6_r005_s20.A08.dimacs graphsdb/si6_r005_s20.B08.dimacs 300 > results/CP_si6_r005_s20.08.dimacs
java CP graphsdb/si6_r005_s20.A09.dimacs graphsdb/si6_r005_s20.B09.dimacs 300 > results/CP_si6_r005_s20.09.dimacs
java CP graphsdb/si6_r005_s20.A10.dimacs graphsdb/si6_r005_s20.B10.dimacs 300 > results/CP_si6_r005_s20.10.dimacs
java CP graphsdb/si6_r005_s20.A11.dimacs graphsdb/si6_r005_s20.B11.dimacs 300 > results/CP_si6_r005_s20.11.dimacs
java CP graphsdb/si6_r005_s20.A12.dimacs graphsdb/si6_r005_s20.B12.dimacs 300 > results/CP_si6_r005_s20.12.dimacs
java CP graphsdb/si6_r005_s20.A13.dimacs graphsdb/si6_r005_s20.B13.dimacs 300 > results/CP_si6_r005_s20.13.dimacs
java CP graphsdb/si6_r005_s20.A14.dimacs graphsdb/si6_r005_s20.B14.dimacs 300 > results/CP_si6_r005_s20.14.dimacs
java CP graphsdb/si6_r005_s20.A15.dimacs graphsdb/si6_r005_s20.B15.dimacs 300 > results/CP_si6_r005_s20.15.dimacs
java CP graphsdb/si6_r005_s20.A16.dimacs graphsdb/si6_r005_s20.B16.dimacs 300 > results/CP_si6_r005_s20.16.dimacs
java CP graphsdb/si6_r005_s20.A17.dimacs graphsdb/si6_r005_s20.B17.dimacs 300 > results/CP_si6_r005_s20.17.dimacs
java CP graphsdb/si6_r005_s20.A18.dimacs graphsdb/si6_r005_s20.B18.dimacs 300 > results/CP_si6_r005_s20.18.dimacs
java CP graphsdb/si6_r005_s20.A19.dimacs graphsdb/si6_r005_s20.B19.dimacs 300 > results/CP_si6_r005_s20.19.dimacs
java CP graphsdb/si6_r005_s20.A20.dimacs graphsdb/si6_r005_s20.B20.dimacs 300 > results/CP_si6_r005_s20.20.dimacs
java CP graphsdb/si6_r005_s20.A21.dimacs graphsdb/si6_r005_s20.B21.dimacs 300 > results/CP_si6_r005_s20.21.dimacs
java CP graphsdb/si6_r005_s20.A22.dimacs graphsdb/si6_r005_s20.B22.dimacs 300 > results/CP_si6_r005_s20.22.dimacs
java CP graphsdb/si6_r005_s20.A23.dimacs graphsdb/si6_r005_s20.B23.dimacs 300 > results/CP_si6_r005_s20.23.dimacs
java CP graphsdb/si6_r005_s20.A24.dimacs graphsdb/si6_r005_s20.B24.dimacs 300 > results/CP_si6_r005_s20.24.dimacs
java CP graphsdb/si6_r005_s20.A25.dimacs graphsdb/si6_r005_s20.B25.dimacs 300 > results/CP_si6_r005_s20.25.dimacs
java CP graphsdb/si6_r005_s20.A26.dimacs graphsdb/si6_r005_s20.B26.dimacs 300 > results/CP_si6_r005_s20.26.dimacs
java CP graphsdb/si6_r005_s20.A27.dimacs graphsdb/si6_r005_s20.B27.dimacs 300 > results/CP_si6_r005_s20.27.dimacs
java CP graphsdb/si6_r005_s20.A28.dimacs graphsdb/si6_r005_s20.B28.dimacs 300 > results/CP_si6_r005_s20.28.dimacs
java CP graphsdb/si6_r005_s20.A29.dimacs graphsdb/si6_r005_s20.B29.dimacs 300 > results/CP_si6_r005_s20.29.dimacs
java CP graphsdb/si6_r005_s20.A30.dimacs graphsdb/si6_r005_s20.B30.dimacs 300 > results/CP_si6_r005_s20.30.dimacs
java CP graphsdb/si6_r005_s20.A31.dimacs graphsdb/si6_r005_s20.B31.dimacs 300 > results/CP_si6_r005_s20.31.dimacs
java CP graphsdb/si6_r005_s20.A32.dimacs graphsdb/si6_r005_s20.B32.dimacs 300 > results/CP_si6_r005_s20.32.dimacs
java CP graphsdb/si6_r005_s20.A33.dimacs graphsdb/si6_r005_s20.B33.dimacs 300 > results/CP_si6_r005_s20.33.dimacs
java CP graphsdb/si6_r005_s20.A34.dimacs graphsdb/si6_r005_s20.B34.dimacs 300 > results/CP_si6_r005_s20.34.dimacs
java CP graphsdb/si6_r005_s20.A35.dimacs graphsdb/si6_r005_s20.B35.dimacs 300 > results/CP_si6_r005_s20.35.dimacs
java CP graphsdb/si6_r005_s20.A36.dimacs graphsdb/si6_r005_s20.B36.dimacs 300 > results/CP_si6_r005_s20.36.dimacs
java CP graphsdb/si6_r005_s20.A37.dimacs graphsdb/si6_r005_s20.B37.dimacs 300 > results/CP_si6_r005_s20.37.dimacs
java CP graphsdb/si6_r005_s20.A38.dimacs graphsdb/si6_r005_s20.B38.dimacs 300 > results/CP_si6_r005_s20.38.dimacs
java CP graphsdb/si6_r005_s20.A39.dimacs graphsdb/si6_r005_s20.B39.dimacs 300 > results/CP_si6_r005_s20.39.dimacs
java CP graphsdb/si6_r005_s20.A40.dimacs graphsdb/si6_r005_s20.B40.dimacs 300 > results/CP_si6_r005_s20.40.dimacs
java CP graphsdb/si6_r005_s20.A41.dimacs graphsdb/si6_r005_s20.B41.dimacs 300 > results/CP_si6_r005_s20.41.dimacs
java CP graphsdb/si6_r005_s20.A42.dimacs graphsdb/si6_r005_s20.B42.dimacs 300 > results/CP_si6_r005_s20.42.dimacs
java CP graphsdb/si6_r005_s20.A43.dimacs graphsdb/si6_r005_s20.B43.dimacs 300 > results/CP_si6_r005_s20.43.dimacs
java CP graphsdb/si6_r005_s20.A44.dimacs graphsdb/si6_r005_s20.B44.dimacs 300 > results/CP_si6_r005_s20.44.dimacs
java CP graphsdb/si6_r005_s20.A45.dimacs graphsdb/si6_r005_s20.B45.dimacs 300 > results/CP_si6_r005_s20.45.dimacs
java CP graphsdb/si6_r005_s20.A46.dimacs graphsdb/si6_r005_s20.B46.dimacs 300 > results/CP_si6_r005_s20.46.dimacs
java CP graphsdb/si6_r005_s20.A47.dimacs graphsdb/si6_r005_s20.B47.dimacs 300 > results/CP_si6_r005_s20.47.dimacs
java CP graphsdb/si6_r005_s20.A48.dimacs graphsdb/si6_r005_s20.B48.dimacs 300 > results/CP_si6_r005_s20.48.dimacs
java CP graphsdb/si6_r005_s20.A49.dimacs graphsdb/si6_r005_s20.B49.dimacs 300 > results/CP_si6_r005_s20.49.dimacs
java CP graphsdb/si6_r005_s20.A50.dimacs graphsdb/si6_r005_s20.B50.dimacs 300 > results/CP_si6_r005_s20.50.dimacs
java CP graphsdb/si6_r005_s20.A51.dimacs graphsdb/si6_r005_s20.B51.dimacs 300 > results/CP_si6_r005_s20.51.dimacs
java CP graphsdb/si6_r005_s20.A52.dimacs graphsdb/si6_r005_s20.B52.dimacs 300 > results/CP_si6_r005_s20.52.dimacs
java CP graphsdb/si6_r005_s20.A53.dimacs graphsdb/si6_r005_s20.B53.dimacs 300 > results/CP_si6_r005_s20.53.dimacs
java CP graphsdb/si6_r005_s20.A54.dimacs graphsdb/si6_r005_s20.B54.dimacs 300 > results/CP_si6_r005_s20.54.dimacs
java CP graphsdb/si6_r005_s20.A55.dimacs graphsdb/si6_r005_s20.B55.dimacs 300 > results/CP_si6_r005_s20.55.dimacs
java CP graphsdb/si6_r005_s20.A56.dimacs graphsdb/si6_r005_s20.B56.dimacs 300 > results/CP_si6_r005_s20.56.dimacs
java CP graphsdb/si6_r005_s20.A57.dimacs graphsdb/si6_r005_s20.B57.dimacs 300 > results/CP_si6_r005_s20.57.dimacs
java CP graphsdb/si6_r005_s20.A58.dimacs graphsdb/si6_r005_s20.B58.dimacs 300 > results/CP_si6_r005_s20.58.dimacs
java CP graphsdb/si6_r005_s20.A59.dimacs graphsdb/si6_r005_s20.B59.dimacs 300 > results/CP_si6_r005_s20.59.dimacs
java CP graphsdb/si6_r005_s20.A60.dimacs graphsdb/si6_r005_s20.B60.dimacs 300 > results/CP_si6_r005_s20.60.dimacs
java CP graphsdb/si6_r005_s20.A61.dimacs graphsdb/si6_r005_s20.B61.dimacs 300 > results/CP_si6_r005_s20.61.dimacs
java CP graphsdb/si6_r005_s20.A62.dimacs graphsdb/si6_r005_s20.B62.dimacs 300 > results/CP_si6_r005_s20.62.dimacs
java CP graphsdb/si6_r005_s20.A63.dimacs graphsdb/si6_r005_s20.B63.dimacs 300 > results/CP_si6_r005_s20.63.dimacs
java CP graphsdb/si6_r005_s20.A64.dimacs graphsdb/si6_r005_s20.B64.dimacs 300 > results/CP_si6_r005_s20.64.dimacs
java CP graphsdb/si6_r005_s20.A65.dimacs graphsdb/si6_r005_s20.B65.dimacs 300 > results/CP_si6_r005_s20.65.dimacs
java CP graphsdb/si6_r005_s20.A66.dimacs graphsdb/si6_r005_s20.B66.dimacs 300 > results/CP_si6_r005_s20.66.dimacs
java CP graphsdb/si6_r005_s20.A67.dimacs graphsdb/si6_r005_s20.B67.dimacs 300 > results/CP_si6_r005_s20.67.dimacs
java CP graphsdb/si6_r005_s20.A68.dimacs graphsdb/si6_r005_s20.B68.dimacs 300 > results/CP_si6_r005_s20.68.dimacs
java CP graphsdb/si6_r005_s20.A69.dimacs graphsdb/si6_r005_s20.B69.dimacs 300 > results/CP_si6_r005_s20.69.dimacs
java CP graphsdb/si6_r005_s20.A70.dimacs graphsdb/si6_r005_s20.B70.dimacs 300 > results/CP_si6_r005_s20.70.dimacs
java CP graphsdb/si6_r005_s20.A71.dimacs graphsdb/si6_r005_s20.B71.dimacs 300 > results/CP_si6_r005_s20.71.dimacs
java CP graphsdb/si6_r005_s20.A72.dimacs graphsdb/si6_r005_s20.B72.dimacs 300 > results/CP_si6_r005_s20.72.dimacs
java CP graphsdb/si6_r005_s20.A73.dimacs graphsdb/si6_r005_s20.B73.dimacs 300 > results/CP_si6_r005_s20.73.dimacs
java CP graphsdb/si6_r005_s20.A74.dimacs graphsdb/si6_r005_s20.B74.dimacs 300 > results/CP_si6_r005_s20.74.dimacs
java CP graphsdb/si6_r005_s20.A75.dimacs graphsdb/si6_r005_s20.B75.dimacs 300 > results/CP_si6_r005_s20.75.dimacs
java CP graphsdb/si6_r005_s20.A76.dimacs graphsdb/si6_r005_s20.B76.dimacs 300 > results/CP_si6_r005_s20.76.dimacs
java CP graphsdb/si6_r005_s20.A77.dimacs graphsdb/si6_r005_s20.B77.dimacs 300 > results/CP_si6_r005_s20.77.dimacs
java CP graphsdb/si6_r005_s20.A78.dimacs graphsdb/si6_r005_s20.B78.dimacs 300 > results/CP_si6_r005_s20.78.dimacs
java CP graphsdb/si6_r005_s20.A79.dimacs graphsdb/si6_r005_s20.B79.dimacs 300 > results/CP_si6_r005_s20.79.dimacs
java CP graphsdb/si6_r005_s20.A80.dimacs graphsdb/si6_r005_s20.B80.dimacs 300 > results/CP_si6_r005_s20.80.dimacs
java CP graphsdb/si6_r005_s20.A81.dimacs graphsdb/si6_r005_s20.B81.dimacs 300 > results/CP_si6_r005_s20.81.dimacs
java CP graphsdb/si6_r005_s20.A82.dimacs graphsdb/si6_r005_s20.B82.dimacs 300 > results/CP_si6_r005_s20.82.dimacs
java CP graphsdb/si6_r005_s20.A83.dimacs graphsdb/si6_r005_s20.B83.dimacs 300 > results/CP_si6_r005_s20.83.dimacs
java CP graphsdb/si6_r005_s20.A84.dimacs graphsdb/si6_r005_s20.B84.dimacs 300 > results/CP_si6_r005_s20.84.dimacs
java CP graphsdb/si6_r005_s20.A85.dimacs graphsdb/si6_r005_s20.B85.dimacs 300 > results/CP_si6_r005_s20.85.dimacs
java CP graphsdb/si6_r005_s20.A86.dimacs graphsdb/si6_r005_s20.B86.dimacs 300 > results/CP_si6_r005_s20.86.dimacs
java CP graphsdb/si6_r005_s20.A87.dimacs graphsdb/si6_r005_s20.B87.dimacs 300 > results/CP_si6_r005_s20.87.dimacs
java CP graphsdb/si6_r005_s20.A88.dimacs graphsdb/si6_r005_s20.B88.dimacs 300 > results/CP_si6_r005_s20.88.dimacs
java CP graphsdb/si6_r005_s20.A89.dimacs graphsdb/si6_r005_s20.B89.dimacs 300 > results/CP_si6_r005_s20.89.dimacs
java CP graphsdb/si6_r005_s20.A90.dimacs graphsdb/si6_r005_s20.B90.dimacs 300 > results/CP_si6_r005_s20.90.dimacs
java CP graphsdb/si6_r005_s20.A91.dimacs graphsdb/si6_r005_s20.B91.dimacs 300 > results/CP_si6_r005_s20.91.dimacs
java CP graphsdb/si6_r005_s20.A92.dimacs graphsdb/si6_r005_s20.B92.dimacs 300 > results/CP_si6_r005_s20.92.dimacs
java CP graphsdb/si6_r005_s20.A93.dimacs graphsdb/si6_r005_s20.B93.dimacs 300 > results/CP_si6_r005_s20.93.dimacs
java CP graphsdb/si6_r005_s20.A94.dimacs graphsdb/si6_r005_s20.B94.dimacs 300 > results/CP_si6_r005_s20.94.dimacs
java CP graphsdb/si6_r005_s20.A95.dimacs graphsdb/si6_r005_s20.B95.dimacs 300 > results/CP_si6_r005_s20.95.dimacs
java CP graphsdb/si6_r005_s20.A96.dimacs graphsdb/si6_r005_s20.B96.dimacs 300 > results/CP_si6_r005_s20.96.dimacs
java CP graphsdb/si6_r005_s20.A97.dimacs graphsdb/si6_r005_s20.B97.dimacs 300 > results/CP_si6_r005_s20.97.dimacs
java CP graphsdb/si6_r005_s20.A98.dimacs graphsdb/si6_r005_s20.B98.dimacs 300 > results/CP_si6_r005_s20.98.dimacs
java CP graphsdb/si6_r005_s20.A99.dimacs graphsdb/si6_r005_s20.B99.dimacs 300 > results/CP_si6_r005_s20.99.dimacs
java CP graphsdb/si6_r01_s20.A00.dimacs graphsdb/si6_r01_s20.B00.dimacs 300 > results/CP_si6_r01_s20.00.dimacs
java CP graphsdb/si6_r01_s20.A01.dimacs graphsdb/si6_r01_s20.B01.dimacs 300 > results/CP_si6_r01_s20.01.dimacs
java CP graphsdb/si6_r01_s20.A02.dimacs graphsdb/si6_r01_s20.B02.dimacs 300 > results/CP_si6_r01_s20.02.dimacs
java CP graphsdb/si6_r01_s20.A03.dimacs graphsdb/si6_r01_s20.B03.dimacs 300 > results/CP_si6_r01_s20.03.dimacs
java CP graphsdb/si6_r01_s20.A04.dimacs graphsdb/si6_r01_s20.B04.dimacs 300 > results/CP_si6_r01_s20.04.dimacs
java CP graphsdb/si6_r01_s20.A05.dimacs graphsdb/si6_r01_s20.B05.dimacs 300 > results/CP_si6_r01_s20.05.dimacs
java CP graphsdb/si6_r01_s20.A06.dimacs graphsdb/si6_r01_s20.B06.dimacs 300 > results/CP_si6_r01_s20.06.dimacs
java CP graphsdb/si6_r01_s20.A07.dimacs graphsdb/si6_r01_s20.B07.dimacs 300 > results/CP_si6_r01_s20.07.dimacs
java CP graphsdb/si6_r01_s20.A08.dimacs graphsdb/si6_r01_s20.B08.dimacs 300 > results/CP_si6_r01_s20.08.dimacs
java CP graphsdb/si6_r01_s20.A09.dimacs graphsdb/si6_r01_s20.B09.dimacs 300 > results/CP_si6_r01_s20.09.dimacs
java CP graphsdb/si6_r01_s20.A10.dimacs graphsdb/si6_r01_s20.B10.dimacs 300 > results/CP_si6_r01_s20.10.dimacs
java CP graphsdb/si6_r01_s20.A11.dimacs graphsdb/si6_r01_s20.B11.dimacs 300 > results/CP_si6_r01_s20.11.dimacs
java CP graphsdb/si6_r01_s20.A12.dimacs graphsdb/si6_r01_s20.B12.dimacs 300 > results/CP_si6_r01_s20.12.dimacs
java CP graphsdb/si6_r01_s20.A13.dimacs graphsdb/si6_r01_s20.B13.dimacs 300 > results/CP_si6_r01_s20.13.dimacs
java CP graphsdb/si6_r01_s20.A14.dimacs graphsdb/si6_r01_s20.B14.dimacs 300 > results/CP_si6_r01_s20.14.dimacs
java CP graphsdb/si6_r01_s20.A15.dimacs graphsdb/si6_r01_s20.B15.dimacs 300 > results/CP_si6_r01_s20.15.dimacs
java CP graphsdb/si6_r01_s20.A16.dimacs graphsdb/si6_r01_s20.B16.dimacs 300 > results/CP_si6_r01_s20.16.dimacs
java CP graphsdb/si6_r01_s20.A17.dimacs graphsdb/si6_r01_s20.B17.dimacs 300 > results/CP_si6_r01_s20.17.dimacs
java CP graphsdb/si6_r01_s20.A18.dimacs graphsdb/si6_r01_s20.B18.dimacs 300 > results/CP_si6_r01_s20.18.dimacs
java CP graphsdb/si6_r01_s20.A19.dimacs graphsdb/si6_r01_s20.B19.dimacs 300 > results/CP_si6_r01_s20.19.dimacs
java CP graphsdb/si6_r01_s20.A20.dimacs graphsdb/si6_r01_s20.B20.dimacs 300 > results/CP_si6_r01_s20.20.dimacs
java CP graphsdb/si6_r01_s20.A21.dimacs graphsdb/si6_r01_s20.B21.dimacs 300 > results/CP_si6_r01_s20.21.dimacs
java CP graphsdb/si6_r01_s20.A22.dimacs graphsdb/si6_r01_s20.B22.dimacs 300 > results/CP_si6_r01_s20.22.dimacs
java CP graphsdb/si6_r01_s20.A23.dimacs graphsdb/si6_r01_s20.B23.dimacs 300 > results/CP_si6_r01_s20.23.dimacs
java CP graphsdb/si6_r01_s20.A24.dimacs graphsdb/si6_r01_s20.B24.dimacs 300 > results/CP_si6_r01_s20.24.dimacs
java CP graphsdb/si6_r01_s20.A25.dimacs graphsdb/si6_r01_s20.B25.dimacs 300 > results/CP_si6_r01_s20.25.dimacs
java CP graphsdb/si6_r01_s20.A26.dimacs graphsdb/si6_r01_s20.B26.dimacs 300 > results/CP_si6_r01_s20.26.dimacs
java CP graphsdb/si6_r01_s20.A27.dimacs graphsdb/si6_r01_s20.B27.dimacs 300 > results/CP_si6_r01_s20.27.dimacs
java CP graphsdb/si6_r01_s20.A28.dimacs graphsdb/si6_r01_s20.B28.dimacs 300 > results/CP_si6_r01_s20.28.dimacs
java CP graphsdb/si6_r01_s20.A29.dimacs graphsdb/si6_r01_s20.B29.dimacs 300 > results/CP_si6_r01_s20.29.dimacs
java CP graphsdb/si6_r01_s20.A30.dimacs graphsdb/si6_r01_s20.B30.dimacs 300 > results/CP_si6_r01_s20.30.dimacs
java CP graphsdb/si6_r01_s20.A31.dimacs graphsdb/si6_r01_s20.B31.dimacs 300 > results/CP_si6_r01_s20.31.dimacs
java CP graphsdb/si6_r01_s20.A32.dimacs graphsdb/si6_r01_s20.B32.dimacs 300 > results/CP_si6_r01_s20.32.dimacs
java CP graphsdb/si6_r01_s20.A33.dimacs graphsdb/si6_r01_s20.B33.dimacs 300 > results/CP_si6_r01_s20.33.dimacs
java CP graphsdb/si6_r01_s20.A34.dimacs graphsdb/si6_r01_s20.B34.dimacs 300 > results/CP_si6_r01_s20.34.dimacs
java CP graphsdb/si6_r01_s20.A35.dimacs graphsdb/si6_r01_s20.B35.dimacs 300 > results/CP_si6_r01_s20.35.dimacs
java CP graphsdb/si6_r01_s20.A36.dimacs graphsdb/si6_r01_s20.B36.dimacs 300 > results/CP_si6_r01_s20.36.dimacs
java CP graphsdb/si6_r01_s20.A37.dimacs graphsdb/si6_r01_s20.B37.dimacs 300 > results/CP_si6_r01_s20.37.dimacs
java CP graphsdb/si6_r01_s20.A38.dimacs graphsdb/si6_r01_s20.B38.dimacs 300 > results/CP_si6_r01_s20.38.dimacs
java CP graphsdb/si6_r01_s20.A39.dimacs graphsdb/si6_r01_s20.B39.dimacs 300 > results/CP_si6_r01_s20.39.dimacs
java CP graphsdb/si6_r01_s20.A40.dimacs graphsdb/si6_r01_s20.B40.dimacs 300 > results/CP_si6_r01_s20.40.dimacs
java CP graphsdb/si6_r01_s20.A41.dimacs graphsdb/si6_r01_s20.B41.dimacs 300 > results/CP_si6_r01_s20.41.dimacs
java CP graphsdb/si6_r01_s20.A42.dimacs graphsdb/si6_r01_s20.B42.dimacs 300 > results/CP_si6_r01_s20.42.dimacs
java CP graphsdb/si6_r01_s20.A43.dimacs graphsdb/si6_r01_s20.B43.dimacs 300 > results/CP_si6_r01_s20.43.dimacs
java CP graphsdb/si6_r01_s20.A44.dimacs graphsdb/si6_r01_s20.B44.dimacs 300 > results/CP_si6_r01_s20.44.dimacs
java CP graphsdb/si6_r01_s20.A45.dimacs graphsdb/si6_r01_s20.B45.dimacs 300 > results/CP_si6_r01_s20.45.dimacs
java CP graphsdb/si6_r01_s20.A46.dimacs graphsdb/si6_r01_s20.B46.dimacs 300 > results/CP_si6_r01_s20.46.dimacs
java CP graphsdb/si6_r01_s20.A47.dimacs graphsdb/si6_r01_s20.B47.dimacs 300 > results/CP_si6_r01_s20.47.dimacs
java CP graphsdb/si6_r01_s20.A48.dimacs graphsdb/si6_r01_s20.B48.dimacs 300 > results/CP_si6_r01_s20.48.dimacs
java CP graphsdb/si6_r01_s20.A49.dimacs graphsdb/si6_r01_s20.B49.dimacs 300 > results/CP_si6_r01_s20.49.dimacs
java CP graphsdb/si6_r01_s20.A50.dimacs graphsdb/si6_r01_s20.B50.dimacs 300 > results/CP_si6_r01_s20.50.dimacs
java CP graphsdb/si6_r01_s20.A51.dimacs graphsdb/si6_r01_s20.B51.dimacs 300 > results/CP_si6_r01_s20.51.dimacs
java CP graphsdb/si6_r01_s20.A52.dimacs graphsdb/si6_r01_s20.B52.dimacs 300 > results/CP_si6_r01_s20.52.dimacs
java CP graphsdb/si6_r01_s20.A53.dimacs graphsdb/si6_r01_s20.B53.dimacs 300 > results/CP_si6_r01_s20.53.dimacs
java CP graphsdb/si6_r01_s20.A54.dimacs graphsdb/si6_r01_s20.B54.dimacs 300 > results/CP_si6_r01_s20.54.dimacs
java CP graphsdb/si6_r01_s20.A55.dimacs graphsdb/si6_r01_s20.B55.dimacs 300 > results/CP_si6_r01_s20.55.dimacs
java CP graphsdb/si6_r01_s20.A56.dimacs graphsdb/si6_r01_s20.B56.dimacs 300 > results/CP_si6_r01_s20.56.dimacs
java CP graphsdb/si6_r01_s20.A57.dimacs graphsdb/si6_r01_s20.B57.dimacs 300 > results/CP_si6_r01_s20.57.dimacs
java CP graphsdb/si6_r01_s20.A58.dimacs graphsdb/si6_r01_s20.B58.dimacs 300 > results/CP_si6_r01_s20.58.dimacs
java CP graphsdb/si6_r01_s20.A59.dimacs graphsdb/si6_r01_s20.B59.dimacs 300 > results/CP_si6_r01_s20.59.dimacs
java CP graphsdb/si6_r01_s20.A60.dimacs graphsdb/si6_r01_s20.B60.dimacs 300 > results/CP_si6_r01_s20.60.dimacs
java CP graphsdb/si6_r01_s20.A61.dimacs graphsdb/si6_r01_s20.B61.dimacs 300 > results/CP_si6_r01_s20.61.dimacs
java CP graphsdb/si6_r01_s20.A62.dimacs graphsdb/si6_r01_s20.B62.dimacs 300 > results/CP_si6_r01_s20.62.dimacs
java CP graphsdb/si6_r01_s20.A63.dimacs graphsdb/si6_r01_s20.B63.dimacs 300 > results/CP_si6_r01_s20.63.dimacs
java CP graphsdb/si6_r01_s20.A64.dimacs graphsdb/si6_r01_s20.B64.dimacs 300 > results/CP_si6_r01_s20.64.dimacs
java CP graphsdb/si6_r01_s20.A65.dimacs graphsdb/si6_r01_s20.B65.dimacs 300 > results/CP_si6_r01_s20.65.dimacs
java CP graphsdb/si6_r01_s20.A66.dimacs graphsdb/si6_r01_s20.B66.dimacs 300 > results/CP_si6_r01_s20.66.dimacs
java CP graphsdb/si6_r01_s20.A67.dimacs graphsdb/si6_r01_s20.B67.dimacs 300 > results/CP_si6_r01_s20.67.dimacs
java CP graphsdb/si6_r01_s20.A68.dimacs graphsdb/si6_r01_s20.B68.dimacs 300 > results/CP_si6_r01_s20.68.dimacs
java CP graphsdb/si6_r01_s20.A69.dimacs graphsdb/si6_r01_s20.B69.dimacs 300 > results/CP_si6_r01_s20.69.dimacs
java CP graphsdb/si6_r01_s20.A70.dimacs graphsdb/si6_r01_s20.B70.dimacs 300 > results/CP_si6_r01_s20.70.dimacs
java CP graphsdb/si6_r01_s20.A71.dimacs graphsdb/si6_r01_s20.B71.dimacs 300 > results/CP_si6_r01_s20.71.dimacs
java CP graphsdb/si6_r01_s20.A72.dimacs graphsdb/si6_r01_s20.B72.dimacs 300 > results/CP_si6_r01_s20.72.dimacs
java CP graphsdb/si6_r01_s20.A73.dimacs graphsdb/si6_r01_s20.B73.dimacs 300 > results/CP_si6_r01_s20.73.dimacs
java CP graphsdb/si6_r01_s20.A74.dimacs graphsdb/si6_r01_s20.B74.dimacs 300 > results/CP_si6_r01_s20.74.dimacs
java CP graphsdb/si6_r01_s20.A75.dimacs graphsdb/si6_r01_s20.B75.dimacs 300 > results/CP_si6_r01_s20.75.dimacs
java CP graphsdb/si6_r01_s20.A76.dimacs graphsdb/si6_r01_s20.B76.dimacs 300 > results/CP_si6_r01_s20.76.dimacs
java CP graphsdb/si6_r01_s20.A77.dimacs graphsdb/si6_r01_s20.B77.dimacs 300 > results/CP_si6_r01_s20.77.dimacs
java CP graphsdb/si6_r01_s20.A78.dimacs graphsdb/si6_r01_s20.B78.dimacs 300 > results/CP_si6_r01_s20.78.dimacs
java CP graphsdb/si6_r01_s20.A79.dimacs graphsdb/si6_r01_s20.B79.dimacs 300 > results/CP_si6_r01_s20.79.dimacs
java CP graphsdb/si6_r01_s20.A80.dimacs graphsdb/si6_r01_s20.B80.dimacs 300 > results/CP_si6_r01_s20.80.dimacs
java CP graphsdb/si6_r01_s20.A81.dimacs graphsdb/si6_r01_s20.B81.dimacs 300 > results/CP_si6_r01_s20.81.dimacs
java CP graphsdb/si6_r01_s20.A82.dimacs graphsdb/si6_r01_s20.B82.dimacs 300 > results/CP_si6_r01_s20.82.dimacs
java CP graphsdb/si6_r01_s20.A83.dimacs graphsdb/si6_r01_s20.B83.dimacs 300 > results/CP_si6_r01_s20.83.dimacs
java CP graphsdb/si6_r01_s20.A84.dimacs graphsdb/si6_r01_s20.B84.dimacs 300 > results/CP_si6_r01_s20.84.dimacs
java CP graphsdb/si6_r01_s20.A85.dimacs graphsdb/si6_r01_s20.B85.dimacs 300 > results/CP_si6_r01_s20.85.dimacs
java CP graphsdb/si6_r01_s20.A86.dimacs graphsdb/si6_r01_s20.B86.dimacs 300 > results/CP_si6_r01_s20.86.dimacs
java CP graphsdb/si6_r01_s20.A87.dimacs graphsdb/si6_r01_s20.B87.dimacs 300 > results/CP_si6_r01_s20.87.dimacs
java CP graphsdb/si6_r01_s20.A88.dimacs graphsdb/si6_r01_s20.B88.dimacs 300 > results/CP_si6_r01_s20.88.dimacs
java CP graphsdb/si6_r01_s20.A89.dimacs graphsdb/si6_r01_s20.B89.dimacs 300 > results/CP_si6_r01_s20.89.dimacs
java CP graphsdb/si6_r01_s20.A90.dimacs graphsdb/si6_r01_s20.B90.dimacs 300 > results/CP_si6_r01_s20.90.dimacs
java CP graphsdb/si6_r01_s20.A91.dimacs graphsdb/si6_r01_s20.B91.dimacs 300 > results/CP_si6_r01_s20.91.dimacs
java CP graphsdb/si6_r01_s20.A92.dimacs graphsdb/si6_r01_s20.B92.dimacs 300 > results/CP_si6_r01_s20.92.dimacs
java CP graphsdb/si6_r01_s20.A93.dimacs graphsdb/si6_r01_s20.B93.dimacs 300 > results/CP_si6_r01_s20.93.dimacs
java CP graphsdb/si6_r01_s20.A94.dimacs graphsdb/si6_r01_s20.B94.dimacs 300 > results/CP_si6_r01_s20.94.dimacs
java CP graphsdb/si6_r01_s20.A95.dimacs graphsdb/si6_r01_s20.B95.dimacs 300 > results/CP_si6_r01_s20.95.dimacs
java CP graphsdb/si6_r01_s20.A96.dimacs graphsdb/si6_r01_s20.B96.dimacs 300 > results/CP_si6_r01_s20.96.dimacs
java CP graphsdb/si6_r01_s20.A97.dimacs graphsdb/si6_r01_s20.B97.dimacs 300 > results/CP_si6_r01_s20.97.dimacs
java CP graphsdb/si6_r01_s20.A98.dimacs graphsdb/si6_r01_s20.B98.dimacs 300 > results/CP_si6_r01_s20.98.dimacs
java CP graphsdb/si6_r01_s20.A99.dimacs graphsdb/si6_r01_s20.B99.dimacs 300 > results/CP_si6_r01_s20.99.dimacs