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